diff options
| author | Ryan Mehri <ryan.mehri1@gmail.com> | 2023-10-20 18:03:13 -0700 |
|---|---|---|
| committer | Ryan Mehri <ryan.mehri1@gmail.com> | 2023-10-25 15:25:38 -0700 |
| commit | d8f33ef93d6dbff4267fd7d779d73a76f1e46e28 (patch) | |
| tree | 926c6575789404849fd797e8eb521c1f930e7216 | |
| parent | 7ee05d24b5103df74d93c267ab4e1d8060aec444 (diff) | |
| download | rust-d8f33ef93d6dbff4267fd7d779d73a76f1e46e28.tar.gz rust-d8f33ef93d6dbff4267fd7d779d73a76f1e46e28.zip | |
FileCheck inline_diverging
| -rw-r--r-- | tests/mir-opt/inline/inline_diverging.rs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/mir-opt/inline/inline_diverging.rs b/tests/mir-opt/inline/inline_diverging.rs index 9e50b1ead2b..25a5b9c5c5e 100644 --- a/tests/mir-opt/inline/inline_diverging.rs +++ b/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); } |