diff options
Diffstat (limited to 'test/Instrumentation/SanitizerCoverage/coverage.ll')
| -rw-r--r-- | test/Instrumentation/SanitizerCoverage/coverage.ll | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/test/Instrumentation/SanitizerCoverage/coverage.ll b/test/Instrumentation/SanitizerCoverage/coverage.ll index 71fdbbb5ada7c..eb66709cc024f 100644 --- a/test/Instrumentation/SanitizerCoverage/coverage.ll +++ b/test/Instrumentation/SanitizerCoverage/coverage.ll @@ -6,12 +6,14 @@ ; RUN: opt < %s -sancov -sanitizer-coverage-level=2 -sanitizer-coverage-block-threshold=1 -S | FileCheck %s --check-prefix=CHECK_WITH_CHECK ; RUN: opt < %s -sancov -sanitizer-coverage-level=3 -sanitizer-coverage-block-threshold=10 -S | FileCheck %s --check-prefix=CHECK3 ; RUN: opt < %s -sancov -sanitizer-coverage-level=4 -S | FileCheck %s --check-prefix=CHECK4 +; RUN: opt < %s -sancov -sanitizer-coverage-level=4 -sanitizer-coverage-trace-pc -S | FileCheck %s --check-prefix=CHECK_TRACE_PC ; RUN: opt < %s -sancov -sanitizer-coverage-level=3 -sanitizer-coverage-8bit-counters=1 -S | FileCheck %s --check-prefix=CHECK-8BIT ; RUN: opt < %s -sancov -sanitizer-coverage-level=2 -sanitizer-coverage-block-threshold=10 \ ; RUN: -S | FileCheck %s --check-prefix=CHECK2 ; RUN: opt < %s -sancov -sanitizer-coverage-level=2 -sanitizer-coverage-block-threshold=1 \ ; RUN: -S | FileCheck %s --check-prefix=CHECK_WITH_CHECK +; RUN: opt < %s -sancov -sanitizer-coverage-level=3 -sanitizer-coverage-prune-blocks=1 -S | FileCheck %s --check-prefix=CHECKPRUNE target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target triple = "x86_64-unknown-linux-gnu" @@ -54,7 +56,7 @@ entry: ; 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 4, +; CHECK_WITH_CHECK: call void @__sanitizer_cov_module_init({{.*}}, i64 3, ; CHECK_WITH_CHECK: ret ; CHECK2-LABEL: define void @foo @@ -62,20 +64,18 @@ entry: ; CHECK2: call void asm sideeffect "", ""() ; CHECK2: call void @__sanitizer_cov ; CHECK2: call void asm sideeffect "", ""() -; CHECK2: call void @__sanitizer_cov ; 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 4, +; 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: call void @__sanitizer_cov ; CHECK3-NOT: ret void ; CHECK3: call void @__sanitizer_cov ; CHECK3-NOT: call void @__sanitizer_cov @@ -120,6 +120,16 @@ entry: ; CHECK4-NOT: call void @__sanitizer_cov_indir_call16({{.*}},[[CACHE]]) ; CHECK4: ret void +; CHECK_TRACE_PC-LABEL: define void @foo +; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc +; CHECK_TRACE_PC: call void asm sideeffect "", ""() +; CHECK_TRACE_PC: ret void + +; CHECK_TRACE_PC-LABEL: define void @CallViaVptr +; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc_indir +; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc_indir +; CHECK_TRACE_PC: ret void + define void @call_unreachable() uwtable sanitize_address { entry: unreachable @@ -128,3 +138,10 @@ entry: ; CHECK4-LABEL: define void @call_unreachable ; CHECK4-NOT: __sanitizer_cov ; CHECK4: unreachable + +; CHECKPRUNE-LABEL: define void @foo +; CHECKPRUNE: call void @__sanitizer_cov +; CHECKPRUNE: call void @__sanitizer_cov +; CHECKPRUNE: call void @__sanitizer_cov +; CHECKPRUNE-NOT: call void @__sanitizer_cov +; CHECKPRUNE: ret void |