Implement pattern matching

Author: iluuu1994

Zend/Optimizer/block_pass.c

@@ -997,6 +997,13 @@ static void zend_optimize_block(zend_basic_block *block, zend_op_array *op_array
 					}
 				}
 				break;
+
+			case ZEND_HAS_TYPE:
+				if (opline->op1_type & (IS_TMP_VAR|IS_VAR)) {
+					/* Variable will be deleted later by FREE, so we can't optimize it */
+					Tsource[VAR_NUM(opline->op1.var)] = NULL;
+				}
+				break;
 		}
 
 		/* get variable source */

Zend/Optimizer/compact_literals.c

@@ -276,7 +276,11 @@ void zend_optimizer_compact_literals(zend_op_array *op_array, zend_optimizer_ctx
 		for (uint32_t i = 0; i < op_array->last_literal; i++) {
 			if (!info[i].num_related) {
 				/* unset literal */
-				zval_ptr_dtor_nogc(&op_array->literals[i]);
+				if (Z_TYPE(op_array->literals[i]) == IS_TYPE) {
+					zend_type_release(*(zend_type*)Z_PTR_P(&op_array->literals[i]), false);
+				} else {
+					zval_ptr_dtor_nogc(&op_array->literals[i]);
+				}
 				continue;
 			}
 			switch (Z_TYPE(op_array->literals[i])) {

Zend/Optimizer/dce.c

@@ -125,6 +125,7 @@ static inline bool may_have_side_effects(
 		case ZEND_FUNC_GET_ARGS:
 		case ZEND_ARRAY_KEY_EXISTS:
 		case ZEND_COPY_TMP:
+		case ZEND_HAS_TYPE:
 			/* No side effects */
 			return false;
 		case ZEND_FREE:

Zend/Optimizer/sccp.c

@@ -1764,6 +1764,14 @@ static void sccp_visit_instr(scdf_ctx *scdf, zend_op *opline, zend_ssa_op *ssa_o
 			SET_RESULT_BOT(result);
 			break;
 		}
+		case ZEND_HAS_TYPE: {
+			SKIP_IF_TOP(op1);
+			zend_type *type = Z_PTR_P(op2);
+			// FIXME: Abusing internal/return type flags to achieve strict type check
+			ZVAL_BOOL(&zv, zend_check_type_ex(type, op1, NULL, true, true));
+			SET_RESULT(result, &zv);
+			break;
+		}
 		default:
 		{
 			/* If we have no explicit implementation return BOT */

Zend/Optimizer/zend_inference.c

@@ -4042,6 +4042,29 @@ static zend_always_inline zend_result _zend_update_type_info(
 		case ZEND_FETCH_GLOBALS:
 			UPDATE_SSA_TYPE(MAY_BE_ARRAY|MAY_BE_ARRAY_KEY_ANY|MAY_BE_ARRAY_OF_ANY|MAY_BE_ARRAY_OF_REF|MAY_BE_RC1|MAY_BE_RCN, ssa_op->result_def);
 			break;
+		case ZEND_HAS_TYPE: {
+			t1 &= MAY_BE_ANY;
+			if (t1 & MAY_BE_UNDEF) {
+				t1 |= MAY_BE_NULL;
+			}
+
+			zend_type *type = Z_PTR_P(CRT_CONSTANT(opline->op2));
+			uint32_t expected = ZEND_TYPE_PURE_MASK(*type);
+			if (ZEND_TYPE_HAS_NAME(*type)) {
+				// FIXME: Implement
+				UPDATE_SSA_TYPE(MAY_BE_BOOL, ssa_op->result_def);
+				break;
+			}
+
+			if (!(t1 & ~expected)) {
+				UPDATE_SSA_TYPE(MAY_BE_TRUE, ssa_op->result_def);
+			} else if (!(expected & ~t1)) {
+				UPDATE_SSA_TYPE(MAY_BE_FALSE, ssa_op->result_def);
+			} else {
+				UPDATE_SSA_TYPE(MAY_BE_BOOL, ssa_op->result_def);
+			}
+			break;
+		}
 		default:
 #ifdef ZEND_DEBUG_TYPE_INFERENCE
 			if (ssa_op->result_def >= 0) {
@@ -5033,6 +5056,7 @@ ZEND_API bool zend_may_throw_ex(const zend_op *opline, const zend_ssa_op *ssa_op
 		case ZEND_COPY_TMP:
 		case ZEND_JMP_NULL:
 		case ZEND_JMP_FRAMELESS:
+		case ZEND_HAS_TYPE:
 			return 0;
 		case ZEND_IS_IDENTICAL:
 		case ZEND_IS_NOT_IDENTICAL:

Zend/Optimizer/zend_inference.h

@@ -150,6 +150,8 @@ static zend_always_inline uint32_t _const_op_type(const zval *zv) {
 		return MAY_BE_RC1 | MAY_BE_RCN | MAY_BE_ANY | MAY_BE_ARRAY_KEY_ANY | MAY_BE_ARRAY_OF_ANY;
 	} else if (Z_TYPE_P(zv) == IS_ARRAY) {
 		return zend_array_type_info(zv);
+	} else if (Z_TYPE_P(zv) == IS_TYPE) {
+		return MAY_BE_ANY;
 	} else {
 		uint32_t tmp = (1 << Z_TYPE_P(zv));
 

Zend/tests/pattern_matching/is/and.phpt

@@ -0,0 +1,29 @@
+--TEST--
+And pattern
+--FILE--
+<?php
+
+interface A {}
+interface B {}
+interface C {}
+class Foo implements A, B {}
+
+var_dump(1 is int & 1);
+var_dump(2 is int & (1|2));
+var_dump(3 is float & 1);
+var_dump(4 is int & float);
+var_dump([] is [] & [...]);
+var_dump('foo' is string & 'bar');
+var_dump(new Foo() is A&B);
+var_dump(new Foo() is (A&C));
+
+?>
+--EXPECT--
+bool(true)
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)

Zend/tests/pattern_matching/is/array.phpt

@@ -0,0 +1,30 @@
+--TEST--
+Array pattern
+--FILE--
+<?php
+
+var_dump([] is []);
+var_dump(42 is []);
+var_dump('foo' is []);
+var_dump([42] is [42]);
+var_dump([42] is []);
+var_dump([42] is [43]);
+var_dump([42] is ['0' => 42]);
+var_dump([42, 43] is [42]);
+var_dump([42, 43] is [42, ...]);
+var_dump([42] is [$a]);
+var_dump($a);
+
+?>
+--EXPECT--
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(true)
+int(42)

Zend/tests/pattern_matching/is/array_mixed_keys.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Array pattern with mixed implicit and explicit keys
+--FILE--
+<?php
+
+var_dump([] is ['foo', 1 => 'bar']);
+
+?>
+--EXPECTF--
+Fatal error: Must not mix implicit and explicit array keys in array pattern in %s on line %d

Zend/tests/pattern_matching/is/bail.phpt

@@ -0,0 +1,32 @@
+--TEST--
+Object pattern matching
+--FILE--
+<?php
+
+(function () {
+    $o = new stdClass();
+
+    try {
+        var_dump($o is self);
+    } catch (Throwable $e) {
+        echo $e->getMessage(), "\n";
+    }
+
+    try {
+        var_dump($o is parent);
+    } catch (Throwable $e) {
+        echo $e->getMessage(), "\n";
+    }
+
+    try {
+        var_dump($o is static);
+    } catch (Throwable $e) {
+        echo $e->getMessage(), "\n";
+    }
+})();
+
+?>
+--EXPECT--
+Cannot access "self" when no class scope is active
+Cannot access "parent" when no class scope is active
+Cannot access "static" when no class scope is active