summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/pre-codegen/slice_filter.variant_b-{closure#0}.PreCodegen.after.mir
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/pre-codegen/slice_filter.variant_b-{closure#0}.PreCodegen.after.mir')
-rw-r--r--tests/mir-opt/pre-codegen/slice_filter.variant_b-{closure#0}.PreCodegen.after.mir49
1 files changed, 14 insertions, 35 deletions
diff --git a/tests/mir-opt/pre-codegen/slice_filter.variant_b-{closure#0}.PreCodegen.after.mir b/tests/mir-opt/pre-codegen/slice_filter.variant_b-{closure#0}.PreCodegen.after.mir
index bab9f0b58..80c8cebff 100644
--- a/tests/mir-opt/pre-codegen/slice_filter.variant_b-{closure#0}.PreCodegen.after.mir
+++ b/tests/mir-opt/pre-codegen/slice_filter.variant_b-{closure#0}.PreCodegen.after.mir
@@ -1,6 +1,6 @@
// MIR for `variant_b::{closure#0}` after PreCodegen
-fn variant_b::{closure#0}(_1: &mut [closure@$DIR/slice_filter.rs:11:25: 11:41], _2: &&(usize, usize, usize, usize)) -> bool {
+fn variant_b::{closure#0}(_1: &mut {closure@$DIR/slice_filter.rs:11:25: 11:41}, _2: &&(usize, usize, usize, usize)) -> bool {
let mut _0: bool;
let mut _3: &(usize, usize, usize, usize);
let _4: usize;
@@ -13,9 +13,6 @@ fn variant_b::{closure#0}(_1: &mut [closure@$DIR/slice_filter.rs:11:25: 11:41],
let mut _11: bool;
let mut _12: bool;
let mut _13: bool;
- let mut _14: bool;
- let mut _15: bool;
- let mut _16: bool;
scope 1 {
debug a => _4;
debug b => _6;
@@ -32,64 +29,46 @@ fn variant_b::{closure#0}(_1: &mut [closure@$DIR/slice_filter.rs:11:25: 11:41],
_8 = ((*_7).2: usize);
_9 = deref_copy (*_2);
_10 = ((*_9).3: usize);
- StorageLive(_12);
StorageLive(_11);
_11 = Le(_4, _8);
- switchInt(move _11) -> [0: bb1, otherwise: bb2];
+ switchInt(move _11) -> [0: bb2, otherwise: bb1];
}
bb1: {
- _12 = const false;
- goto -> bb3;
+ StorageLive(_12);
+ _12 = Le(_10, _6);
+ switchInt(move _12) -> [0: bb2, otherwise: bb6];
}
bb2: {
StorageLive(_13);
- _13 = Le(_10, _6);
- _12 = move _13;
- goto -> bb3;
+ _13 = Le(_8, _4);
+ switchInt(move _13) -> [0: bb3, otherwise: bb4];
}
bb3: {
- StorageDead(_13);
- StorageDead(_11);
- switchInt(move _12) -> [0: bb4, otherwise: bb8];
+ _0 = const false;
+ goto -> bb5;
}
bb4: {
- StorageLive(_15);
- StorageLive(_14);
- _14 = Le(_8, _4);
- switchInt(move _14) -> [0: bb5, otherwise: bb6];
+ _0 = Le(_6, _10);
+ goto -> bb5;
}
bb5: {
- _15 = const false;
+ StorageDead(_13);
goto -> bb7;
}
bb6: {
- StorageLive(_16);
- _16 = Le(_6, _10);
- _15 = move _16;
+ _0 = const true;
goto -> bb7;
}
bb7: {
- StorageDead(_16);
- StorageDead(_14);
- _0 = move _15;
- goto -> bb9;
- }
-
- bb8: {
- _0 = const true;
- goto -> bb9;
- }
-
- bb9: {
- StorageDead(_15);
StorageDead(_12);
+ StorageDead(_11);
return;
}
}