user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Change pretty-printing.

Browse source
This commit is contained in:
Camille Gillot 2025-11-19 01:23:04 +00:00
parent fab64de727
commit d8b897e317
10 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_middle/src/mir/pretty.rs
View file

@ -1255,7 +1255,7 @@ impl<'tcx> Debug for Operand<'tcx> {
Constant(ref a) => write!(fmt, "{a:?}"),
Copy(ref place) => write!(fmt, "copy {place:?}"),
Move(ref place) => write!(fmt, "move {place:?}"),
RuntimeChecks(checks) => write!(fmt, "const {checks:?}"),
RuntimeChecks(checks) => write!(fmt, "{checks:?}"),
}
}
}

2
tests/mir-opt/dont_reset_cast_kind_without_updating_operand.test.GVN.32bit.panic-abort.diff
View file

@ -94,7 +94,7 @@
StorageLive(_21);
StorageLive(_22);
StorageLive(_23);
switchInt(const UbChecks) -> [0: bb6, otherwise: bb5];
switchInt(UbChecks) -> [0: bb6, otherwise: bb5];
}
bb1: {

2
tests/mir-opt/dont_reset_cast_kind_without_updating_operand.test.GVN.64bit.panic-abort.diff
View file

@ -94,7 +94,7 @@
StorageLive(_21);
StorageLive(_22);
StorageLive(_23);
switchInt(const UbChecks) -> [0: bb6, otherwise: bb5];
switchInt(UbChecks) -> [0: bb6, otherwise: bb5];
}
bb1: {

2
tests/mir-opt/inline/unchecked_shifts.unchecked_shl_unsigned_smaller.Inline.panic-abort.diff
View file

@ -22,7 +22,7 @@
_4 = copy _2;
- _0 = core::num::<impl u16>::unchecked_shl(move _3, move _4) -> [return: bb1, unwind unreachable];
+ StorageLive(_5);
+ switchInt(const UbChecks) -> [0: bb2, otherwise: bb1];
+ switchInt(UbChecks) -> [0: bb2, otherwise: bb1];
}
bb1: {

2
tests/mir-opt/inline/unchecked_shifts.unchecked_shl_unsigned_smaller.Inline.panic-unwind.diff
View file

@ -22,7 +22,7 @@
_4 = copy _2;
- _0 = core::num::<impl u16>::unchecked_shl(move _3, move _4) -> [return: bb1, unwind continue];
+ StorageLive(_5);
+ switchInt(const UbChecks) -> [0: bb2, otherwise: bb1];
+ switchInt(UbChecks) -> [0: bb2, otherwise: bb1];
}
bb1: {

2
tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_bigger.Inline.panic-abort.diff
View file

@ -22,7 +22,7 @@
_4 = copy _2;
- _0 = core::num::<impl i64>::unchecked_shr(move _3, move _4) -> [return: bb1, unwind unreachable];
+ StorageLive(_5);
+ switchInt(const UbChecks) -> [0: bb2, otherwise: bb1];
+ switchInt(UbChecks) -> [0: bb2, otherwise: bb1];
}
bb1: {

2
tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_bigger.Inline.panic-unwind.diff
View file

@ -22,7 +22,7 @@
_4 = copy _2;
- _0 = core::num::<impl i64>::unchecked_shr(move _3, move _4) -> [return: bb1, unwind continue];
+ StorageLive(_5);
+ switchInt(const UbChecks) -> [0: bb2, otherwise: bb1];
+ switchInt(UbChecks) -> [0: bb2, otherwise: bb1];
}
bb1: {

2
tests/mir-opt/inline/unwrap_unchecked.unwrap_unchecked.Inline.panic-abort.diff
View file

@ -33,7 +33,7 @@
+ }
+
+ bb2: {
+ assume(const UbChecks);
+ assume(UbChecks);
+ _4 = unreachable_unchecked::precondition_check() -> [return: bb1, unwind unreachable];
+ }
+

2
tests/mir-opt/inline/unwrap_unchecked.unwrap_unchecked.Inline.panic-unwind.diff
View file

@ -37,7 +37,7 @@
- bb2 (cleanup): {
- resume;
+ bb2: {
+ assume(const UbChecks);
+ assume(UbChecks);
+ _4 = unreachable_unchecked::precondition_check() -> [return: bb1, unwind unreachable];
+ }
+

2
tests/mir-opt/instsimplify/ub_check.unwrap_unchecked.InstSimplify-after-simplifycfg.diff
View file

@ -32,7 +32,7 @@
}
bb2: {
- assume(const UbChecks);
- assume(UbChecks);
+ assume(const false);
_4 = unreachable_unchecked::precondition_check() -> [return: bb1, unwind unreachable];
}