File: C:/Users/fred/anaconda3/Lib/site-packages/mypyc/test-data/irbuild-match.test
[case testMatchValuePattern_python3_10]
def f():
match 123:
case 123:
print("matched")
[out]
def f():
r0 :: bit
r1 :: str
r2 :: object
r3 :: str
r4 :: object
r5 :: object[1]
r6 :: object_ptr
r7, r8 :: object
L0:
r0 = int_eq 246, 246
if r0 goto L1 else goto L2 :: bool
L1:
r1 = 'matched'
r2 = builtins :: module
r3 = 'print'
r4 = CPyObject_GetAttr(r2, r3)
r5 = [r1]
r6 = load_address r5
r7 = _PyObject_Vectorcall(r4, r6, 1, 0)
keep_alive r1
goto L3
L2:
L3:
r8 = box(None, 1)
return r8
[case testMatchOrPattern_python3_10]
def f():
match 123:
case 123 | 456:
print("matched")
[out]
def f():
r0, r1 :: bit
r2 :: str
r3 :: object
r4 :: str
r5 :: object
r6 :: object[1]
r7 :: object_ptr
r8, r9 :: object
L0:
r0 = int_eq 246, 246
if r0 goto L3 else goto L1 :: bool
L1:
r1 = int_eq 246, 912
if r1 goto L3 else goto L2 :: bool
L2:
goto L4
L3:
r2 = 'matched'
r3 = builtins :: module
r4 = 'print'
r5 = CPyObject_GetAttr(r3, r4)
r6 = [r2]
r7 = load_address r6
r8 = _PyObject_Vectorcall(r5, r7, 1, 0)
keep_alive r2
goto L5
L4:
L5:
r9 = box(None, 1)
return r9
[case testMatchOrPatternManyPatterns_python3_10]
def f():
match 1:
case 1 | 2 | 3 | 4:
print("matched")
[out]
def f():
r0, r1, r2, r3 :: bit
r4 :: str
r5 :: object
r6 :: str
r7 :: object
r8 :: object[1]
r9 :: object_ptr
r10, r11 :: object
L0:
r0 = int_eq 2, 2
if r0 goto L5 else goto L1 :: bool
L1:
r1 = int_eq 2, 4
if r1 goto L5 else goto L2 :: bool
L2:
r2 = int_eq 2, 6
if r2 goto L5 else goto L3 :: bool
L3:
r3 = int_eq 2, 8
if r3 goto L5 else goto L4 :: bool
L4:
goto L6
L5:
r4 = 'matched'
r5 = builtins :: module
r6 = 'print'
r7 = CPyObject_GetAttr(r5, r6)
r8 = [r4]
r9 = load_address r8
r10 = _PyObject_Vectorcall(r7, r9, 1, 0)
keep_alive r4
goto L7
L6:
L7:
r11 = box(None, 1)
return r11
[case testMatchClassPattern_python3_10]
def f():
match 123:
case int():
print("matched")
[out]
def f():
r0, r1 :: object
r2 :: bool
r3 :: str
r4 :: object
r5 :: str
r6 :: object
r7 :: object[1]
r8 :: object_ptr
r9, r10 :: object
L0:
r0 = load_address PyLong_Type
r1 = object 123
r2 = CPy_TypeCheck(r1, r0)
if r2 goto L1 else goto L2 :: bool
L1:
r3 = 'matched'
r4 = builtins :: module
r5 = 'print'
r6 = CPyObject_GetAttr(r4, r5)
r7 = [r3]
r8 = load_address r7
r9 = _PyObject_Vectorcall(r6, r8, 1, 0)
keep_alive r3
goto L3
L2:
L3:
r10 = box(None, 1)
return r10
[case testMatchExaustivePattern_python3_10]
def f():
match 123:
case _:
print("matched")
[out]
def f():
r0 :: str
r1 :: object
r2 :: str
r3 :: object
r4 :: object[1]
r5 :: object_ptr
r6, r7 :: object
L0:
L1:
r0 = 'matched'
r1 = builtins :: module
r2 = 'print'
r3 = CPyObject_GetAttr(r1, r2)
r4 = [r0]
r5 = load_address r4
r6 = _PyObject_Vectorcall(r3, r5, 1, 0)
keep_alive r0
goto L3
L2:
L3:
r7 = box(None, 1)
return r7
[case testMatchMultipleBodies_python3_10]
def f():
match 123:
case 123:
print("matched")
case 456:
print("no match")
[out]
def f():
r0 :: bit
r1 :: str
r2 :: object
r3 :: str
r4 :: object
r5 :: object[1]
r6 :: object_ptr
r7 :: object
r8 :: bit
r9 :: str
r10 :: object
r11 :: str
r12 :: object
r13 :: object[1]
r14 :: object_ptr
r15, r16 :: object
L0:
r0 = int_eq 246, 246
if r0 goto L1 else goto L2 :: bool
L1:
r1 = 'matched'
r2 = builtins :: module
r3 = 'print'
r4 = CPyObject_GetAttr(r2, r3)
r5 = [r1]
r6 = load_address r5
r7 = _PyObject_Vectorcall(r4, r6, 1, 0)
keep_alive r1
goto L5
L2:
r8 = int_eq 246, 912
if r8 goto L3 else goto L4 :: bool
L3:
r9 = 'no match'
r10 = builtins :: module
r11 = 'print'
r12 = CPyObject_GetAttr(r10, r11)
r13 = [r9]
r14 = load_address r13
r15 = _PyObject_Vectorcall(r12, r14, 1, 0)
keep_alive r9
goto L5
L4:
L5:
r16 = box(None, 1)
return r16
[case testMatchMultiBodyAndComplexOr_python3_10]
def f():
match 123:
case 1:
print("here 1")
case 2 | 3:
print("here 2 | 3")
case 123:
print("here 123")
[out]
def f():
r0 :: bit
r1 :: str
r2 :: object
r3 :: str
r4 :: object
r5 :: object[1]
r6 :: object_ptr
r7 :: object
r8, r9 :: bit
r10 :: str
r11 :: object
r12 :: str
r13 :: object
r14 :: object[1]
r15 :: object_ptr
r16 :: object
r17 :: bit
r18 :: str
r19 :: object
r20 :: str
r21 :: object
r22 :: object[1]
r23 :: object_ptr
r24, r25 :: object
L0:
r0 = int_eq 246, 2
if r0 goto L1 else goto L2 :: bool
L1:
r1 = 'here 1'
r2 = builtins :: module
r3 = 'print'
r4 = CPyObject_GetAttr(r2, r3)
r5 = [r1]
r6 = load_address r5
r7 = _PyObject_Vectorcall(r4, r6, 1, 0)
keep_alive r1
goto L9
L2:
r8 = int_eq 246, 4
if r8 goto L5 else goto L3 :: bool
L3:
r9 = int_eq 246, 6
if r9 goto L5 else goto L4 :: bool
L4:
goto L6
L5:
r10 = 'here 2 | 3'
r11 = builtins :: module
r12 = 'print'
r13 = CPyObject_GetAttr(r11, r12)
r14 = [r10]
r15 = load_address r14
r16 = _PyObject_Vectorcall(r13, r15, 1, 0)
keep_alive r10
goto L9
L6:
r17 = int_eq 246, 246
if r17 goto L7 else goto L8 :: bool
L7:
r18 = 'here 123'
r19 = builtins :: module
r20 = 'print'
r21 = CPyObject_GetAttr(r19, r20)
r22 = [r18]
r23 = load_address r22
r24 = _PyObject_Vectorcall(r21, r23, 1, 0)
keep_alive r18
goto L9
L8:
L9:
r25 = box(None, 1)
return r25
[case testMatchWithGuard_python3_10]
def f():
match 123:
case 123 if True:
print("matched")
[out]
def f():
r0 :: bit
r1 :: str
r2 :: object
r3 :: str
r4 :: object
r5 :: object[1]
r6 :: object_ptr
r7, r8 :: object
L0:
r0 = int_eq 246, 246
if r0 goto L1 else goto L3 :: bool
L1:
if 1 goto L2 else goto L3 :: bool
L2:
r1 = 'matched'
r2 = builtins :: module
r3 = 'print'
r4 = CPyObject_GetAttr(r2, r3)
r5 = [r1]
r6 = load_address r5
r7 = _PyObject_Vectorcall(r4, r6, 1, 0)
keep_alive r1
goto L4
L3:
L4:
r8 = box(None, 1)
return r8
[case testMatchSingleton_python3_10]
def f():
match 123:
case True:
print("value is True")
case False:
print("value is False")
case None:
print("value is None")
[out]
def f():
r0, r1 :: object
r2 :: bit
r3 :: str
r4 :: object
r5 :: str
r6 :: object
r7 :: object[1]
r8 :: object_ptr
r9, r10, r11 :: object
r12 :: bit
r13 :: str
r14 :: object
r15 :: str
r16 :: object
r17 :: object[1]
r18 :: object_ptr
r19, r20, r21 :: object
r22 :: bit
r23 :: str
r24 :: object
r25 :: str
r26 :: object
r27 :: object[1]
r28 :: object_ptr
r29, r30 :: object
L0:
r0 = object 123
r1 = box(bool, 1)
r2 = r0 == r1
if r2 goto L1 else goto L2 :: bool
L1:
r3 = 'value is True'
r4 = builtins :: module
r5 = 'print'
r6 = CPyObject_GetAttr(r4, r5)
r7 = [r3]
r8 = load_address r7
r9 = _PyObject_Vectorcall(r6, r8, 1, 0)
keep_alive r3
goto L7
L2:
r10 = object 123
r11 = box(bool, 0)
r12 = r10 == r11
if r12 goto L3 else goto L4 :: bool
L3:
r13 = 'value is False'
r14 = builtins :: module
r15 = 'print'
r16 = CPyObject_GetAttr(r14, r15)
r17 = [r13]
r18 = load_address r17
r19 = _PyObject_Vectorcall(r16, r18, 1, 0)
keep_alive r13
goto L7
L4:
r20 = load_address _Py_NoneStruct
r21 = object 123
r22 = r21 == r20
if r22 goto L5 else goto L6 :: bool
L5:
r23 = 'value is None'
r24 = builtins :: module
r25 = 'print'
r26 = CPyObject_GetAttr(r24, r25)
r27 = [r23]
r28 = load_address r27
r29 = _PyObject_Vectorcall(r26, r28, 1, 0)
keep_alive r23
goto L7
L6:
L7:
r30 = box(None, 1)
return r30
[case testMatchRecursiveOrPattern_python3_10]
def f():
match 1:
case 1 | int():
print("matched")
[out]
def f():
r0 :: bit
r1, r2 :: object
r3 :: bool
r4 :: str
r5 :: object
r6 :: str
r7 :: object
r8 :: object[1]
r9 :: object_ptr
r10, r11 :: object
L0:
r0 = int_eq 2, 2
if r0 goto L3 else goto L1 :: bool
L1:
r1 = load_address PyLong_Type
r2 = object 1
r3 = CPy_TypeCheck(r2, r1)
if r3 goto L3 else goto L2 :: bool
L2:
goto L4
L3:
r4 = 'matched'
r5 = builtins :: module
r6 = 'print'
r7 = CPyObject_GetAttr(r5, r6)
r8 = [r4]
r9 = load_address r8
r10 = _PyObject_Vectorcall(r7, r9, 1, 0)
keep_alive r4
goto L5
L4:
L5:
r11 = box(None, 1)
return r11
[case testMatchAsPattern_python3_10]
def f():
match 123:
case 123 as x:
print(x)
[out]
def f():
r0 :: bit
r1, x, r2 :: object
r3 :: str
r4 :: object
r5 :: object[1]
r6 :: object_ptr
r7, r8 :: object
L0:
r0 = int_eq 246, 246
r1 = object 123
x = r1
if r0 goto L1 else goto L2 :: bool
L1:
r2 = builtins :: module
r3 = 'print'
r4 = CPyObject_GetAttr(r2, r3)
r5 = [x]
r6 = load_address r5
r7 = _PyObject_Vectorcall(r4, r6, 1, 0)
keep_alive x
goto L3
L2:
L3:
r8 = box(None, 1)
return r8
[case testMatchAsPatternOnOrPattern_python3_10]
def f():
match 1:
case (1 | 2) as x:
print(x)
[out]
def f():
r0 :: bit
r1, x :: object
r2 :: bit
r3, r4 :: object
r5 :: str
r6 :: object
r7 :: object[1]
r8 :: object_ptr
r9, r10 :: object
L0:
r0 = int_eq 2, 2
r1 = object 1
x = r1
if r0 goto L3 else goto L1 :: bool
L1:
r2 = int_eq 2, 4
r3 = object 2
x = r3
if r2 goto L3 else goto L2 :: bool
L2:
goto L4
L3:
r4 = builtins :: module
r5 = 'print'
r6 = CPyObject_GetAttr(r4, r5)
r7 = [x]
r8 = load_address r7
r9 = _PyObject_Vectorcall(r6, r8, 1, 0)
keep_alive x
goto L5
L4:
L5:
r10 = box(None, 1)
return r10
[case testMatchAsPatternOnClassPattern_python3_10]
def f():
match 123:
case int() as i:
print(i)
[out]
def f():
r0, r1 :: object
r2 :: bool
i :: int
r3 :: object
r4 :: str
r5, r6 :: object
r7 :: object[1]
r8 :: object_ptr
r9, r10 :: object
L0:
r0 = load_address PyLong_Type
r1 = object 123
r2 = CPy_TypeCheck(r1, r0)
if r2 goto L1 else goto L3 :: bool
L1:
i = 246
L2:
r3 = builtins :: module
r4 = 'print'
r5 = CPyObject_GetAttr(r3, r4)
r6 = box(int, i)
r7 = [r6]
r8 = load_address r7
r9 = _PyObject_Vectorcall(r5, r8, 1, 0)
keep_alive r6
goto L4
L3:
L4:
r10 = box(None, 1)
return r10
[case testMatchClassPatternWithPositionalArgs_python3_10]
class Position:
__match_args__ = ("x", "y", "z")
x: int
y: int
z: int
def f(x):
match x:
case Position(1, 2, 3):
print("matched")
[out]
def Position.__mypyc_defaults_setup(__mypyc_self__):
__mypyc_self__ :: __main__.Position
r0, r1, r2 :: str
r3 :: tuple[str, str, str]
L0:
r0 = 'x'
r1 = 'y'
r2 = 'z'
r3 = (r0, r1, r2)
__mypyc_self__.__match_args__ = r3
return 1
def f(x):
x, r0 :: object
r1 :: i32
r2 :: bit
r3 :: bool
r4 :: str
r5, r6, r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11 :: str
r12, r13, r14 :: object
r15 :: i32
r16 :: bit
r17 :: bool
r18 :: str
r19, r20, r21 :: object
r22 :: i32
r23 :: bit
r24 :: bool
r25 :: str
r26 :: object
r27 :: str
r28 :: object
r29 :: object[1]
r30 :: object_ptr
r31, r32 :: object
L0:
r0 = __main__.Position :: type
r1 = PyObject_IsInstance(x, r0)
r2 = r1 >= 0 :: signed
r3 = truncate r1: i32 to builtins.bool
if r3 goto L1 else goto L5 :: bool
L1:
r4 = 'x'
r5 = CPyObject_GetAttr(x, r4)
r6 = object 1
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L2 else goto L5 :: bool
L2:
r11 = 'y'
r12 = CPyObject_GetAttr(x, r11)
r13 = object 2
r14 = PyObject_RichCompare(r12, r13, 2)
r15 = PyObject_IsTrue(r14)
r16 = r15 >= 0 :: signed
r17 = truncate r15: i32 to builtins.bool
if r17 goto L3 else goto L5 :: bool
L3:
r18 = 'z'
r19 = CPyObject_GetAttr(x, r18)
r20 = object 3
r21 = PyObject_RichCompare(r19, r20, 2)
r22 = PyObject_IsTrue(r21)
r23 = r22 >= 0 :: signed
r24 = truncate r22: i32 to builtins.bool
if r24 goto L4 else goto L5 :: bool
L4:
r25 = 'matched'
r26 = builtins :: module
r27 = 'print'
r28 = CPyObject_GetAttr(r26, r27)
r29 = [r25]
r30 = load_address r29
r31 = _PyObject_Vectorcall(r28, r30, 1, 0)
keep_alive r25
goto L6
L5:
L6:
r32 = box(None, 1)
return r32
[case testMatchClassPatternWithKeywordPatterns_python3_10]
class Position:
x: int
y: int
z: int
def f(x):
match x:
case Position(z=1, y=2, x=3):
print("matched")
[out]
def f(x):
x, r0 :: object
r1 :: i32
r2 :: bit
r3 :: bool
r4 :: str
r5, r6, r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11 :: str
r12, r13, r14 :: object
r15 :: i32
r16 :: bit
r17 :: bool
r18 :: str
r19, r20, r21 :: object
r22 :: i32
r23 :: bit
r24 :: bool
r25 :: str
r26 :: object
r27 :: str
r28 :: object
r29 :: object[1]
r30 :: object_ptr
r31, r32 :: object
L0:
r0 = __main__.Position :: type
r1 = PyObject_IsInstance(x, r0)
r2 = r1 >= 0 :: signed
r3 = truncate r1: i32 to builtins.bool
if r3 goto L1 else goto L5 :: bool
L1:
r4 = 'z'
r5 = CPyObject_GetAttr(x, r4)
r6 = object 1
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L2 else goto L5 :: bool
L2:
r11 = 'y'
r12 = CPyObject_GetAttr(x, r11)
r13 = object 2
r14 = PyObject_RichCompare(r12, r13, 2)
r15 = PyObject_IsTrue(r14)
r16 = r15 >= 0 :: signed
r17 = truncate r15: i32 to builtins.bool
if r17 goto L3 else goto L5 :: bool
L3:
r18 = 'x'
r19 = CPyObject_GetAttr(x, r18)
r20 = object 3
r21 = PyObject_RichCompare(r19, r20, 2)
r22 = PyObject_IsTrue(r21)
r23 = r22 >= 0 :: signed
r24 = truncate r22: i32 to builtins.bool
if r24 goto L4 else goto L5 :: bool
L4:
r25 = 'matched'
r26 = builtins :: module
r27 = 'print'
r28 = CPyObject_GetAttr(r26, r27)
r29 = [r25]
r30 = load_address r29
r31 = _PyObject_Vectorcall(r28, r30, 1, 0)
keep_alive r25
goto L6
L5:
L6:
r32 = box(None, 1)
return r32
[case testMatchClassPatternWithNestedPattern_python3_10]
class C:
num: int
def f(x):
match x:
case C(num=1 | 2):
print("matched")
[out]
def f(x):
x, r0 :: object
r1 :: i32
r2 :: bit
r3 :: bool
r4 :: str
r5, r6, r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11, r12 :: object
r13 :: i32
r14 :: bit
r15 :: bool
r16 :: str
r17 :: object
r18 :: str
r19 :: object
r20 :: object[1]
r21 :: object_ptr
r22, r23 :: object
L0:
r0 = __main__.C :: type
r1 = PyObject_IsInstance(x, r0)
r2 = r1 >= 0 :: signed
r3 = truncate r1: i32 to builtins.bool
if r3 goto L1 else goto L5 :: bool
L1:
r4 = 'num'
r5 = CPyObject_GetAttr(x, r4)
r6 = object 1
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L4 else goto L2 :: bool
L2:
r11 = object 2
r12 = PyObject_RichCompare(r5, r11, 2)
r13 = PyObject_IsTrue(r12)
r14 = r13 >= 0 :: signed
r15 = truncate r13: i32 to builtins.bool
if r15 goto L4 else goto L3 :: bool
L3:
goto L5
L4:
r16 = 'matched'
r17 = builtins :: module
r18 = 'print'
r19 = CPyObject_GetAttr(r17, r18)
r20 = [r16]
r21 = load_address r20
r22 = _PyObject_Vectorcall(r19, r21, 1, 0)
keep_alive r16
goto L6
L5:
L6:
r23 = box(None, 1)
return r23
[case testAsPatternDoesntBleedIntoSubPatterns_python3_10]
class C:
__match_args__ = ("a", "b")
a: int
b: int
def f(x):
match x:
case C(1, 2) as y:
print("matched")
[out]
def C.__mypyc_defaults_setup(__mypyc_self__):
__mypyc_self__ :: __main__.C
r0, r1 :: str
r2 :: tuple[str, str]
L0:
r0 = 'a'
r1 = 'b'
r2 = (r0, r1)
__mypyc_self__.__match_args__ = r2
return 1
def f(x):
x, r0 :: object
r1 :: i32
r2 :: bit
r3 :: bool
r4, y :: __main__.C
r5 :: str
r6, r7, r8 :: object
r9 :: i32
r10 :: bit
r11 :: bool
r12 :: str
r13, r14, r15 :: object
r16 :: i32
r17 :: bit
r18 :: bool
r19 :: str
r20 :: object
r21 :: str
r22 :: object
r23 :: object[1]
r24 :: object_ptr
r25, r26 :: object
L0:
r0 = __main__.C :: type
r1 = PyObject_IsInstance(x, r0)
r2 = r1 >= 0 :: signed
r3 = truncate r1: i32 to builtins.bool
if r3 goto L1 else goto L5 :: bool
L1:
r4 = cast(__main__.C, x)
y = r4
L2:
r5 = 'a'
r6 = CPyObject_GetAttr(x, r5)
r7 = object 1
r8 = PyObject_RichCompare(r6, r7, 2)
r9 = PyObject_IsTrue(r8)
r10 = r9 >= 0 :: signed
r11 = truncate r9: i32 to builtins.bool
if r11 goto L3 else goto L5 :: bool
L3:
r12 = 'b'
r13 = CPyObject_GetAttr(x, r12)
r14 = object 2
r15 = PyObject_RichCompare(r13, r14, 2)
r16 = PyObject_IsTrue(r15)
r17 = r16 >= 0 :: signed
r18 = truncate r16: i32 to builtins.bool
if r18 goto L4 else goto L5 :: bool
L4:
r19 = 'matched'
r20 = builtins :: module
r21 = 'print'
r22 = CPyObject_GetAttr(r20, r21)
r23 = [r19]
r24 = load_address r23
r25 = _PyObject_Vectorcall(r22, r24, 1, 0)
keep_alive r19
goto L6
L5:
L6:
r26 = box(None, 1)
return r26
[case testMatchClassPatternPositionalCapture_python3_10]
class C:
__match_args__ = ("x",)
x: int
def f(x):
match x:
case C(num):
print("matched")
[out]
def C.__mypyc_defaults_setup(__mypyc_self__):
__mypyc_self__ :: __main__.C
r0 :: str
r1 :: tuple[str]
L0:
r0 = 'x'
r1 = (r0)
__mypyc_self__.__match_args__ = r1
return 1
def f(x):
x, r0 :: object
r1 :: i32
r2 :: bit
r3 :: bool
r4 :: str
r5 :: object
r6, num :: int
r7 :: str
r8 :: object
r9 :: str
r10 :: object
r11 :: object[1]
r12 :: object_ptr
r13, r14 :: object
L0:
r0 = __main__.C :: type
r1 = PyObject_IsInstance(x, r0)
r2 = r1 >= 0 :: signed
r3 = truncate r1: i32 to builtins.bool
if r3 goto L1 else goto L3 :: bool
L1:
r4 = 'x'
r5 = CPyObject_GetAttr(x, r4)
r6 = unbox(int, r5)
num = r6
L2:
r7 = 'matched'
r8 = builtins :: module
r9 = 'print'
r10 = CPyObject_GetAttr(r8, r9)
r11 = [r7]
r12 = load_address r11
r13 = _PyObject_Vectorcall(r10, r12, 1, 0)
keep_alive r7
goto L4
L3:
L4:
r14 = box(None, 1)
return r14
[case testMatchMappingEmpty_python3_10]
def f(x):
match x:
case {}:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: str
r3 :: object
r4 :: str
r5 :: object
r6 :: object[1]
r7 :: object_ptr
r8, r9 :: object
L0:
r0 = CPyMapping_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L2 :: bool
L1:
r2 = 'matched'
r3 = builtins :: module
r4 = 'print'
r5 = CPyObject_GetAttr(r3, r4)
r6 = [r2]
r7 = load_address r6
r8 = _PyObject_Vectorcall(r5, r7, 1, 0)
keep_alive r2
goto L3
L2:
L3:
r9 = box(None, 1)
return r9
[case testMatchMappingPatternWithKeys_python3_10]
def f(x):
match x:
case {"key": "value"}:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: str
r3 :: i32
r4 :: bit
r5 :: object
r6 :: str
r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11 :: str
r12 :: object
r13 :: str
r14 :: object
r15 :: object[1]
r16 :: object_ptr
r17, r18 :: object
L0:
r0 = CPyMapping_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L4 :: bool
L1:
r2 = 'key'
r3 = PyMapping_HasKey(x, r2)
r4 = r3 != 0
if r4 goto L2 else goto L4 :: bool
L2:
r5 = PyObject_GetItem(x, r2)
r6 = 'value'
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L3 else goto L4 :: bool
L3:
r11 = 'matched'
r12 = builtins :: module
r13 = 'print'
r14 = CPyObject_GetAttr(r12, r13)
r15 = [r11]
r16 = load_address r15
r17 = _PyObject_Vectorcall(r14, r16, 1, 0)
keep_alive r11
goto L5
L4:
L5:
r18 = box(None, 1)
return r18
[case testMatchMappingPatternWithRest_python3_10]
def f(x):
match x:
case {**rest}:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2, rest :: dict
r3 :: str
r4 :: object
r5 :: str
r6 :: object
r7 :: object[1]
r8 :: object_ptr
r9, r10 :: object
L0:
r0 = CPyMapping_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L3 :: bool
L1:
r2 = CPyDict_FromAny(x)
rest = r2
L2:
r3 = 'matched'
r4 = builtins :: module
r5 = 'print'
r6 = CPyObject_GetAttr(r4, r5)
r7 = [r3]
r8 = load_address r7
r9 = _PyObject_Vectorcall(r6, r8, 1, 0)
keep_alive r3
goto L4
L3:
L4:
r10 = box(None, 1)
return r10
[case testMatchMappingPatternWithRestPopKeys_python3_10]
def f(x):
match x:
case {"key": "value", **rest}:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: str
r3 :: i32
r4 :: bit
r5 :: object
r6 :: str
r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11, rest :: dict
r12 :: i32
r13 :: bit
r14 :: str
r15 :: object
r16 :: str
r17 :: object
r18 :: object[1]
r19 :: object_ptr
r20, r21 :: object
L0:
r0 = CPyMapping_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L5 :: bool
L1:
r2 = 'key'
r3 = PyMapping_HasKey(x, r2)
r4 = r3 != 0
if r4 goto L2 else goto L5 :: bool
L2:
r5 = PyObject_GetItem(x, r2)
r6 = 'value'
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L3 else goto L5 :: bool
L3:
r11 = CPyDict_FromAny(x)
rest = r11
r12 = PyDict_DelItem(r11, r2)
r13 = r12 >= 0 :: signed
L4:
r14 = 'matched'
r15 = builtins :: module
r16 = 'print'
r17 = CPyObject_GetAttr(r15, r16)
r18 = [r14]
r19 = load_address r18
r20 = _PyObject_Vectorcall(r17, r19, 1, 0)
keep_alive r14
goto L6
L5:
L6:
r21 = box(None, 1)
return r21
[case testMatchEmptySequencePattern_python3_10]
def f(x):
match x:
case []:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: native_int
r3, r4 :: bit
r5 :: str
r6 :: object
r7 :: str
r8 :: object
r9 :: object[1]
r10 :: object_ptr
r11, r12 :: object
L0:
r0 = CPySequence_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L3 :: bool
L1:
r2 = PyObject_Size(x)
r3 = r2 >= 0 :: signed
r4 = r2 == 0
if r4 goto L2 else goto L3 :: bool
L2:
r5 = 'matched'
r6 = builtins :: module
r7 = 'print'
r8 = CPyObject_GetAttr(r6, r7)
r9 = [r5]
r10 = load_address r9
r11 = _PyObject_Vectorcall(r8, r10, 1, 0)
keep_alive r5
goto L4
L3:
L4:
r12 = box(None, 1)
return r12
[case testMatchFixedLengthSequencePattern_python3_10]
def f(x):
match x:
case [1, 2]:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: native_int
r3, r4 :: bit
r5, r6, r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11, r12, r13 :: object
r14 :: i32
r15 :: bit
r16 :: bool
r17 :: str
r18 :: object
r19 :: str
r20 :: object
r21 :: object[1]
r22 :: object_ptr
r23, r24 :: object
L0:
r0 = CPySequence_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L5 :: bool
L1:
r2 = PyObject_Size(x)
r3 = r2 >= 0 :: signed
r4 = r2 == 2
if r4 goto L2 else goto L5 :: bool
L2:
r5 = PySequence_GetItem(x, 0)
r6 = object 1
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L3 else goto L5 :: bool
L3:
r11 = PySequence_GetItem(x, 1)
r12 = object 2
r13 = PyObject_RichCompare(r11, r12, 2)
r14 = PyObject_IsTrue(r13)
r15 = r14 >= 0 :: signed
r16 = truncate r14: i32 to builtins.bool
if r16 goto L4 else goto L5 :: bool
L4:
r17 = 'matched'
r18 = builtins :: module
r19 = 'print'
r20 = CPyObject_GetAttr(r18, r19)
r21 = [r17]
r22 = load_address r21
r23 = _PyObject_Vectorcall(r20, r22, 1, 0)
keep_alive r17
goto L6
L5:
L6:
r24 = box(None, 1)
return r24
[case testMatchSequencePatternWithTrailingUnboundStar_python3_10]
def f(x):
match x:
case [1, 2, *_]:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: native_int
r3, r4 :: bit
r5, r6, r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11, r12, r13 :: object
r14 :: i32
r15 :: bit
r16 :: bool
r17 :: str
r18 :: object
r19 :: str
r20 :: object
r21 :: object[1]
r22 :: object_ptr
r23, r24 :: object
L0:
r0 = CPySequence_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L5 :: bool
L1:
r2 = PyObject_Size(x)
r3 = r2 >= 0 :: signed
r4 = r2 >= 2 :: signed
if r4 goto L2 else goto L5 :: bool
L2:
r5 = PySequence_GetItem(x, 0)
r6 = object 1
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L3 else goto L5 :: bool
L3:
r11 = PySequence_GetItem(x, 1)
r12 = object 2
r13 = PyObject_RichCompare(r11, r12, 2)
r14 = PyObject_IsTrue(r13)
r15 = r14 >= 0 :: signed
r16 = truncate r14: i32 to builtins.bool
if r16 goto L4 else goto L5 :: bool
L4:
r17 = 'matched'
r18 = builtins :: module
r19 = 'print'
r20 = CPyObject_GetAttr(r18, r19)
r21 = [r17]
r22 = load_address r21
r23 = _PyObject_Vectorcall(r20, r22, 1, 0)
keep_alive r17
goto L6
L5:
L6:
r24 = box(None, 1)
return r24
[case testMatchSequencePatternWithTrailingBoundStar_python3_10]
def f(x):
match x:
case [1, 2, *rest]:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: native_int
r3, r4 :: bit
r5, r6, r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11, r12, r13 :: object
r14 :: i32
r15 :: bit
r16 :: bool
r17 :: native_int
r18, rest :: object
r19 :: str
r20 :: object
r21 :: str
r22 :: object
r23 :: object[1]
r24 :: object_ptr
r25, r26 :: object
L0:
r0 = CPySequence_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L6 :: bool
L1:
r2 = PyObject_Size(x)
r3 = r2 >= 0 :: signed
r4 = r2 >= 2 :: signed
if r4 goto L2 else goto L6 :: bool
L2:
r5 = PySequence_GetItem(x, 0)
r6 = object 1
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L3 else goto L6 :: bool
L3:
r11 = PySequence_GetItem(x, 1)
r12 = object 2
r13 = PyObject_RichCompare(r11, r12, 2)
r14 = PyObject_IsTrue(r13)
r15 = r14 >= 0 :: signed
r16 = truncate r14: i32 to builtins.bool
if r16 goto L4 else goto L6 :: bool
L4:
r17 = r2 - 0
r18 = PySequence_GetSlice(x, 2, r17)
rest = r18
L5:
r19 = 'matched'
r20 = builtins :: module
r21 = 'print'
r22 = CPyObject_GetAttr(r20, r21)
r23 = [r19]
r24 = load_address r23
r25 = _PyObject_Vectorcall(r22, r24, 1, 0)
keep_alive r19
goto L7
L6:
L7:
r26 = box(None, 1)
return r26
[case testMatchSequenceWithStarPatternInTheMiddle_python3_10]
def f(x):
match x:
case ["start", *rest, "end"]:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: native_int
r3, r4 :: bit
r5 :: object
r6 :: str
r7 :: object
r8 :: i32
r9 :: bit
r10 :: bool
r11 :: native_int
r12 :: object
r13 :: str
r14 :: object
r15 :: i32
r16 :: bit
r17 :: bool
r18 :: native_int
r19, rest :: object
r20 :: str
r21 :: object
r22 :: str
r23 :: object
r24 :: object[1]
r25 :: object_ptr
r26, r27 :: object
L0:
r0 = CPySequence_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L6 :: bool
L1:
r2 = PyObject_Size(x)
r3 = r2 >= 0 :: signed
r4 = r2 >= 2 :: signed
if r4 goto L2 else goto L6 :: bool
L2:
r5 = PySequence_GetItem(x, 0)
r6 = 'start'
r7 = PyObject_RichCompare(r5, r6, 2)
r8 = PyObject_IsTrue(r7)
r9 = r8 >= 0 :: signed
r10 = truncate r8: i32 to builtins.bool
if r10 goto L3 else goto L6 :: bool
L3:
r11 = r2 - 1
r12 = PySequence_GetItem(x, r11)
r13 = 'end'
r14 = PyObject_RichCompare(r12, r13, 2)
r15 = PyObject_IsTrue(r14)
r16 = r15 >= 0 :: signed
r17 = truncate r15: i32 to builtins.bool
if r17 goto L4 else goto L6 :: bool
L4:
r18 = r2 - 1
r19 = PySequence_GetSlice(x, 1, r18)
rest = r19
L5:
r20 = 'matched'
r21 = builtins :: module
r22 = 'print'
r23 = CPyObject_GetAttr(r21, r22)
r24 = [r20]
r25 = load_address r24
r26 = _PyObject_Vectorcall(r23, r25, 1, 0)
keep_alive r20
goto L7
L6:
L7:
r27 = box(None, 1)
return r27
[case testMatchSequenceWithStarPatternAtTheStart_python3_10]
def f(x):
match x:
case [*rest, 1, 2]:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: native_int
r3, r4 :: bit
r5 :: native_int
r6, r7, r8 :: object
r9 :: i32
r10 :: bit
r11 :: bool
r12 :: native_int
r13, r14, r15 :: object
r16 :: i32
r17 :: bit
r18 :: bool
r19 :: native_int
r20, rest :: object
r21 :: str
r22 :: object
r23 :: str
r24 :: object
r25 :: object[1]
r26 :: object_ptr
r27, r28 :: object
L0:
r0 = CPySequence_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L6 :: bool
L1:
r2 = PyObject_Size(x)
r3 = r2 >= 0 :: signed
r4 = r2 >= 2 :: signed
if r4 goto L2 else goto L6 :: bool
L2:
r5 = r2 - 2
r6 = PySequence_GetItem(x, r5)
r7 = object 1
r8 = PyObject_RichCompare(r6, r7, 2)
r9 = PyObject_IsTrue(r8)
r10 = r9 >= 0 :: signed
r11 = truncate r9: i32 to builtins.bool
if r11 goto L3 else goto L6 :: bool
L3:
r12 = r2 - 1
r13 = PySequence_GetItem(x, r12)
r14 = object 2
r15 = PyObject_RichCompare(r13, r14, 2)
r16 = PyObject_IsTrue(r15)
r17 = r16 >= 0 :: signed
r18 = truncate r16: i32 to builtins.bool
if r18 goto L4 else goto L6 :: bool
L4:
r19 = r2 - 2
r20 = PySequence_GetSlice(x, 0, r19)
rest = r20
L5:
r21 = 'matched'
r22 = builtins :: module
r23 = 'print'
r24 = CPyObject_GetAttr(r22, r23)
r25 = [r21]
r26 = load_address r25
r27 = _PyObject_Vectorcall(r24, r26, 1, 0)
keep_alive r21
goto L7
L6:
L7:
r28 = box(None, 1)
return r28
[case testMatchBuiltinClassPattern_python3_10]
def f(x):
match x:
case int(y):
print("matched")
[out]
def f(x):
x, r0 :: object
r1 :: bool
r2, y :: int
r3 :: str
r4 :: object
r5 :: str
r6 :: object
r7 :: object[1]
r8 :: object_ptr
r9, r10 :: object
L0:
r0 = load_address PyLong_Type
r1 = CPy_TypeCheck(x, r0)
if r1 goto L1 else goto L3 :: bool
L1:
r2 = unbox(int, x)
y = r2
L2:
r3 = 'matched'
r4 = builtins :: module
r5 = 'print'
r6 = CPyObject_GetAttr(r4, r5)
r7 = [r3]
r8 = load_address r7
r9 = _PyObject_Vectorcall(r6, r8, 1, 0)
keep_alive r3
goto L4
L3:
L4:
r10 = box(None, 1)
return r10
[case testMatchSequenceCaptureAll_python3_10]
def f(x):
match x:
case [*rest]:
print("matched")
[out]
def f(x):
x :: object
r0 :: i32
r1 :: bit
r2 :: native_int
r3, r4 :: bit
r5 :: native_int
r6, rest :: object
r7 :: str
r8 :: object
r9 :: str
r10 :: object
r11 :: object[1]
r12 :: object_ptr
r13, r14 :: object
L0:
r0 = CPySequence_Check(x)
r1 = r0 != 0
if r1 goto L1 else goto L4 :: bool
L1:
r2 = PyObject_Size(x)
r3 = r2 >= 0 :: signed
r4 = r2 >= 0 :: signed
if r4 goto L2 else goto L4 :: bool
L2:
r5 = r2 - 0
r6 = PySequence_GetSlice(x, 0, r5)
rest = r6
L3:
r7 = 'matched'
r8 = builtins :: module
r9 = 'print'
r10 = CPyObject_GetAttr(r8, r9)
r11 = [r7]
r12 = load_address r11
r13 = _PyObject_Vectorcall(r10, r12, 1, 0)
keep_alive r7
goto L5
L4:
L5:
r14 = box(None, 1)
return r14
[case testMatchTypeAnnotatedNativeClass_python3_10]
class A:
a: int
def f(x: A | int) -> int:
match x:
case A(a=a):
return a
case int():
return x
[out]
def f(x):
x :: union[__main__.A, int]
r0 :: object
r1 :: i32
r2 :: bit
r3 :: bool
r4 :: str
r5 :: object
r6, a :: int
r7 :: object
r8 :: bool
r9 :: int
L0:
r0 = __main__.A :: type
r1 = PyObject_IsInstance(x, r0)
r2 = r1 >= 0 :: signed
r3 = truncate r1: i32 to builtins.bool
if r3 goto L1 else goto L3 :: bool
L1:
r4 = 'a'
r5 = CPyObject_GetAttr(x, r4)
r6 = unbox(int, r5)
a = r6
L2:
return a
L3:
r7 = load_address PyLong_Type
r8 = CPy_TypeCheck(x, r7)
if r8 goto L4 else goto L5 :: bool
L4:
r9 = unbox(int, x)
return r9
L5:
L6:
unreachable