summaryrefslogtreecommitdiffstats
path: root/src/test/codegen/naked-noinline.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/codegen/naked-noinline.rs')
-rw-r--r--src/test/codegen/naked-noinline.rs31
1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/codegen/naked-noinline.rs b/src/test/codegen/naked-noinline.rs
new file mode 100644
index 000000000..c0ac69f4e
--- /dev/null
+++ b/src/test/codegen/naked-noinline.rs
@@ -0,0 +1,31 @@
+// Checks that naked functions are never inlined.
+// compile-flags: -O -Zmir-opt-level=3
+// needs-asm-support
+// ignore-wasm32
+#![crate_type = "lib"]
+#![feature(naked_functions)]
+
+use std::arch::asm;
+
+#[naked]
+#[no_mangle]
+pub unsafe extern "C" fn f() {
+ // Check that f has naked and noinline attributes.
+ //
+ // CHECK: define void @f() unnamed_addr [[ATTR:#[0-9]+]]
+ // CHECK-NEXT: start:
+ // CHECK-NEXT: call void asm
+ asm!("", options(noreturn));
+}
+
+#[no_mangle]
+pub unsafe fn g() {
+ // Check that call to f is not inlined.
+ //
+ // CHECK-LABEL: define void @g()
+ // CHECK-NEXT: start:
+ // CHECK-NEXT: call void @f()
+ f();
+}
+
+// CHECK: attributes [[ATTR]] = { naked{{.*}}noinline{{.*}} }