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

Update mir-opt expected output for matches! macro

Browse source
This commit is contained in:
Jonas Platte 2025-07-25 22:34:55 +02:00
parent 0e30629600
commit 25ed28823a
No known key found for this signature in database
GPG key ID: 7D261D771D915378
8 changed files with 26 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tests/mir-opt/issues/issue_59352.num_to_digit.PreCodegen.after.32bit.panic-abort.mir
View file

@ -8,12 +8,14 @@ fn num_to_digit(_1: char) -> u32 {
let _2: std::option::Option<u32>;
scope 2 (inlined Option::<u32>::is_some) {
let mut _3: isize;
scope 3 {
}
}
}
scope 3 (inlined #[track_caller] Option::<u32>::unwrap) {
scope 4 (inlined #[track_caller] Option::<u32>::unwrap) {
let mut _5: isize;
let mut _6: !;
scope 4 {
scope 5 {
}
}

6
tests/mir-opt/issues/issue_59352.num_to_digit.PreCodegen.after.32bit.panic-unwind.mir
View file

@ -8,12 +8,14 @@ fn num_to_digit(_1: char) -> u32 {
let _2: std::option::Option<u32>;
scope 2 (inlined Option::<u32>::is_some) {
let mut _3: isize;
scope 3 {
}
}
}
scope 3 (inlined #[track_caller] Option::<u32>::unwrap) {
scope 4 (inlined #[track_caller] Option::<u32>::unwrap) {
let mut _5: isize;
let mut _6: !;
scope 4 {
scope 5 {
}
}

6
tests/mir-opt/issues/issue_59352.num_to_digit.PreCodegen.after.64bit.panic-abort.mir
View file

@ -8,12 +8,14 @@ fn num_to_digit(_1: char) -> u32 {
let _2: std::option::Option<u32>;
scope 2 (inlined Option::<u32>::is_some) {
let mut _3: isize;
scope 3 {
}
}
}
scope 3 (inlined #[track_caller] Option::<u32>::unwrap) {
scope 4 (inlined #[track_caller] Option::<u32>::unwrap) {
let mut _5: isize;
let mut _6: !;
scope 4 {
scope 5 {
}
}

6
tests/mir-opt/issues/issue_59352.num_to_digit.PreCodegen.after.64bit.panic-unwind.mir
View file

@ -8,12 +8,14 @@ fn num_to_digit(_1: char) -> u32 {
let _2: std::option::Option<u32>;
scope 2 (inlined Option::<u32>::is_some) {
let mut _3: isize;
scope 3 {
}
}
}
scope 3 (inlined #[track_caller] Option::<u32>::unwrap) {
scope 4 (inlined #[track_caller] Option::<u32>::unwrap) {
let mut _5: isize;
let mut _6: !;
scope 4 {
scope 5 {
}
}

2
tests/mir-opt/matches_reduce_branches.foo.MatchBranchSimplification.diff
View file

@ -7,6 +7,8 @@
let mut _2: bool;
let mut _3: isize;
+ let mut _4: isize;
scope 1 {
}
bb0: {
StorageLive(_2);

4
tests/mir-opt/pre-codegen/checked_ops.step_forward.PreCodegen.after.panic-abort.mir
View file

@ -25,9 +25,11 @@ fn step_forward(_1: u16, _2: usize) -> u16 {
}
scope 8 (inlined Option::<u16>::is_none) {
scope 9 (inlined Option::<u16>::is_some) {
scope 10 {
}
}
}
scope 10 (inlined core::num::<impl u16>::wrapping_add) {
scope 11 (inlined core::num::<impl u16>::wrapping_add) {
}
}

4
tests/mir-opt/pre-codegen/checked_ops.step_forward.PreCodegen.after.panic-unwind.mir
View file

@ -25,9 +25,11 @@ fn step_forward(_1: u16, _2: usize) -> u16 {
}
scope 8 (inlined Option::<u16>::is_none) {
scope 9 (inlined Option::<u16>::is_some) {
scope 10 {
}
}
}
scope 10 (inlined core::num::<impl u16>::wrapping_add) {
scope 11 (inlined core::num::<impl u16>::wrapping_add) {
}
}

2
tests/mir-opt/pre-codegen/matches_macro.issue_77355_opt.PreCodegen.after.mir
View file

@ -4,6 +4,8 @@ fn issue_77355_opt(_1: Foo) -> u64 {
debug num => _1;
let mut _0: u64;
let mut _2: isize;
scope 1 {
}
bb0: {
_2 = discriminant(_1);