]>
Commit | Line | Data |
---|---|---|
49aad941 FG |
1 | - // MIR for `opt3` before InstSimplify |
2 | + // MIR for `opt3` after InstSimplify | |
17df50a5 XL |
3 | |
4 | fn opt3(_1: bool) -> u32 { | |
fe692bf9 FG |
5 | debug x => _1; |
6 | let mut _0: u32; | |
7 | let mut _2: bool; | |
8 | let mut _3: bool; | |
17df50a5 XL |
9 | |
10 | bb0: { | |
fe692bf9 FG |
11 | StorageLive(_2); |
12 | StorageLive(_3); | |
13 | _3 = _1; | |
14 | - _2 = Eq(move _3, const false); | |
15 | + _2 = Not(move _3); | |
fe692bf9 | 16 | switchInt(move _2) -> [0: bb2, otherwise: bb1]; |
17df50a5 XL |
17 | } |
18 | ||
19 | bb1: { | |
781aab86 | 20 | StorageDead(_3); |
fe692bf9 FG |
21 | _0 = const 0_u32; |
22 | goto -> bb3; | |
17df50a5 XL |
23 | } |
24 | ||
25 | bb2: { | |
781aab86 | 26 | StorageDead(_3); |
fe692bf9 FG |
27 | _0 = const 1_u32; |
28 | goto -> bb3; | |
17df50a5 XL |
29 | } |
30 | ||
31 | bb3: { | |
fe692bf9 FG |
32 | StorageDead(_2); |
33 | return; | |
17df50a5 XL |
34 | } |
35 | } | |
36 |