summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/jump_threading.identity.JumpThreading.panic-abort.diff
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/jump_threading.identity.JumpThreading.panic-abort.diff')
-rw-r--r--tests/mir-opt/jump_threading.identity.JumpThreading.panic-abort.diff36
1 files changed, 18 insertions, 18 deletions
diff --git a/tests/mir-opt/jump_threading.identity.JumpThreading.panic-abort.diff b/tests/mir-opt/jump_threading.identity.JumpThreading.panic-abort.diff
index f17c9ba3f..f50603a66 100644
--- a/tests/mir-opt/jump_threading.identity.JumpThreading.panic-abort.diff
+++ b/tests/mir-opt/jump_threading.identity.JumpThreading.panic-abort.diff
@@ -60,16 +60,6 @@
}
bb1: {
- StorageDead(_12);
- StorageDead(_11);
- StorageDead(_10);
- StorageDead(_4);
- _5 = discriminant(_3);
-- switchInt(move _5) -> [0: bb2, 1: bb4, otherwise: bb3];
-+ goto -> bb2;
- }
-
- bb2: {
StorageLive(_9);
_9 = ((_3 as Continue).0: i32);
_2 = _9;
@@ -77,14 +67,14 @@
_0 = Result::<i32, i32>::Ok(move _2);
StorageDead(_2);
StorageDead(_3);
- goto -> bb5;
+ goto -> bb4;
}
- bb3: {
+ bb2: {
unreachable;
}
- bb4: {
+ bb3: {
StorageLive(_6);
_6 = ((_3 as Break).0: std::result::Result<std::convert::Infallible, i32>);
StorageLive(_8);
@@ -100,20 +90,30 @@
StorageDead(_6);
StorageDead(_2);
StorageDead(_3);
- goto -> bb5;
+ goto -> bb4;
}
- bb5: {
+ bb4: {
return;
}
+ bb5: {
+ StorageDead(_12);
+ StorageDead(_11);
+ StorageDead(_10);
+ StorageDead(_4);
+ _5 = discriminant(_3);
+- switchInt(move _5) -> [0: bb1, 1: bb3, otherwise: bb2];
++ goto -> bb1;
+ }
+
bb6: {
_12 = move ((_4 as Err).0: i32);
StorageLive(_13);
_13 = Result::<Infallible, i32>::Err(move _12);
_3 = ControlFlow::<Result<Infallible, i32>, i32>::Break(move _13);
StorageDead(_13);
-- goto -> bb1;
+- goto -> bb5;
+ goto -> bb9;
}
@@ -124,7 +124,7 @@
bb8: {
_11 = move ((_4 as Ok).0: i32);
_3 = ControlFlow::<Result<Infallible, i32>, i32>::Continue(move _11);
- goto -> bb1;
+ goto -> bb5;
+ }
+
+ bb9: {
@@ -133,7 +133,7 @@
+ StorageDead(_10);
+ StorageDead(_4);
+ _5 = discriminant(_3);
-+ goto -> bb4;
++ goto -> bb3;
}
}