diff options
Diffstat (limited to 'tests/mir-opt/instsimplify/casts.redundant.InstSimplify.diff')
-rw-r--r-- | tests/mir-opt/instsimplify/casts.redundant.InstSimplify.diff | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/tests/mir-opt/instsimplify/casts.redundant.InstSimplify.diff b/tests/mir-opt/instsimplify/casts.redundant.InstSimplify.diff new file mode 100644 index 000000000..9e1bce1ee --- /dev/null +++ b/tests/mir-opt/instsimplify/casts.redundant.InstSimplify.diff @@ -0,0 +1,34 @@ +- // MIR for `redundant` before InstSimplify ++ // MIR for `redundant` after InstSimplify + + fn redundant(_1: *const &u8) -> *const &u8 { + debug x => _1; + let mut _0: *const &u8; + let mut _2: *const &u8; + let mut _3: *const &u8; + let mut _4: *const &u8; + scope 1 (inlined generic_cast::<&u8, &u8>) { + debug x => _4; + let mut _5: *const &u8; + } + + bb0: { + StorageLive(_2); + StorageLive(_3); + StorageLive(_4); + _4 = _1; + StorageLive(_5); + _5 = _4; +- _3 = move _5 as *const &u8 (PtrToPtr); ++ _3 = move _5; + StorageDead(_5); + StorageDead(_4); +- _2 = move _3 as *const &u8 (PtrToPtr); ++ _2 = move _3; + _0 = _2; + StorageDead(_3); + StorageDead(_2); + return; + } + } + |