diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-09-12 16:44:53 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-21 16:20:46 +0000 |
| commit | 31d101093c134e69a31ba58893e56647a5831299 (patch) | |
| tree | b4a2819f41539f741446ecf77ee398ab9c70241a /tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff | |
| parent | 249624b5043013d18c00f0401ca431c1a6baa8cd (diff) | |
| download | rust-31d101093c134e69a31ba58893e56647a5831299.tar.gz rust-31d101093c134e69a31ba58893e56647a5831299.zip | |
Generate ValTrees in DataflowConstProp.
Diffstat (limited to 'tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff')
| -rw-r--r-- | tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff | 59 |
1 files changed, 44 insertions, 15 deletions
diff --git a/tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff b/tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff index de9cf197199..fca94beb9ab 100644 --- a/tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff +++ b/tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff @@ -9,11 +9,15 @@ let mut _6: i32; let mut _11: BigStruct; let mut _16: &&BigStruct; - let mut _17: &BigStruct; - let mut _18: &BigStruct; - let mut _19: &BigStruct; - let mut _20: &BigStruct; - let mut _21: &BigStruct; + let mut _18: S; + let mut _19: u8; + let mut _20: f32; + let mut _21: S; + let mut _22: &BigStruct; + let mut _23: &BigStruct; + let mut _24: &BigStruct; + let mut _25: &BigStruct; + let mut _26: &BigStruct; scope 1 { debug s => _1; let _2: i32; @@ -40,6 +44,10 @@ debug b => _13; debug c => _14; debug d => _15; + let _17: BigStruct; + scope 6 { + debug bs => _17; + } } } } @@ -48,7 +56,8 @@ bb0: { StorageLive(_1); - _1 = S(const 1_i32); +- _1 = S(const 1_i32); ++ _1 = const S(1); StorageLive(_2); StorageLive(_3); - _3 = (_1.0: i32); @@ -85,25 +94,45 @@ StorageDead(_11); StorageLive(_16); _16 = const {ALLOC1: &&BigStruct}; - _17 = deref_copy (*_16); + _22 = deref_copy (*_16); StorageLive(_12); - _18 = deref_copy (*_16); -- _12 = ((*_18).0: S); + _23 = deref_copy (*_16); +- _12 = ((*_23).0: S); + _12 = const S(1_i32); StorageLive(_13); - _19 = deref_copy (*_16); -- _13 = ((*_19).1: u8); + _24 = deref_copy (*_16); +- _13 = ((*_24).1: u8); + _13 = const 5_u8; StorageLive(_14); - _20 = deref_copy (*_16); -- _14 = ((*_20).2: f32); + _25 = deref_copy (*_16); +- _14 = ((*_25).2: f32); + _14 = const 7f32; StorageLive(_15); - _21 = deref_copy (*_16); -- _15 = ((*_21).3: S); + _26 = deref_copy (*_16); +- _15 = ((*_26).3: S); + _15 = const S(13_i32); StorageDead(_16); + StorageLive(_17); + StorageLive(_18); +- _18 = _12; ++ _18 = const S(1_i32); + StorageLive(_19); +- _19 = _13; ++ _19 = const 5_u8; + StorageLive(_20); +- _20 = _14; ++ _20 = const 7f32; + StorageLive(_21); +- _21 = _15; +- _17 = BigStruct(move _18, move _19, move _20, move _21); ++ _21 = const S(13_i32); ++ _17 = const BigStruct(S(1), 5, 7f32, S(13)); + StorageDead(_21); + StorageDead(_20); + StorageDead(_19); + StorageDead(_18); _0 = const (); + StorageDead(_17); StorageDead(_15); StorageDead(_14); StorageDead(_13); |