summary refs log tree commit diff
path: root/tests/codegen-llvm/instrument-coverage/instrument-coverage-off.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/codegen-llvm/instrument-coverage/instrument-coverage-off.rs')
-rw-r--r--tests/codegen-llvm/instrument-coverage/instrument-coverage-off.rs21
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/codegen-llvm/instrument-coverage/instrument-coverage-off.rs b/tests/codegen-llvm/instrument-coverage/instrument-coverage-off.rs
new file mode 100644
index 00000000000..e44d6c65874
--- /dev/null
+++ b/tests/codegen-llvm/instrument-coverage/instrument-coverage-off.rs
@@ -0,0 +1,21 @@
+// Test that `-Cinstrument-coverage=off` does not add coverage instrumentation to LLVM IR.
+
+//@ compile-flags: -Zno-profiler-runtime
+//@ revisions: n no off false_ zero
+//@ [n] compile-flags: -Cinstrument-coverage=n
+//@ [no] compile-flags: -Cinstrument-coverage=no
+//@ [off] compile-flags: -Cinstrument-coverage=off
+//@ [false_] compile-flags: -Cinstrument-coverage=false
+//@ [zero] compile-flags: -Cinstrument-coverage=0
+
+// CHECK-NOT: __llvm_profile_filename
+// CHECK-NOT: __llvm_coverage_mapping
+
+#![crate_type = "lib"]
+
+#[inline(never)]
+fn some_function() {}
+
+pub fn some_other_function() {
+    some_function();
+}