File tree 3 files changed +15
-15
lines changed
tests/mir-opt/dataflow-const-prop
3 files changed +15
-15
lines changed Original file line number Diff line number Diff line change 16
16
let mut _26: &&BigStruct;
17
17
let mut _28: f32;
18
18
let mut _29: std::option::Option<S>;
19
- let mut _30: &[f64 ];
19
+ let mut _30: &[f32 ];
20
20
let mut _31: &SmallStruct;
21
21
let mut _32: &SmallStruct;
22
22
let mut _33: &SmallStruct;
52
52
debug ss => _15;
53
53
let _19: f32;
54
54
let _20: std::option::Option<S>;
55
- let _21: &[f64 ];
55
+ let _21: &[f32 ];
56
56
scope 7 {
57
57
debug a => _19;
58
58
debug b => _20;
59
59
debug c => _21;
60
60
let _23: f32;
61
61
let _24: std::option::Option<S>;
62
- let _25: &[f64 ];
62
+ let _25: &[f32 ];
63
63
scope 8 {
64
64
debug a => _23;
65
65
debug b => _24;
146
146
StorageLive(_20);
147
147
_20 = (_22.1: std::option::Option<S>);
148
148
StorageLive(_21);
149
- _21 = (_22.2: &[f64 ]);
149
+ _21 = (_22.2: &[f32 ]);
150
150
StorageDead(_22);
151
151
StorageLive(_26);
152
152
_26 = const {ALLOC5: &&BigStruct};
161
161
+ _24 = const Option::<S>::Some(S(35_i32));
162
162
StorageLive(_25);
163
163
_38 = deref_copy (*_26);
164
- _25 = ((*_38).2: &[f64 ]);
164
+ _25 = ((*_38).2: &[f32 ]);
165
165
StorageDead(_26);
166
166
StorageLive(_27);
167
167
StorageLive(_28);
228
228
0x10 │ 00 00 a4 42 │ ...B
229
229
}
230
230
231
- ALLOC1 (size: 16 , align: 4) {
232
- 00 00 00 00 00 80 46 40 00 00 00 00 00 00 52 40 │ ......F@......R@
231
+ ALLOC1 (size: 8 , align: 4) {
232
+ 00 00 34 42 00 00 90 42 │ ..4B ...B
233
233
}
234
234
235
235
ALLOC4 (static: SMALL_STAT, size: 4, align: 4) {
Original file line number Diff line number Diff line change 16
16
let mut _26: &&BigStruct;
17
17
let mut _28: f32;
18
18
let mut _29: std::option::Option<S>;
19
- let mut _30: &[f64 ];
19
+ let mut _30: &[f32 ];
20
20
let mut _31: &SmallStruct;
21
21
let mut _32: &SmallStruct;
22
22
let mut _33: &SmallStruct;
52
52
debug ss => _15;
53
53
let _19: f32;
54
54
let _20: std::option::Option<S>;
55
- let _21: &[f64 ];
55
+ let _21: &[f32 ];
56
56
scope 7 {
57
57
debug a => _19;
58
58
debug b => _20;
59
59
debug c => _21;
60
60
let _23: f32;
61
61
let _24: std::option::Option<S>;
62
- let _25: &[f64 ];
62
+ let _25: &[f32 ];
63
63
scope 8 {
64
64
debug a => _23;
65
65
debug b => _24;
146
146
StorageLive(_20);
147
147
_20 = (_22.1: std::option::Option<S>);
148
148
StorageLive(_21);
149
- _21 = (_22.2: &[f64 ]);
149
+ _21 = (_22.2: &[f32 ]);
150
150
StorageDead(_22);
151
151
StorageLive(_26);
152
152
_26 = const {ALLOC5: &&BigStruct};
161
161
+ _24 = const Option::<S>::Some(S(35_i32));
162
162
StorageLive(_25);
163
163
_38 = deref_copy (*_26);
164
- _25 = ((*_38).2: &[f64 ]);
164
+ _25 = ((*_38).2: &[f32 ]);
165
165
StorageDead(_26);
166
166
StorageLive(_27);
167
167
StorageLive(_28);
228
228
0x10 │ 02 00 00 00 00 00 00 00 00 00 a4 42 __ __ __ __ │ ...........B░░░░
229
229
}
230
230
231
- ALLOC1 (size: 16 , align: 8 ) {
232
- 00 00 00 00 00 80 46 40 00 00 00 00 00 00 52 40 │ ......F@......R@
231
+ ALLOC1 (size: 8 , align: 4 ) {
232
+ 00 00 34 42 00 00 90 42 │ ..4B ...B
233
233
}
234
234
235
235
ALLOC4 (static: SMALL_STAT, size: 8, align: 8) {
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ struct S(i32);
9
9
struct SmallStruct ( f32 , Option < S > , & ' static [ f32 ] ) ;
10
10
11
11
#[ derive( Copy , Clone ) ]
12
- struct BigStruct ( f32 , Option < S > , & ' static [ f64 ] ) ;
12
+ struct BigStruct ( f32 , Option < S > , & ' static [ f32 ] ) ;
13
13
14
14
// EMIT_MIR struct.main.DataflowConstProp.diff
15
15
fn main ( ) {
You can’t perform that action at this time.
0 commit comments