+ // MIR for `main` after SimplifyArmIdentity
fn main() -> () {
- let mut _0: (); // return place in scope 0 at $DIR/simplify-arm-identity.rs:17:11: 17:11
- let _1: Src; // in scope 0 at $DIR/simplify-arm-identity.rs:18:9: 18:10
- let mut _2: Dst; // in scope 0 at $DIR/simplify-arm-identity.rs:19:18: 22:6
- let mut _3: isize; // in scope 0 at $DIR/simplify-arm-identity.rs:20:9: 20:20
- let mut _5: u8; // in scope 0 at $DIR/simplify-arm-identity.rs:20:33: 20:34
+ let mut _0: (); // return place in scope 0 at $DIR/simplify-arm-identity.rs:+0:11: +0:11
+ let _1: Src; // in scope 0 at $DIR/simplify-arm-identity.rs:+1:9: +1:10
+ let mut _2: Dst; // in scope 0 at $DIR/simplify-arm-identity.rs:+2:18: +5:6
+ let mut _3: isize; // in scope 0 at $DIR/simplify-arm-identity.rs:+3:9: +3:20
+ let mut _5: u8; // in scope 0 at $DIR/simplify-arm-identity.rs:+3:33: +3:34
scope 1 {
- debug e => _1; // in scope 1 at $DIR/simplify-arm-identity.rs:18:9: 18:10
- let _4: u8; // in scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19
+ debug e => _1; // in scope 1 at $DIR/simplify-arm-identity.rs:+1:9: +1:10
+ let _4: u8; // in scope 1 at $DIR/simplify-arm-identity.rs:+3:18: +3:19
scope 2 {
}
scope 3 {
- debug x => _4; // in scope 3 at $DIR/simplify-arm-identity.rs:20:18: 20:19
+ debug x => _4; // in scope 3 at $DIR/simplify-arm-identity.rs:+3:18: +3:19
}
}
bb0: {
- StorageLive(_1); // scope 0 at $DIR/simplify-arm-identity.rs:18:9: 18:10
- Deinit(_1); // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29
- ((_1 as Foo).0: u8) = const 0_u8; // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29
- discriminant(_1) = 0; // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29
- StorageLive(_2); // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 22:6
- _3 = const 0_isize; // scope 1 at $DIR/simplify-arm-identity.rs:19:24: 19:25
- goto -> bb3; // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 19:25
+ StorageLive(_1); // scope 0 at $DIR/simplify-arm-identity.rs:+1:9: +1:10
+ Deinit(_1); // scope 0 at $DIR/simplify-arm-identity.rs:+1:18: +1:29
+ ((_1 as Foo).0: u8) = const 0_u8; // scope 0 at $DIR/simplify-arm-identity.rs:+1:18: +1:29
+ discriminant(_1) = 0; // scope 0 at $DIR/simplify-arm-identity.rs:+1:18: +1:29
+ StorageLive(_2); // scope 1 at $DIR/simplify-arm-identity.rs:+2:18: +5:6
+ _3 = const 0_isize; // scope 1 at $DIR/simplify-arm-identity.rs:+2:24: +2:25
+ goto -> bb3; // scope 1 at $DIR/simplify-arm-identity.rs:+2:18: +2:25
}
bb1: {
- Deinit(_2); // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32
- ((_2 as Foo).0: u8) = const 0_u8; // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32
- discriminant(_2) = 0; // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32
- goto -> bb4; // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32
+ Deinit(_2); // scope 1 at $DIR/simplify-arm-identity.rs:+4:21: +4:32
+ ((_2 as Foo).0: u8) = const 0_u8; // scope 1 at $DIR/simplify-arm-identity.rs:+4:21: +4:32
+ discriminant(_2) = 0; // scope 1 at $DIR/simplify-arm-identity.rs:+4:21: +4:32
+ goto -> bb4; // scope 1 at $DIR/simplify-arm-identity.rs:+4:21: +4:32
}
bb2: {
- unreachable; // scope 1 at $DIR/simplify-arm-identity.rs:19:24: 19:25
+ unreachable; // scope 1 at $DIR/simplify-arm-identity.rs:+2:24: +2:25
}
bb3: {
- StorageLive(_4); // scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19
- _4 = ((_1 as Foo).0: u8); // scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19
- StorageLive(_5); // scope 3 at $DIR/simplify-arm-identity.rs:20:33: 20:34
- _5 = _4; // scope 3 at $DIR/simplify-arm-identity.rs:20:33: 20:34
- Deinit(_2); // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35
- ((_2 as Foo).0: u8) = move _5; // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35
- discriminant(_2) = 0; // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35
- StorageDead(_5); // scope 3 at $DIR/simplify-arm-identity.rs:20:34: 20:35
- StorageDead(_4); // scope 1 at $DIR/simplify-arm-identity.rs:20:34: 20:35
- goto -> bb4; // scope 1 at $DIR/simplify-arm-identity.rs:20:34: 20:35
+ StorageLive(_4); // scope 1 at $DIR/simplify-arm-identity.rs:+3:18: +3:19
+ _4 = ((_1 as Foo).0: u8); // scope 1 at $DIR/simplify-arm-identity.rs:+3:18: +3:19
+ StorageLive(_5); // scope 3 at $DIR/simplify-arm-identity.rs:+3:33: +3:34
+ _5 = _4; // scope 3 at $DIR/simplify-arm-identity.rs:+3:33: +3:34
+ Deinit(_2); // scope 3 at $DIR/simplify-arm-identity.rs:+3:24: +3:35
+ ((_2 as Foo).0: u8) = move _5; // scope 3 at $DIR/simplify-arm-identity.rs:+3:24: +3:35
+ discriminant(_2) = 0; // scope 3 at $DIR/simplify-arm-identity.rs:+3:24: +3:35
+ StorageDead(_5); // scope 3 at $DIR/simplify-arm-identity.rs:+3:34: +3:35
+ StorageDead(_4); // scope 1 at $DIR/simplify-arm-identity.rs:+3:34: +3:35
+ goto -> bb4; // scope 1 at $DIR/simplify-arm-identity.rs:+3:34: +3:35
}
bb4: {
- StorageDead(_2); // scope 1 at $DIR/simplify-arm-identity.rs:22:6: 22:7
- nop; // scope 0 at $DIR/simplify-arm-identity.rs:17:11: 23:2
- StorageDead(_1); // scope 0 at $DIR/simplify-arm-identity.rs:23:1: 23:2
- return; // scope 0 at $DIR/simplify-arm-identity.rs:23:2: 23:2
+ StorageDead(_2); // scope 1 at $DIR/simplify-arm-identity.rs:+5:6: +5:7
+ nop; // scope 0 at $DIR/simplify-arm-identity.rs:+0:11: +6:2
+ StorageDead(_1); // scope 0 at $DIR/simplify-arm-identity.rs:+6:1: +6:2
+ return; // scope 0 at $DIR/simplify-arm-identity.rs:+6:2: +6:2
}
}