Skip to content

Commit 1745b45

Browse files
cjgillotcjgillot
committed
Bless tests.
1 parent 3f06a33 commit 1745b45

22 files changed

+2196
-1843
lines changed

‎tests/coverage/issue-83601.cov-map

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,14 +15,14 @@ Number of file 0 mappings: 1
1515
- Code(Counter(0)) at (prev + 3, 10) to (start + 0, 15)
1616

1717
Function name: issue_83601::main
18-
Raw bytes (21): 0x[01, 01, 01, 05, 09, 03, 01, 06, 01, 02, 1c, 05, 03, 09, 01, 1c, 02, 02, 05, 03, 02]
18+
Raw bytes (21): 0x[01, 01, 01, 05, 00, 03, 01, 06, 01, 02, 1c, 05, 03, 09, 01, 1c, 02, 02, 05, 03, 02]
1919
Number of files: 1
2020
- file 0 => global file 1
2121
Number of expressions: 1
22-
- expression 0 operands: lhs = Counter(1), rhs = Counter(2)
22+
- expression 0 operands: lhs = Counter(1), rhs = Zero
2323
Number of file 0 mappings: 3
2424
- Code(Counter(0)) at (prev + 6, 1) to (start + 2, 28)
2525
- Code(Counter(1)) at (prev + 3, 9) to (start + 1, 28)
2626
- Code(Expression(0, Sub)) at (prev + 2, 5) to (start + 3, 2)
27-
= (c1 - c2)
27+
= (c1 - Zero)
2828

‎tests/coverage/issue-84561.cov-map

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -85,22 +85,22 @@ Number of file 0 mappings: 1
8585
- Code(Counter(0)) at (prev + 165, 9) to (start + 2, 10)
8686

8787
Function name: issue_84561::test3
88-
Raw bytes (436): 0x[01, 01, 41, 05, 09, 0d, 00, 15, 19, 12, 00, 15, 19, 21, 00, 1e, 00, 21, 00, 31, 00, 3d, 41, 2e, 45, 3d, 41, 42, 49, 45, 00, 3f, 51, 42, 49, 45, 00, 5d, 8a, 01, 8f, 01, 5d, 92, 01, 55, 51, 00, 92, 01, 55, 51, 00, 8f, 01, 5d, 92, 01, 55, 51, 00, 87, 01, 61, 5d, 8a, 01, 8f, 01, 5d, 92, 01, 55, 51, 00, 82, 01, 65, 87, 01, 61, 5d, 8a, 01, 8f, 01, 5d, 92, 01, 55, 51, 00, 75, f6, 01, fb, 01, 79, 00, fe, 01, 82, 02, 00, 69, 6d, 00, fe, 01, 82, 02, 00, 69, 6d, 69, 6d, 82, 02, 00, 69, 6d, fb, 01, 79, 00, fe, 01, 82, 02, 00, 69, 6d, f3, 01, 7d, 75, f6, 01, fb, 01, 79, 00, fe, 01, 82, 02, 00, 69, 6d, ee, 01, 00, f3, 01, 7d, 75, f6, 01, fb, 01, 79, 00, fe, 01, 82, 02, 00, 69, 6d, 33, 01, 06, 01, 03, 1c, 05, 04, 09, 01, 1c, 02, 02, 05, 04, 1f, 0d, 05, 05, 00, 1f, 06, 01, 05, 00, 1f, 15, 01, 09, 01, 1c, 12, 02, 05, 00, 1f, 0e, 01, 05, 00, 0f, 00, 00, 20, 00, 30, 21, 01, 05, 03, 0f, 00, 03, 20, 00, 30, 00, 00, 33, 00, 41, 00, 00, 4b, 00, 5a, 1e, 01, 05, 00, 0f, 00, 05, 09, 03, 10, 00, 05, 0d, 00, 1b, 00, 02, 0d, 00, 1c, 1a, 04, 09, 05, 06, 31, 06, 05, 03, 06, 22, 04, 05, 03, 06, 3d, 04, 09, 04, 06, 2e, 05, 08, 00, 0f, 45, 01, 09, 03, 0a, 2a, 05, 09, 03, 0a, 3f, 05, 08, 00, 0f, 51, 01, 09, 00, 13, 00, 03, 0d, 00, 1d, 3a, 03, 09, 00, 13, 00, 03, 0d, 00, 1d, 87, 01, 03, 05, 00, 0f, 8f, 01, 01, 0c, 00, 13, 5d, 01, 0d, 00, 13, 8a, 01, 02, 0d, 00, 13, 82, 01, 04, 05, 02, 13, 65, 03, 0d, 00, 13, 7e, 02, 0d, 00, 13, f3, 01, 03, 05, 00, 0f, 69, 01, 0c, 00, 13, 6d, 01, 0d, 03, 0e, 75, 04, 0d, 00, 13, fb, 01, 02, 0d, 00, 17, 82, 02, 01, 14, 00, 1b, 00, 01, 15, 00, 1b, fe, 01, 02, 15, 00, 1b, f6, 01, 04, 0d, 00, 13, 7d, 03, 09, 00, 19, ee, 01, 02, 05, 00, 0f, ea, 01, 03, 09, 00, 22, 00, 02, 05, 00, 0f, 00, 03, 09, 00, 2c, 00, 02, 01, 00, 02]
88+
Raw bytes (436): 0x[01, 01, 41, 05, 00, 0d, 00, 15, 00, 12, 00, 15, 00, 21, 00, 1e, 00, 21, 00, 31, 00, 3d, 00, 2e, 45, 3d, 00, 42, 49, 45, 00, 3f, 51, 42, 49, 45, 00, 5d, 8a, 01, 8f, 01, 5d, 92, 01, 55, 51, 00, 92, 01, 55, 51, 00, 8f, 01, 5d, 92, 01, 55, 51, 00, 87, 01, 61, 5d, 8a, 01, 8f, 01, 5d, 92, 01, 55, 51, 00, 82, 01, 65, 87, 01, 61, 5d, 8a, 01, 8f, 01, 5d, 92, 01, 55, 51, 00, 75, f6, 01, fb, 01, 79, 00, fe, 01, 82, 02, 00, 69, 6d, 00, fe, 01, 82, 02, 00, 69, 6d, 69, 6d, 82, 02, 00, 69, 6d, fb, 01, 79, 00, fe, 01, 82, 02, 00, 69, 6d, f3, 01, 7d, 75, f6, 01, fb, 01, 79, 00, fe, 01, 82, 02, 00, 69, 6d, ee, 01, 00, f3, 01, 7d, 75, f6, 01, fb, 01, 79, 00, fe, 01, 82, 02, 00, 69, 6d, 33, 01, 06, 01, 03, 1c, 05, 04, 09, 01, 1c, 02, 02, 05, 04, 1f, 0d, 05, 05, 00, 1f, 06, 01, 05, 00, 1f, 15, 01, 09, 01, 1c, 12, 02, 05, 00, 1f, 0e, 01, 05, 00, 0f, 00, 00, 20, 00, 30, 21, 01, 05, 03, 0f, 00, 03, 20, 00, 30, 00, 00, 33, 00, 41, 00, 00, 4b, 00, 5a, 1e, 01, 05, 00, 0f, 00, 05, 09, 03, 10, 00, 05, 0d, 00, 1b, 00, 02, 0d, 00, 1c, 1a, 04, 09, 05, 06, 31, 06, 05, 03, 06, 22, 04, 05, 03, 06, 3d, 04, 09, 04, 06, 2e, 05, 08, 00, 0f, 45, 01, 09, 03, 0a, 2a, 05, 09, 03, 0a, 3f, 05, 08, 00, 0f, 51, 01, 09, 00, 13, 00, 03, 0d, 00, 1d, 3a, 03, 09, 00, 13, 00, 03, 0d, 00, 1d, 87, 01, 03, 05, 00, 0f, 8f, 01, 01, 0c, 00, 13, 5d, 01, 0d, 00, 13, 8a, 01, 02, 0d, 00, 13, 82, 01, 04, 05, 02, 13, 65, 03, 0d, 00, 13, 7e, 02, 0d, 00, 13, f3, 01, 03, 05, 00, 0f, 69, 01, 0c, 00, 13, 6d, 01, 0d, 03, 0e, 75, 04, 0d, 00, 13, fb, 01, 02, 0d, 00, 17, 82, 02, 01, 14, 00, 1b, 00, 01, 15, 00, 1b, fe, 01, 02, 15, 00, 1b, f6, 01, 04, 0d, 00, 13, 7d, 03, 09, 00, 19, ee, 01, 02, 05, 00, 0f, ea, 01, 03, 09, 00, 22, 00, 02, 05, 00, 0f, 00, 03, 09, 00, 2c, 00, 02, 01, 00, 02]
8989
Number of files: 1
9090
- file 0 => global file 1
9191
Number of expressions: 65
92-
- expression 0 operands: lhs = Counter(1), rhs = Counter(2)
92+
- expression 0 operands: lhs = Counter(1), rhs = Zero
9393
- expression 1 operands: lhs = Counter(3), rhs = Zero
94-
- expression 2 operands: lhs = Counter(5), rhs = Counter(6)
94+
- expression 2 operands: lhs = Counter(5), rhs = Zero
9595
- expression 3 operands: lhs = Expression(4, Sub), rhs = Zero
96-
- expression 4 operands: lhs = Counter(5), rhs = Counter(6)
96+
- expression 4 operands: lhs = Counter(5), rhs = Zero
9797
- expression 5 operands: lhs = Counter(8), rhs = Zero
9898
- expression 6 operands: lhs = Expression(7, Sub), rhs = Zero
9999
- expression 7 operands: lhs = Counter(8), rhs = Zero
100100
- expression 8 operands: lhs = Counter(12), rhs = Zero
101-
- expression 9 operands: lhs = Counter(15), rhs = Counter(16)
101+
- expression 9 operands: lhs = Counter(15), rhs = Zero
102102
- expression 10 operands: lhs = Expression(11, Sub), rhs = Counter(17)
103-
- expression 11 operands: lhs = Counter(15), rhs = Counter(16)
103+
- expression 11 operands: lhs = Counter(15), rhs = Zero
104104
- expression 12 operands: lhs = Expression(16, Sub), rhs = Counter(18)
105105
- expression 13 operands: lhs = Counter(17), rhs = Zero
106106
- expression 14 operands: lhs = Expression(15, Add), rhs = Counter(20)
@@ -158,15 +158,15 @@ Number of file 0 mappings: 51
158158
- Code(Counter(0)) at (prev + 6, 1) to (start + 3, 28)
159159
- Code(Counter(1)) at (prev + 4, 9) to (start + 1, 28)
160160
- Code(Expression(0, Sub)) at (prev + 2, 5) to (start + 4, 31)
161-
= (c1 - c2)
161+
= (c1 - Zero)
162162
- Code(Counter(3)) at (prev + 5, 5) to (start + 0, 31)
163163
- Code(Expression(1, Sub)) at (prev + 1, 5) to (start + 0, 31)
164164
= (c3 - Zero)
165165
- Code(Counter(5)) at (prev + 1, 9) to (start + 1, 28)
166166
- Code(Expression(4, Sub)) at (prev + 2, 5) to (start + 0, 31)
167-
= (c5 - c6)
167+
= (c5 - Zero)
168168
- Code(Expression(3, Sub)) at (prev + 1, 5) to (start + 0, 15)
169-
= ((c5 - c6) - Zero)
169+
= ((c5 - Zero) - Zero)
170170
- Code(Zero) at (prev + 0, 32) to (start + 0, 48)
171171
- Code(Counter(8)) at (prev + 1, 5) to (start + 3, 15)
172172
- Code(Zero) at (prev + 3, 32) to (start + 0, 48)
@@ -184,10 +184,10 @@ Number of file 0 mappings: 51
184184
= (c12 - Zero)
185185
- Code(Counter(15)) at (prev + 4, 9) to (start + 4, 6)
186186
- Code(Expression(11, Sub)) at (prev + 5, 8) to (start + 0, 15)
187-
= (c15 - c16)
187+
= (c15 - Zero)
188188
- Code(Counter(17)) at (prev + 1, 9) to (start + 3, 10)
189189
- Code(Expression(10, Sub)) at (prev + 5, 9) to (start + 3, 10)
190-
= ((c15 - c16) - c17)
190+
= ((c15 - Zero) - c17)
191191
- Code(Expression(15, Add)) at (prev + 5, 8) to (start + 0, 15)
192192
= ((c17 - Zero) + c18)
193193
- Code(Counter(20)) at (prev + 1, 9) to (start + 0, 19)

‎tests/coverage/partial_eq.cov-map

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -25,18 +25,17 @@ Number of file 0 mappings: 2
2525
- Code(Zero) at (prev + 0, 32) to (start + 0, 33)
2626

2727
Function name: <partial_eq::Version as core::cmp::PartialOrd>::partial_cmp
28-
Raw bytes (22): 0x[01, 01, 04, 07, 0b, 00, 09, 0f, 15, 00, 11, 02, 01, 04, 27, 00, 28, 03, 00, 30, 00, 31]
28+
Raw bytes (20): 0x[01, 01, 03, 00, 07, 0b, 00, 00, 11, 02, 01, 04, 27, 00, 28, 03, 00, 30, 00, 31]
2929
Number of files: 1
3030
- file 0 => global file 1
31-
Number of expressions: 4
32-
- expression 0 operands: lhs = Expression(1, Add), rhs = Expression(2, Add)
33-
- expression 1 operands: lhs = Zero, rhs = Counter(2)
34-
- expression 2 operands: lhs = Expression(3, Add), rhs = Counter(5)
35-
- expression 3 operands: lhs = Zero, rhs = Counter(4)
31+
Number of expressions: 3
32+
- expression 0 operands: lhs = Zero, rhs = Expression(1, Add)
33+
- expression 1 operands: lhs = Expression(2, Add), rhs = Zero
34+
- expression 2 operands: lhs = Zero, rhs = Counter(4)
3635
Number of file 0 mappings: 2
3736
- Code(Counter(0)) at (prev + 4, 39) to (start + 0, 40)
3837
- Code(Expression(0, Add)) at (prev + 0, 48) to (start + 0, 49)
39-
= ((Zero + c2) + ((Zero + c4) + c5))
38+
= (Zero + ((Zero + c4) + Zero))
4039

4140
Function name: <partial_eq::Version as core::fmt::Debug>::fmt
4241
Raw bytes (9): 0x[01, 01, 00, 01, 01, 04, 11, 00, 16]

‎tests/mir-opt/dest-prop/union.main.DestinationPropagation.panic-abort.diff

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -5,27 +5,23 @@
55
let mut _0: ();
66
let _1: main::Un;
77
let mut _2: u32;
8-
let mut _3: u32;
98
scope 1 {
109
debug un => _1;
1110
scope 2 {
1211
}
1312
scope 4 (inlined std::mem::drop::<u32>) {
14-
debug _x => _3;
13+
debug _x => _2;
1514
}
1615
}
1716
scope 3 (inlined val) {
1817
}
1918

2019
bb0: {
2120
StorageLive(_1);
22-
StorageLive(_2);
23-
_2 = const 1_u32;
2421
_1 = Un { us: const 1_u32 };
22+
StorageLive(_2);
23+
_2 = (_1.0: u32);
2524
StorageDead(_2);
26-
StorageLive(_3);
27-
_3 = (_1.0: u32);
28-
StorageDead(_3);
2925
StorageDead(_1);
3026
return;
3127
}

‎tests/mir-opt/dest-prop/union.main.DestinationPropagation.panic-unwind.diff

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -5,27 +5,23 @@
55
let mut _0: ();
66
let _1: main::Un;
77
let mut _2: u32;
8-
let mut _3: u32;
98
scope 1 {
109
debug un => _1;
1110
scope 2 {
1211
}
1312
scope 4 (inlined std::mem::drop::<u32>) {
14-
debug _x => _3;
13+
debug _x => _2;
1514
}
1615
}
1716
scope 3 (inlined val) {
1817
}
1918

2019
bb0: {
2120
StorageLive(_1);
22-
StorageLive(_2);
23-
_2 = const 1_u32;
2421
_1 = Un { us: const 1_u32 };
22+
StorageLive(_2);
23+
_2 = (_1.0: u32);
2524
StorageDead(_2);
26-
StorageLive(_3);
27-
_3 = (_1.0: u32);
28-
StorageDead(_3);
2925
StorageDead(_1);
3026
return;
3127
}

‎tests/mir-opt/inline/inline_shims.drop.Inline.panic-abort.diff

Lines changed: 63 additions & 71 deletions
Original file line numberDiff line numberDiff line change
@@ -20,32 +20,31 @@
2020
+ scope 5 {
2121
+ scope 6 (inlined Vec::<A>::as_mut_ptr) {
2222
+ debug self => _6;
23-
+ let mut _11: &alloc::raw_vec::RawVec<A>;
2423
+ scope 7 (inlined alloc::raw_vec::RawVec::<A>::ptr) {
25-
+ debug self => _11;
26-
+ let mut _18: std::ptr::NonNull<A>;
24+
+ debug (*(self: &alloc::raw_vec::RawVec<A>)) => ((*_6).0: alloc::raw_vec::RawVec<A>);
25+
+ let mut _17: std::ptr::NonNull<A>;
2726
+ scope 8 (inlined Unique::<A>::as_ptr) {
28-
+ debug ((self: Unique<A>).0: std::ptr::NonNull<A>) => _18;
27+
+ debug ((self: Unique<A>).0: std::ptr::NonNull<A>) => _17;
2928
+ debug ((self: Unique<A>).1: std::marker::PhantomData<A>) => const ZeroSized: PhantomData<A>;
3029
+ scope 9 (inlined NonNull::<A>::as_ptr) {
31-
+ debug self => _18;
30+
+ debug self => _17;
31+
+ let mut _11: bool;
3232
+ let mut _12: bool;
33-
+ let mut _13: bool;
34-
+ let mut _14: *const A;
33+
+ let mut _13: *const A;
3534
+ scope 10 {
3635
+ scope 11 (inlined std::ptr::const_ptr::<impl *const A>::is_null) {
37-
+ debug self => _14;
38-
+ let mut _15: *const u8;
36+
+ debug self => _13;
37+
+ let mut _14: *const u8;
3938
+ scope 12 {
4039
+ scope 13 (inlined std::ptr::const_ptr::<impl *const T>::is_null::runtime_impl) {
41-
+ debug ptr => _15;
42-
+ let mut _16: usize;
40+
+ debug ptr => _14;
41+
+ let mut _15: usize;
4342
+ scope 14 (inlined std::ptr::const_ptr::<impl *const u8>::addr) {
44-
+ debug self => _15;
45-
+ let mut _17: *const ();
43+
+ debug self => _14;
44+
+ let mut _16: *const ();
4645
+ scope 15 {
4746
+ scope 16 (inlined std::ptr::const_ptr::<impl *const u8>::cast::<()>) {
48-
+ debug self => _15;
47+
+ debug self => _14;
4948
+ }
5049
+ }
5150
+ }
@@ -60,34 +59,33 @@
6059
+ scope 17 (inlined slice_from_raw_parts_mut::<A>) {
6160
+ debug data => _9;
6261
+ debug len => _10;
63-
+ let mut _19: *mut ();
62+
+ let mut _18: *mut ();
6463
+ scope 18 (inlined std::ptr::mut_ptr::<impl *mut A>::cast::<()>) {
6564
+ debug self => _9;
6665
+ }
6766
+ scope 19 (inlined std::ptr::from_raw_parts_mut::<[A]>) {
68-
+ debug data_address => _19;
67+
+ debug data_address => _18;
6968
+ debug metadata => _10;
70-
+ let mut _20: std::ptr::metadata::PtrRepr<[A]>;
71-
+ let mut _21: std::ptr::metadata::PtrComponents<[A]>;
72-
+ let mut _22: *const ();
69+
+ let mut _19: std::ptr::metadata::PtrRepr<[A]>;
70+
+ let mut _20: std::ptr::metadata::PtrComponents<[A]>;
7371
+ scope 20 {
7472
+ }
7573
+ }
7674
+ }
7775
+ scope 21 (inlined std::ptr::drop_in_place::<[A]> - shim(Some([A]))) {
78-
+ let mut _23: usize;
79-
+ let mut _24: usize;
80-
+ let mut _25: *mut A;
81-
+ let mut _26: bool;
76+
+ let mut _21: usize;
77+
+ let mut _22: usize;
78+
+ let mut _23: *mut A;
79+
+ let mut _24: bool;
8280
+ }
8381
+ }
8482
+ }
8583
+ }
8684
}
8785
scope 2 {
8886
+ scope 22 (inlined std::ptr::drop_in_place::<Option<B>> - shim(Some(Option<B>))) {
89-
+ let mut _27: isize;
90-
+ let mut _28: isize;
87+
+ let mut _25: isize;
88+
+ let mut _26: isize;
9189
+ }
9290
}
9391

@@ -99,57 +97,49 @@
9997
+ StorageLive(_6);
10098
+ StorageLive(_7);
10199
+ _6 = &mut (*_4);
100+
+ StorageLive(_13);
101+
+ StorageLive(_16);
102102
+ StorageLive(_8);
103-
+ StorageLive(_25);
104103
+ StorageLive(_9);
104+
+ StorageLive(_17);
105+
+ _17 = ((((*_6).0: alloc::raw_vec::RawVec<A>).0: std::ptr::Unique<A>).0: std::ptr::NonNull<A>);
105106
+ StorageLive(_11);
106-
+ _11 = &((*_6).0: alloc::raw_vec::RawVec<A>);
107-
+ StorageLive(_18);
108-
+ _18 = ((((*_6).0: alloc::raw_vec::RawVec<A>).0: std::ptr::Unique<A>).0: std::ptr::NonNull<A>);
109-
+ StorageLive(_14);
110107
+ StorageLive(_12);
111-
+ StorageLive(_13);
112-
+ _14 = (_18.0: *const A);
108+
+ _13 = (_17.0: *const A);
109+
+ StorageLive(_14);
110+
+ _14 = _13 as *const u8 (PtrToPtr);
113111
+ StorageLive(_15);
114-
+ _15 = _14 as *const u8 (PtrToPtr);
115-
+ StorageLive(_16);
116-
+ StorageLive(_17);
117-
+ _17 = _15 as *const () (PtrToPtr);
118-
+ _16 = move _17 as usize (Transmute);
119-
+ StorageDead(_17);
120-
+ _13 = Eq(move _16, const 0_usize);
121-
+ StorageDead(_16);
112+
+ _16 = _13 as *const () (PtrToPtr);
113+
+ _15 = _16 as usize (Transmute);
114+
+ _12 = Eq(move _15, const 0_usize);
122115
+ StorageDead(_15);
123-
+ _12 = Not(move _13);
124-
+ StorageDead(_13);
125-
+ assume(move _12);
126-
+ StorageDead(_12);
127-
+ _9 = _14 as *mut A (PtrToPtr);
128116
+ StorageDead(_14);
129-
+ StorageDead(_18);
117+
+ _11 = Not(move _12);
118+
+ StorageDead(_12);
119+
+ assume(move _11);
130120
+ StorageDead(_11);
121+
+ _9 = _13 as *mut A (PtrToPtr);
122+
+ StorageDead(_17);
131123
+ StorageLive(_10);
132124
+ _10 = ((*_6).1: usize);
125+
+ StorageLive(_18);
126+
+ _18 = _13 as *mut () (PtrToPtr);
133127
+ StorageLive(_19);
134-
+ _19 = _9 as *mut () (PtrToPtr);
135128
+ StorageLive(_20);
136-
+ StorageLive(_21);
137-
+ StorageLive(_22);
138-
+ _22 = _19 as *const () (PointerCoercion(MutToConstPointer));
139-
+ _21 = std::ptr::metadata::PtrComponents::<[A]> { data_address: move _22, metadata: _10 };
140-
+ StorageDead(_22);
141-
+ _20 = std::ptr::metadata::PtrRepr::<[A]> { const_ptr: move _21 };
142-
+ StorageDead(_21);
143-
+ _8 = (_20.1: *mut [A]);
129+
+ _20 = std::ptr::metadata::PtrComponents::<[A]> { data_address: _16, metadata: _10 };
130+
+ _19 = std::ptr::metadata::PtrRepr::<[A]> { const_ptr: move _20 };
144131
+ StorageDead(_20);
132+
+ _8 = (_19.1: *mut [A]);
145133
+ StorageDead(_19);
134+
+ StorageDead(_18);
146135
+ StorageDead(_10);
147136
+ StorageDead(_9);
137+
+ StorageLive(_21);
138+
+ StorageLive(_22);
148139
+ StorageLive(_23);
149140
+ StorageLive(_24);
150-
+ StorageLive(_26);
151-
+ _23 = Len((*_8));
152-
+ _24 = const 0_usize;
141+
+ _21 = Len((*_8));
142+
+ _22 = const 0_usize;
153143
+ goto -> bb4;
154144
}
155145

@@ -161,35 +151,37 @@
161151
StorageLive(_5);
162152
_5 = _2;
163153
- _0 = std::ptr::drop_in_place::<Option<B>>(move _5) -> [return: bb2, unwind unreachable];
164-
+ StorageLive(_27);
165-
+ StorageLive(_28);
166-
+ _27 = discriminant((*_5));
167-
+ switchInt(move _27) -> [0: bb5, otherwise: bb6];
154+
+ StorageLive(_25);
155+
+ StorageLive(_26);
156+
+ _25 = discriminant((*_5));
157+
+ switchInt(move _25) -> [0: bb5, otherwise: bb6];
168158
}
169159

170160
bb2: {
171-
+ StorageDead(_26);
172161
+ StorageDead(_24);
173162
+ StorageDead(_23);
174-
+ StorageDead(_25);
163+
+ StorageDead(_22);
164+
+ StorageDead(_21);
175165
+ StorageDead(_8);
166+
+ StorageDead(_16);
167+
+ StorageDead(_13);
176168
+ drop(((*_4).0: alloc::raw_vec::RawVec<A>)) -> [return: bb1, unwind unreachable];
177169
+ }
178170
+
179171
+ bb3: {
180-
+ _25 = &raw mut (*_8)[_24];
181-
+ _24 = Add(move _24, const 1_usize);
182-
+ drop((*_25)) -> [return: bb4, unwind unreachable];
172+
+ _23 = &raw mut (*_8)[_22];
173+
+ _22 = Add(move _22, const 1_usize);
174+
+ drop((*_23)) -> [return: bb4, unwind unreachable];
183175
+ }
184176
+
185177
+ bb4: {
186-
+ _26 = Eq(_24, _23);
187-
+ switchInt(move _26) -> [0: bb3, otherwise: bb2];
178+
+ _24 = Eq(_22, _21);
179+
+ switchInt(move _24) -> [0: bb3, otherwise: bb2];
188180
+ }
189181
+
190182
+ bb5: {
191-
+ StorageDead(_28);
192-
+ StorageDead(_27);
183+
+ StorageDead(_26);
184+
+ StorageDead(_25);
193185
StorageDead(_5);
194186
return;
195187
+ }

0 commit comments

Comments
 (0)