103 lines · plain
1 2; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=4 -sanitizer-coverage-trace-pc -S | FileCheck %s --check-prefix=CHECK_TRACE_PC3; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=3 -sanitizer-coverage-prune-blocks=1 -S | FileCheck %s --check-prefix=CHECKPRUNE4 5target 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"6target triple = "x86_64-unknown-linux-gnu"7define void @foo(ptr %a) sanitize_address {8entry:9 %tobool = icmp eq ptr %a, null10 br i1 %tobool, label %if.end, label %if.then11 12 if.then: ; preds = %entry13 store i32 0, ptr %a, align 414 br label %if.end15 16 if.end: ; preds = %entry, %if.then17 ret void18}19 20; CHECK0-NOT: @llvm.global_ctors = {{.*}}{ i32 2, ptr @sancov.module_ctor }21; CHECK1: @llvm.global_ctors = {{.*}}{ i32 2, ptr @sancov.module_ctor, ptr null }22; CHECK2: @llvm.global_ctors = {{.*}}{ i32 2, ptr @sancov.module_ctor, ptr null }23 24; CHECK0-NOT: call void @__sanitizer_cov(25; CHECK0-NOT: call void @__sanitizer_cov_module_init(26 27; CHECK1-LABEL: define void @foo28; CHECK1: %0 = load atomic i32, ptr {{.*}} monotonic, align 4, !nosanitize29; CHECK1: %1 = icmp sge i32 0, %030; CHECK1: br i1 %1, label %2, label %331; CHECK1: call void @__sanitizer_cov(ptr{{.*}})32; CHECK1: call void asm sideeffect "", ""()33; CHECK1-NOT: call void @__sanitizer_cov34; CHECK1: ret void35 36; CHECK1-LABEL: define internal void @sancov.module_ctor37; CHECK1-NOT: ret38; CHECK1: call void @__sanitizer_cov_module_init({{.*}}, i64 2, {{.*}}@__sancov_gen_modname39; CHECK1: ret40 41; CHECK_WITH_CHECK-LABEL: define void @foo42; CHECK_WITH_CHECK: __sanitizer_cov_with_check43; CHECK_WITH_CHECK: ret void44; CHECK_WITH_CHECK-LABEL: define internal void @sancov.module_ctor45; CHECK_WITH_CHECK-NOT: ret46; CHECK_WITH_CHECK: call void @__sanitizer_cov_module_init({{.*}}, i64 3,47; CHECK_WITH_CHECK: ret48 49; CHECK2-LABEL: define void @foo50; CHECK2: call void @__sanitizer_cov51; CHECK2: call void asm sideeffect "", ""()52; CHECK2: call void @__sanitizer_cov53; CHECK2: call void asm sideeffect "", ""()54; CHECK2: call void asm sideeffect "", ""()55; CHECK2-NOT: call void @__sanitizer_cov56; CHECK2: ret void57 58; CHECK2-LABEL: define internal void @sancov.module_ctor59; CHECK2-NOT: ret60; CHECK2: call void @__sanitizer_cov_module_init({{.*}}, i64 3,61; CHECK2: ret62 63; CHECK3-LABEL: define void @foo64; CHECK3: call void @__sanitizer_cov65; CHECK3: call void @__sanitizer_cov66; CHECK3-NOT: ret void67; CHECK3: call void @__sanitizer_cov68; CHECK3-NOT: call void @__sanitizer_cov69; CHECK3: ret void70 71%struct.StructWithVptr = type { ptr }72 73define void @CallViaVptr(ptr %foo) uwtable sanitize_address {74entry:75 %vtable = load ptr, ptr %foo, align 876 %0 = load ptr, ptr %vtable, align 877 tail call void %0(ptr %foo)78 tail call void %0(ptr %foo)79 tail call void asm sideeffect "", ""()80 ret void81}82 83; CHECK_TRACE_PC-LABEL: define void @foo84; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc85; CHECK_TRACE_PC: ret void86 87; CHECK_TRACE_PC-LABEL: define void @CallViaVptr88; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc_indir89; CHECK_TRACE_PC: call void @__sanitizer_cov_trace_pc_indir90; CHECK_TRACE_PC: ret void91 92define void @call_unreachable() uwtable sanitize_address {93entry:94 unreachable95}96 97; CHECKPRUNE-LABEL: define void @foo98; CHECKPRUNE: call void @__sanitizer_cov99; CHECKPRUNE: call void @__sanitizer_cov100; CHECKPRUNE: call void @__sanitizer_cov101; CHECKPRUNE-NOT: call void @__sanitizer_cov102; CHECKPRUNE: ret void103