diff options
| -rw-r--r-- | tests/mir-opt/inline/inline_compatibility.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/mir-opt/inline/inline_compatibility.rs b/tests/mir-opt/inline/inline_compatibility.rs index 988fbe33336..8045ea39f95 100644 --- a/tests/mir-opt/inline/inline_compatibility.rs +++ b/tests/mir-opt/inline/inline_compatibility.rs @@ -29,6 +29,14 @@ pub unsafe fn f1() { sse2(); } +// CHECK-LABEL: fn f2() +// CHECK: bb0: { +// CHECK-NEXT: return; +#[target_feature(enable = "avx")] +pub unsafe fn f2() { + nop(); +} + #[inline] #[no_sanitize(address)] pub unsafe fn no_sanitize() {} |