+ // MIR for `test` after SimplifyComparisonIntegral
fn test(_1: T) -> () {
- debug x => _1; // in scope 0 at $DIR/issue_76432.rs:6:38: 6:39
- let mut _0: (); // return place in scope 0 at $DIR/issue_76432.rs:6:44: 6:44
- let _2: &[T]; // in scope 0 at $DIR/issue_76432.rs:7:9: 7:10
- let mut _3: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- let _4: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- let _5: [T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:20: 7:29
- let mut _6: T; // in scope 0 at $DIR/issue_76432.rs:7:21: 7:22
- let mut _7: T; // in scope 0 at $DIR/issue_76432.rs:7:24: 7:25
- let mut _8: T; // in scope 0 at $DIR/issue_76432.rs:7:27: 7:28
- let _9: [*const T; 3]; // in scope 0 at $DIR/issue_76432.rs:8:5: 11:6
- let mut _10: usize; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
- let mut _11: usize; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
- let mut _12: bool; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
- let mut _16: *const T; // in scope 0 at $DIR/issue_76432.rs:9:38: 9:52
- let mut _17: *const T; // in scope 0 at $DIR/issue_76432.rs:9:38: 9:52
- let mut _18: *const T; // in scope 0 at $DIR/issue_76432.rs:9:54: 9:68
- let mut _19: *const T; // in scope 0 at $DIR/issue_76432.rs:9:54: 9:68
- let mut _20: *const T; // in scope 0 at $DIR/issue_76432.rs:9:70: 9:84
- let mut _21: *const T; // in scope 0 at $DIR/issue_76432.rs:9:70: 9:84
+ debug x => _1; // in scope 0 at $DIR/issue_76432.rs:+0:38: +0:39
+ let mut _0: (); // return place in scope 0 at $DIR/issue_76432.rs:+0:44: +0:44
+ let _2: &[T]; // in scope 0 at $DIR/issue_76432.rs:+1:9: +1:10
+ let mut _3: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ let _4: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ let _5: [T; 3]; // in scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
+ let mut _6: T; // in scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
+ let mut _7: T; // in scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
+ let mut _8: T; // in scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
+ let _9: [*const T; 3]; // in scope 0 at $DIR/issue_76432.rs:+2:5: +5:6
+ let mut _10: usize; // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
+ let mut _11: usize; // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
+ let mut _12: bool; // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
+ let mut _16: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:38: +3:52
+ let mut _17: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:38: +3:52
+ let mut _18: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:54: +3:68
+ let mut _19: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:54: +3:68
+ let mut _20: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:70: +3:84
+ let mut _21: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:70: +3:84
let mut _22: !; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL
- let mut _23: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:19: 7:29
+ let mut _23: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
scope 1 {
- debug v => _2; // in scope 1 at $DIR/issue_76432.rs:7:9: 7:10
- let _13: &T; // in scope 1 at $DIR/issue_76432.rs:9:10: 9:16
- let _14: &T; // in scope 1 at $DIR/issue_76432.rs:9:18: 9:24
- let _15: &T; // in scope 1 at $DIR/issue_76432.rs:9:26: 9:32
+ debug v => _2; // in scope 1 at $DIR/issue_76432.rs:+1:9: +1:10
+ let _13: &T; // in scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
+ let _14: &T; // in scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
+ let _15: &T; // in scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
scope 2 {
- debug v1 => _13; // in scope 2 at $DIR/issue_76432.rs:9:10: 9:16
- debug v2 => _14; // in scope 2 at $DIR/issue_76432.rs:9:18: 9:24
- debug v3 => _15; // in scope 2 at $DIR/issue_76432.rs:9:26: 9:32
+ debug v1 => _13; // in scope 2 at $DIR/issue_76432.rs:+3:10: +3:16
+ debug v2 => _14; // in scope 2 at $DIR/issue_76432.rs:+3:18: +3:24
+ debug v3 => _15; // in scope 2 at $DIR/issue_76432.rs:+3:26: +3:32
}
}
bb0: {
- StorageLive(_2); // scope 0 at $DIR/issue_76432.rs:7:9: 7:10
- StorageLive(_3); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- StorageLive(_4); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- StorageLive(_5); // scope 0 at $DIR/issue_76432.rs:7:20: 7:29
- StorageLive(_6); // scope 0 at $DIR/issue_76432.rs:7:21: 7:22
- _6 = _1; // scope 0 at $DIR/issue_76432.rs:7:21: 7:22
- StorageLive(_7); // scope 0 at $DIR/issue_76432.rs:7:24: 7:25
- _7 = _1; // scope 0 at $DIR/issue_76432.rs:7:24: 7:25
- StorageLive(_8); // scope 0 at $DIR/issue_76432.rs:7:27: 7:28
- _8 = _1; // scope 0 at $DIR/issue_76432.rs:7:27: 7:28
- _5 = [move _6, move _7, move _8]; // scope 0 at $DIR/issue_76432.rs:7:20: 7:29
- StorageDead(_8); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
- StorageDead(_7); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
- StorageDead(_6); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
- _4 = &_5; // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- _3 = _4; // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- StorageLive(_23); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- _23 = _3; // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- _2 = move _3 as &[T] (Pointer(Unsize)); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
- StorageDead(_3); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
- StorageDead(_4); // scope 0 at $DIR/issue_76432.rs:7:29: 7:30
- StorageLive(_9); // scope 1 at $DIR/issue_76432.rs:8:5: 11:6
- _10 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
- StorageDead(_23); // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
- _11 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
- _12 = const true; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
- goto -> bb2; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
+ StorageLive(_2); // scope 0 at $DIR/issue_76432.rs:+1:9: +1:10
+ StorageLive(_3); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ StorageLive(_4); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ StorageLive(_5); // scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
+ StorageLive(_6); // scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
+ _6 = _1; // scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
+ StorageLive(_7); // scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
+ _7 = _1; // scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
+ StorageLive(_8); // scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
+ _8 = _1; // scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
+ _5 = [move _6, move _7, move _8]; // scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
+ StorageDead(_8); // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
+ StorageDead(_7); // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
+ StorageDead(_6); // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
+ _4 = &_5; // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ _3 = _4; // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ StorageLive(_23); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ _23 = _3; // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ _2 = move _3 as &[T] (Pointer(Unsize)); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
+ StorageDead(_3); // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
+ StorageDead(_4); // scope 0 at $DIR/issue_76432.rs:+1:29: +1:30
+ StorageLive(_9); // scope 1 at $DIR/issue_76432.rs:+2:5: +5:6
+ _10 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
+ StorageDead(_23); // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
+ _11 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
+ _12 = const true; // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
+ goto -> bb2; // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
}
bb1: {
}
bb2: {
- StorageLive(_13); // scope 1 at $DIR/issue_76432.rs:9:10: 9:16
- _13 = &(*_2)[0 of 3]; // scope 1 at $DIR/issue_76432.rs:9:10: 9:16
- StorageLive(_14); // scope 1 at $DIR/issue_76432.rs:9:18: 9:24
- _14 = &(*_2)[1 of 3]; // scope 1 at $DIR/issue_76432.rs:9:18: 9:24
- StorageLive(_15); // scope 1 at $DIR/issue_76432.rs:9:26: 9:32
- _15 = &(*_2)[2 of 3]; // scope 1 at $DIR/issue_76432.rs:9:26: 9:32
- StorageLive(_16); // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
- StorageLive(_17); // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
- _17 = &raw const (*_13); // scope 2 at $DIR/issue_76432.rs:9:38: 9:40
- _16 = _17; // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
- StorageLive(_18); // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
- StorageLive(_19); // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
- _19 = &raw const (*_14); // scope 2 at $DIR/issue_76432.rs:9:54: 9:56
- _18 = _19; // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
- StorageLive(_20); // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
- StorageLive(_21); // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
- _21 = &raw const (*_15); // scope 2 at $DIR/issue_76432.rs:9:70: 9:72
- _20 = _21; // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
- _9 = [move _16, move _18, move _20]; // scope 2 at $DIR/issue_76432.rs:9:37: 9:85
- StorageDead(_21); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_20); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_19); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_18); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_17); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_16); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_15); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_14); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_13); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
- StorageDead(_9); // scope 1 at $DIR/issue_76432.rs:11:6: 11:7
- nop; // scope 0 at $DIR/issue_76432.rs:6:44: 12:2
- StorageDead(_5); // scope 0 at $DIR/issue_76432.rs:12:1: 12:2
- StorageDead(_2); // scope 0 at $DIR/issue_76432.rs:12:1: 12:2
- return; // scope 0 at $DIR/issue_76432.rs:12:2: 12:2
+ StorageLive(_13); // scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
+ _13 = &(*_2)[0 of 3]; // scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
+ StorageLive(_14); // scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
+ _14 = &(*_2)[1 of 3]; // scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
+ StorageLive(_15); // scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
+ _15 = &(*_2)[2 of 3]; // scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
+ StorageLive(_16); // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
+ StorageLive(_17); // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
+ _17 = &raw const (*_13); // scope 2 at $DIR/issue_76432.rs:+3:38: +3:40
+ _16 = _17; // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
+ StorageLive(_18); // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
+ StorageLive(_19); // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
+ _19 = &raw const (*_14); // scope 2 at $DIR/issue_76432.rs:+3:54: +3:56
+ _18 = _19; // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
+ StorageLive(_20); // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
+ StorageLive(_21); // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
+ _21 = &raw const (*_15); // scope 2 at $DIR/issue_76432.rs:+3:70: +3:72
+ _20 = _21; // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
+ _9 = [move _16, move _18, move _20]; // scope 2 at $DIR/issue_76432.rs:+3:37: +3:85
+ StorageDead(_21); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_20); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_19); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_18); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_17); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_16); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_15); // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_14); // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_13); // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
+ StorageDead(_9); // scope 1 at $DIR/issue_76432.rs:+5:6: +5:7
+ nop; // scope 0 at $DIR/issue_76432.rs:+0:44: +6:2
+ StorageDead(_5); // scope 0 at $DIR/issue_76432.rs:+6:1: +6:2
+ StorageDead(_2); // scope 0 at $DIR/issue_76432.rs:+6:1: +6:2
+ return; // scope 0 at $DIR/issue_76432.rs:+6:2: +6:2
}
}