File tree Expand file tree Collapse file tree 3 files changed +15
-15
lines changed
tests/mir-opt/dataflow-const-prop Expand file tree Collapse file tree 3 files changed +15
-15
lines changed Original file line number Diff line number Diff line change 1616 let mut _26: &&BigStruct;
1717 let mut _28: f32;
1818 let mut _29: std::option::Option<S>;
19- let mut _30: &[f64 ];
19+ let mut _30: &[f32 ];
2020 let mut _31: &SmallStruct;
2121 let mut _32: &SmallStruct;
2222 let mut _33: &SmallStruct;
5252 debug ss => _15;
5353 let _19: f32;
5454 let _20: std::option::Option<S>;
55- let _21: &[f64 ];
55+ let _21: &[f32 ];
5656 scope 7 {
5757 debug a => _19;
5858 debug b => _20;
5959 debug c => _21;
6060 let _23: f32;
6161 let _24: std::option::Option<S>;
62- let _25: &[f64 ];
62+ let _25: &[f32 ];
6363 scope 8 {
6464 debug a => _23;
6565 debug b => _24;
146146 StorageLive(_20);
147147 _20 = (_22.1: std::option::Option<S>);
148148 StorageLive(_21);
149- _21 = (_22.2: &[f64 ]);
149+ _21 = (_22.2: &[f32 ]);
150150 StorageDead(_22);
151151 StorageLive(_26);
152152 _26 = const {ALLOC5: &&BigStruct};
161161+ _24 = const Option::<S>::Some(S(35_i32));
162162 StorageLive(_25);
163163 _38 = deref_copy (*_26);
164- _25 = ((*_38).2: &[f64 ]);
164+ _25 = ((*_38).2: &[f32 ]);
165165 StorageDead(_26);
166166 StorageLive(_27);
167167 StorageLive(_28);
228228 0x10 │ 00 00 a4 42 │ ...B
229229 }
230230
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
233233 }
234234
235235 ALLOC4 (static: SMALL_STAT, size: 4, align: 4) {
Original file line number Diff line number Diff line change 1616 let mut _26: &&BigStruct;
1717 let mut _28: f32;
1818 let mut _29: std::option::Option<S>;
19- let mut _30: &[f64 ];
19+ let mut _30: &[f32 ];
2020 let mut _31: &SmallStruct;
2121 let mut _32: &SmallStruct;
2222 let mut _33: &SmallStruct;
5252 debug ss => _15;
5353 let _19: f32;
5454 let _20: std::option::Option<S>;
55- let _21: &[f64 ];
55+ let _21: &[f32 ];
5656 scope 7 {
5757 debug a => _19;
5858 debug b => _20;
5959 debug c => _21;
6060 let _23: f32;
6161 let _24: std::option::Option<S>;
62- let _25: &[f64 ];
62+ let _25: &[f32 ];
6363 scope 8 {
6464 debug a => _23;
6565 debug b => _24;
146146 StorageLive(_20);
147147 _20 = (_22.1: std::option::Option<S>);
148148 StorageLive(_21);
149- _21 = (_22.2: &[f64 ]);
149+ _21 = (_22.2: &[f32 ]);
150150 StorageDead(_22);
151151 StorageLive(_26);
152152 _26 = const {ALLOC5: &&BigStruct};
161161+ _24 = const Option::<S>::Some(S(35_i32));
162162 StorageLive(_25);
163163 _38 = deref_copy (*_26);
164- _25 = ((*_38).2: &[f64 ]);
164+ _25 = ((*_38).2: &[f32 ]);
165165 StorageDead(_26);
166166 StorageLive(_27);
167167 StorageLive(_28);
228228 0x10 │ 02 00 00 00 00 00 00 00 00 00 a4 42 __ __ __ __ │ ...........B░░░░
229229 }
230230
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
233233 }
234234
235235 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);
99struct SmallStruct ( f32 , Option < S > , & ' static [ f32 ] ) ;
1010
1111#[ derive( Copy , Clone ) ]
12- struct BigStruct ( f32 , Option < S > , & ' static [ f64 ] ) ;
12+ struct BigStruct ( f32 , Option < S > , & ' static [ f32 ] ) ;
1313
1414// EMIT_MIR struct.main.DataflowConstProp.diff
1515fn main ( ) {
You can’t perform that action at this time.
0 commit comments