Skip to content

Commit 7c827d2

Browse files
committed
Updated test data
1 parent 05e9a3b commit 7c827d2

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

48 files changed

+9936
-783
lines changed

kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.smir.json

Lines changed: 40 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -237,7 +237,7 @@
237237
}
238238
],
239239
[
240-
40,
240+
37,
241241
{
242242
"NoOpSym": ""
243243
}
@@ -3620,7 +3620,7 @@
36203620
[
36213621
5,
36223622
{
3623-
"RefType": 38
3623+
"RefType": 39
36243624
}
36253625
],
36263626
[
@@ -3634,7 +3634,7 @@
36343634
[
36353635
8,
36363636
{
3637-
"PtrType": 39
3637+
"PtrType": 40
36383638
}
36393639
],
36403640
[
@@ -3650,7 +3650,7 @@
36503650
{
36513651
"EnumType": {
36523652
"name": "std::result::Result",
3653-
"adt_def": 18,
3653+
"adt_def": 22,
36543654
"discriminants": [
36553655
[
36563656
0,
@@ -3675,7 +3675,10 @@
36753675
{
36763676
"StructType": {
36773677
"name": "std::sys::pal::unix::process::process_common::ExitCode",
3678-
"adt_def": 21
3678+
"adt_def": 15,
3679+
"fields": [
3680+
9
3681+
]
36793682
}
36803683
}
36813684
],
@@ -3692,7 +3695,10 @@
36923695
{
36933696
"StructType": {
36943697
"name": "std::process::ExitCode",
3695-
"adt_def": 20
3698+
"adt_def": 11,
3699+
"fields": [
3700+
15
3701+
]
36963702
}
36973703
}
36983704
],
@@ -3711,7 +3717,7 @@
37113717
[
37123718
24,
37133719
{
3714-
"RefType": 37
3720+
"RefType": 38
37153721
}
37163722
],
37173723
[
@@ -3768,13 +3774,13 @@
37683774
}
37693775
],
37703776
[
3771-
37,
3777+
38,
37723778
{
37733779
"PrimitiveType": "Str"
37743780
}
37753781
],
37763782
[
3777-
39,
3783+
40,
37783784
{
37793785
"PtrType": 9
37803786
}
@@ -4704,7 +4710,7 @@
47044710
[
47054711
101,
47064712
[
4707-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4713+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47084714
4,
47094715
17,
47104716
4,
@@ -4714,7 +4720,7 @@
47144720
[
47154721
102,
47164722
[
4717-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4723+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47184724
4,
47194725
25,
47204726
4,
@@ -4724,7 +4730,7 @@
47244730
[
47254731
103,
47264732
[
4727-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4733+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47284734
4,
47294735
17,
47304736
4,
@@ -4734,7 +4740,7 @@
47344740
[
47354741
104,
47364742
[
4737-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4743+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47384744
5,
47394745
19,
47404746
5,
@@ -4744,7 +4750,7 @@
47444750
[
47454751
105,
47464752
[
4747-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4753+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47484754
5,
47494755
33,
47504756
5,
@@ -4754,7 +4760,7 @@
47544760
[
47554761
106,
47564762
[
4757-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4763+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47584764
5,
47594765
17,
47604766
5,
@@ -4764,7 +4770,7 @@
47644770
[
47654771
107,
47664772
[
4767-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4773+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47684774
7,
47694775
17,
47704776
7,
@@ -4774,7 +4780,7 @@
47744780
[
47754781
108,
47764782
[
4777-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4783+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47784784
7,
47794785
21,
47804786
7,
@@ -4784,7 +4790,7 @@
47844790
[
47854791
109,
47864792
[
4787-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4793+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47884794
7,
47894795
17,
47904796
7,
@@ -4794,7 +4800,7 @@
47944800
[
47954801
110,
47964802
[
4797-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4803+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
47984804
8,
47994805
19,
48004806
8,
@@ -4804,7 +4810,7 @@
48044810
[
48054811
111,
48064812
[
4807-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4813+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48084814
8,
48094815
33,
48104816
8,
@@ -4814,7 +4820,7 @@
48144820
[
48154821
112,
48164822
[
4817-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4823+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48184824
8,
48194825
17,
48204826
8,
@@ -4824,7 +4830,7 @@
48244830
[
48254831
113,
48264832
[
4827-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4833+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48284834
10,
48294835
17,
48304836
10,
@@ -4834,7 +4840,7 @@
48344840
[
48354841
114,
48364842
[
4837-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4843+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48384844
10,
48394845
17,
48404846
10,
@@ -4844,7 +4850,7 @@
48444850
[
48454851
115,
48464852
[
4847-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4853+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48484854
10,
48494855
28,
48504856
10,
@@ -4854,7 +4860,7 @@
48544860
[
48554861
116,
48564862
[
4857-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4863+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48584864
11,
48594865
17,
48604866
11,
@@ -4864,7 +4870,7 @@
48644870
[
48654871
117,
48664872
[
4867-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4873+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48684874
11,
48694875
21,
48704876
11,
@@ -4874,7 +4880,7 @@
48744880
[
48754881
118,
48764882
[
4877-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4883+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48784884
17,
48794885
2,
48804886
17,
@@ -4884,7 +4890,7 @@
48844890
[
48854891
120,
48864892
[
4887-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4893+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48884894
4,
48894895
13,
48904896
4,
@@ -4894,7 +4900,7 @@
48944900
[
48954901
121,
48964902
[
4897-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4903+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
48984904
5,
48994905
13,
49004906
5,
@@ -4904,7 +4910,7 @@
49044910
[
49054911
122,
49064912
[
4907-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4913+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
49084914
7,
49094915
13,
49104916
7,
@@ -4914,7 +4920,7 @@
49144920
[
49154921
123,
49164922
[
4917-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4923+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
49184924
8,
49194925
13,
49204926
8,
@@ -4924,7 +4930,7 @@
49244930
[
49254931
124,
49264932
[
4927-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4933+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
49284934
10,
49294935
13,
49304936
10,
@@ -4934,7 +4940,7 @@
49344940
[
49354941
125,
49364942
[
4937-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4943+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
49384944
11,
49394945
13,
49404946
11,
@@ -4944,7 +4950,7 @@
49444950
[
49454951
126,
49464952
[
4947-
"/home/zncv/Applications/mir-semantics-review/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
4953+
"/home/zncv/Applications/mir-semantics/kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.rs",
49484954
1,
49494955
1,
49504956
17,

kmir/src/tests/integration/data/exec-smir/arithmetic/arithmetic-unchecked-runs.state

Lines changed: 13 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,8 @@
5555
.List
5656
</stack>
5757
<memory>
58-
.Map
58+
2 |-> Memory ( allocation (... bytes: b"unsafe precondition(s) violated: u8::unchecked_add cannot overflow" , provenance: provenanceMap (... ptrs: .ProvenanceMapEntries ) , align: align ( 1 ) , mutability: mutabilityNot ) )
59+
3 |-> Memory ( allocation (... bytes: b"unsafe precondition(s) violated: i8::unchecked_sub cannot overflow" , provenance: provenanceMap (... ptrs: .ProvenanceMapEntries ) , align: align ( 1 ) , mutability: mutabilityNot ) )
5960
</memory>
6061
<functions>
6162
ty ( 13 ) |-> monoItemFn (... name: symbol ( "std::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>" ) , id: defId ( 2 ) , body: someBody ( body (... blocks: basicBlock (... statements: .Statements , terminator: terminator (... kind: terminatorKindCall (... func: operandConstant ( constOperand (... span: span ( 31 ) , userTy: noUserTypeAnnotationIndex , const: mirConst (... kind: constantKindZeroSized , ty: ty ( 19 ) , id: mirConstId ( 3 ) ) ) ) , args: operandMove ( place (... local: local ( 1 ) , projection: .ProjectionElems ) ) operandConstant ( constOperand (... span: span ( 32 ) , userTy: noUserTypeAnnotationIndex , const: mirConst (... kind: constantKindZeroSized , ty: ty ( 1 ) , id: mirConstId ( 4 ) ) ) ) .Operands , destination: place (... local: local ( 0 ) , projection: .ProjectionElems ) , target: someBasicBlockIdx ( basicBlockIdx ( 1 ) ) , unwind: unwindActionContinue ) , span: span ( 33 ) ) ) basicBlock (... statements: .Statements , terminator: terminator (... kind: terminatorKindCall (... func: operandConstant ( constOperand (... span: span ( 34 ) , userTy: noUserTypeAnnotationIndex , const: mirConst (... kind: constantKindZeroSized , ty: ty ( 20 ) , id: mirConstId ( 5 ) ) ) ) , args: operandConstant ( constOperand (... span: span ( 32 ) , userTy: noUserTypeAnnotationIndex , const: mirConst (... kind: constantKindZeroSized , ty: ty ( 1 ) , id: mirConstId ( 4 ) ) ) ) .Operands , destination: place (... local: local ( 2 ) , projection: .ProjectionElems ) , target: someBasicBlockIdx ( basicBlockIdx ( 2 ) ) , unwind: unwindActionUnreachable ) , span: span ( 35 ) ) ) basicBlock (... statements: .Statements , terminator: terminator (... kind: terminatorKindReturn , span: span ( 36 ) ) ) .BasicBlocks , locals: localDecl (... ty: ty ( 1 ) , span: span ( 37 ) , mut: mutabilityMut ) localDecl (... ty: ty ( 7 ) , span: span ( 38 ) , mut: mutabilityNot ) localDecl (... ty: ty ( 1 ) , span: span ( 39 ) , mut: mutabilityNot ) .LocalDecls , argCount: 1 , varDebugInfo: varDebugInfo (... name: symbol ( "f" ) , sourceInfo: sourceInfo (... span: span ( 38 ) , scope: sourceScope ( 0 ) ) , composite: noVarDebugInfoFragment , value: varDebugInfoContentsPlace ( place (... local: local ( 1 ) , projection: .ProjectionElems ) ) , argumentIndex: someInt ( 1 ) ) varDebugInfo (... name: symbol ( "result" ) , sourceInfo: sourceInfo (... span: span ( 40 ) , scope: sourceScope ( 1 ) ) , composite: noVarDebugInfoFragment , value: varDebugInfoContentsPlace ( place (... local: local ( 0 ) , projection: .ProjectionElems ) ) , argumentIndex: noInt ) varDebugInfo (... name: symbol ( "dummy" ) , sourceInfo: sourceInfo (... span: span ( 41 ) , scope: sourceScope ( 2 ) ) , composite: noVarDebugInfoFragment , value: varDebugInfoContentsConst ( constOperand (... span: span ( 32 ) , userTy: noUserTypeAnnotationIndex , const: mirConst (... kind: constantKindZeroSized , ty: ty ( 1 ) , id: mirConstId ( 4 ) ) ) ) , argumentIndex: someInt ( 1 ) ) .VarDebugInfos , spreadArg: noLocal , span: span ( 42 ) ) ) )
@@ -75,30 +76,30 @@
7576
<types>
7677
ty ( 1 ) |-> typeInfoTupleType ( .Tys )
7778
ty ( 2 ) |-> typeInfoPrimitiveType ( primTypeInt ( intTyI8 ) )
78-
ty ( 5 ) |-> typeInfoRefType ( ty ( 38 ) )
79+
ty ( 5 ) |-> typeInfoRefType ( ty ( 39 ) )
7980
ty ( 6 ) |-> typeInfoPrimitiveType ( primTypeInt ( intTyIsize ) )
80-
ty ( 8 ) |-> typeInfoPtrType ( ty ( 39 ) )
81+
ty ( 8 ) |-> typeInfoPtrType ( ty ( 40 ) )
8182
ty ( 9 ) |-> typeInfoPrimitiveType ( primTypeUint ( uintTyU8 ) )
82-
ty ( 10 ) |-> typeInfoEnumType ( "std::result::Result" , adtDef ( 18 ) , Discriminant ( variantIdx ( 0 ) , 0 ) Discriminant ( variantIdx ( 1 ) , 1 ) .Discriminants )
83+
ty ( 10 ) |-> typeInfoEnumType ( "std::result::Result" , adtDef ( 22 ) , Discriminant ( variantIdx ( 0 ) , 0 ) Discriminant ( variantIdx ( 1 ) , 1 ) .Discriminants )
8384
ty ( 11 ) |-> typeInfoRefType ( ty ( 12 ) )
84-
ty ( 15 ) |-> typeInfoStructType ( "std::sys::pal::unix::process::process_common::ExitCode" , adtDef ( 21 ) )
85+
ty ( 15 ) |-> typeInfoStructType ( "std::sys::pal::unix::process::process_common::ExitCode" , adtDef ( 15 ) )
8586
ty ( 16 ) |-> typeInfoPrimitiveType ( primTypeInt ( intTyI32 ) )
86-
ty ( 17 ) |-> typeInfoStructType ( "std::process::ExitCode" , adtDef ( 20 ) )
87+
ty ( 17 ) |-> typeInfoStructType ( "std::process::ExitCode" , adtDef ( 11 ) )
8788
ty ( 18 ) |-> typeInfoRefType ( ty ( 15 ) )
8889
ty ( 21 ) |-> typeInfoPrimitiveType ( primTypeBool )
89-
ty ( 24 ) |-> typeInfoRefType ( ty ( 37 ) )
90+
ty ( 24 ) |-> typeInfoRefType ( ty ( 38 ) )
9091
ty ( 26 ) |-> typeInfoTupleType ( ty ( 2 ) ty ( 21 ) .Tys )
9192
ty ( 28 ) |-> typeInfoTupleType ( ty ( 9 ) ty ( 21 ) .Tys )
9293
ty ( 30 ) |-> typeInfoPtrType ( ty ( 12 ) )
9394
ty ( 32 ) |-> typeInfoRefType ( ty ( 12 ) )
9495
ty ( 35 ) |-> typeInfoPrimitiveType ( primTypeInt ( intTyI16 ) )
9596
ty ( 36 ) |-> typeInfoTupleType ( ty ( 35 ) ty ( 21 ) .Tys )
96-
ty ( 37 ) |-> typeInfoPrimitiveType ( primTypeStr )
97-
ty ( 39 ) |-> typeInfoPtrType ( ty ( 9 ) )
97+
ty ( 38 ) |-> typeInfoPrimitiveType ( primTypeStr )
98+
ty ( 40 ) |-> typeInfoPtrType ( ty ( 9 ) )
9899
</types>
99100
<adt-to-ty>
100-
adtDef ( 18 ) |-> ty ( 10 )
101-
adtDef ( 20 ) |-> ty ( 17 )
102-
adtDef ( 21 ) |-> ty ( 15 )
101+
adtDef ( 11 ) |-> ty ( 17 )
102+
adtDef ( 15 ) |-> ty ( 15 )
103+
adtDef ( 22 ) |-> ty ( 10 )
103104
</adt-to-ty>
104105
</kmir>

0 commit comments

Comments
 (0)