summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/copy-prop/move_projection.f.CopyProp.panic-unwind.diff
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/copy-prop/move_projection.f.CopyProp.panic-unwind.diff')
-rw-r--r--tests/mir-opt/copy-prop/move_projection.f.CopyProp.panic-unwind.diff25
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/mir-opt/copy-prop/move_projection.f.CopyProp.panic-unwind.diff b/tests/mir-opt/copy-prop/move_projection.f.CopyProp.panic-unwind.diff
new file mode 100644
index 000000000..ad3889639
--- /dev/null
+++ b/tests/mir-opt/copy-prop/move_projection.f.CopyProp.panic-unwind.diff
@@ -0,0 +1,25 @@
+- // MIR for `f` before CopyProp
++ // MIR for `f` after CopyProp
+
+ fn f(_1: Foo) -> bool {
+ let mut _0: bool;
+ let mut _2: Foo;
+ let mut _3: u8;
+
+ bb0: {
+- _2 = _1;
+- _3 = move (_2.0: u8);
+- _0 = opaque::<Foo>(move _1) -> [return: bb1, unwind continue];
++ _3 = (_1.0: u8);
++ _0 = opaque::<Foo>(_1) -> [return: bb1, unwind continue];
+ }
+
+ bb1: {
+ _0 = opaque::<u8>(move _3) -> [return: bb2, unwind continue];
+ }
+
+ bb2: {
+ return;
+ }
+ }
+