Skip to content

Commit 577dcd3

Browse files
ohadravidohadravid
committed
Bless the tests after merging from master
1 parent 5a3e689 commit 577dcd3

19 files changed

+256
-300
lines changed

‎tests/mir-opt/dont_reset_cast_kind_without_updating_operand.test.GVN.32bit.panic-abort.diff‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@
112112
StorageDead(_15);
113113
StorageDead(_14);
114114
StorageDead(_16);
115-
_3 = ShallowInitBox(move _13, ());
115+
_3 = ShallowInitBox(copy _13, ());
116116
StorageDead(_13);
117117
StorageDead(_12);
118118
StorageDead(_11);

‎tests/mir-opt/dont_reset_cast_kind_without_updating_operand.test.GVN.64bit.panic-abort.diff‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@
112112
StorageDead(_15);
113113
StorageDead(_14);
114114
StorageDead(_16);
115-
_3 = ShallowInitBox(move _13, ());
115+
_3 = ShallowInitBox(copy _13, ());
116116
StorageDead(_13);
117117
StorageDead(_12);
118118
StorageDead(_11);

‎tests/mir-opt/gvn.dereference_indexing.GVN.panic-abort.diff‎

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,7 @@
2121

2222
bb0: {
2323
StorageLive(_3);
24-
- StorageLive(_4);
25-
+ nop;
24+
StorageLive(_4);
2625
StorageLive(_5);
2726
_5 = copy _2;
2827
- _4 = Add(move _5, const 1_usize);
@@ -38,21 +37,19 @@
3837

3938
bb1: {
4039
- _3 = &_1[_6];
41-
- StorageDead(_4);
4240
+ _3 = &_1[_4];
43-
+ nop;
44-
StorageDead(_6);
41+
StorageDead(_4);
4542
StorageLive(_8);
4643
StorageLive(_9);
47-
- _9 = copy (*_3);
48-
+ _9 = copy _1[_4];
44+
_9 = copy (*_3);
4945
_8 = opaque::<u8>(move _9) -> [return: bb2, unwind unreachable];
5046
}
5147

5248
bb2: {
5349
StorageDead(_9);
5450
StorageDead(_8);
5551
_0 = const ();
52+
StorageDead(_6);
5653
StorageDead(_3);
5754
return;
5855
}

‎tests/mir-opt/gvn.dereference_indexing.GVN.panic-unwind.diff‎

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,7 @@
2121

2222
bb0: {
2323
StorageLive(_3);
24-
- StorageLive(_4);
25-
+ nop;
24+
StorageLive(_4);
2625
StorageLive(_5);
2726
_5 = copy _2;
2827
- _4 = Add(move _5, const 1_usize);
@@ -38,21 +37,19 @@
3837

3938
bb1: {
4039
- _3 = &_1[_6];
41-
- StorageDead(_4);
4240
+ _3 = &_1[_4];
43-
+ nop;
44-
StorageDead(_6);
41+
StorageDead(_4);
4542
StorageLive(_8);
4643
StorageLive(_9);
47-
- _9 = copy (*_3);
48-
+ _9 = copy _1[_4];
44+
_9 = copy (*_3);
4945
_8 = opaque::<u8>(move _9) -> [return: bb2, unwind continue];
5046
}
5147

5248
bb2: {
5349
StorageDead(_9);
5450
StorageDead(_8);
5551
_0 = const ();
52+
StorageDead(_6);
5653
StorageDead(_3);
5754
return;
5855
}

‎tests/mir-opt/gvn.fn_pointers.GVN.panic-abort.diff‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -8,18 +8,18 @@
88
let mut _3: fn(u8) -> u8;
99
let _5: ();
1010
let mut _6: fn(u8) -> u8;
11-
let mut _9: {closure@$DIR/gvn.rs:620:19: 620:21};
11+
let mut _9: {closure@$DIR/gvn.rs:617:19: 617:21};
1212
let _10: ();
1313
let mut _11: fn();
14-
let mut _13: {closure@$DIR/gvn.rs:620:19: 620:21};
14+
let mut _13: {closure@$DIR/gvn.rs:617:19: 617:21};
1515
let _14: ();
1616
let mut _15: fn();
1717
scope 1 {
1818
debug f => _1;
1919
let _4: fn(u8) -> u8;
2020
scope 2 {
2121
debug g => _4;
22-
let _7: {closure@$DIR/gvn.rs:620:19: 620:21};
22+
let _7: {closure@$DIR/gvn.rs:617:19: 617:21};
2323
scope 3 {
2424
debug closure => _7;
2525
let _8: fn();
@@ -60,14 +60,14 @@
6060
StorageDead(_6);
6161
StorageDead(_5);
6262
StorageLive(_7);
63-
- _7 = {closure@$DIR/gvn.rs:620:19: 620:21};
64-
+ _7 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21};
63+
- _7 = {closure@$DIR/gvn.rs:617:19: 617:21};
64+
+ _7 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21};
6565
StorageLive(_8);
6666
StorageLive(_9);
6767
- _9 = copy _7;
6868
- _8 = move _9 as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
69-
+ _9 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21};
70-
+ _8 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21} as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
69+
+ _9 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21};
70+
+ _8 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21} as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
7171
StorageDead(_9);
7272
StorageLive(_10);
7373
StorageLive(_11);
@@ -83,8 +83,8 @@
8383
StorageLive(_13);
8484
- _13 = copy _7;
8585
- _12 = move _13 as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
86-
+ _13 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21};
87-
+ _12 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21} as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
86+
+ _13 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21};
87+
+ _12 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21} as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
8888
StorageDead(_13);
8989
StorageLive(_14);
9090
StorageLive(_15);

‎tests/mir-opt/gvn.fn_pointers.GVN.panic-unwind.diff‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -8,18 +8,18 @@
88
let mut _3: fn(u8) -> u8;
99
let _5: ();
1010
let mut _6: fn(u8) -> u8;
11-
let mut _9: {closure@$DIR/gvn.rs:620:19: 620:21};
11+
let mut _9: {closure@$DIR/gvn.rs:617:19: 617:21};
1212
let _10: ();
1313
let mut _11: fn();
14-
let mut _13: {closure@$DIR/gvn.rs:620:19: 620:21};
14+
let mut _13: {closure@$DIR/gvn.rs:617:19: 617:21};
1515
let _14: ();
1616
let mut _15: fn();
1717
scope 1 {
1818
debug f => _1;
1919
let _4: fn(u8) -> u8;
2020
scope 2 {
2121
debug g => _4;
22-
let _7: {closure@$DIR/gvn.rs:620:19: 620:21};
22+
let _7: {closure@$DIR/gvn.rs:617:19: 617:21};
2323
scope 3 {
2424
debug closure => _7;
2525
let _8: fn();
@@ -60,14 +60,14 @@
6060
StorageDead(_6);
6161
StorageDead(_5);
6262
StorageLive(_7);
63-
- _7 = {closure@$DIR/gvn.rs:620:19: 620:21};
64-
+ _7 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21};
63+
- _7 = {closure@$DIR/gvn.rs:617:19: 617:21};
64+
+ _7 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21};
6565
StorageLive(_8);
6666
StorageLive(_9);
6767
- _9 = copy _7;
6868
- _8 = move _9 as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
69-
+ _9 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21};
70-
+ _8 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21} as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
69+
+ _9 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21};
70+
+ _8 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21} as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
7171
StorageDead(_9);
7272
StorageLive(_10);
7373
StorageLive(_11);
@@ -83,8 +83,8 @@
8383
StorageLive(_13);
8484
- _13 = copy _7;
8585
- _12 = move _13 as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
86-
+ _13 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21};
87-
+ _12 = const ZeroSized: {closure@$DIR/gvn.rs:620:19: 620:21} as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
86+
+ _13 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21};
87+
+ _12 = const ZeroSized: {closure@$DIR/gvn.rs:617:19: 617:21} as fn() (PointerCoercion(ClosureFnPointer(Safe), AsCast));
8888
StorageDead(_13);
8989
StorageLive(_14);
9090
StorageLive(_15);

‎tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-abort.diff‎

Lines changed: 16 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -7,18 +7,16 @@
77
let _2: &[T];
88
let _3: &[T; 3];
99
let _4: [T; 3];
10-
let mut _5: usize;
11-
let mut _6: bool;
12-
let mut _10: !;
10+
let mut _8: !;
1311
scope 1 {
1412
debug v => _2;
13+
let _5: &T;
14+
let _6: &T;
1515
let _7: &T;
16-
let _8: &T;
17-
let _9: &T;
1816
scope 2 {
19-
debug v1 => _7;
20-
debug v2 => _8;
21-
debug v3 => _9;
17+
debug v1 => _5;
18+
debug v2 => _6;
19+
debug v3 => _7;
2220
}
2321
}
2422

@@ -29,27 +27,25 @@
2927
_3 = &_4;
3028
_2 = copy _3 as &[T] (PointerCoercion(Unsize, Implicit));
3129
StorageDead(_3);
32-
nop;
33-
nop;
3430
goto -> bb2;
3531
}
3632

3733
bb1: {
38-
_10 = core::panicking::panic(const "internal error: entered unreachable code") -> unwind unreachable;
34+
_8 = core::panicking::panic(const "internal error: entered unreachable code") -> unwind unreachable;
3935
}
4036

4137
bb2: {
42-
StorageLive(_7);
43-
_7 = &(*_2)[0 of 3];
44-
StorageLive(_8);
45-
_8 = &(*_2)[1 of 3];
46-
StorageLive(_9);
47-
_9 = &(*_2)[2 of 3];
48-
StorageDead(_9);
49-
StorageDead(_8);
50-
StorageDead(_7);
38+
// DBG: _5 = &(*_2)[0 of 3];
39+
// DBG: _6 = &(*_2)[1 of 3];
40+
// DBG: _7 = &(*_2)[2 of 3];
5141
StorageDead(_4);
5242
return;
5343
}
5444
}
5545

46+
ALLOC0 (size: 40, align: 1) {
47+
0x00 │ 69 6e 74 65 72 6e 61 6c 20 65 72 72 6f 72 3a 20 │ internal error:
48+
0x10 │ 65 6e 74 65 72 65 64 20 75 6e 72 65 61 63 68 61 │ entered unreacha
49+
0x20 │ 62 6c 65 20 63 6f 64 65 │ ble code
50+
}
51+

‎tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-unwind.diff‎

Lines changed: 16 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -7,18 +7,16 @@
77
let _2: &[T];
88
let _3: &[T; 3];
99
let _4: [T; 3];
10-
let mut _5: usize;
11-
let mut _6: bool;
12-
let mut _10: !;
10+
let mut _8: !;
1311
scope 1 {
1412
debug v => _2;
13+
let _5: &T;
14+
let _6: &T;
1515
let _7: &T;
16-
let _8: &T;
17-
let _9: &T;
1816
scope 2 {
19-
debug v1 => _7;
20-
debug v2 => _8;
21-
debug v3 => _9;
17+
debug v1 => _5;
18+
debug v2 => _6;
19+
debug v3 => _7;
2220
}
2321
}
2422

@@ -29,27 +27,25 @@
2927
_3 = &_4;
3028
_2 = copy _3 as &[T] (PointerCoercion(Unsize, Implicit));
3129
StorageDead(_3);
32-
nop;
33-
nop;
3430
goto -> bb2;
3531
}
3632

3733
bb1: {
38-
_10 = core::panicking::panic(const "internal error: entered unreachable code") -> unwind continue;
34+
_8 = core::panicking::panic(const "internal error: entered unreachable code") -> unwind continue;
3935
}
4036

4137
bb2: {
42-
StorageLive(_7);
43-
_7 = &(*_2)[0 of 3];
44-
StorageLive(_8);
45-
_8 = &(*_2)[1 of 3];
46-
StorageLive(_9);
47-
_9 = &(*_2)[2 of 3];
48-
StorageDead(_9);
49-
StorageDead(_8);
50-
StorageDead(_7);
38+
// DBG: _5 = &(*_2)[0 of 3];
39+
// DBG: _6 = &(*_2)[1 of 3];
40+
// DBG: _7 = &(*_2)[2 of 3];
5141
StorageDead(_4);
5242
return;
5343
}
5444
}
5545

46+
ALLOC0 (size: 40, align: 1) {
47+
0x00 │ 69 6e 74 65 72 6e 61 6c 20 65 72 72 6f 72 3a 20 │ internal error:
48+
0x10 │ 65 6e 74 65 72 65 64 20 75 6e 72 65 61 63 68 61 │ entered unreacha
49+
0x20 │ 62 6c 65 20 63 6f 64 65 │ ble code
50+
}
51+

0 commit comments

Comments
 (0)