Support failed JIT test case: assign_static_prop_001.phpt

For function Foo(), the original handlers would be invoked for the first
two statements. And the third statement "$a = 42", where ASSIGN opcode
is involved, covers the cold code in function
zend_jit_assign_to_variable().

For function $main(), statement "var_dump(Foo::$prop);" covers a new
path in function zend_ jit_send_val() for SEND_VAL opcode.

Besides, another 2 test cases, i.e. fetch_dim_r_003.phpt and
fetch_dim_r_004.phpt, would pass as well with this patch.

Author: shqking

ext/opcache/jit/zend_jit_arm64.dasc

@@ -3579,26 +3579,25 @@ static int zend_jit_assign_to_variable(dasm_State    **Dst,
 				|	IF_ZVAL_REFCOUNTED var_use_addr, >1, TMP1w, TMP2
 				|.cold_code
 				|1:
-				|	brk #0	// TODO
 				in_cold = 1;
 			}
 			if (Z_REG(var_use_addr) == ZREG_FCARG1x || Z_REG(var_use_addr) == ZREG_REG0) {
 				bool keep_gc = 0;
 
 				|	brk #0	// TODO
 			} else {
-				|	brk #0	// TODO
 				|	GET_ZVAL_PTR FCARG1x, var_use_addr, TMP1
 				if (!zend_jit_simple_assign(Dst, opline, var_addr, var_info, var_def_info, val_type, val_addr, val_info, res_addr, in_cold, 1)) {
 					return 0;
 				}
 			}
 			|	GC_DELREF FCARG1x, TMP1w
 			if (RC_MAY_BE_N(var_info) && (var_info & (MAY_BE_ARRAY|MAY_BE_OBJECT)) != 0) {
-				|	brk #0	// TODO
+				|	bne >4
 			} else {
 				|	brk #0	// TODO
 			}
+			|	brk #0
 			|	ZVAL_DTOR_FUNC var_info, opline, TMP1
 			if (in_cold || (RC_MAY_BE_N(var_info) && (var_info & (MAY_BE_ARRAY|MAY_BE_OBJECT)) != 0)) {
 				if (check_exception) {
@@ -3609,9 +3608,10 @@ static int zend_jit_assign_to_variable(dasm_State    **Dst,
 			}
 			if (RC_MAY_BE_N(var_info) && (var_info & (MAY_BE_ARRAY|MAY_BE_OBJECT)) != 0) {
 				|4:
-				|	brk #0	// TODO
+				|	IF_GC_MAY_NOT_LEAK FCARG1x, >8, TMP1w, TMP2w
+				|	EXT_CALL gc_possible_root, REG0
 				if (in_cold) {
-					|	brk #0	// TODO
+					|	b >8
 				}
 			}
 			if (in_cold) {
@@ -5210,12 +5210,12 @@ static int zend_jit_send_val(dasm_State **Dst, const zend_op *opline, uint32_t o
 	if (opline->op1_type == IS_CONST) {
 		zval *zv = RT_CONSTANT(opline, opline->op1);
 
-		|	ZVAL_COPY_CONST arg_addr, MAY_BE_ANY, MAY_BE_ANY, zv,  ZREG_REG0, ZREG_TMP1, ZREG_FPR0
+		|	ZVAL_COPY_CONST arg_addr, MAY_BE_ANY, MAY_BE_ANY, zv, ZREG_REG0, ZREG_TMP1, ZREG_FPR0
 		if (Z_REFCOUNTED_P(zv)) {
 			|	brk #0 // TODO: test
 		}
 	} else {
-		|	brk #0 // TODO: test
+		|	ZVAL_COPY_VALUE arg_addr, MAY_BE_ANY, op1_addr, op1_info, ZREG_REG0, ZREG_REG2, ZREG_TMP1, ZREG_TMP2, ZREG_FPR0
 	}
 
 	return 1;