@@ -767,16 +767,17 @@ L0:
767767def test_final_can_fold():
768768 r0 :: tuple[int, int, int]
769769 r1 :: bool
770- r2, r3, r4 :: int
771- r5, r6, r7 :: object
772- r8, r9 :: tuple
773- r10 :: native_int
774- r11 :: bit
775- r12 :: object
776- r13, x :: int
777- r14 :: bool
778- r15 :: object
779- r16 :: native_int
770+ r2 :: object
771+ r3 :: int
772+ r4, r5 :: object
773+ r6, r7 :: tuple
774+ r8 :: native_int
775+ r9 :: bit
776+ r10 :: object
777+ r11, x :: int
778+ r12 :: bool
779+ r13 :: object
780+ r14 :: native_int
780781 a :: tuple
781782L0:
782783 r0 = __main__.source_final :: static
@@ -785,51 +786,46 @@ L1:
785786 r1 = raise NameError('value for final name "source_final" was not set')
786787 unreachable
787788L2:
788- r2 = box(tuple[int, int, int], r0)
789- r3 = PyObject_Size(r2)
790- r4 = r3 >= 0 :: signed
791- r5 = object 1
792- r6 = r0[1]
793- r7 = object 3
794- r8 = box(int, r6)
795- r9 = PyTuple_Pack(3, r5, r8, r7)
796- r10 = PyTuple_New(r3)
797- r11 = 0
789+ r2 = object 1
790+ r3 = r0[1]
791+ r4 = object 3
792+ r5 = box(int, r3)
793+ r6 = PyTuple_Pack(3, r2, r5, r4)
794+ r7 = PyTuple_New(3)
795+ r8 = 0
796+ goto L4
798797L3:
799- r12 = r11 < r3 :: signed
800- if r12 goto L4 else goto L6 :: bool
798+ r19 = r8 < 3 :: signed
799+ if r9 goto L4 else goto L6 :: bool
801800L4:
802- r13 = CPySequenceTuple_GetItemUnsafe(r9, r11 )
803- r14 = unbox(int, r13 )
804- x = r14
805- r15 = f(x)
806- r16 = box(bool, r15 )
807- CPySequenceTuple_SetItemUnsafe(r10, r11, r16 )
801+ r10 = CPySequenceTuple_GetItemUnsafe(r6, r8 )
802+ r11 = unbox(int, r10 )
803+ x = r11
804+ r12 = f(x)
805+ r13 = box(bool, r12 )
806+ CPySequenceTuple_SetItemUnsafe(r7, r8, r13 )
808807L5:
809- r17 = r11 + 1
810- r11 = r17
808+ r14 = r8 + 1
809+ r8 = r14
811810 goto L3
812811L6:
813- a = r10
812+ a = r7
814813 return 1
815814def test_var_can_not_fold():
816815 r0 :: dict
817816 r1 :: str
818817 r2 :: object
819818 r3 :: tuple[int, int, int]
820- r4 :: object
821- r5 :: native_int
822- r6 :: bit
823- r7, r8, r9 :: int
824- r10, r11, r12 :: object
825- r13, r14 :: tuple
826- r15 :: native_int
827- r16 :: bit
819+ r4, r5, r6 :: int
820+ r7, r8, r9 :: object
821+ r10, r11 :: tuple
822+ r12 :: native_int
823+ r13 :: bit
824+ r14 :: object
825+ r15, x :: int
826+ r16 :: bool
828827 r17 :: object
829- r18, x :: int
830- r19 :: bool
831- r20 :: object
832- r21 :: native_int
828+ r18 :: native_int
833829 a :: tuple
834830L0:
835831 r0 = __main__.globals :: static
0 commit comments