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