Zend: add VM spec for ZEND_VERIFY_TYPE_RETURN for integer values

Author: Girgias

Zend/zend_vm_def.h

@@ -4531,6 +4531,45 @@ ZEND_VM_COLD_CONST_HANDLER(124, ZEND_VERIFY_RETURN_TYPE, CONST|TMP|VAR|UNUSED|CV
 	}
 }
 
+ZEND_VM_HOT_TYPE_SPEC_HANDLER(ZEND_VERIFY_RETURN_TYPE, (((res_info & MAY_BE_REF) == 0) && op1_info == MAY_BE_LONG), ZEND_VERIFY_RETURN_TYPE_FOR_LONG, CONST|TMPVAR|CV, UNUSED)
+{
+	USE_OPLINE
+
+	zval *op = GET_OP1_ZVAL_PTR_UNDEF(BP_VAR_R);
+	zval *result = EX_VAR(opline->result.var);
+
+	uint32_t pure_type_mask = opline->extended_value;
+	if (pure_type_mask & MAY_BE_LONG) {
+		ZVAL_LONG(result, Z_LVAL_P(op));
+		ZEND_VM_NEXT_OPCODE();
+	}
+
+	/* Type preference order: float -> string -> bool */
+	/* int to float is always valid even with strict types */
+	if (pure_type_mask & MAY_BE_DOUBLE) {
+		ZVAL_DOUBLE(result, (double)Z_LVAL_P(op));
+		ZEND_VM_NEXT_OPCODE();
+	}
+
+	if (UNEXPECTED(EX_USES_STRICT_TYPES())) {
+		SAVE_OPLINE();
+		zend_verify_return_error(EX(func), op);
+		HANDLE_EXCEPTION();
+	}
+
+	if (pure_type_mask & MAY_BE_STRING) {
+		/* Need to prevent possible array key conversion with ArrayAccess */
+		ZVAL_STR(OP1_TYPE == IS_CONST ? result : op, zend_long_to_str(Z_LVAL_P(op)));
+	} else if (pure_type_mask & MAY_BE_BOOL) {
+		ZVAL_BOOL(result, Z_LVAL_P(op));
+	} else {
+		SAVE_OPLINE();
+		zend_verify_return_error(EX(func), op);
+		HANDLE_EXCEPTION();
+	}
+	ZEND_VM_NEXT_OPCODE();
+}
+
 ZEND_VM_COLD_HANDLER(201, ZEND_VERIFY_NEVER_TYPE, UNUSED, UNUSED)
 {
 	SAVE_OPLINE();