summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_smaller.PreCodegen.after.panic-abort.mir
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_smaller.PreCodegen.after.panic-abort.mir')
-rw-r--r--tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_smaller.PreCodegen.after.panic-abort.mir16
1 files changed, 6 insertions, 10 deletions
diff --git a/tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_smaller.PreCodegen.after.panic-abort.mir b/tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_smaller.PreCodegen.after.panic-abort.mir
index 64ea25349..65fa0d956 100644
--- a/tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_smaller.PreCodegen.after.panic-abort.mir
+++ b/tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_smaller.PreCodegen.after.panic-abort.mir
@@ -7,25 +7,21 @@ fn unchecked_shr_signed_smaller(_1: i16, _2: u32) -> i16 {
scope 1 (inlined core::num::<impl i16>::unchecked_shr) {
debug self => _1;
debug rhs => _2;
- let mut _3: u32;
- let mut _4: bool;
- let mut _5: i16;
+ let mut _3: bool;
+ let mut _4: i16;
scope 2 {
}
}
bb0: {
- StorageLive(_5);
StorageLive(_4);
StorageLive(_3);
- _3 = const 32767_u32;
- _4 = Le(_2, move _3);
+ _3 = Le(_2, const 32767_u32);
+ assume(move _3);
StorageDead(_3);
- assume(move _4);
+ _4 = _2 as i16 (IntToInt);
+ _0 = ShrUnchecked(_1, move _4);
StorageDead(_4);
- _5 = _2 as i16 (IntToInt);
- _0 = ShrUnchecked(_1, move _5);
- StorageDead(_5);
return;
}
}