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

Use -Zmir-opt-level=0 in tests for MIR building

Browse source
This commit is contained in:
Ben Kimock 2025-06-08 16:49:45 -04:00
parent 160e7623e8
commit 22cdf214bb
26 changed files with 69 additions and 47 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/mir-opt/building/async_await.rs
View file

@ -4,7 +4,7 @@
// related to `yield` are `&mut Context`, and its return type is `Poll`.
//@ edition:2018
//@ compile-flags: -C panic=abort
//@ compile-flags: -Zmir-opt-level=0 -C panic=abort
#![crate_type = "lib"]

2
tests/mir-opt/building/dump_mir_cycle.rs
View file

@ -1,3 +1,5 @@
//@ compile-flags: -Zmir-opt-level=0
#[derive(Debug)]
pub struct Thing {
pub next: &'static Thing,

1
tests/mir-opt/building/enum_cast.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
// skip-filecheck
// EMIT_MIR enum_cast.foo.built.after.mir
// EMIT_MIR enum_cast.bar.built.after.mir

1
tests/mir-opt/building/eq_never_type.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
// skip-filecheck
#![feature(never_type)]
#![allow(unreachable_code)]

47
tests/mir-opt/building/index_array_and_slice.rs
View file

@ -1,36 +1,42 @@
//@ compile-flags: -C opt-level=0
//@ compile-flags: -Zmir-opt-level=0 -C opt-level=0
// EMIT_MIR index_array_and_slice.index_array.built.after.mir
fn index_array(array: &[i32; 7], index: usize) -> &i32 {
// CHECK: bb0:
// CHECK: [[LT:_.+]] = Lt(copy _2, const 7_usize);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", const 7_usize, copy _2) -> [success: bb1, unwind
// CHECK: _3 = copy _2;
// CHECK: [[LT:_.+]] = Lt(copy _3, const 7_usize);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", const 7_usize, copy _3) -> [success: bb1, unwind
// CHECK: bb1:
// CHECK: _0 = &(*_1)[_2];
// CHECK: _5 = &(*_1)[_3];
// CHECK: _0 = &(*_5);
&array[index]
}
// EMIT_MIR index_array_and_slice.index_const_generic_array.built.after.mir
fn index_const_generic_array<const N: usize>(array: &[i32; N], index: usize) -> &i32 {
// CHECK: bb0:
// CHECK: [[LT:_.+]] = Lt(copy _2, const N);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", const N, copy _2) -> [success: bb1, unwind
// CHECK: _3 = copy _2;
// CHECK: [[LT:_.+]] = Lt(copy _3, const N);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", const N, copy _3) -> [success: bb1, unwind
// CHECK: bb1:
// CHECK: _0 = &(*_1)[_2];
// CHECK: _5 = &(*_1)[_3];
// CHECK: _0 = &(*_5);
&array[index]
}
// EMIT_MIR index_array_and_slice.index_slice.built.after.mir
fn index_slice(slice: &[i32], index: usize) -> &i32 {
// CHECK: bb0:
// CHECK: _3 = copy _2;
// CHECK: [[LEN:_.+]] = PtrMetadata(copy _1);
// CHECK: [[LT:_.+]] = Lt(copy _2, copy [[LEN]]);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", move [[LEN]], copy _2) -> [success: bb1,
// CHECK: [[LT:_.+]] = Lt(copy _3, copy [[LEN]]);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", move [[LEN]], copy _3) -> [success: bb1,
// CHECK: bb1:
// CHECK: _0 = &(*_1)[_2];
// CHECK: _6 = &(*_1)[_3];
// CHECK: _0 = &(*_6);
&slice[index]
}
@ -40,12 +46,15 @@ fn index_mut_slice(slice: &mut [i32], index: usize) -> &i32 {
// This cannot `copy _1` in the *built* MIR, only in the *runtime* MIR.
// CHECK: bb0:
// CHECK: [[LEN:_.+]] = PtrMetadata(copy _1);
// CHECK: [[LT:_.+]] = Lt(copy _2, copy [[LEN]]);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", move [[LEN]], copy _2) -> [success: bb1,
// CHECK: _3 = copy _2;
// CHECK: _4 = &raw const (fake) (*_1);
// CHECK: [[LEN:_.+]] = PtrMetadata(move _4);
// CHECK: [[LT:_.+]] = Lt(copy _3, copy [[LEN]]);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", move [[LEN]], copy _3) -> [success: bb1,
// CHECK: bb1:
// CHECK: _0 = &(*_1)[_2];
// CHECK: _7 = &(*_1)[_3];
// CHECK: _0 = &(*_7);
&slice[index]
}
@ -54,13 +63,15 @@ struct WithSliceTail(f64, [i32]);
// EMIT_MIR index_array_and_slice.index_custom.built.after.mir
fn index_custom(custom: &WithSliceTail, index: usize) -> &i32 {
// CHECK: bb0:
// CHECK: _3 = copy _2;
// CHECK: [[PTR:_.+]] = &raw const (fake) ((*_1).1: [i32]);
// CHECK: [[LEN:_.+]] = PtrMetadata(copy [[PTR]]);
// CHECK: [[LT:_.+]] = Lt(copy _2, copy [[LEN]]);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", move [[LEN]], copy _2) -> [success: bb1,
// CHECK: [[LEN:_.+]] = PtrMetadata(move [[PTR]]);
// CHECK: [[LT:_.+]] = Lt(copy _3, copy [[LEN]]);
// CHECK: assert(move [[LT]], "index out of bounds{{.+}}", move [[LEN]], copy _3) -> [success: bb1,
// CHECK: bb1:
// CHECK: _0 = &((*_1).1: [i32])[_2];
// CHECK: _7 = &((*_1).1: [i32])[_3];
// CHECK: _0 = &(*_7);
&custom.1[index]
}

4
tests/mir-opt/building/issue_101867.main.built.after.mir
View file

@ -1,8 +1,8 @@
// MIR for `main` after built
| User Type Annotations
| 0: user_ty: Canonical { value: Ty(std::option::Option<u8>), max_universe: U0, variables: [] }, span: $DIR/issue_101867.rs:4:12: 4:22, inferred_ty: std::option::Option<u8>
| 1: user_ty: Canonical { value: Ty(std::option::Option<u8>), max_universe: U0, variables: [] }, span: $DIR/issue_101867.rs:4:12: 4:22, inferred_ty: std::option::Option<u8>
| 0: user_ty: Canonical { value: Ty(std::option::Option<u8>), max_universe: U0, variables: [] }, span: $DIR/issue_101867.rs:5:12: 5:22, inferred_ty: std::option::Option<u8>
| 1: user_ty: Canonical { value: Ty(std::option::Option<u8>), max_universe: U0, variables: [] }, span: $DIR/issue_101867.rs:5:12: 5:22, inferred_ty: std::option::Option<u8>
|
fn main() -> () {
let mut _0: ();

1
tests/mir-opt/building/issue_101867.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
// skip-filecheck
// EMIT_MIR issue_101867.main.built.after.mir
fn main() {

1
tests/mir-opt/building/issue_110508.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
// skip-filecheck
// EMIT_MIR issue_110508.{impl#0}-BAR.built.after.mir
// EMIT_MIR issue_110508.{impl#0}-SELF_BAR.built.after.mir

4
tests/mir-opt/building/issue_110508.{impl#0}-BAR.built.after.mir
View file

@ -1,6 +1,6 @@
// MIR for `<impl at $DIR/issue_110508.rs:9:1: 9:9>::BAR` after built
// MIR for `<impl at $DIR/issue_110508.rs:10:1: 10:9>::BAR` after built
const <impl at $DIR/issue_110508.rs:9:1: 9:9>::BAR: Foo = {
const <impl at $DIR/issue_110508.rs:10:1: 10:9>::BAR: Foo = {
let mut _0: Foo;
let mut _1: ();

4
tests/mir-opt/building/issue_110508.{impl#0}-SELF_BAR.built.after.mir
View file

@ -1,6 +1,6 @@
// MIR for `<impl at $DIR/issue_110508.rs:9:1: 9:9>::SELF_BAR` after built
// MIR for `<impl at $DIR/issue_110508.rs:10:1: 10:9>::SELF_BAR` after built
const <impl at $DIR/issue_110508.rs:9:1: 9:9>::SELF_BAR: Foo = {
const <impl at $DIR/issue_110508.rs:10:1: 10:9>::SELF_BAR: Foo = {
let mut _0: Foo;
let mut _1: ();

1
tests/mir-opt/building/issue_49232.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
// skip-filecheck
// We must mark a variable whose initialization fails due to an
// abort statement as StorageDead.

2
tests/mir-opt/building/logical_or_in_conditional.rs
View file

@ -1,5 +1,5 @@
// skip-filecheck
//@ compile-flags: -Z validate-mir
//@ compile-flags: -Zmir-opt-level=0 -Z validate-mir
//@ edition: 2024
struct Droppy(u8);
impl Drop for Droppy {

8
tests/mir-opt/building/receiver_ptr_mutability.main.built.after.mir
View file

@ -1,10 +1,10 @@
// MIR for `main` after built
| User Type Annotations
| 0: user_ty: Canonical { value: Ty(*mut Test), max_universe: U0, variables: [] }, span: $DIR/receiver_ptr_mutability.rs:15:14: 15:23, inferred_ty: *mut Test
| 1: user_ty: Canonical { value: Ty(*mut Test), max_universe: U0, variables: [] }, span: $DIR/receiver_ptr_mutability.rs:15:14: 15:23, inferred_ty: *mut Test
| 2: user_ty: Canonical { value: Ty(&&&&*mut Test), max_universe: U0, variables: [Region(U0), Region(U0), Region(U0), Region(U0)] }, span: $DIR/receiver_ptr_mutability.rs:19:18: 19:31, inferred_ty: &&&&*mut Test
| 3: user_ty: Canonical { value: Ty(&&&&*mut Test), max_universe: U0, variables: [Region(U0), Region(U0), Region(U0), Region(U0)] }, span: $DIR/receiver_ptr_mutability.rs:19:18: 19:31, inferred_ty: &&&&*mut Test
| 0: user_ty: Canonical { value: Ty(*mut Test), max_universe: U0, variables: [] }, span: $DIR/receiver_ptr_mutability.rs:16:14: 16:23, inferred_ty: *mut Test
| 1: user_ty: Canonical { value: Ty(*mut Test), max_universe: U0, variables: [] }, span: $DIR/receiver_ptr_mutability.rs:16:14: 16:23, inferred_ty: *mut Test
| 2: user_ty: Canonical { value: Ty(&&&&*mut Test), max_universe: U0, variables: [Region(U0), Region(U0), Region(U0), Region(U0)] }, span: $DIR/receiver_ptr_mutability.rs:20:18: 20:31, inferred_ty: &&&&*mut Test
| 3: user_ty: Canonical { value: Ty(&&&&*mut Test), max_universe: U0, variables: [Region(U0), Region(U0), Region(U0), Region(U0)] }, span: $DIR/receiver_ptr_mutability.rs:20:18: 20:31, inferred_ty: &&&&*mut Test
|
fn main() -> () {
let mut _0: ();

1
tests/mir-opt/building/receiver_ptr_mutability.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
// skip-filecheck
// EMIT_MIR receiver_ptr_mutability.main.built.after.mir

2
tests/mir-opt/building/shifts.rs
View file

@ -1,5 +1,5 @@
// skip-filecheck
//@ compile-flags: -C debug-assertions=yes
//@ compile-flags: -Zmir-opt-level=0 -C debug-assertions=yes
// EMIT_MIR shifts.shift_signed.built.after.mir
fn shift_signed(small: i8, big: u128, a: i8, b: i32, c: i128) -> ([i8; 3], [u128; 3]) {

1
tests/mir-opt/building/storage_live_dead_in_statics.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
// skip-filecheck
// Check that when we compile the static `XXX` into MIR, we do not
// generate `StorageStart` or `StorageEnd` statements.

1
tests/mir-opt/building/uniform_array_move_out.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
// skip-filecheck
#![feature(liballoc_internals, rustc_attrs)]

4
tests/mir-opt/building/user_type_annotations.let_else.built.after.mir
View file

@ -1,8 +1,8 @@
// MIR for `let_else` after built
| User Type Annotations
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:35:20: 35:45, inferred_ty: (u32, u64, &char)
| 1: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:35:20: 35:45, inferred_ty: (u32, u64, &char)
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:36:20: 36:45, inferred_ty: (u32, u64, &char)
| 1: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:36:20: 36:45, inferred_ty: (u32, u64, &char)
|
fn let_else() -> () {
let mut _0: ();

4
tests/mir-opt/building/user_type_annotations.let_else_bindless.built.after.mir
View file

@ -1,8 +1,8 @@
// MIR for `let_else_bindless` after built
| User Type Annotations
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:40:20: 40:45, inferred_ty: (u32, u64, &char)
| 1: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:40:20: 40:45, inferred_ty: (u32, u64, &char)
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:41:20: 41:45, inferred_ty: (u32, u64, &char)
| 1: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:41:20: 41:45, inferred_ty: (u32, u64, &char)
|
fn let_else_bindless() -> () {
let mut _0: ();

4
tests/mir-opt/building/user_type_annotations.let_init.built.after.mir
View file

@ -1,8 +1,8 @@
// MIR for `let_init` after built
| User Type Annotations
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:25:20: 25:45, inferred_ty: (u32, u64, &char)
| 1: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:25:20: 25:45, inferred_ty: (u32, u64, &char)
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:26:20: 26:45, inferred_ty: (u32, u64, &char)
| 1: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:26:20: 26:45, inferred_ty: (u32, u64, &char)
|
fn let_init() -> () {
let mut _0: ();

4
tests/mir-opt/building/user_type_annotations.let_init_bindless.built.after.mir
View file

@ -1,8 +1,8 @@
// MIR for `let_init_bindless` after built
| User Type Annotations
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:30:20: 30:45, inferred_ty: (u32, u64, &char)
| 1: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:30:20: 30:45, inferred_ty: (u32, u64, &char)
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:31:20: 31:45, inferred_ty: (u32, u64, &char)
| 1: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:31:20: 31:45, inferred_ty: (u32, u64, &char)
|
fn let_init_bindless() -> () {
let mut _0: ();

2
tests/mir-opt/building/user_type_annotations.let_uninit.built.after.mir
View file

@ -1,7 +1,7 @@
// MIR for `let_uninit` after built
| User Type Annotations
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:15:20: 15:45, inferred_ty: (u32, u64, &char)
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:16:20: 16:45, inferred_ty: (u32, u64, &char)
|
fn let_uninit() -> () {
let mut _0: ();

2
tests/mir-opt/building/user_type_annotations.let_uninit_bindless.built.after.mir
View file

@ -1,7 +1,7 @@
// MIR for `let_uninit_bindless` after built
| User Type Annotations
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:20:20: 20:45, inferred_ty: (u32, u64, &char)
| 0: user_ty: Canonical { value: Ty((u32, u64, &'static char)), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:21:20: 21:45, inferred_ty: (u32, u64, &char)
|
fn let_uninit_bindless() -> () {
let mut _0: ();

4
tests/mir-opt/building/user_type_annotations.match_assoc_const.built.after.mir
View file

@ -1,8 +1,8 @@
// MIR for `match_assoc_const` after built
| User Type Annotations
| 0: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:54:9: 54:44, inferred_ty: u32
| 1: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:54:9: 54:44, inferred_ty: u32
| 0: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:55:9: 55:44, inferred_ty: u32
| 1: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:55:9: 55:44, inferred_ty: u32
|
fn match_assoc_const() -> () {
let mut _0: ();

8
tests/mir-opt/building/user_type_annotations.match_assoc_const_range.built.after.mir
View file

@ -1,10 +1,10 @@
// MIR for `match_assoc_const_range` after built
| User Type Annotations
| 0: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:62:11: 62:46, inferred_ty: u32
| 1: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:62:11: 62:46, inferred_ty: u32
| 2: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:63:9: 63:44, inferred_ty: u32
| 3: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:63:9: 63:44, inferred_ty: u32
| 0: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:63:11: 63:46, inferred_ty: u32
| 1: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:63:11: 63:46, inferred_ty: u32
| 2: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:64:9: 64:44, inferred_ty: u32
| 3: user_ty: Canonical { value: TypeOf(DefId(0:11 ~ user_type_annotations[ee8e]::MyTrait::FOO), UserArgs { args: [MyStruct, 'static], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/user_type_annotations.rs:64:9: 64:44, inferred_ty: u32
|
fn match_assoc_const_range() -> () {
let mut _0: ();

1
tests/mir-opt/building/user_type_annotations.rs
View file

@ -1,3 +1,4 @@
//@ compile-flags: -Zmir-opt-level=0
//@ edition: 2024
// skip-filecheck