[llvm] [sanitizer-coverage] clean up unused test (PR #186147)

[Jann Horn via llvm-commits]

https://github.com/thejh created https://github.com/llvm/llvm-project/pull/186147

Since commit 53b34c844339 ("[sanitizer-coverage] remove stale code (old coverage); llvm  part"), which landed in 2017, the CHECK0, CHECK1, CHECK_WITH_CHECK, CHECK2, and CHECK3 lines don't get checked by anything anymore. That's confusing, get rid of them.

Also tweak the CHECK_TRACE_PC test to verify that edge coverage actually covers the entry point and the two control flow edges in the input; CHECK3 used to do similar checks.

cc @vitalybuka 

>From 9e1107a159df85b4218097f48d06486c2756f2af Mon Sep 17 00:00:00 2001
From: Jann Horn <jannh at google.com>
Date: Thu, 12 Mar 2026 16:17:04 +0100
Subject: [PATCH] [sanitizer-coverage] clean up unused test

Since commit 53b34c844339 ("[sanitizer-coverage] remove stale code (old
coverage); llvm  part"), which landed in 2017, the CHECK0, CHECK1,
CHECK_WITH_CHECK, CHECK2, and CHECK3 lines don't get checked by anything
anymore. That's confusing, get rid of them.

Also tweak the CHECK_TRACE_PC test to verify that edge coverage actually
covers the entry point and the two control flow edges in the input; CHECK3
used to do similar checks.
---
 .../SanitizerCoverage/coverage.ll             | 53 +------------------
 1 file changed, 2 insertions(+), 51 deletions(-)

diff --git a/llvm/test/Instrumentation/SanitizerCoverage/coverage.ll b/llvm/test/Instrumentation/SanitizerCoverage/coverage.ll
index 9d74291438e7f..e134ac3a7f09a 100644
--- a/llvm/test/Instrumentation/SanitizerCoverage/coverage.ll
+++ b/llvm/test/Instrumentation/SanitizerCoverage/coverage.ll
@@ -17,57 +17,6 @@ entry:
   ret void
 }
 
-; CHECK0-NOT: @llvm.global_ctors = {{.*}}{ i32 2, ptr @sancov.module_ctor }
-; CHECK1: @llvm.global_ctors = {{.*}}{ i32 2, ptr @sancov.module_ctor, ptr null }
-; CHECK2: @llvm.global_ctors = {{.*}}{ i32 2, ptr @sancov.module_ctor, ptr null }
-
-; CHECK0-NOT: call void @__sanitizer_cov(
-; CHECK0-NOT: call void @__sanitizer_cov_module_init(
-
-; CHECK1-LABEL: define void @foo
-; CHECK1: %0 = load atomic i32, ptr {{.*}} monotonic, align 4, !nosanitize
-; CHECK1: %1 = icmp sge i32 0, %0
-; CHECK1: br i1 %1, label %2, label %3
-; CHECK1: call void @__sanitizer_cov(ptr{{.*}})
-; CHECK1: call void asm sideeffect "", ""()
-; CHECK1-NOT: call void @__sanitizer_cov
-; CHECK1: ret void
-
-; CHECK1-LABEL: define internal void @sancov.module_ctor
-; CHECK1-NOT: ret
-; CHECK1: call void @__sanitizer_cov_module_init({{.*}}, i64 2, {{.*}}@__sancov_gen_modname
-; CHECK1: ret
-
-; CHECK_WITH_CHECK-LABEL: define void @foo
-; CHECK_WITH_CHECK: __sanitizer_cov_with_check
-; CHECK_WITH_CHECK: ret void
-; CHECK_WITH_CHECK-LABEL: define internal void @sancov.module_ctor
-; CHECK_WITH_CHECK-NOT: ret
-; CHECK_WITH_CHECK: call void @__sanitizer_cov_module_init({{.*}}, i64 3,
-; CHECK_WITH_CHECK: ret
-
-; CHECK2-LABEL: define void @foo
-; CHECK2: call void @__sanitizer_cov
-; CHECK2: call void asm sideeffect "", ""()
-; CHECK2: call void @__sanitizer_cov
-; CHECK2: call void asm sideeffect "", ""()
-; CHECK2: call void asm sideeffect "", ""()
-; CHECK2-NOT: call void @__sanitizer_cov
-; CHECK2: ret void
-
-; CHECK2-LABEL: define internal void @sancov.module_ctor
-; CHECK2-NOT: ret
-; CHECK2: call void @__sanitizer_cov_module_init({{.*}}, i64 3,
-; CHECK2: ret
-
-; CHECK3-LABEL: define void @foo
-; CHECK3: call void @__sanitizer_cov
-; CHECK3: call void @__sanitizer_cov
-; CHECK3-NOT: ret void
-; CHECK3: call void @__sanitizer_cov
-; CHECK3-NOT: call void @__sanitizer_cov
-; CHECK3: ret void
-
 %struct.StructWithVptr = type { ptr }
 
 define void @CallViaVptr(ptr %foo) uwtable sanitize_address {
@@ -82,6 +31,8 @@ entry:
 
 ; CHECK_TRACE_PC-LABEL: define void @foo
 ; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc
+; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc
+; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc
 ; CHECK_TRACE_PC: ret void
 
 ; CHECK_TRACE_PC-LABEL: define void @CallViaVptr