Skip to content

Commit f6a27ca

Browse files
ehildenbclaude
ehildenb
and
claude
committed
test: update golden output files for RangeInteger abstraction
- decode-value: array-u8 tests now show RangeInteger instead of Range - exec-smir/allocs/array_nest_compare: updated for RangeInteger repr - exec-smir/newtype-pubkey: now terminates with #EndProgram (was stuck at projectionElemIndex on RangeInteger(0, ...) due to the buggy staticSize rule that set LEN = LEN - SIZE instead of SIZE) - run-smir-random/complex-types: init states show RangeInteger; final states reflect updated Metadata wrapping for staticSize in kast.py Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 parent ffb960a commit f6a27ca

24 files changed

Lines changed: 170 additions & 619 deletions

‎kmir/src/tests/integration/data/decode-value/array-u8-const-len.expected‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1 @@
1-
Range ( ListItem ( Integer ( 0 , 8 , false ) )
2-
ListItem ( Integer ( 1 , 8 , false ) )
3-
ListItem ( Integer ( 2 , 8 , false ) )
4-
ListItem ( Integer ( 3 , 8 , false ) ) )
1+
RangeInteger ( 4 , 8 , false , b"\x00\x01\x02\x03" )

‎kmir/src/tests/integration/data/decode-value/array-u8-implicit-len.expected‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1 @@
1-
Range ( ListItem ( Integer ( 0 , 8 , false ) )
2-
ListItem ( Integer ( 1 , 8 , false ) )
3-
ListItem ( Integer ( 2 , 8 , false ) )
4-
ListItem ( Integer ( 3 , 8 , false ) ) )
1+
RangeInteger ( 4 , 8 , false , b"\x00\x01\x02\x03" )

‎kmir/src/tests/integration/data/exec-smir/allocs/array_nest_compare.state‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -50,12 +50,8 @@
5050
ListItem ( newLocal ( ty ( 84 ) , mutabilityMut ) )
5151
ListItem ( typedValue ( Moved , ty ( 30 ) , mutabilityMut ) )
5252
ListItem ( typedValue ( Moved , ty ( 48 ) , mutabilityMut ) )
53-
ListItem ( typedValue ( Range ( ListItem ( Range ( ListItem ( Integer ( 100 , 16 , false ) )
54-
ListItem ( Integer ( 200 , 16 , false ) )
55-
ListItem ( Integer ( 300 , 16 , false ) ) ) )
56-
ListItem ( Range ( ListItem ( Integer ( 100 , 16 , false ) )
57-
ListItem ( Integer ( 200 , 16 , false ) )
58-
ListItem ( Integer ( 300 , 16 , false ) ) ) ) ) , ty ( 106 ) , mutabilityMut ) )
53+
ListItem ( typedValue ( Range ( ListItem ( RangeInteger ( 3 , 16 , false , b"d\x00\xc8\x00,\x01" ) )
54+
ListItem ( RangeInteger ( 3 , 16 , false , b"d\x00\xc8\x00,\x01" ) ) ) , ty ( 106 ) , mutabilityMut ) )
5955
ListItem ( typedValue ( Integer ( 0 , 64 , false ) , ty ( 42 ) , mutabilityNot ) )
6056
ListItem ( typedValue ( Integer ( 2 , 64 , false ) , ty ( 42 ) , mutabilityMut ) )
6157
ListItem ( typedValue ( Moved , ty ( 30 ) , mutabilityMut ) )

‎kmir/src/tests/integration/data/exec-smir/newtype-pubkey/newtype-pubkey.state‎

Lines changed: 1 addition & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -28,38 +28,7 @@
2828
</unwind>
2929
<locals>
3030
ListItem ( newLocal ( ty ( 1 ) , mutabilityMut ) )
31-
ListItem ( typedValue ( Aggregate ( variantIdx ( 0 ) , ListItem ( Range ( ListItem ( Integer ( 0 , 8 , false ) )
32-
ListItem ( Integer ( 1 , 8 , false ) )
33-
ListItem ( Integer ( 2 , 8 , false ) )
34-
ListItem ( Integer ( 3 , 8 , false ) )
35-
ListItem ( Integer ( 4 , 8 , false ) )
36-
ListItem ( Integer ( 5 , 8 , false ) )
37-
ListItem ( Integer ( 6 , 8 , false ) )
38-
ListItem ( Integer ( 7 , 8 , false ) )
39-
ListItem ( Integer ( 8 , 8 , false ) )
40-
ListItem ( Integer ( 9 , 8 , false ) )
41-
ListItem ( Integer ( 10 , 8 , false ) )
42-
ListItem ( Integer ( 11 , 8 , false ) )
43-
ListItem ( Integer ( 12 , 8 , false ) )
44-
ListItem ( Integer ( 13 , 8 , false ) )
45-
ListItem ( Integer ( 14 , 8 , false ) )
46-
ListItem ( Integer ( 15 , 8 , false ) )
47-
ListItem ( Integer ( 16 , 8 , false ) )
48-
ListItem ( Integer ( 17 , 8 , false ) )
49-
ListItem ( Integer ( 18 , 8 , false ) )
50-
ListItem ( Integer ( 19 , 8 , false ) )
51-
ListItem ( Integer ( 20 , 8 , false ) )
52-
ListItem ( Integer ( 21 , 8 , false ) )
53-
ListItem ( Integer ( 22 , 8 , false ) )
54-
ListItem ( Integer ( 23 , 8 , false ) )
55-
ListItem ( Integer ( 24 , 8 , false ) )
56-
ListItem ( Integer ( 25 , 8 , false ) )
57-
ListItem ( Integer ( 26 , 8 , false ) )
58-
ListItem ( Integer ( 27 , 8 , false ) )
59-
ListItem ( Integer ( 28 , 8 , false ) )
60-
ListItem ( Integer ( 29 , 8 , false ) )
61-
ListItem ( Integer ( 30 , 8 , false ) )
62-
ListItem ( Integer ( 31 , 8 , false ) ) ) ) ) , ty ( 30 ) , mutabilityNot ) )
31+
ListItem ( typedValue ( Aggregate ( variantIdx ( 0 ) , ListItem ( RangeInteger ( 32 , 8 , false , b"\x00\x01\x02\x03\x04\x05\x06\x07\x08\t\n\x0b\f\r\x0e\x0f\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f" ) ) ) , ty ( 30 ) , mutabilityNot ) )
6332
ListItem ( typedValue ( Integer ( 32 , 64 , false ) , ty ( 26 ) , mutabilityNot ) )
6433
ListItem ( typedValue ( Reference ( 0 , place (... local: local ( 1 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 31 ) ) .ProjectionElems ) , mutabilityNot , metadata ( staticSize ( 32 ) , 0 , noMetadataSize ) ) , ty ( 27 ) , mutabilityNot ) )
6534
ListItem ( typedValue ( Integer ( 32 , 64 , false ) , ty ( 26 ) , mutabilityNot ) )

‎kmir/src/tests/integration/data/run-smir-random/complex-types/final-0.expected‎

Lines changed: 17 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,7 @@
11
<kmir>
22
<k>
3-
#traverseProjection ( toStack ( 1 , local ( 30 ) ) , Integer ( 207 , 8 , false ) , PointerOffset ( 1 , 8 ) .ProjectionElems , CtxField ( variantIdx ( 0 ) , ListItem ( Integer ( 207 , 8 , false ) ) , 0 , ty ( 23 ) ) CtxFieldUnion ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 207 , 8 , false ) ) ) , ty ( 74 ) ) CtxIndex ( ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 207 , 8 , false ) ) ) ) )
4-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 155 , 8 , false ) ) ) ) )
5-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 244 , 8 , false ) ) ) ) )
6-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 183 , 8 , false ) ) ) ) )
7-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 111 , 8 , false ) ) ) ) )
8-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 71 , 8 , false ) ) ) ) )
9-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 144 , 8 , false ) ) ) ) )
10-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 71 , 8 , false ) ) ) ) ) , 0 ) CtxField ( variantIdx ( 0 ) , ListItem ( Range ( ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 207 , 8 , false ) ) ) ) )
11-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 155 , 8 , false ) ) ) ) )
12-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 244 , 8 , false ) ) ) ) )
13-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 183 , 8 , false ) ) ) ) )
14-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 111 , 8 , false ) ) ) ) )
15-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 71 , 8 , false ) ) ) ) )
16-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 144 , 8 , false ) ) ) ) )
17-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 71 , 8 , false ) ) ) ) ) ) )
18-
ListItem ( Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 2 , 64 , false ) )
3+
#traverseProjection ( toStack ( 1 , local ( 30 ) ) , thunk ( #cast ( RangeInteger ( 8 , 8 , false , b"\xcf\x9b\xf4\xb7oG\x90G" ) , castKindTransmute , ty ( 25 ) , ty ( 11 ) ) ) , projectionElemConstantIndex (... offset: 0 , minLength: 0 , fromEnd: false ) projectionElemField ( fieldIdx ( 1 ) , ty ( 74 ) ) projectionElemField ( fieldIdx ( 0 ) , ty ( 23 ) ) .ProjectionElems , CtxField ( variantIdx ( 0 ) , ListItem ( thunk ( #cast ( RangeInteger ( 8 , 8 , false , b"\xcf\x9b\xf4\xb7oG\x90G" ) , castKindTransmute , ty ( 25 ) , ty ( 11 ) ) ) )
4+
ListItem ( Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 1 , 64 , false ) )
195
ListItem ( Integer ( 8 , 64 , false ) ) ) ) , 0 , ty ( 11 ) ) .Contexts ) ~> #derefTruncate ( noMetadataSize , .ProjectionElems ) ~> #readProjection ( false ) ~> #freezer#setLocalValue(_,_)_RT-DATA_KItem_Place_Evaluation1_ ( place (... local: local ( 15 ) , projection: .ProjectionElems ) ~> .K ) ~> #execStmts ( statement (... kind: statementKindStorageDead ( local ( 24 ) ) , span: span ( 299 ) ) statement (... kind: statementKindStorageDead ( local ( 17 ) ) , span: span ( 277 ) ) statement (... kind: statementKindStorageDead ( local ( 16 ) ) , span: span ( 277 ) ) statement (... kind: statementKindStorageDead ( local ( 25 ) ) , span: span ( 300 ) ) statement (... kind: statementKindAssign (... place: place (... local: local ( 0 ) , projection: .ProjectionElems ) , rvalue: rvalueAggregate ( aggregateKindAdt ( adtDef ( 15 ) , variantIdx ( 1 ) , genericArgKindType ( ty ( 23 ) ) .GenericArgs , noUserTypeAnnotationIndex , noFieldIdx ) , operandMove ( place (... local: local ( 15 ) , projection: .ProjectionElems ) ) .Operands ) ) , span: span ( 301 ) ) statement (... kind: statementKindStorageDead ( local ( 15 ) ) , span: span ( 295 ) ) .Statements ) ~> #execTerminator ( terminator (... kind: terminatorKindGoto (... target: basicBlockIdx ( 5 ) ) , span: span ( 295 ) ) ) ~> .K
206
</k>
217
<retVal>
@@ -63,17 +49,17 @@
6349
ListItem ( typedValue ( Moved , ty ( 3 ) , mutabilityMut ) )
6450
ListItem ( typedValue ( Moved , ty ( 4 ) , mutabilityMut ) )
6551
ListItem ( newLocal ( ty ( 2 ) , mutabilityNot ) )
66-
ListItem ( typedValue ( Integer ( 1 , 64 , false ) , ty ( 3 ) , mutabilityNot ) )
52+
ListItem ( typedValue ( Integer ( 0 , 64 , false ) , ty ( 3 ) , mutabilityNot ) )
6753
ListItem ( newLocal ( ty ( 23 ) , mutabilityMut ) )
6854
ListItem ( typedValue ( Reference ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) .ProjectionElems ) , mutabilityNot , metadata ( dynamicSize ( 8 ) , 0 , noMetadataSize ) ) , ty ( 50 ) , mutabilityMut ) )
69-
ListItem ( typedValue ( PtrLocal ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) projectionElemConstantIndex (... offset: 0 , minLength: 0 , fromEnd: false ) .ProjectionElems ) , mutabilityNot , metadata ( noMetadataSize , 1 , dynamicSize ( 8 ) ) ) , ty ( 53 ) , mutabilityNot ) )
55+
ListItem ( typedValue ( PtrLocal ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) projectionElemConstantIndex (... offset: 0 , minLength: 0 , fromEnd: false ) .ProjectionElems ) , mutabilityNot , metadata ( noMetadataSize , 0 , dynamicSize ( 8 ) ) ) , ty ( 53 ) , mutabilityNot ) )
7056
ListItem ( typedValue ( PtrLocal ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) .ProjectionElems ) , mutabilityNot , metadata ( dynamicSize ( 8 ) , 0 , noMetadataSize ) ) , ty ( 15 ) , mutabilityMut ) )
7157
ListItem ( typedValue ( Moved , ty ( 4 ) , mutabilityMut ) )
7258
ListItem ( newLocal ( ty ( 2 ) , mutabilityNot ) )
7359
ListItem ( typedValue ( Moved , ty ( 4 ) , mutabilityMut ) )
7460
ListItem ( typedValue ( PtrLocal ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) projectionElemConstantIndex (... offset: 0 , minLength: 0 , fromEnd: false ) .ProjectionElems ) , mutabilityNot , metadata ( noMetadataSize , 0 , dynamicSize ( 8 ) ) ) , ty ( 53 ) , mutabilityNot ) )
7561
ListItem ( newLocal ( ty ( 2 ) , mutabilityNot ) )
76-
ListItem ( typedValue ( PtrLocal ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) projectionElemConstantIndex (... offset: 0 , minLength: 0 , fromEnd: false ) projectionElemField ( fieldIdx ( 1 ) , ty ( 74 ) ) projectionElemField ( fieldIdx ( 0 ) , ty ( 23 ) ) .ProjectionElems ) , mutabilityNot , metadata ( noMetadataSize , 1 , dynamicSize ( 8 ) ) ) , ty ( 54 ) , mutabilityMut ) )
62+
ListItem ( typedValue ( PtrLocal ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) projectionElemConstantIndex (... offset: 0 , minLength: 0 , fromEnd: false ) projectionElemField ( fieldIdx ( 1 ) , ty ( 74 ) ) projectionElemField ( fieldIdx ( 0 ) , ty ( 23 ) ) .ProjectionElems ) , mutabilityNot , metadata ( noMetadataSize , 0 , dynamicSize ( 8 ) ) ) , ty ( 54 ) , mutabilityMut ) )
7763
ListItem ( typedValue ( Reference ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) .ProjectionElems ) , mutabilityNot , metadata ( staticSize ( 8 ) , 0 , noMetadataSize ) ) , ty ( 57 ) , mutabilityMut ) )
7864
ListItem ( typedValue ( Reference ( 1 , place (... local: local ( 30 ) , projection: projectionElemField ( fieldIdx ( 0 ) , ty ( 11 ) ) .ProjectionElems ) , mutabilityNot , metadata ( staticSize ( 8 ) , 0 , noMetadataSize ) ) , ty ( 57 ) , mutabilityMut ) )
7965
</locals>
@@ -82,14 +68,7 @@
8268
ListItem ( StackFrame ( ty ( -1 ) , place (... local: local ( 0 ) , projection: .ProjectionElems ) , noBasicBlockIdx , unwindActionContinue , ListItem ( newLocal ( ty ( 2 ) , mutabilityMut ) )
8369
ListItem ( typedValue ( Aggregate ( variantIdx ( 1 ) , ListItem ( Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( -341142443 , 32 , true ) )
8470
ListItem ( Integer ( 48424546 , 32 , true ) ) ) ) ) , ty ( 68 ) , mutabilityNot ) )
85-
ListItem ( typedValue ( Range ( ListItem ( Integer ( 207 , 8 , false ) )
86-
ListItem ( Integer ( 155 , 8 , false ) )
87-
ListItem ( Integer ( 244 , 8 , false ) )
88-
ListItem ( Integer ( 183 , 8 , false ) )
89-
ListItem ( Integer ( 111 , 8 , false ) )
90-
ListItem ( Integer ( 71 , 8 , false ) )
91-
ListItem ( Integer ( 144 , 8 , false ) )
92-
ListItem ( Integer ( 71 , 8 , false ) ) ) , ty ( 25 ) , mutabilityNot ) )
71+
ListItem ( typedValue ( RangeInteger ( 8 , 8 , false , b"\xcf\x9b\xf4\xb7oG\x90G" ) , ty ( 25 ) , mutabilityNot ) )
9372
ListItem ( typedValue ( Reference ( 1 , place (... local: local ( 4 ) , projection: .ProjectionElems ) , mutabilityNot , metadata ( dynamicSize ( 6 ) , 0 , dynamicSize ( 6 ) ) ) , ty ( 32 ) , mutabilityNot ) )
9473
ListItem ( newLocal ( ty ( 69 ) , mutabilityMut ) )
9574
ListItem ( typedValue ( Moved , ty ( 69 ) , mutabilityMut ) )
@@ -116,27 +95,19 @@
11695
ListItem ( newLocal ( ty ( 23 ) , mutabilityMut ) )
11796
ListItem ( newLocal ( ty ( 72 ) , mutabilityMut ) )
11897
ListItem ( newLocal ( ty ( 5 ) , mutabilityMut ) )
119-
ListItem ( typedValue ( Integer ( 207 , 64 , false ) , ty ( 6 ) , mutabilityMut ) )
98+
ListItem ( typedValue ( Integer ( 0 , 64 , false ) , ty ( 6 ) , mutabilityMut ) )
12099
ListItem ( typedValue ( Moved , ty ( 24 ) , mutabilityMut ) )
121-
ListItem ( typedValue ( Aggregate ( variantIdx ( 0 ) , ListItem ( Range ( ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 207 , 8 , false ) ) ) ) )
122-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 155 , 8 , false ) ) ) ) )
123-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 244 , 8 , false ) ) ) ) )
124-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 183 , 8 , false ) ) ) ) )
125-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 111 , 8 , false ) ) ) ) )
126-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 71 , 8 , false ) ) ) ) )
127-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 144 , 8 , false ) ) ) ) )
128-
ListItem ( Union ( fieldIdx ( 1 ) , Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 71 , 8 , false ) ) ) ) ) ) )
129-
ListItem ( Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 2 , 64 , false ) )
100+
ListItem ( typedValue ( Aggregate ( variantIdx ( 0 ) , ListItem ( thunk ( #cast ( RangeInteger ( 8 , 8 , false , b"\xcf\x9b\xf4\xb7oG\x90G" ) , castKindTransmute , ty ( 25 ) , ty ( 11 ) ) ) )
101+
ListItem ( Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( 1 , 64 , false ) )
130102
ListItem ( Integer ( 8 , 64 , false ) ) ) ) ) , ty ( 24 ) , mutabilityMut ) )
131-
ListItem ( typedValue ( Aggregate ( variantIdx ( 1 ) , ListItem ( Integer ( 207 , 8 , false ) ) ) , ty ( 55 ) , mutabilityMut ) )
103+
ListItem ( newLocal ( ty ( 55 ) , mutabilityMut ) )
132104
ListItem ( typedValue ( Reference ( 0 , place (... local: local ( 30 ) , projection: .ProjectionElems ) , mutabilityMut , metadata ( noMetadataSize , 0 , noMetadataSize ) ) , ty ( 10 ) , mutabilityMut ) )
133-
ListItem ( typedValue ( Moved , ty ( 69 ) , mutabilityMut ) )
134-
ListItem ( typedValue ( Integer ( 207 , 8 , false ) , ty ( 23 ) , mutabilityNot ) )
135-
ListItem ( typedValue ( Integer ( 207 , 64 , false ) , ty ( 6 ) , mutabilityNot ) )
136-
ListItem ( typedValue ( Aggregate ( variantIdx ( 0 ) , ListItem ( Moved )
137-
ListItem ( Moved ) ) , ty ( 7 ) , mutabilityMut ) )
138-
ListItem ( typedValue ( Moved , ty ( 4 ) , mutabilityMut ) )
139-
ListItem ( typedValue ( Moved , ty ( 6 ) , mutabilityMut ) )
105+
ListItem ( newLocal ( ty ( 69 ) , mutabilityMut ) )
106+
ListItem ( newLocal ( ty ( 23 ) , mutabilityNot ) )
107+
ListItem ( newLocal ( ty ( 6 ) , mutabilityNot ) )
108+
ListItem ( newLocal ( ty ( 7 ) , mutabilityMut ) )
109+
ListItem ( newLocal ( ty ( 4 ) , mutabilityMut ) )
110+
ListItem ( newLocal ( ty ( 6 ) , mutabilityMut ) )
140111
ListItem ( newLocal ( ty ( 5 ) , mutabilityMut ) )
141112
ListItem ( newLocal ( ty ( 28 ) , mutabilityMut ) )
142113
ListItem ( newLocal ( ty ( 31 ) , mutabilityMut ) )
@@ -156,14 +127,7 @@
156127
ListItem ( StackFrame ( ty ( -1 ) , place (... local: local ( -1 ) , projection: .ProjectionElems ) , noBasicBlockIdx , unwindActionUnreachable , ListItem ( newLocal ( ty ( 0 ) , mutabilityNot ) )
157128
ListItem ( typedValue ( Aggregate ( variantIdx ( 1 ) , ListItem ( Aggregate ( variantIdx ( 0 ) , ListItem ( Integer ( -341142443 , 32 , true ) )
158129
ListItem ( Integer ( 48424546 , 32 , true ) ) ) ) ) , ty ( 68 ) , mutabilityNot ) )
159-
ListItem ( typedValue ( Range ( ListItem ( Integer ( 207 , 8 , false ) )
160-
ListItem ( Integer ( 155 , 8 , false ) )
161-
ListItem ( Integer ( 244 , 8 , false ) )
162-
ListItem ( Integer ( 183 , 8 , false ) )
163-
ListItem ( Integer ( 111 , 8 , false ) )
164-
ListItem ( Integer ( 71 , 8 , false ) )
165-
ListItem ( Integer ( 144 , 8 , false ) )
166-
ListItem ( Integer ( 71 , 8 , false ) ) ) , ty ( 25 ) , mutabilityNot ) )
130+
ListItem ( typedValue ( RangeInteger ( 8 , 8 , false , b"\xcf\x9b\xf4\xb7oG\x90G" ) , ty ( 25 ) , mutabilityNot ) )
167131
ListItem ( typedValue ( Reference ( 0 , place (... local: local ( 4 ) , projection: .ProjectionElems ) , mutabilityNot , metadata ( dynamicSize ( 6 ) , 0 , dynamicSize ( 6 ) ) ) , ty ( 32 ) , mutabilityNot ) )
168132
ListItem ( typedValue ( Range ( ListItem ( Integer ( 1727289611 , 32 , true ) )
169133
ListItem ( Integer ( -815409959 , 32 , true ) )

0 commit comments

Comments
 (0)