Add FileCheck annotations to MIR-opt inlining tests

tests/mir-opt/inline/asm_unwind.rs

@@ -1,8 +1,8 @@
-// skip-filecheck
 // Tests inlining of `may_unwind` inline assembly.
 //
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // needs-asm-support
+// needs-unwind
 // compile-flags: -Zinline-mir-hint-threshold=1000
 #![feature(asm_unwind)]
 
@@ -20,5 +20,9 @@ fn foo() {
 
 // EMIT_MIR asm_unwind.main.Inline.diff
 pub fn main() {
+ // CHECK-LABEL: fn main(
+ // CHECK: (inlined foo)
+ // CHECK: asm!("", options(MAY_UNWIND)) -> [return: {{bb.*}}, unwind: [[unwind:bb.*]]];
+ // CHECK: [[unwind]] (cleanup)
  foo();
 }

tests/mir-opt/inline/caller_with_trivial_bound.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // needs-unwind
 
@@ -16,8 +15,13 @@ impl<T> Factory<T> for IntFactory {
 // EMIT_MIR caller_with_trivial_bound.foo.Inline.diff
 pub fn foo<T>()
 where
+ // Because of this trivial bound, the inliner fails to normalize
+ // `<IntFactory as Factory<T>>::Item`.
+ // Verify that we do not inline anything, which would cause validation ICEs.
  IntFactory: Factory<T>,
 {
+ // CHECK-LABEL: fn foo(
+ // CHECK-NOT: (inlined bar::<T>)
  let mut x: <IntFactory as Factory<T>>::Item = bar::<T>();
 }
 

tests/mir-opt/inline/cycle.rs

@@ -1,20 +1,29 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // compile-flags: -Zinline-mir-hint-threshold=1000
 
 // EMIT_MIR cycle.f.Inline.diff
 #[inline(always)]
 fn f(g: impl Fn()) {
+ // CHECK-LABEL: fn f(
+ // CHECK-NOT: inlined
  g();
 }
 
 // EMIT_MIR cycle.g.Inline.diff
 #[inline(always)]
 fn g() {
+ // CHECK-LABEL: fn g(
+ // CHECK-NOT: inlined
+ // CHECK: (inlined f::<fn() {main}>)
+ // CHECK-NOT: inlined
  f(main);
 }
 
 // EMIT_MIR cycle.main.Inline.diff
 fn main() {
+ // CHECK-LABEL: fn main(
+ // CHECK-NOT: inlined
+ // CHECK: (inlined f::<fn() {g}>)
+ // CHECK-NOT: inlined
  f(g);
 }

tests/mir-opt/inline/dont_ice_on_generic_rust_call.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // compile-flags: -Zmir-enable-passes=+Inline --crate-type=lib
 
@@ -8,5 +7,7 @@ use std::marker::Tuple;
 
 // EMIT_MIR dont_ice_on_generic_rust_call.call.Inline.diff
 pub fn call<I: Tuple>(mut mock: Box<dyn FnMut<I, Output = ()>>, input: I) {
+ // CHECK-LABEL: fn call(
+ // CHECK-NOT: inlined
  mock.call_mut(input)
 }

tests/mir-opt/inline/dyn_trait.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 #![crate_type = "lib"]
 
@@ -20,18 +19,26 @@ pub trait Query {
 // EMIT_MIR dyn_trait.mk_cycle.Inline.diff
 #[inline(always)]
 pub fn mk_cycle<V: Debug>(c: &dyn Cache<V = V>) {
+ // CHECK-LABEL: fn mk_cycle(
+ // CHECK-NOT: inlined
  c.store_nocache()
 }
 
 // EMIT_MIR dyn_trait.try_execute_query.Inline.diff
 #[inline(always)]
 pub fn try_execute_query<C: Cache>(c: &C) {
+ // CHECK-LABEL: fn try_execute_query(
+ // CHECK: (inlined mk_cycle::<<C as Cache>::V>)
  mk_cycle(c)
 }
 
 // EMIT_MIR dyn_trait.get_query.Inline.diff
 #[inline(always)]
 pub fn get_query<Q: Query, T>(t: &T) {
+ // CHECK-LABEL: fn get_query(
+ // CHECK-NOT: inlined
  let c = Q::cache(t);
+ // CHECK: (inlined try_execute_query::<<Q as Query>::C>)
+ // CHECK: (inlined mk_cycle::<<Q as Query>::V>)
  try_execute_query(c)
 }

tests/mir-opt/inline/exponential_runtime.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // Checks that code with exponential runtime does not have exponential behavior in inlining.
 
@@ -85,5 +84,14 @@ impl A for () {
 
 // EMIT_MIR exponential_runtime.main.Inline.diff
 fn main() {
+ // CHECK-LABEL: fn main(
+ // CHECK-NOT: inlined
+ // CHECK: (inlined <() as G>::call)
+ // CHECK: (inlined <() as F>::call)
+ // CHECK: (inlined <() as E>::call)
+ // CHECK: (inlined <() as D>::call)
+ // CHECK: (inlined <() as C>::call)
+ // CHECK: (inlined <() as B>::call)
+ // CHECK-NOT: inlined
  <() as G>::call();
 }

tests/mir-opt/inline/inline_any_operand.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // compile-flags: -Z span_free_formats
 
 // Tests that MIR inliner works for any operand
@@ -9,6 +8,8 @@ fn main() {
 
 // EMIT_MIR inline_any_operand.bar.Inline.after.mir
 fn bar() -> bool {
+ // CHECK-LABEL: fn bar(
+ // CHECK: (inlined foo)
  let f = foo;
  f(1, -1)
 }

tests/mir-opt/inline/inline_box_fn.rs

@@ -1,9 +1,10 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // unit-test: Inline
 // compile-flags: --crate-type=lib
 
 // EMIT_MIR inline_box_fn.call.Inline.diff
 fn call(x: Box<dyn Fn(i32)>) {
+ // CHECK-LABEL: fn call(
+ // CHECK-NOT: inlined
  x(1);
 }

tests/mir-opt/inline/inline_closure.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // compile-flags: -Z span_free_formats
 
 // Tests that MIR inliner can handle closure arguments. (#45894)
@@ -10,5 +9,8 @@ fn main() {
 // EMIT_MIR inline_closure.foo.Inline.after.mir
 fn foo<T: Copy>(_t: T, q: i32) -> i32 {
  let x = |_t, _q| _t;
+
+ // CHECK-LABEL: fn foo(
+ // CHECK: (inlined foo::<T>::{closure#0})
  x(q, q)
 }

tests/mir-opt/inline/inline_closure_borrows_arg.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // compile-flags: -Z span_free_formats -Zunsound-mir-opts
 
 // Tests that MIR inliner can handle closure arguments,
@@ -14,5 +13,8 @@ fn foo<T: Copy>(_t: T, q: &i32) -> i32 {
  let variable = &*r;
  *variable
  };
+
+ // CHECK-LABEL: fn foo(
+ // CHECK: (inlined foo::<T>::{closure#0})
  x(q, q)
 }

tests/mir-opt/inline/inline_closure_captures.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // compile-flags: -Z span_free_formats
 
 // Tests that MIR inliner can handle closure captures.
@@ -10,5 +9,8 @@ fn main() {
 // EMIT_MIR inline_closure_captures.foo.Inline.after.mir
 fn foo<T: Copy>(t: T, q: i32) -> (i32, T) {
  let x = |_q| (q, t);
+
+ // CHECK-LABEL: fn foo(
+ // CHECK: (inlined foo::<T>::{closure#0})
  x(q)
 }

tests/mir-opt/inline/inline_coroutine.main.Inline.panic-unwind.diff

@@ -4,26 +4,26 @@
  fn main() -> () {
  let mut _0: ();
  let _1: std::ops::CoroutineState<i32, bool>;
- let mut _2: std::pin::Pin<&mut {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8}>;
- let mut _3: &mut {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8};
- let mut _4: {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8};
+ let mut _2: std::pin::Pin<&mut {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8}>;
+ let mut _3: &mut {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8};
+ let mut _4: {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8};
 + let mut _5: bool;
  scope 1 {
  debug _r => _1;
  }
 + scope 2 (inlined g) {
 + }
-+ scope 3 (inlined Pin::<&mut {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8}>::new) {
++ scope 3 (inlined Pin::<&mut {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8}>::new) {
 + debug pointer => _3;
 + scope 4 {
-+ scope 5 (inlined Pin::<&mut {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8}>::new_unchecked) {
++ scope 5 (inlined Pin::<&mut {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8}>::new_unchecked) {
 + debug pointer => _3;
 + }
 + }
 + }
 + scope 6 (inlined g::{closure#0}) {
 + debug a => _5;
-+ let mut _6: &mut {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8};
++ let mut _6: &mut {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8};
 + let mut _7: u32;
 + let mut _8: i32;
 + }
@@ -37,20 +37,20 @@
 - }
 - 
 - bb1: {
-+ _4 = {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8 (#0)};
++ _4 = {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8 (#0)};
  _3 = &mut _4;
-- _2 = Pin::<&mut {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8}>::new(move _3) -> [return: bb2, unwind: bb5];
+- _2 = Pin::<&mut {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8}>::new(move _3) -> [return: bb2, unwind: bb5];
 - }
 - 
 - bb2: {
-+ _2 = Pin::<&mut {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8}> { pointer: move _3 };
++ _2 = Pin::<&mut {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8}> { pointer: move _3 };
  StorageDead(_3);
-- _1 = <{coroutine@$DIR/inline_coroutine.rs:17:5: 17:8} as Coroutine<bool>>::resume(move _2, const false) -> [return: bb3, unwind: bb5];
+- _1 = <{coroutine@$DIR/inline_coroutine.rs:19:5: 19:8} as Coroutine<bool>>::resume(move _2, const false) -> [return: bb3, unwind: bb5];
 + StorageLive(_5);
 + _5 = const false;
 + StorageLive(_6);
 + StorageLive(_7);
-+ _6 = (_2.0: &mut {coroutine@$DIR/inline_coroutine.rs:17:5: 17:8});
++ _6 = (_2.0: &mut {coroutine@$DIR/inline_coroutine.rs:19:5: 19:8});
 + _7 = discriminant((*_6));
 + switchInt(move _7) -> [0: bb5, 1: bb9, 3: bb10, otherwise: bb11];
  }

tests/mir-opt/inline/inline_coroutine.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // compile-flags: -Zinline-mir-hint-threshold=1000
 #![feature(coroutines, coroutine_trait)]
@@ -8,6 +7,9 @@ use std::pin::Pin;
 
 // EMIT_MIR inline_coroutine.main.Inline.diff
 fn main() {
+ // CHECK-LABEL: fn main(
+ // CHECK: (inlined g)
+ // CHECK: (inlined g::{closure#0})
  let _r = Pin::new(&mut g()).resume(false);
 }
 

tests/mir-opt/inline/inline_diverging.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // Tests inlining of diverging calls.
 //
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
@@ -7,6 +6,8 @@
 
 // EMIT_MIR inline_diverging.f.Inline.diff
 pub fn f() {
+ // CHECK-LABEL: fn f(
+ // CHECK: (inlined sleep)
  sleep();
 }
 
@@ -15,12 +16,17 @@ pub fn g(i: i32) -> u32 {
  if i > 0 {
  i as u32
  } else {
+ // CHECK-LABEL: fn g(
+ // CHECK: (inlined panic)
  panic();
  }
 }
 
 // EMIT_MIR inline_diverging.h.Inline.diff
 pub fn h() {
+ // CHECK-LABEL: fn h(
+ // CHECK: (inlined call_twice::<!, fn() -> ! {sleep}>)
+ // CHECK-NOT: inlined
  call_twice(sleep);
 }
 

tests/mir-opt/inline/inline_instruction_set.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // Checks that only functions with the compatible instruction_set attributes are inlined.
 //
 // A function is "compatible" when the *callee* has the same attribute or no attribute.
@@ -47,16 +46,26 @@ fn inline_always_and_using_inline_asm() {
 // EMIT_MIR inline_instruction_set.t32.Inline.diff
 #[instruction_set(arm::t32)]
 pub fn t32() {
+ // CHECK-LABEL: fn t32(
+ // CHECK-NOT: (inlined instruction_set_a32)
  instruction_set_a32();
+ // CHECK: (inlined instruction_set_t32)
  instruction_set_t32();
+ // CHECK: (inlined instruction_set_default)
  instruction_set_default();
+ // CHECK-NOT: (inlined inline_always_and_using_inline_asm)
  inline_always_and_using_inline_asm();
 }
 
 // EMIT_MIR inline_instruction_set.default.Inline.diff
 pub fn default() {
+ // CHECK-LABEL: fn default(
+ // CHECK-NOT: (inlined instruction_set_a32)
  instruction_set_a32();
+ // CHECK-NOT: (inlined instruction_set_t32)
  instruction_set_t32();
+ // CHECK: (inlined instruction_set_default)
  instruction_set_default();
+ // CHECK: (inlined inline_always_and_using_inline_asm)
  inline_always_and_using_inline_asm();
 }

tests/mir-opt/inline/inline_into_box_place.rs

@@ -1,10 +1,11 @@
-// skip-filecheck
 // ignore-endian-big
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // ignore-debug MIR alignment checks in std alter the diff, breaking the test
 // compile-flags: -Zmir-opt-level=4 -Zinline-mir-hint-threshold=200
 
 // EMIT_MIR inline_into_box_place.main.Inline.diff
 fn main() {
+ // CHECK-LABEL: fn main(
+ // CHECK: (inlined Box::<Vec<u32>>::new)
  let _x: Box<Vec<u32>> = Box::new(Vec::new());
 }

tests/mir-opt/inline/inline_options.rs

@@ -1,4 +1,3 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 // Checks that inlining threshold can be controlled with
 // inline-mir-threshold and inline-hint-threshold options.
@@ -8,7 +7,10 @@
 
 // EMIT_MIR inline_options.main.Inline.after.mir
 fn main() {
+ // CHECK-LABEL: fn main(
+ // CHECK-NOT: (inlined not_inlined)
  not_inlined();
+ // CHECK: (inlined inlined::<u32>)
  inlined::<u32>();
 }