80 lines
3.9 KiB
LLVM
80 lines
3.9 KiB
LLVM
; 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,COMDAT,ELF
|
|
|
|
; 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,MACHO
|
|
|
|
; 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,COMDAT,WIN
|
|
|
|
; COMDAT: $foo = comdat nodeduplicate
|
|
; COMDAT: $CallViaVptr = comdat nodeduplicate
|
|
; COMDAT: $DirectBitcastCall = comdat nodeduplicate
|
|
|
|
; ELF: @__sancov_gen_ = private global [3 x i32] zeroinitializer, section "__sancov_guards", comdat($foo), align 4{{$}}
|
|
; ELF-NEXT: @__sancov_gen_.1 = private global [1 x i32] zeroinitializer, section "__sancov_guards", comdat($CallViaVptr), align 4{{$}}
|
|
; ELF-NEXT: @__sancov_gen_.2 = private global [1 x i32] zeroinitializer, section "__sancov_guards", comdat($DirectBitcastCall), align 4{{$}}
|
|
|
|
; MACHO: @__sancov_gen_ = private global [3 x i32] zeroinitializer, section "__DATA,__sancov_guards", align 4{{$}}
|
|
; MACHO-NEXT: @__sancov_gen_.1 = private global [1 x i32] zeroinitializer, section "__DATA,__sancov_guards", align 4{{$}}
|
|
; MACHO-NEXT: @__sancov_gen_.2 = private global [1 x i32] zeroinitializer, section "__DATA,__sancov_guards", align 4{{$}}
|
|
|
|
; WIN: @__sancov_gen_ = private global [3 x i32] zeroinitializer, section ".SCOV$GM", comdat($foo), align 4{{$}}
|
|
; WIN-NEXT: @__sancov_gen_.1 = private global [1 x i32] zeroinitializer, section ".SCOV$GM", comdat($CallViaVptr), align 4{{$}}
|
|
; WIN-NEXT: @__sancov_gen_.2 = private global [1 x i32] zeroinitializer, section ".SCOV$GM", comdat($DirectBitcastCall), align 4{{$}}
|
|
|
|
; ELF: @llvm.used = appending global [1 x ptr] [ptr @sancov.module_ctor_trace_pc_guard]
|
|
; ELF: @llvm.compiler.used = appending global [3 x ptr] [ptr @__sancov_gen_, ptr @__sancov_gen_.1, ptr @__sancov_gen_.2], section "llvm.metadata"
|
|
; 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]
|
|
; MACHO-NOT: @llvm.compiler.used =
|
|
; WIN: @llvm.used = appending global [1 x ptr] [ptr @sancov.module_ctor_trace_pc_guard], section "llvm.metadata"
|
|
; WIN-NEXT: @llvm.compiler.used = appending global [3 x ptr] [ptr @__sancov_gen_, ptr @__sancov_gen_.1, ptr @__sancov_gen_.2], section "llvm.metadata"
|
|
|
|
; CHECK-LABEL: define void @foo
|
|
; CHECK: call void @__sanitizer_cov_trace_pc
|
|
; CHECK: ret void
|
|
|
|
define void @foo(ptr %a) sanitize_address {
|
|
entry:
|
|
%tobool = icmp eq ptr %a, null
|
|
br i1 %tobool, label %if.end, label %if.then
|
|
|
|
if.then: ; preds = %entry
|
|
store i32 0, ptr %a, align 4
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %entry, %if.then
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: define void @CallViaVptr
|
|
; CHECK: call void @__sanitizer_cov_trace_pc_indir
|
|
; CHECK: call void @__sanitizer_cov_trace_pc_indir
|
|
; CHECK: ret void
|
|
|
|
%struct.StructWithVptr = type { ptr }
|
|
|
|
define void @CallViaVptr(ptr %foo) uwtable sanitize_address {
|
|
entry:
|
|
%vtable = load ptr, ptr %foo, align 8
|
|
%0 = load ptr, ptr %vtable, align 8
|
|
tail call void %0(ptr %foo)
|
|
tail call void %0(ptr %foo)
|
|
tail call void asm sideeffect "", ""()
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: define void @DirectBitcastCall
|
|
; CHECK-NEXT: call void @__sanitizer_cov_trace_pc_guard
|
|
; CHECK-NEXT: call void @direct_callee()
|
|
; CHECK-NEXT: ret void
|
|
|
|
declare i32 @direct_callee()
|
|
|
|
define void @DirectBitcastCall() sanitize_address {
|
|
call void @direct_callee()
|
|
ret void
|
|
}
|
|
|
|
; ELF-LABEL: define internal void @sancov.module_ctor_trace_pc_guard() #2 comdat {
|
|
; MACHO-LABEL: define internal void @sancov.module_ctor_trace_pc_guard() #2 {
|
|
|
|
; CHECK: attributes #2 = { nounwind }
|