1 files changed, 89 insertions, 0 deletions
diff --git a/tests/mir-opt/pre-codegen/range_iter.inclusive_loop.PreCodegen.after.panic-unwind.mir b/tests/mir-opt/pre-codegen/range_iter.inclusive_loop.PreCodegen.after.panic-unwind.mir
new file mode 100644
index 000000000..04d6da1d9
--- /dev/null
+++ b/tests/mir-opt/pre-codegen/range_iter.inclusive_loop.PreCodegen.after.panic-unwind.mir
@@ -0,0 +1,89 @@
+// MIR for `inclusive_loop` after PreCodegen
+
+fn inclusive_loop(_1: u32, _2: u32, _3: impl Fn(u32)) -> () {
+    debug start => _1;
+    debug end => _2;
+    debug f => _3;
+    let mut _0: ();
+    let mut _4: std::ops::RangeInclusive<u32>;
+    let mut _5: std::ops::RangeInclusive<u32>;
+    let mut _6: &mut std::ops::RangeInclusive<u32>;
+    let mut _7: std::option::Option<u32>;
+    let mut _8: isize;
+    let mut _10: &impl Fn(u32);
+    let mut _11: (u32,);
+    let _12: ();
+    scope 1 {
+        debug iter => _5;
+        let _9: u32;
+        scope 2 {
+            debug x => _9;
+        }
+        scope 5 (inlined iter::range::<impl Iterator for RangeInclusive<u32>>::next) {
+            debug self => _6;
+        }
+    }
+    scope 3 (inlined RangeInclusive::<u32>::new) {
+        debug start => _1;
+        debug end => _2;
+    }
+    scope 4 (inlined <RangeInclusive<u32> as IntoIterator>::into_iter) {
+        debug self => _4;
+    }
+
+    bb0: {
+        _4 = RangeInclusive::<u32> { start: _1, end: _2, exhausted: const false };
+        StorageLive(_5);
+        _5 = move _4;
+        goto -> bb1;
+    }
+
+    bb1: {
+        StorageLive(_7);
+        _6 = &mut _5;
+        _7 = <RangeInclusive<u32> as iter::range::RangeInclusiveIteratorImpl>::spec_next(_6) -> [return: bb2, unwind: bb8];
+    }
+
+    bb2: {
+        _8 = discriminant(_7);
+        switchInt(move _8) -> [0: bb3, 1: bb5, otherwise: bb7];
+    }
+
+    bb3: {
+        StorageDead(_7);
+        StorageDead(_5);
+        drop(_3) -> [return: bb4, unwind continue];
+    }
+
+    bb4: {
+        return;
+    }
+
+    bb5: {
+        _9 = ((_7 as Some).0: u32);
+        StorageLive(_10);
+        _10 = &_3;
+        StorageLive(_11);
+        _11 = (_9,);
+        _12 = <impl Fn(u32) as Fn<(u32,)>>::call(move _10, move _11) -> [return: bb6, unwind: bb8];
+    }
+
+    bb6: {
+        StorageDead(_11);
+        StorageDead(_10);
+        StorageDead(_7);
+        goto -> bb1;
+    }
+
+    bb7: {
+        unreachable;
+    }
+
+    bb8 (cleanup): {
+        drop(_3) -> [return: bb9, unwind terminate];
+    }
+
+    bb9 (cleanup): {
+        resume;
+    }
+}