diff --git a/tests/mir-opt/byte_slice.rs b/tests/mir-opt/byte_slice.rs index fa616b62ad0b2..bf0f5eeb2ddcb 100644 --- a/tests/mir-opt/byte_slice.rs +++ b/tests/mir-opt/byte_slice.rs @@ -1,8 +1,10 @@ -// skip-filecheck //@ compile-flags: -Z mir-opt-level=0 // EMIT_MIR byte_slice.main.SimplifyCfg-pre-optimizations.after.mir fn main() { + // CHECK-LABEL: fn main( + // CHECK: = const b"foo" + // CHECK: = [const 5_u8, const 120_u8] let x = b"foo"; let y = [5u8, b'x']; } diff --git a/tests/mir-opt/derefer_inline_test.rs b/tests/mir-opt/derefer_inline_test.rs index 7f9272bdec852..cea5e6788dd3f 100644 --- a/tests/mir-opt/derefer_inline_test.rs +++ b/tests/mir-opt/derefer_inline_test.rs @@ -1,4 +1,3 @@ -// skip-filecheck //@ test-mir-pass: Derefer // EMIT_MIR derefer_inline_test.main.Derefer.diff // EMIT_MIR_FOR_EACH_PANIC_STRATEGY @@ -8,5 +7,7 @@ fn f() -> Box { Box::new(0) } fn main() { + // CHECK-LABEL: fn main( + // CHECK-NOT: deref_copy Box::new(f()); } diff --git a/tests/mir-opt/impossible_predicates.rs b/tests/mir-opt/impossible_predicates.rs index 34adf7f916144..a66f3d6413ce5 100644 --- a/tests/mir-opt/impossible_predicates.rs +++ b/tests/mir-opt/impossible_predicates.rs @@ -1,10 +1,13 @@ -// skip-filecheck // EMIT_MIR impossible_predicates.impossible_predicate.ImpossiblePredicates.diff pub fn impossible_predicate(x: &mut i32) -> (&mut i32, &mut i32) where for<'a> &'a mut i32: Copy, { + // CHECK-LABEL: fn impossible_predicate( + // CHECK: bb0: { + // CHECK-NEXT: unreachable; + // CHECK-NEXT: } let y = x; (y, x) } diff --git a/tests/mir-opt/issue_78192.rs b/tests/mir-opt/issue_78192.rs index a82f0e3a6653a..d7f4e5484dc90 100644 --- a/tests/mir-opt/issue_78192.rs +++ b/tests/mir-opt/issue_78192.rs @@ -1,6 +1,7 @@ -// skip-filecheck //@ compile-flags: -Zmir-opt-level=1 -Zinline-mir pub fn f(a: &T) -> *const T { + // CHECK-LABEL: fn f( + // CHECK: &raw const (*_1) let b: &*const T = &(a as *const T); *b } diff --git a/tests/mir-opt/multiple_return_terminators.rs b/tests/mir-opt/multiple_return_terminators.rs index 8d83082a829eb..4405b6cfee635 100644 --- a/tests/mir-opt/multiple_return_terminators.rs +++ b/tests/mir-opt/multiple_return_terminators.rs @@ -1,8 +1,11 @@ -// skip-filecheck //@ compile-flags: -Z mir-opt-level=4 // EMIT_MIR multiple_return_terminators.test.MultipleReturnTerminators.diff fn test(x: bool) { + // CHECK-LABEL: fn test( + // CHECK: bb0: { + // CHECK-NEXT: return; + // CHECK-NEXT: } if x { // test } else {