]>
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/checked_add.rs:+0:11: +0:11 |
6 | let _1: u32; // in scope 0 at $DIR/checked_add.rs:+1:9: +1:10 | |
7 | let mut _2: (u32, bool); // in scope 0 at $DIR/checked_add.rs:+1:18: +1:23 | |
3dfed10e | 8 | scope 1 { |
064997fb | 9 | debug x => _1; // in scope 1 at $DIR/checked_add.rs:+1:9: +1:10 |
3dfed10e XL |
10 | } |
11 | ||
12 | bb0: { | |
064997fb FG |
13 | StorageLive(_1); // scope 0 at $DIR/checked_add.rs:+1:9: +1:10 |
14 | - _2 = CheckedAdd(const 1_u32, const 1_u32); // scope 0 at $DIR/checked_add.rs:+1:18: +1:23 | |
15 | - assert(!move (_2.1: bool), "attempt to compute `{} + {}`, which would overflow", const 1_u32, const 1_u32) -> bb1; // scope 0 at $DIR/checked_add.rs:+1:18: +1:23 | |
16 | + _2 = const (2_u32, false); // scope 0 at $DIR/checked_add.rs:+1:18: +1:23 | |
17 | + assert(!const false, "attempt to compute `{} + {}`, which would overflow", const 1_u32, const 1_u32) -> bb1; // scope 0 at $DIR/checked_add.rs:+1:18: +1:23 | |
3dfed10e XL |
18 | } |
19 | ||
20 | bb1: { | |
064997fb FG |
21 | - _1 = move (_2.0: u32); // scope 0 at $DIR/checked_add.rs:+1:18: +1:23 |
22 | + _1 = const 2_u32; // scope 0 at $DIR/checked_add.rs:+1:18: +1:23 | |
23 | nop; // scope 0 at $DIR/checked_add.rs:+0:11: +2:2 | |
24 | StorageDead(_1); // scope 0 at $DIR/checked_add.rs:+2:1: +2:2 | |
25 | return; // scope 0 at $DIR/checked_add.rs:+2:2: +2:2 | |
3dfed10e XL |
26 | } |
27 | } | |
28 |