1 - // MIR for `test` before SimplifyComparisonIntegral
2 + // MIR for `test` after SimplifyComparisonIntegral
5 debug x => _1; // in scope 0 at $DIR/issue_76432.rs:+0:38: +0:39
6 let mut _0: (); // return place in scope 0 at $DIR/issue_76432.rs:+0:44: +0:44
7 let _2: &[T]; // in scope 0 at $DIR/issue_76432.rs:+1:9: +1:10
8 let mut _3: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
9 let _4: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
10 let _5: [T; 3]; // in scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
11 let mut _6: T; // in scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
12 let mut _7: T; // in scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
13 let mut _8: T; // in scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
14 let _9: [*const T; 3]; // in scope 0 at $DIR/issue_76432.rs:+2:5: +5:6
15 let mut _10: usize; // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
16 let mut _11: usize; // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
17 let mut _12: bool; // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
18 let mut _16: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:38: +3:52
19 let mut _17: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:38: +3:52
20 let mut _18: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:54: +3:68
21 let mut _19: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:54: +3:68
22 let mut _20: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:70: +3:84
23 let mut _21: *const T; // in scope 0 at $DIR/issue_76432.rs:+3:70: +3:84
24 let mut _22: !; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL
25 let mut _23: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
27 debug v => _2; // in scope 1 at $DIR/issue_76432.rs:+1:9: +1:10
28 let _13: &T; // in scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
29 let _14: &T; // in scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
30 let _15: &T; // in scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
32 debug v1 => _13; // in scope 2 at $DIR/issue_76432.rs:+3:10: +3:16
33 debug v2 => _14; // in scope 2 at $DIR/issue_76432.rs:+3:18: +3:24
34 debug v3 => _15; // in scope 2 at $DIR/issue_76432.rs:+3:26: +3:32
39 StorageLive(_2); // scope 0 at $DIR/issue_76432.rs:+1:9: +1:10
40 StorageLive(_3); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
41 StorageLive(_4); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
42 StorageLive(_5); // scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
43 StorageLive(_6); // scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
44 _6 = _1; // scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
45 StorageLive(_7); // scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
46 _7 = _1; // scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
47 StorageLive(_8); // scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
48 _8 = _1; // scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
49 _5 = [move _6, move _7, move _8]; // scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
50 StorageDead(_8); // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
51 StorageDead(_7); // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
52 StorageDead(_6); // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
53 _4 = &_5; // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
54 _3 = _4; // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
55 StorageLive(_23); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
56 _23 = _3; // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
57 _2 = move _3 as &[T] (Pointer(Unsize)); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
58 StorageDead(_3); // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
59 StorageDead(_4); // scope 0 at $DIR/issue_76432.rs:+1:29: +1:30
60 StorageLive(_9); // scope 1 at $DIR/issue_76432.rs:+2:5: +5:6
61 _10 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
62 StorageDead(_23); // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
63 _11 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
64 _12 = const true; // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
65 goto -> bb2; // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
69 StorageLive(_22); // scope 1 at $SRC_DIR/core/src/panic.rs:LL:COL
70 _22 = core::panicking::panic(const "internal error: entered unreachable code"); // scope 1 at $SRC_DIR/core/src/panic.rs:LL:COL
72 // + span: $SRC_DIR/core/src/panic.rs:LL:COL
73 // + literal: Const { ty: fn(&'static str) -> ! {core::panicking::panic}, val: Value(<ZST>) }
75 // + span: $SRC_DIR/core/src/panic.rs:LL:COL
76 // + literal: Const { ty: &str, val: Value(Slice(..)) }
80 StorageLive(_13); // scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
81 _13 = &(*_2)[0 of 3]; // scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
82 StorageLive(_14); // scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
83 _14 = &(*_2)[1 of 3]; // scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
84 StorageLive(_15); // scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
85 _15 = &(*_2)[2 of 3]; // scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
86 StorageLive(_16); // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
87 StorageLive(_17); // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
88 _17 = &raw const (*_13); // scope 2 at $DIR/issue_76432.rs:+3:38: +3:40
89 _16 = _17; // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
90 StorageLive(_18); // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
91 StorageLive(_19); // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
92 _19 = &raw const (*_14); // scope 2 at $DIR/issue_76432.rs:+3:54: +3:56
93 _18 = _19; // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
94 StorageLive(_20); // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
95 StorageLive(_21); // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
96 _21 = &raw const (*_15); // scope 2 at $DIR/issue_76432.rs:+3:70: +3:72
97 _20 = _21; // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
98 _9 = [move _16, move _18, move _20]; // scope 2 at $DIR/issue_76432.rs:+3:37: +3:85
99 StorageDead(_21); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
100 StorageDead(_20); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
101 StorageDead(_19); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
102 StorageDead(_18); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
103 StorageDead(_17); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
104 StorageDead(_16); // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
105 StorageDead(_15); // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
106 StorageDead(_14); // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
107 StorageDead(_13); // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
108 StorageDead(_9); // scope 1 at $DIR/issue_76432.rs:+5:6: +5:7
109 nop; // scope 0 at $DIR/issue_76432.rs:+0:44: +6:2
110 StorageDead(_5); // scope 0 at $DIR/issue_76432.rs:+6:1: +6:2
111 StorageDead(_2); // scope 0 at $DIR/issue_76432.rs:+6:1: +6:2
112 return; // scope 0 at $DIR/issue_76432.rs:+6:2: +6:2