Support failed JIT test case: assign_010.phpt

Following the previous patch, we continue to support failed JIT test
cases involving reference.

In assign_010.phpt, major changes are done to support the assignment "$a
= $b" where "$b" is a reference.

Honestly speaking, I didn't fully understand the syntax here but rather
to translate the x86 implementation into AArch64.

Besides, test case assign_011.phpt would pass as well with this patch.

Author: shqking

ext/opcache/jit/zend_jit_arm64.dasc

@@ -3176,7 +3176,39 @@ static int zend_jit_assign_to_typed_ref(dasm_State         **Dst,
                                        zend_jit_addr         val_addr,
                                        bool                  check_exception)
 {
+	|	// if (UNEXPECTED(ZEND_REF_HAS_TYPE_SOURCES(Z_REF_P(variable_ptr)))) {
+	|	ldr TMP1, [FCARG1x, #offsetof(zend_reference, sources.ptr)]
+	|	cmp TMP1, #0
+	|	bne >2
+	|.cold_code
+	|2:
 	|	brk #0	// TODO
+	if (Z_MODE(val_addr) != IS_MEM_ZVAL || Z_REG(val_addr) != ZREG_FCARG2x || Z_OFFSET(val_addr) != 0) {
+		|	LOAD_ZVAL_ADDR FCARG2x, val_addr
+	}
+	if (opline) {
+		|	SET_EX_OPLINE opline, REG0
+	}
+	if (val_type == IS_CONST) {
+		|	EXT_CALL zend_jit_assign_const_to_typed_ref, REG0
+	} else if (val_type == IS_TMP_VAR) {
+		|	EXT_CALL zend_jit_assign_tmp_to_typed_ref, REG0
+	} else if (val_type == IS_VAR) {
+		|	EXT_CALL zend_jit_assign_var_to_typed_ref, REG0
+	} else if (val_type == IS_CV) {
+		|	EXT_CALL zend_jit_assign_cv_to_typed_ref, REG0
+	} else {
+		ZEND_UNREACHABLE();
+	}
+	if (check_exception) {
+		|	// if (UNEXPECTED(EG(exception) != NULL)) {
+		|	MEM_LOAD_CMP_ZTS ldr, xzr, executor_globals, exception, REG0, TMP1
+		|	beq >8  // END OF zend_jit_assign_to_variable()
+		|	b ->exception_handler
+	} else {
+		|	b >8
+	}
+	|.code
 
 	return 1;
 }
@@ -3214,7 +3246,89 @@ static int zend_jit_assign_to_variable(dasm_State    **Dst,
 	int done = 0;
 	zend_reg ref_reg, tmp_reg;
 
-	|	brk #0	// TODO
+	if (Z_MODE(var_addr) == IS_REG || Z_REG(var_use_addr) != ZREG_REG0) {
+		ref_reg = ZREG_FCARG1x;
+		tmp_reg = ZREG_REG0;
+	} else {
+		/* ASSIGN_DIM */
+		ref_reg = ZREG_REG0;
+		tmp_reg = ZREG_FCARG1x;
+	}
+
+	if (var_info & MAY_BE_REF) {
+		if (Z_MODE(var_use_addr) != IS_MEM_ZVAL || Z_REG(var_use_addr) != ref_reg || Z_OFFSET(var_use_addr) != 0) {
+			|	LOAD_ZVAL_ADDR Rx(ref_reg), var_use_addr
+			var_addr = var_use_addr = ZEND_ADDR_MEM_ZVAL(ref_reg, 0);
+		}
+		|	// if (Z_ISREF_P(variable_ptr)) {
+		|	IF_NOT_Z_TYPE Rx(ref_reg), IS_REFERENCE, >1, TMP1w
+		|	// if (UNEXPECTED(ZEND_REF_HAS_TYPE_SOURCES(Z_REF_P(variable_ptr)))) {
+		|	GET_Z_PTR FCARG1x, Rx(ref_reg)
+		if (!zend_jit_assign_to_typed_ref(Dst, opline, val_type, val_addr, check_exception)) {
+			return 0;
+		}
+		|	add Rx(ref_reg), FCARG1x, #offsetof(zend_reference, val)
+		|1:
+	}
+	if (var_info & (MAY_BE_STRING|MAY_BE_ARRAY|MAY_BE_OBJECT|MAY_BE_RESOURCE)) {
+		if (RC_MAY_BE_1(var_info)) {
+			int in_cold = 0;
+
+			if (var_info & ((MAY_BE_ANY|MAY_BE_UNDEF)-(MAY_BE_OBJECT|MAY_BE_RESOURCE))) {
+				|	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
+			} else {
+				|	brk #0	// TODO
+			}
+			|	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) {
+					|	brk #0	// TODO
+				} else {
+					|	brk #0	// TODO
+				}
+			}
+			if (RC_MAY_BE_N(var_info) && (var_info & (MAY_BE_ARRAY|MAY_BE_OBJECT)) != 0) {
+				|4:
+				|	brk #0	// TODO
+				if (in_cold) {
+					|	brk #0	// TODO
+				}
+			}
+			if (in_cold) {
+				|.code
+			} else {
+				done = 1;
+			}
+		} else /* if (RC_MAY_BE_N(var_info)) */ {
+			|	brk #0
+	    }
+	}
+
+	if (!done && !zend_jit_simple_assign(Dst, opline, var_addr, var_info, var_def_info, val_type, val_addr, val_info, res_addr, 0, 0)) {
+		return 0;
+	}
+
+	|8:
+
 	return 1;
 }