Implement function JIT, fix unset result on undefined var exception

Author: iluuu1994

ext/opcache/jit/zend_jit.c

@@ -2594,6 +2594,23 @@ static int zend_jit(const zend_op_array *op_array, zend_ssa *ssa, const zend_op
 						call_level--;
 					}
 					break;
+				case ZEND_FRAMELESS_ICALL_0:
+					jit_frameless_icall0(jit, opline);
+					goto done;
+				case ZEND_FRAMELESS_ICALL_1:
+					op1_info = OP1_INFO();
+					jit_frameless_icall1(jit, opline, op1_info);
+					goto done;
+				case ZEND_FRAMELESS_ICALL_2:
+					op1_info = OP1_INFO();
+					op2_info = OP2_INFO();
+					jit_frameless_icall2(jit, opline, op1_info, op2_info);
+					goto done;
+				case ZEND_FRAMELESS_ICALL_3:
+					op1_info = OP1_INFO();
+					op2_info = OP2_INFO();
+					jit_frameless_icall3(jit, opline, op1_info, op2_info, OP1_DATA_INFO());
+					goto done;
 				default:
 					if (!zend_jit_handler(&ctx, opline,
 							zend_may_throw(opline, ssa_op, op_array, ssa))) {

ext/opcache/jit/zend_jit_ir.c

@@ -16665,9 +16665,9 @@ static void jit_frameless_icall1(zend_jit_ctx *jit, const zend_op *opline, uint3
 	zend_jit_addr op1_addr = OP1_ADDR();
 	ir_ref res_ref = jit_ZVAL_ADDR(jit, res_addr);
 	ir_ref op1_ref = jit_ZVAL_ADDR(jit, op1_addr);
+	jit_set_Z_TYPE_INFO(jit, res_addr, IS_NULL);
 	zend_jit_zval_check_undef(jit, op1_ref, opline->op1.var, opline, 1);
 	op1_ref = jit_ZVAL_DEREF_ref(jit, op1_ref);
-	jit_set_Z_TYPE_INFO(jit, res_addr, IS_NULL);
 	ir_CALL_2(IR_VOID, ir_CONST_ADDR((size_t)function), res_ref, op1_ref);
 	jit_FREE_OP(jit, opline->op1_type, opline->op1, op1_info, NULL);
 	zend_jit_check_exception(jit);
@@ -16684,11 +16684,11 @@ static void jit_frameless_icall2(zend_jit_ctx *jit, const zend_op *opline, uint3
 	ir_ref res_ref = jit_ZVAL_ADDR(jit, res_addr);
 	ir_ref op1_ref = jit_ZVAL_ADDR(jit, op1_addr);
 	ir_ref op2_ref = jit_ZVAL_ADDR(jit, op2_addr);
+	jit_set_Z_TYPE_INFO(jit, res_addr, IS_NULL);
 	zend_jit_zval_check_undef(jit, op1_ref, opline->op1.var, opline, 1);
 	zend_jit_zval_check_undef(jit, op2_ref, opline->op2.var, opline, 1);
 	op1_ref = jit_ZVAL_DEREF_ref(jit, op1_ref);
 	op2_ref = jit_ZVAL_DEREF_ref(jit, op2_ref);
-	jit_set_Z_TYPE_INFO(jit, res_addr, IS_NULL);
 	ir_CALL_3(IR_VOID, ir_CONST_ADDR((size_t)function), res_ref, op1_ref, op2_ref);
 	jit_FREE_OP(jit, opline->op1_type, opline->op1, op1_info, NULL);
 	jit_FREE_OP(jit, opline->op2_type, opline->op2, op2_info, NULL);
@@ -16708,13 +16708,13 @@ static void jit_frameless_icall3(zend_jit_ctx *jit, const zend_op *opline, uint3
 	ir_ref op1_ref = jit_ZVAL_ADDR(jit, op1_addr);
 	ir_ref op2_ref = jit_ZVAL_ADDR(jit, op2_addr);
 	ir_ref op3_ref = jit_ZVAL_ADDR(jit, op3_addr);
+	jit_set_Z_TYPE_INFO(jit, res_addr, IS_NULL);
 	zend_jit_zval_check_undef(jit, op1_ref, opline->op1.var, opline, 1);
 	zend_jit_zval_check_undef(jit, op2_ref, opline->op2.var, opline, 1);
 	zend_jit_zval_check_undef(jit, op3_ref, (opline+1)->op1.var, opline, 1);
 	op1_ref = jit_ZVAL_DEREF_ref(jit, op1_ref);
 	op2_ref = jit_ZVAL_DEREF_ref(jit, op2_ref);
 	op3_ref = jit_ZVAL_DEREF_ref(jit, op3_ref);
-	jit_set_Z_TYPE_INFO(jit, res_addr, IS_NULL);
 	ir_CALL_4(IR_VOID, ir_CONST_ADDR((size_t)function), res_ref, op1_ref, op2_ref, op3_ref);
 	jit_FREE_OP(jit, opline->op1_type, opline->op1, op1_info, NULL);
 	jit_FREE_OP(jit, opline->op2_type, opline->op2, op2_info, NULL);