Skip to content

Commit 51641c8

Browse files
committed
Add a MIR pre-codegen test for Vec::deref
1 parent 548e14b commit 51641c8

3 files changed

+41
-0
lines changed
+13
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
// skip-filecheck
2+
//@ compile-flags: -O -Zmir-opt-level=2 -Cdebuginfo=2
3+
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
4+
5+
#![crate_type = "lib"]
6+
7+
// Added after it stopped inlining in a nightly; see
8+
// <https://github.com./rust-lang/rust/issues/123174>
9+
10+
// EMIT_MIR vec_deref.vec_deref_to_slice.PreCodegen.after.mir
11+
pub fn vec_deref_to_slice(v: &Vec<u8>) -> &[u8] {
12+
v
13+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
// MIR for `vec_deref_to_slice` after PreCodegen
2+
3+
fn vec_deref_to_slice(_1: &Vec<u8>) -> &[u8] {
4+
debug v => _1;
5+
let mut _0: &[u8];
6+
7+
bb0: {
8+
_0 = <Vec<u8> as Deref>::deref(move _1) -> [return: bb1, unwind unreachable];
9+
}
10+
11+
bb1: {
12+
return;
13+
}
14+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
// MIR for `vec_deref_to_slice` after PreCodegen
2+
3+
fn vec_deref_to_slice(_1: &Vec<u8>) -> &[u8] {
4+
debug v => _1;
5+
let mut _0: &[u8];
6+
7+
bb0: {
8+
_0 = <Vec<u8> as Deref>::deref(move _1) -> [return: bb1, unwind continue];
9+
}
10+
11+
bb1: {
12+
return;
13+
}
14+
}

0 commit comments

Comments
 (0)