summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/inline/inline_generator.main.Inline.panic-unwind.diff
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/inline/inline_generator.main.Inline.panic-unwind.diff')
-rw-r--r--tests/mir-opt/inline/inline_generator.main.Inline.panic-unwind.diff120
1 files changed, 0 insertions, 120 deletions
diff --git a/tests/mir-opt/inline/inline_generator.main.Inline.panic-unwind.diff b/tests/mir-opt/inline/inline_generator.main.Inline.panic-unwind.diff
deleted file mode 100644
index 31744be99..000000000
--- a/tests/mir-opt/inline/inline_generator.main.Inline.panic-unwind.diff
+++ /dev/null
@@ -1,120 +0,0 @@
-- // MIR for `main` before Inline
-+ // MIR for `main` after Inline
-
- fn main() -> () {
- let mut _0: ();
- let _1: std::ops::GeneratorState<i32, bool>;
- let mut _2: std::pin::Pin<&mut {generator@$DIR/inline_generator.rs:16:5: 16:8}>;
- let mut _3: &mut {generator@$DIR/inline_generator.rs:16:5: 16:8};
- let mut _4: {generator@$DIR/inline_generator.rs:16:5: 16:8};
-+ let mut _5: bool;
- scope 1 {
- debug _r => _1;
- }
-+ scope 2 (inlined g) {
-+ }
-+ scope 3 (inlined Pin::<&mut {generator@$DIR/inline_generator.rs:16:5: 16:8}>::new) {
-+ debug pointer => _3;
-+ scope 4 {
-+ scope 5 (inlined Pin::<&mut {generator@$DIR/inline_generator.rs:16:5: 16:8}>::new_unchecked) {
-+ debug pointer => _3;
-+ }
-+ }
-+ }
-+ scope 6 (inlined g::{closure#0}) {
-+ debug a => _5;
-+ let mut _6: &mut {generator@$DIR/inline_generator.rs:16:5: 16:8};
-+ let mut _7: u32;
-+ let mut _8: i32;
-+ }
-
- bb0: {
- StorageLive(_1);
- StorageLive(_2);
- StorageLive(_3);
- StorageLive(_4);
-- _4 = g() -> [return: bb1, unwind continue];
-- }
--
-- bb1: {
-+ _4 = {generator@$DIR/inline_generator.rs:16:5: 16:8 (#0)};
- _3 = &mut _4;
-- _2 = Pin::<&mut {generator@$DIR/inline_generator.rs:16:5: 16:8}>::new(move _3) -> [return: bb2, unwind: bb5];
-- }
--
-- bb2: {
-+ _2 = Pin::<&mut {generator@$DIR/inline_generator.rs:16:5: 16:8}> { pointer: move _3 };
- StorageDead(_3);
-- _1 = <{generator@$DIR/inline_generator.rs:16:5: 16:8} as Generator<bool>>::resume(move _2, const false) -> [return: bb3, unwind: bb5];
-+ StorageLive(_5);
-+ _5 = const false;
-+ _6 = (_2.0: &mut {generator@$DIR/inline_generator.rs:16:5: 16:8});
-+ _7 = discriminant((*_6));
-+ switchInt(move _7) -> [0: bb5, 1: bb9, 3: bb10, otherwise: bb11];
- }
-
-- bb3: {
-+ bb1: {
-+ StorageDead(_5);
- StorageDead(_2);
-- drop(_4) -> [return: bb4, unwind: bb6];
-+ drop(_4) -> [return: bb2, unwind: bb4];
- }
-
-- bb4: {
-+ bb2: {
- StorageDead(_4);
- _0 = const ();
- StorageDead(_1);
- return;
- }
-
-- bb5 (cleanup): {
-- drop(_4) -> [return: bb6, unwind terminate(cleanup)];
-+ bb3 (cleanup): {
-+ drop(_4) -> [return: bb4, unwind terminate(cleanup)];
- }
-
-- bb6 (cleanup): {
-+ bb4 (cleanup): {
- resume;
-+ }
-+
-+ bb5: {
-+ StorageLive(_8);
-+ switchInt(_5) -> [0: bb6, otherwise: bb7];
-+ }
-+
-+ bb6: {
-+ _8 = const 13_i32;
-+ goto -> bb8;
-+ }
-+
-+ bb7: {
-+ _8 = const 7_i32;
-+ goto -> bb8;
-+ }
-+
-+ bb8: {
-+ _1 = GeneratorState::<i32, bool>::Yielded(move _8);
-+ discriminant((*_6)) = 3;
-+ goto -> bb1;
-+ }
-+
-+ bb9: {
-+ assert(const false, "generator resumed after completion") -> [success: bb9, unwind: bb3];
-+ }
-+
-+ bb10: {
-+ StorageLive(_8);
-+ StorageDead(_8);
-+ _1 = GeneratorState::<i32, bool>::Complete(_5);
-+ discriminant((*_6)) = 1;
-+ goto -> bb1;
-+ }
-+
-+ bb11: {
-+ unreachable;
- }
- }
-