diff options
Diffstat (limited to 'test/Instrumentation')
-rw-r--r-- | test/Instrumentation/AddressSanitizer/debug_info.ll | 6 | ||||
-rw-r--r-- | test/Instrumentation/SanitizerCoverage/coverage.ll | 32 | ||||
-rw-r--r-- | test/Instrumentation/SanitizerCoverage/tracing.ll | 15 |
3 files changed, 3 insertions, 50 deletions
diff --git a/test/Instrumentation/AddressSanitizer/debug_info.ll b/test/Instrumentation/AddressSanitizer/debug_info.ll index cc79cbbce9e9b..0366c0008d34d 100644 --- a/test/Instrumentation/AddressSanitizer/debug_info.ll +++ b/test/Instrumentation/AddressSanitizer/debug_info.ll @@ -24,9 +24,9 @@ entry: ; CHECK: entry: ; Verify that llvm.dbg.declare calls are in the entry basic block. ; CHECK-NOT: %entry -; CHECK: call void @llvm.dbg.declare(metadata {{.*}}, metadata ![[ARG_ID:[0-9]+]], metadata ![[OPDEREF:[0-9]+]]) +; CHECK: call void @llvm.dbg.declare(metadata {{.*}}, metadata ![[ARG_ID:[0-9]+]], metadata ![[EMPTY:[0-9]+]]) ; CHECK-NOT: %entry -; CHECK: call void @llvm.dbg.declare(metadata {{.*}}, metadata ![[VAR_ID:[0-9]+]], metadata ![[OPDEREF:[0-9]+]]) +; CHECK: call void @llvm.dbg.declare(metadata {{.*}}, metadata ![[VAR_ID:[0-9]+]], metadata ![[EMPTY:[0-9]+]]) declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone @@ -47,7 +47,7 @@ declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone ; Verify that debug descriptors for argument and local variable will be replaced ; with descriptors that end with OpDeref (encoded as 2). ; CHECK: ![[ARG_ID]] = !DILocalVariable(name: "p", arg: 1,{{.*}} line: 1 -; CHECK: ![[OPDEREF]] = !DIExpression(DW_OP_deref) +; CHECK: ![[EMPTY]] = !DIExpression() ; CHECK: ![[VAR_ID]] = !DILocalVariable(name: "r",{{.*}} line: 2 ; Verify that there are no more variable descriptors. ; CHECK-NOT: !DILocalVariable(tag: DW_TAG_arg_variable diff --git a/test/Instrumentation/SanitizerCoverage/coverage.ll b/test/Instrumentation/SanitizerCoverage/coverage.ll index 75a341da021c9..d675c9d9c3709 100644 --- a/test/Instrumentation/SanitizerCoverage/coverage.ll +++ b/test/Instrumentation/SanitizerCoverage/coverage.ll @@ -5,9 +5,7 @@ ; RUN: opt < %s -sancov -sanitizer-coverage-level=2 -sanitizer-coverage-block-threshold=0 -S | FileCheck %s --check-prefix=CHECK_WITH_CHECK ; 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 @@ -81,25 +79,6 @@ entry: ; CHECK3-NOT: call void @__sanitizer_cov ; CHECK3: ret void -; test -sanitizer-coverage-8bit-counters=1 -; CHECK-8BIT-LABEL: define void @foo - -; CHECK-8BIT: [[V11:%[0-9]*]] = load i8{{.*}}!nosanitize -; CHECK-8BIT: [[V12:%[0-9]*]] = add i8 [[V11]], 1 -; CHECK-8BIT: store i8 [[V12]]{{.*}}!nosanitize -; CHECK-8BIT: [[V21:%[0-9]*]] = load i8{{.*}}!nosanitize -; CHECK-8BIT: [[V22:%[0-9]*]] = add i8 [[V21]], 1 -; CHECK-8BIT: store i8 [[V22]]{{.*}}!nosanitize -; CHECK-8BIT: [[V31:%[0-9]*]] = load i8{{.*}}!nosanitize -; CHECK-8BIT: [[V32:%[0-9]*]] = add i8 [[V31]], 1 -; CHECK-8BIT: store i8 [[V32]]{{.*}}!nosanitize -; CHECK-8BIT: [[V41:%[0-9]*]] = load i8{{.*}}!nosanitize -; CHECK-8BIT: [[V42:%[0-9]*]] = add i8 [[V41]], 1 -; CHECK-8BIT: store i8 [[V42]]{{.*}}!nosanitize - -; CHECK-8BIT: ret void - - %struct.StructWithVptr = type { i32 (...)** } define void @CallViaVptr(%struct.StructWithVptr* %foo) uwtable sanitize_address { @@ -113,13 +92,6 @@ entry: ret void } -; We expect to see two calls to __sanitizer_cov_indir_call16 -; with different values of second argument. -; CHECK4-LABEL: define void @CallViaVptr -; CHECK4: call void @__sanitizer_cov_indir_call16({{.*}},[[CACHE:.*]]) -; 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 "", ""() @@ -135,10 +107,6 @@ entry: unreachable } -; 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 diff --git a/test/Instrumentation/SanitizerCoverage/tracing.ll b/test/Instrumentation/SanitizerCoverage/tracing.ll index 9e153472eaba2..1561a14860144 100644 --- a/test/Instrumentation/SanitizerCoverage/tracing.ll +++ b/test/Instrumentation/SanitizerCoverage/tracing.ll @@ -1,6 +1,4 @@ ; Test -sanitizer-coverage-experimental-tracing -; RUN: opt < %s -sancov -sanitizer-coverage-level=2 -sanitizer-coverage-experimental-tracing -S | FileCheck %s --check-prefix=CHECK1 -; RUN: opt < %s -sancov -sanitizer-coverage-level=3 -sanitizer-coverage-experimental-tracing -S | FileCheck %s --check-prefix=CHECK3 ; RUN: opt < %s -sancov -sanitizer-coverage-level=3 -sanitizer-coverage-trace-pc -S | FileCheck %s --check-prefix=CHECK_PC ; RUN: opt < %s -sancov -sanitizer-coverage-level=3 -sanitizer-coverage-trace-pc-guard -S | FileCheck %s --check-prefix=CHECK_PC_GUARD ; RUN: opt < %s -sancov -sanitizer-coverage-level=3 -sanitizer-coverage-trace-pc-guard -S -mtriple=x86_64-apple-macosx | FileCheck %s --check-prefix=CHECK_PC_GUARD_DARWIN @@ -20,19 +18,6 @@ entry: ret void } -; CHECK1-LABEL: define void @foo -; CHECK1: call void @__sanitizer_cov_trace_func_enter -; CHECK1: call void @__sanitizer_cov_trace_basic_block -; CHECK1-NOT: call void @__sanitizer_cov_trace_basic_block -; CHECK1: ret void - -; CHECK3-LABEL: define void @foo -; CHECK3: call void @__sanitizer_cov_trace_func_enter -; CHECK3: call void @__sanitizer_cov_trace_basic_block -; CHECK3: call void @__sanitizer_cov_trace_basic_block -; CHECK3-NOT: call void @__sanitizer_cov_trace_basic_block -; CHECK3: ret void - ; CHECK_PC-LABEL: define void @foo ; CHECK_PC: call void @__sanitizer_cov_trace_pc ; CHECK_PC: call void @__sanitizer_cov_trace_pc |