mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bless MIR tests

Browse Source
This commit is contained in:
Gary Guo 2023-11-24 20:49:01 +00:00
parent ece0d6e79a
commit 2c03f21d1f
4 changed files with 124 additions and 132 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
tests/mir-opt/pre-codegen/slice_index.slice_get_mut_usize.PreCodegen.after.panic-abort.mir
View File

@ -20,32 +20,29 @@ fn slice_get_mut_usize(_1: &mut [u32], _2: usize) -> Option<&mut u32> {
debug self => _2; debug self => _2;
debug slice => _5; debug slice => _5;
let mut _6: *mut u32; let mut _6: *mut u32;
let mut _9: &[&str];
scope 5 { scope 5 {
debug this => _2; scope 10 (inlined ptr::mut_ptr::<impl *mut [u32]>::as_mut_ptr) {
scope 6 {
scope 7 (inlined <usize as SliceIndex<[T]>>::get_unchecked_mut::runtime::<u32>) {
debug this => _2;
debug slice => _5;
scope 8 (inlined ptr::mut_ptr::<impl *mut [u32]>::len) {
debug self => _5;
let mut _9: *const [u32];
scope 9 (inlined std::ptr::metadata::<[u32]>) {
debug ptr => _9;
scope 10 {
}
}
}
}
scope 11 (inlined ptr::mut_ptr::<impl *mut [u32]>::as_mut_ptr) {
debug self => _5; debug self => _5;
} }
scope 12 (inlined ptr::mut_ptr::<impl *mut u32>::add) { scope 11 (inlined ptr::mut_ptr::<impl *mut u32>::add) {
debug self => _6; debug self => _6;
debug count => _2; debug count => _2;
scope 13 { scope 12 {
} }
} }
} }
scope 6 (inlined ptr::mut_ptr::<impl *mut [u32]>::len) {
debug self => _5;
let mut _10: *const [u32];
scope 7 (inlined std::ptr::metadata::<[u32]>) {
debug ptr => _10;
scope 8 {
}
}
}
scope 9 (inlined Arguments::<'_>::new_const) {
debug pieces => _9;
} }
} }
} }
@ -73,10 +70,12 @@ fn slice_get_mut_usize(_1: &mut [u32], _2: usize) -> Option<&mut u32> {
StorageLive(_5); StorageLive(_5);
_5 = &raw mut (*_1); _5 = &raw mut (*_1);
StorageLive(_9); StorageLive(_9);
StorageLive(_10);
StorageLive(_6); StorageLive(_6);
_6 = _5 as *mut u32 (PtrToPtr); _6 = _5 as *mut u32 (PtrToPtr);
_7 = Offset(_6, _2); _7 = Offset(_6, _2);
StorageDead(_6); StorageDead(_6);
StorageDead(_10);
StorageDead(_9); StorageDead(_9);
StorageDead(_5); StorageDead(_5);
_8 = &mut (*_7); _8 = &mut (*_7);

35
tests/mir-opt/pre-codegen/slice_index.slice_get_mut_usize.PreCodegen.after.panic-unwind.mir
View File

@ -20,32 +20,29 @@ fn slice_get_mut_usize(_1: &mut [u32], _2: usize) -> Option<&mut u32> {
debug self => _2; debug self => _2;
debug slice => _5; debug slice => _5;
let mut _6: *mut u32; let mut _6: *mut u32;
let mut _9: &[&str];
scope 5 { scope 5 {
debug this => _2; scope 10 (inlined ptr::mut_ptr::<impl *mut [u32]>::as_mut_ptr) {
scope 6 {
scope 7 (inlined <usize as SliceIndex<[T]>>::get_unchecked_mut::runtime::<u32>) {
debug this => _2;
debug slice => _5;
scope 8 (inlined ptr::mut_ptr::<impl *mut [u32]>::len) {
debug self => _5;
let mut _9: *const [u32];
scope 9 (inlined std::ptr::metadata::<[u32]>) {
debug ptr => _9;
scope 10 {
}
}
}
}
scope 11 (inlined ptr::mut_ptr::<impl *mut [u32]>::as_mut_ptr) {
debug self => _5; debug self => _5;
} }
scope 12 (inlined ptr::mut_ptr::<impl *mut u32>::add) { scope 11 (inlined ptr::mut_ptr::<impl *mut u32>::add) {
debug self => _6; debug self => _6;
debug count => _2; debug count => _2;
scope 13 { scope 12 {
} }
} }
} }
scope 6 (inlined ptr::mut_ptr::<impl *mut [u32]>::len) {
debug self => _5;
let mut _10: *const [u32];
scope 7 (inlined std::ptr::metadata::<[u32]>) {
debug ptr => _10;
scope 8 {
}
}
}
scope 9 (inlined Arguments::<'_>::new_const) {
debug pieces => _9;
} }
} }
} }
@ -73,10 +70,12 @@ fn slice_get_mut_usize(_1: &mut [u32], _2: usize) -> Option<&mut u32> {
StorageLive(_5); StorageLive(_5);
_5 = &raw mut (*_1); _5 = &raw mut (*_1);
StorageLive(_9); StorageLive(_9);
StorageLive(_10);
StorageLive(_6); StorageLive(_6);
_6 = _5 as *mut u32 (PtrToPtr); _6 = _5 as *mut u32 (PtrToPtr);
_7 = Offset(_6, _2); _7 = Offset(_6, _2);
StorageDead(_6); StorageDead(_6);
StorageDead(_10);
StorageDead(_9); StorageDead(_9);
StorageDead(_5); StorageDead(_5);
_8 = &mut (*_7); _8 = &mut (*_7);

45
tests/mir-opt/pre-codegen/slice_index.slice_get_unchecked_mut_range.PreCodegen.after.panic-abort.mir
View File

@ -19,55 +19,50 @@ fn slice_get_unchecked_mut_range(_1: &mut [u32], _2: std::ops::Range<usize>) ->
debug slice => _5; debug slice => _5;
let mut _7: *mut u32; let mut _7: *mut u32;
let mut _8: *mut u32; let mut _8: *mut u32;
let mut _14: &[&str];
scope 4 { scope 4 {
debug ((this: std::ops::Range<usize>).0: usize) => _3;
debug ((this: std::ops::Range<usize>).1: usize) => _4;
scope 5 {
let _6: usize; let _6: usize;
scope 6 { scope 5 {
debug new_len => _6; debug new_len => _6;
scope 11 (inlined ptr::mut_ptr::<impl *mut [u32]>::as_mut_ptr) { scope 10 (inlined ptr::mut_ptr::<impl *mut [u32]>::as_mut_ptr) {
debug self => _5; debug self => _5;
} }
scope 12 (inlined ptr::mut_ptr::<impl *mut u32>::add) { scope 11 (inlined ptr::mut_ptr::<impl *mut u32>::add) {
debug self => _7; debug self => _7;
debug count => _3; debug count => _3;
scope 13 { scope 12 {
} }
} }
scope 14 (inlined slice_from_raw_parts_mut::<u32>) { scope 13 (inlined slice_from_raw_parts_mut::<u32>) {
debug data => _8; debug data => _8;
debug len => _6; debug len => _6;
let mut _9: *mut (); let mut _9: *mut ();
scope 15 (inlined ptr::mut_ptr::<impl *mut u32>::cast::<()>) { scope 14 (inlined ptr::mut_ptr::<impl *mut u32>::cast::<()>) {
debug self => _8; debug self => _8;
} }
scope 16 (inlined std::ptr::from_raw_parts_mut::<[u32]>) { scope 15 (inlined std::ptr::from_raw_parts_mut::<[u32]>) {
debug data_address => _9; debug data_address => _9;
debug metadata => _6; debug metadata => _6;
let mut _10: *const (); let mut _10: *const ();
let mut _11: std::ptr::metadata::PtrComponents<[u32]>; let mut _11: std::ptr::metadata::PtrComponents<[u32]>;
let mut _12: std::ptr::metadata::PtrRepr<[u32]>; let mut _12: std::ptr::metadata::PtrRepr<[u32]>;
scope 17 { scope 16 {
} }
} }
} }
} }
scope 7 (inlined <std::ops::Range<usize> as SliceIndex<[T]>>::get_unchecked_mut::runtime::<u32>) { }
debug ((this: std::ops::Range<usize>).0: usize) => _3; scope 6 (inlined ptr::mut_ptr::<impl *mut [u32]>::len) {
debug ((this: std::ops::Range<usize>).1: usize) => _4;
debug slice => _5;
scope 8 (inlined ptr::mut_ptr::<impl *mut [u32]>::len) {
debug self => _5; debug self => _5;
let mut _14: *const [u32]; let mut _15: *const [u32];
scope 9 (inlined std::ptr::metadata::<[u32]>) { scope 7 (inlined std::ptr::metadata::<[u32]>) {
debug ptr => _14; debug ptr => _15;
scope 10 { scope 8 {
}
}
} }
} }
} }
scope 9 (inlined Arguments::<'_>::new_const) {
debug pieces => _14;
} }
} }
} }
@ -78,8 +73,9 @@ fn slice_get_unchecked_mut_range(_1: &mut [u32], _2: std::ops::Range<usize>) ->
_4 = move (_2.1: usize); _4 = move (_2.1: usize);
StorageLive(_5); StorageLive(_5);
_5 = &raw mut (*_1); _5 = &raw mut (*_1);
StorageLive(_6);
StorageLive(_14); StorageLive(_14);
StorageLive(_6);
StorageLive(_15);
_6 = SubUnchecked(_4, _3); _6 = SubUnchecked(_4, _3);
StorageLive(_8); StorageLive(_8);
StorageLive(_7); StorageLive(_7);
@ -100,8 +96,9 @@ fn slice_get_unchecked_mut_range(_1: &mut [u32], _2: std::ops::Range<usize>) ->
StorageDead(_12); StorageDead(_12);
StorageDead(_9); StorageDead(_9);
StorageDead(_8); StorageDead(_8);
StorageDead(_14); StorageDead(_15);
StorageDead(_6); StorageDead(_6);
StorageDead(_14);
StorageDead(_5); StorageDead(_5);
_0 = &mut (*_13); _0 = &mut (*_13);
return; return;

45
tests/mir-opt/pre-codegen/slice_index.slice_get_unchecked_mut_range.PreCodegen.after.panic-unwind.mir
View File

@ -19,55 +19,50 @@ fn slice_get_unchecked_mut_range(_1: &mut [u32], _2: std::ops::Range<usize>) ->
debug slice => _5; debug slice => _5;
let mut _7: *mut u32; let mut _7: *mut u32;
let mut _8: *mut u32; let mut _8: *mut u32;
let mut _14: &[&str];
scope 4 { scope 4 {
debug ((this: std::ops::Range<usize>).0: usize) => _3;
debug ((this: std::ops::Range<usize>).1: usize) => _4;
scope 5 {
let _6: usize; let _6: usize;
scope 6 { scope 5 {
debug new_len => _6; debug new_len => _6;
scope 11 (inlined ptr::mut_ptr::<impl *mut [u32]>::as_mut_ptr) { scope 10 (inlined ptr::mut_ptr::<impl *mut [u32]>::as_mut_ptr) {
debug self => _5; debug self => _5;
} }
scope 12 (inlined ptr::mut_ptr::<impl *mut u32>::add) { scope 11 (inlined ptr::mut_ptr::<impl *mut u32>::add) {
debug self => _7; debug self => _7;
debug count => _3; debug count => _3;
scope 13 { scope 12 {
} }
} }
scope 14 (inlined slice_from_raw_parts_mut::<u32>) { scope 13 (inlined slice_from_raw_parts_mut::<u32>) {
debug data => _8; debug data => _8;
debug len => _6; debug len => _6;
let mut _9: *mut (); let mut _9: *mut ();
scope 15 (inlined ptr::mut_ptr::<impl *mut u32>::cast::<()>) { scope 14 (inlined ptr::mut_ptr::<impl *mut u32>::cast::<()>) {
debug self => _8; debug self => _8;
} }
scope 16 (inlined std::ptr::from_raw_parts_mut::<[u32]>) { scope 15 (inlined std::ptr::from_raw_parts_mut::<[u32]>) {
debug data_address => _9; debug data_address => _9;
debug metadata => _6; debug metadata => _6;
let mut _10: *const (); let mut _10: *const ();
let mut _11: std::ptr::metadata::PtrComponents<[u32]>; let mut _11: std::ptr::metadata::PtrComponents<[u32]>;
let mut _12: std::ptr::metadata::PtrRepr<[u32]>; let mut _12: std::ptr::metadata::PtrRepr<[u32]>;
scope 17 { scope 16 {
} }
} }
} }
} }
scope 7 (inlined <std::ops::Range<usize> as SliceIndex<[T]>>::get_unchecked_mut::runtime::<u32>) { }
debug ((this: std::ops::Range<usize>).0: usize) => _3; scope 6 (inlined ptr::mut_ptr::<impl *mut [u32]>::len) {
debug ((this: std::ops::Range<usize>).1: usize) => _4;
debug slice => _5;
scope 8 (inlined ptr::mut_ptr::<impl *mut [u32]>::len) {
debug self => _5; debug self => _5;
let mut _14: *const [u32]; let mut _15: *const [u32];
scope 9 (inlined std::ptr::metadata::<[u32]>) { scope 7 (inlined std::ptr::metadata::<[u32]>) {
debug ptr => _14; debug ptr => _15;
scope 10 { scope 8 {
}
}
} }
} }
} }
scope 9 (inlined Arguments::<'_>::new_const) {
debug pieces => _14;
} }
} }
} }
@ -78,8 +73,9 @@ fn slice_get_unchecked_mut_range(_1: &mut [u32], _2: std::ops::Range<usize>) ->
_4 = move (_2.1: usize); _4 = move (_2.1: usize);
StorageLive(_5); StorageLive(_5);
_5 = &raw mut (*_1); _5 = &raw mut (*_1);
StorageLive(_6);
StorageLive(_14); StorageLive(_14);
StorageLive(_6);
StorageLive(_15);
_6 = SubUnchecked(_4, _3); _6 = SubUnchecked(_4, _3);
StorageLive(_8); StorageLive(_8);
StorageLive(_7); StorageLive(_7);
@ -100,8 +96,9 @@ fn slice_get_unchecked_mut_range(_1: &mut [u32], _2: std::ops::Range<usize>) ->
StorageDead(_12); StorageDead(_12);
StorageDead(_9); StorageDead(_9);
StorageDead(_8); StorageDead(_8);
StorageDead(_14); StorageDead(_15);
StorageDead(_6); StorageDead(_6);
StorageDead(_14);
StorageDead(_5); StorageDead(_5);
_0 = &mut (*_13); _0 = &mut (*_13);
return; return;