]> git.proxmox.com Git - rustc.git/blame - src/test/mir-opt/issue_76432.test.SimplifyComparisonIntegral.diff
projects / rustc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
New upstream version 1.53.0+dfsg1
[rustc.git] / src / test / mir-opt / issue_76432.test.SimplifyComparisonIntegral.diff
CommitLineData
1b1a35ee
XL		 1- // MIR for `test` before SimplifyComparisonIntegral
2+ // MIR for `test` after SimplifyComparisonIntegral
3
4 fn test(_1: T) -> () {
5 debug x => _1; // in scope 0 at $DIR/issue_76432.rs:6:38: 6:39
6 let mut _0: (); // return place in scope 0 at $DIR/issue_76432.rs:6:44: 6:44
7 let _2: &[T]; // in scope 0 at $DIR/issue_76432.rs:7:9: 7:10
8 let mut _3: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:19: 7:29
9 let _4: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:19: 7:29
10 let _5: [T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:20: 7:29
11 let mut _6: T; // in scope 0 at $DIR/issue_76432.rs:7:21: 7:22
12 let mut _7: T; // in scope 0 at $DIR/issue_76432.rs:7:24: 7:25
13 let mut _8: T; // in scope 0 at $DIR/issue_76432.rs:7:27: 7:28
14 let _9: [*const T; 3]; // in scope 0 at $DIR/issue_76432.rs:8:5: 11:6
15 let mut _10: usize; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
16 let mut _11: usize; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
17 let mut _12: bool; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
18 let mut _16: *const T; // in scope 0 at $DIR/issue_76432.rs:9:38: 9:52
19 let mut _17: *const T; // in scope 0 at $DIR/issue_76432.rs:9:38: 9:52
20 let mut _18: *const T; // in scope 0 at $DIR/issue_76432.rs:9:54: 9:68
21 let mut _19: *const T; // in scope 0 at $DIR/issue_76432.rs:9:54: 9:68
22 let mut _20: *const T; // in scope 0 at $DIR/issue_76432.rs:9:70: 9:84
23 let mut _21: *const T; // in scope 0 at $DIR/issue_76432.rs:9:70: 9:84
5869c6ff 24 let mut _22: !; // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL
1b1a35ee
XL		 25 scope 1 {
26 debug v => _2; // in scope 1 at $DIR/issue_76432.rs:7:9: 7:10
27 let _13: &T; // in scope 1 at $DIR/issue_76432.rs:9:10: 9:16
28 let _14: &T; // in scope 1 at $DIR/issue_76432.rs:9:18: 9:24
29 let _15: &T; // in scope 1 at $DIR/issue_76432.rs:9:26: 9:32
30 scope 2 {
31 debug v1 => _13; // in scope 2 at $DIR/issue_76432.rs:9:10: 9:16
32 debug v2 => _14; // in scope 2 at $DIR/issue_76432.rs:9:18: 9:24
33 debug v3 => _15; // in scope 2 at $DIR/issue_76432.rs:9:26: 9:32
34 }
35 }
36
37 bb0: {
38 StorageLive(_2); // scope 0 at $DIR/issue_76432.rs:7:9: 7:10
39 StorageLive(_3); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
40 StorageLive(_4); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
41 StorageLive(_5); // scope 0 at $DIR/issue_76432.rs:7:20: 7:29
42 StorageLive(_6); // scope 0 at $DIR/issue_76432.rs:7:21: 7:22
43 _6 = _1; // scope 0 at $DIR/issue_76432.rs:7:21: 7:22
44 StorageLive(_7); // scope 0 at $DIR/issue_76432.rs:7:24: 7:25
45 _7 = _1; // scope 0 at $DIR/issue_76432.rs:7:24: 7:25
46 StorageLive(_8); // scope 0 at $DIR/issue_76432.rs:7:27: 7:28
47 _8 = _1; // scope 0 at $DIR/issue_76432.rs:7:27: 7:28
48 _5 = [move _6, move _7, move _8]; // scope 0 at $DIR/issue_76432.rs:7:20: 7:29
49 StorageDead(_8); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
50 StorageDead(_7); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
51 StorageDead(_6); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
52 _4 = &_5; // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
53 _3 = _4; // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
54 _2 = move _3 as &[T] (Pointer(Unsize)); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
55 StorageDead(_3); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
56 StorageDead(_4); // scope 0 at $DIR/issue_76432.rs:7:29: 7:30
57 StorageLive(_9); // scope 1 at $DIR/issue_76432.rs:8:5: 11:6
58 _10 = Len((*_2)); // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
59 _11 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
60- _12 = Eq(move _10, const 3_usize); // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
61- switchInt(move _12) -> [false: bb1, otherwise: bb2]; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
62+ nop; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
63+ switchInt(move _10) -> [3_usize: bb2, otherwise: bb1]; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
64 }
65
66 bb1: {
5869c6ff
XL		 67 StorageLive(_22); // scope 1 at $SRC_DIR/core/src/panic.rs:LL:COL
68 core::panicking::panic(const "internal error: entered unreachable code"); // scope 1 at $SRC_DIR/core/src/panic.rs:LL:COL
1b1a35ee 69 // mir::Constant
5869c6ff 70 // + span: $SRC_DIR/core/src/panic.rs:LL:COL
fc512014 71 // + literal: Const { ty: fn(&'static str) -> ! {core::panicking::panic}, val: Value(Scalar(<ZST>)) }
1b1a35ee
XL		 72 // ty::Const
73 // + ty: &str
74 // + val: Value(Slice { data: Allocation { bytes: [105, 110, 116, 101, 114, 110, 97, 108, 32, 101, 114, 114, 111, 114, 58, 32, 101, 110, 116, 101, 114, 101, 100, 32, 117, 110, 114, 101, 97, 99, 104, 97, 98, 108, 101, 32, 99, 111, 100, 101], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [1099511627775], len: Size { raw: 40 } }, size: Size { raw: 40 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 40 })
75 // mir::Constant
76 // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL
77 // + literal: Const { ty: &str, val: Value(Slice { data: Allocation { bytes: [105, 110, 116, 101, 114, 110, 97, 108, 32, 101, 114, 114, 111, 114, 58, 32, 101, 110, 116, 101, 114, 101, 100, 32, 117, 110, 114, 101, 97, 99, 104, 97, 98, 108, 101, 32, 99, 111, 100, 101], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [1099511627775], len: Size { raw: 40 } }, size: Size { raw: 40 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 40 }) }
78 }
79
80 bb2: {
81 StorageLive(_13); // scope 1 at $DIR/issue_76432.rs:9:10: 9:16
82 _13 = &(*_2)[0 of 3]; // scope 1 at $DIR/issue_76432.rs:9:10: 9:16
83 StorageLive(_14); // scope 1 at $DIR/issue_76432.rs:9:18: 9:24
84 _14 = &(*_2)[1 of 3]; // scope 1 at $DIR/issue_76432.rs:9:18: 9:24
85 StorageLive(_15); // scope 1 at $DIR/issue_76432.rs:9:26: 9:32
86 _15 = &(*_2)[2 of 3]; // scope 1 at $DIR/issue_76432.rs:9:26: 9:32
87 StorageLive(_16); // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
88 StorageLive(_17); // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
89 _17 = &raw const (*_13); // scope 2 at $DIR/issue_76432.rs:9:38: 9:40
90 _16 = _17; // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
91 StorageLive(_18); // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
92 StorageLive(_19); // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
93 _19 = &raw const (*_14); // scope 2 at $DIR/issue_76432.rs:9:54: 9:56
94 _18 = _19; // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
95 StorageLive(_20); // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
96 StorageLive(_21); // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
97 _21 = &raw const (*_15); // scope 2 at $DIR/issue_76432.rs:9:70: 9:72
98 _20 = _21; // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
99 _9 = [move _16, move _18, move _20]; // scope 2 at $DIR/issue_76432.rs:9:37: 9:85
100 StorageDead(_21); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
101 StorageDead(_20); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
102 StorageDead(_19); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
103 StorageDead(_18); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
104 StorageDead(_17); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
105 StorageDead(_16); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
106 StorageDead(_15); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
107 StorageDead(_14); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
108 StorageDead(_13); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
109 StorageDead(_9); // scope 1 at $DIR/issue_76432.rs:11:6: 11:7
cdc7bbd5 110 nop; // scope 0 at $DIR/issue_76432.rs:6:44: 12:2
1b1a35ee
XL		 111 StorageDead(_5); // scope 0 at $DIR/issue_76432.rs:12:1: 12:2
112 StorageDead(_2); // scope 0 at $DIR/issue_76432.rs:12:1: 12:2
113 return; // scope 0 at $DIR/issue_76432.rs:12:2: 12:2
114 }
115 }
116
backport for Debian buster