81 lines · plain
1; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=4 -sanitizer-coverage-trace-pc-guard -mtriple=x86_64 -S | FileCheck %s --check-prefixes=CHECK,CHECK-CTOR,COMDAT,ELF,ELF-CTOR2; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=4 -sanitizer-coverage-trace-pc-guard -sanitizer-coverage-drop-ctors=1 -mtriple=x86_64 -S | FileCheck %s --check-prefixes=CHECK,COMDAT,ELF3 4; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=4 -sanitizer-coverage-trace-pc-guard -mtriple=aarch64-apple-darwin -S | FileCheck %s --check-prefixes=CHECK,CHECK-CTOR,MACHO5 6; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=4 -sanitizer-coverage-trace-pc-guard -mtriple=x86_64-windows -S | FileCheck %s --check-prefixes=CHECK,CHECK-CTOR,COMDAT,WIN7 8; COMDAT: $foo = comdat nodeduplicate9; COMDAT: $CallViaVptr = comdat nodeduplicate10; COMDAT: $DirectBitcastCall = comdat nodeduplicate11 12; ELF: @__sancov_gen_ = private global [3 x i32] zeroinitializer, section "__sancov_guards", comdat($foo), align 4{{$}}13; ELF-NEXT: @__sancov_gen_.1 = private global [1 x i32] zeroinitializer, section "__sancov_guards", comdat($CallViaVptr), align 4{{$}}14; ELF-NEXT: @__sancov_gen_.2 = private global [1 x i32] zeroinitializer, section "__sancov_guards", comdat($DirectBitcastCall), align 4{{$}}15 16; MACHO: @__sancov_gen_ = private global [3 x i32] zeroinitializer, section "__DATA,__sancov_guards", align 4{{$}}17; MACHO-NEXT: @__sancov_gen_.1 = private global [1 x i32] zeroinitializer, section "__DATA,__sancov_guards", align 4{{$}}18; MACHO-NEXT: @__sancov_gen_.2 = private global [1 x i32] zeroinitializer, section "__DATA,__sancov_guards", align 4{{$}}19 20; WIN: @__sancov_gen_ = private global [3 x i32] zeroinitializer, section ".SCOV$GM", comdat($foo), align 4{{$}}21; WIN-NEXT: @__sancov_gen_.1 = private global [1 x i32] zeroinitializer, section ".SCOV$GM", comdat($CallViaVptr), align 4{{$}}22; WIN-NEXT: @__sancov_gen_.2 = private global [1 x i32] zeroinitializer, section ".SCOV$GM", comdat($DirectBitcastCall), align 4{{$}}23 24; ELF-CTOR: @llvm.used = appending global [1 x ptr] [ptr @sancov.module_ctor_trace_pc_guard]25; ELF: @llvm.compiler.used = appending global [3 x ptr] [ptr @__sancov_gen_, ptr @__sancov_gen_.1, ptr @__sancov_gen_.2], section "llvm.metadata"26; MACHO: @llvm.used = appending global [4 x ptr] [ptr @sancov.module_ctor_trace_pc_guard, ptr @__sancov_gen_, ptr @__sancov_gen_.1, ptr @__sancov_gen_.2]27; MACHO-NOT: @llvm.compiler.used =28; WIN: @llvm.used = appending global [1 x ptr] [ptr @sancov.module_ctor_trace_pc_guard], section "llvm.metadata"29; WIN-NEXT: @llvm.compiler.used = appending global [3 x ptr] [ptr @__sancov_gen_, ptr @__sancov_gen_.1, ptr @__sancov_gen_.2], section "llvm.metadata"30 31; CHECK-LABEL: define void @foo32; CHECK: call void @__sanitizer_cov_trace_pc33; CHECK: ret void34 35define void @foo(ptr %a) sanitize_address {36entry:37 %tobool = icmp eq ptr %a, null38 br i1 %tobool, label %if.end, label %if.then39 40 if.then: ; preds = %entry41 store i32 0, ptr %a, align 442 br label %if.end43 44 if.end: ; preds = %entry, %if.then45 ret void46}47 48; CHECK-LABEL: define void @CallViaVptr49; CHECK: call void @__sanitizer_cov_trace_pc_indir50; CHECK: call void @__sanitizer_cov_trace_pc_indir51; CHECK: ret void52 53%struct.StructWithVptr = type { ptr }54 55define void @CallViaVptr(ptr %foo) uwtable sanitize_address {56entry:57 %vtable = load ptr, ptr %foo, align 858 %0 = load ptr, ptr %vtable, align 859 tail call void %0(ptr %foo)60 tail call void %0(ptr %foo)61 tail call void asm sideeffect "", ""()62 ret void63}64 65; CHECK-LABEL: define void @DirectBitcastCall66; CHECK-NEXT: call void @__sanitizer_cov_trace_pc_guard67; CHECK-NEXT: call void @direct_callee()68; CHECK-NEXT: ret void69 70declare i32 @direct_callee()71 72define void @DirectBitcastCall() sanitize_address {73 call void @direct_callee()74 ret void75}76 77; ELF-CTOR-LABEL: define internal void @sancov.module_ctor_trace_pc_guard() #2 comdat {78; MACHO-LABEL: define internal void @sancov.module_ctor_trace_pc_guard() #2 {79 80; CHECK-CTOR: attributes #2 = { nounwind }81