[GR-41032] Pattern Matching - match value and singleton.

PullRequest: graalpython/2500

Author: tomasstupka

graalpython/com.oracle.graal.python.test/src/com/oracle/graal/python/test/compiler/CompilerTests.java

@@ -809,6 +809,55 @@ public void testNamedExpr() {
         doTest(s);
     }
 
+    // @Test skip until 3.10
+    public void testMatchValueConst() {
+        String source = "" +
+                        "match 1:\n" +
+                        "   case 1:\n" +
+                        "       pass\n";
+        doTest(source);
+    }
+
+    // @Test skip until 3.10
+    public void testMatchValue() {
+        String source = "" +
+                        "s = 1\n" +
+                        "match s:\n" +
+                        "   case 1:\n" +
+                        "       pass\n";
+        doTest(source);
+    }
+
+    // @Test skip until 3.10
+    public void testMatchValueWithDefault() {
+        String source = "" +
+                        "s = 1\n" +
+                        "match s:\n" +
+                        "   case 1:\n" +
+                        "       pass\n" +
+                        "   case _:\n" +
+                        "       pass\n";
+        doTest(source);
+    }
+
+    // @Test skip until 3.10
+    public void testMatchSingletonBoolean() {
+        String source = "" +
+                        "match 1:\n" +
+                        "   case True:\n" +
+                        "       pass\n";
+        doTest(source);
+    }
+
+    // @Test skip until 3.10
+    public void testMatchSingletonNone() {
+        String source = "" +
+                        "match 1:\n" +
+                        "   case None:\n" +
+                        "       pass\n";
+        doTest(source);
+    }
+
     @Test
     public void testAssignToDebug() {
         checkSyntaxErrorMessage("obj.__debug__ = 1", "cannot assign to __debug__");

graalpython/com.oracle.graal.python.test/testData/goldenFiles/CompilerTests/testMatchSingletonBoolean.co

@@ -0,0 +1,8 @@
+Disassembly of <module>:
+  1:6   -   1:7         0 LOAD_BYTE_O                       1                                      can quicken
+  2:8   -   2:12        2 LOAD_TRUE_O                                                              can quicken
+  2:8   -   2:12        3 BINARY_OP                         31   (IS)                              can quicken, generalizes: 2, 0
+  2:8   -   2:12        5 POP_AND_JUMP_IF_FALSE             6    (to 11)                           generalizes: 3
+  3:7   -   3:11        9 JUMP_FORWARD                      2    (to 11)
+  2:3   -   3:11  >>   11 LOAD_NONE
+  2:3   -   3:11       12 RETURN_VALUE

graalpython/com.oracle.graal.python.test/testData/goldenFiles/CompilerTests/testMatchSingletonNone.co

@@ -0,0 +1,8 @@
+Disassembly of <module>:
+  1:6   -   1:7         0 LOAD_BYTE_O                       1
+  2:8   -   2:12        2 LOAD_NONE
+  2:8   -   2:12        3 BINARY_OP                         31   (IS)                              can quicken
+  2:8   -   2:12        5 POP_AND_JUMP_IF_FALSE             6    (to 11)                           generalizes: 3
+  3:7   -   3:11        9 JUMP_FORWARD                      2    (to 11)
+  2:3   -   3:11  >>   11 LOAD_NONE
+  2:3   -   3:11       12 RETURN_VALUE

graalpython/com.oracle.graal.python.test/testData/goldenFiles/CompilerTests/testMatchValue.co

@@ -0,0 +1,10 @@
+Disassembly of <module>:
+  1:4   -   1:5         0 LOAD_BYTE_O                       1
+  1:0   -   1:1         2 STORE_NAME                        0    (s)
+  2:6   -   2:7         4 LOAD_NAME                         0    (s)
+  3:8   -   3:9         6 LOAD_BYTE_O                       1
+  3:8   -   3:9         8 BINARY_OP                         12   (EQ)                              can quicken
+  3:8   -   3:9        10 POP_AND_JUMP_IF_FALSE             6    (to 16)                           generalizes: 8
+  4:7   -   4:11       14 JUMP_FORWARD                      2    (to 16)
+  3:3   -   4:11  >>   16 LOAD_NONE
+  3:3   -   4:11       17 RETURN_VALUE

graalpython/com.oracle.graal.python.test/testData/goldenFiles/CompilerTests/testMatchValueConst.co

@@ -0,0 +1,8 @@
+Disassembly of <module>:
+  1:6   -   1:7         0 LOAD_BYTE_I                       1                                      can quicken
+  2:8   -   2:9         2 LOAD_BYTE_I                       1                                      can quicken
+  2:8   -   2:9         4 BINARY_OP                         12   (EQ)                              can quicken, generalizes: 2, 0
+  2:8   -   2:9         6 POP_AND_JUMP_IF_FALSE             6    (to 12)                           generalizes: 4
+  3:7   -   3:11       10 JUMP_FORWARD                      2    (to 12)
+  2:3   -   3:11  >>   12 LOAD_NONE
+  2:3   -   3:11       13 RETURN_VALUE

graalpython/com.oracle.graal.python.test/testData/goldenFiles/CompilerTests/testMatchValueWithDefault.co

@@ -0,0 +1,11 @@
+Disassembly of <module>:
+  1:4   -   1:5         0 LOAD_BYTE_O                       1
+  1:0   -   1:1         2 STORE_NAME                        0    (s)
+  2:6   -   2:7         4 LOAD_NAME                         0    (s)
+  3:8   -   3:9         6 LOAD_BYTE_O                       1
+  3:8   -   3:9         8 BINARY_OP                         12   (EQ)                              can quicken
+  3:8   -   3:9        10 POP_AND_JUMP_IF_FALSE             6    (to 16)                           generalizes: 8
+  4:7   -   4:11       14 JUMP_FORWARD                      3    (to 17)
+  5:3   -   6:11  >>   16 NOP
+  6:7   -   6:11  >>   17 LOAD_NONE
+  6:7   -   6:11       18 RETURN_VALUE