Skip to content

Commit 050146f

Browse files
committed
Add regression tests for promotion mir expansion
1 parent ecd5852 commit 050146f

File tree

2 files changed

+59
-0
lines changed

2 files changed

+59
-0
lines changed

src/test/mir-opt/const_prop/ref_deref.rs

+18
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,24 @@ fn main() {
33
}
44

55
// END RUST SOURCE
6+
// START rustc.main.PromoteTemps.before.mir
7+
// bb0: {
8+
// ...
9+
// _3 = const 4i32;
10+
// _2 = &_3;
11+
// _1 = (*_2);
12+
// ...
13+
//}
14+
// END rustc.main.PromoteTemps.before.mir
15+
// START rustc.main.PromoteTemps.after.mir
16+
// bb0: {
17+
// ...
18+
// _4 = const main::promoted[0];
19+
// _2 = &(*_4);
20+
// _1 = (*_2);
21+
// ...
22+
//}
23+
// END rustc.main.PromoteTemps.after.mir
624
// START rustc.main.ConstProp.before.mir
725
// bb0: {
826
// ...
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
fn main() {
2+
*(&(4, 5).1);
3+
}
4+
5+
// END RUST SOURCE
6+
// START rustc.main.PromoteTemps.before.mir
7+
// bb0: {
8+
// ...
9+
// _3 = (const 4i32, const 5i32);
10+
// _2 = &(_3.1: i32);
11+
// _1 = (*_2);
12+
// ...
13+
//}
14+
// END rustc.main.PromoteTemps.before.mir
15+
// START rustc.main.PromoteTemps.after.mir
16+
// bb0: {
17+
// ...
18+
// _4 = const main::promoted[0];
19+
// _2 = &((*_4).1: i32);
20+
// _1 = (*_2);
21+
// ...
22+
//}
23+
// END rustc.main.PromoteTemps.after.mir
24+
// START rustc.main.ConstProp.before.mir
25+
// bb0: {
26+
// ...
27+
// _4 = const main::promoted[0];
28+
// _2 = &((*_4).1: i32);
29+
// _1 = (*_2);
30+
// ...
31+
//}
32+
// END rustc.main.ConstProp.before.mir
33+
// START rustc.main.ConstProp.after.mir
34+
// bb0: {
35+
// ...
36+
// _4 = const main::promoted[0];
37+
// _2 = &((*_4).1: i32);
38+
// _1 = const 5i32;
39+
// ...
40+
// }
41+
// END rustc.main.ConstProp.after.mir

0 commit comments

Comments
 (0)