]>
Commit | Line | Data |
---|---|---|
3dfed10e XL |
1 | - // MIR for `main` before ConstProp |
2 | + // MIR for `main` after ConstProp | |
3 | ||
4 | fn main() -> () { | |
064997fb FG |
5 | let mut _0: (); // return place in scope 0 at $DIR/repeat.rs:+0:11: +0:11 |
6 | let _1: u32; // in scope 0 at $DIR/repeat.rs:+1:9: +1:10 | |
7 | let mut _2: u32; // in scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
8 | let mut _3: [u32; 8]; // in scope 0 at $DIR/repeat.rs:+1:18: +1:25 | |
9 | let _4: usize; // in scope 0 at $DIR/repeat.rs:+1:26: +1:27 | |
10 | let mut _5: usize; // in scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
11 | let mut _6: bool; // in scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
3dfed10e | 12 | scope 1 { |
064997fb | 13 | debug x => _1; // in scope 1 at $DIR/repeat.rs:+1:9: +1:10 |
3dfed10e XL |
14 | } |
15 | ||
16 | bb0: { | |
064997fb FG |
17 | StorageLive(_1); // scope 0 at $DIR/repeat.rs:+1:9: +1:10 |
18 | StorageLive(_2); // scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
19 | StorageLive(_3); // scope 0 at $DIR/repeat.rs:+1:18: +1:25 | |
20 | _3 = [const 42_u32; 8]; // scope 0 at $DIR/repeat.rs:+1:18: +1:25 | |
21 | StorageLive(_4); // scope 0 at $DIR/repeat.rs:+1:26: +1:27 | |
22 | _4 = const 2_usize; // scope 0 at $DIR/repeat.rs:+1:26: +1:27 | |
23 | _5 = const 8_usize; // scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
24 | - _6 = Lt(_4, _5); // scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
25 | - assert(move _6, "index out of bounds: the length is {} but the index is {}", move _5, _4) -> bb1; // scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
26 | + _6 = const true; // scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
27 | + assert(const true, "index out of bounds: the length is {} but the index is {}", const 8_usize, const 2_usize) -> bb1; // scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
3dfed10e XL |
28 | } |
29 | ||
30 | bb1: { | |
064997fb FG |
31 | - _2 = _3[_4]; // scope 0 at $DIR/repeat.rs:+1:18: +1:28 |
32 | - _1 = Add(move _2, const 0_u32); // scope 0 at $DIR/repeat.rs:+1:18: +1:32 | |
33 | + _2 = const 42_u32; // scope 0 at $DIR/repeat.rs:+1:18: +1:28 | |
34 | + _1 = const 42_u32; // scope 0 at $DIR/repeat.rs:+1:18: +1:32 | |
35 | StorageDead(_2); // scope 0 at $DIR/repeat.rs:+1:31: +1:32 | |
36 | StorageDead(_4); // scope 0 at $DIR/repeat.rs:+1:32: +1:33 | |
37 | StorageDead(_3); // scope 0 at $DIR/repeat.rs:+1:32: +1:33 | |
38 | nop; // scope 0 at $DIR/repeat.rs:+0:11: +2:2 | |
39 | StorageDead(_1); // scope 0 at $DIR/repeat.rs:+2:1: +2:2 | |
40 | return; // scope 0 at $DIR/repeat.rs:+2:2: +2:2 | |
3dfed10e XL |
41 | } |
42 | } | |
43 |