mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
2c53ec0c7b
This patch merges the sancov module and funciton passes into one module pass. The reason for this is because we ran into an out of memory error when attempting to run asan fuzzer on some protobufs (pc.cc files). I traced the OOM error to the destructor of SanitizerCoverage where we only call appendTo[Compiler]Used which calls appendToUsedList. I'm not sure where precisely in appendToUsedList causes the OOM, but I am able to confirm that it's calling this function *repeatedly* that causes the OOM. (I hacked sancov a bit such that I can still create and destroy a new sancov on every function run, but only call appendToUsedList after all functions in the module have finished. This passes, but when I make it such that appendToUsedList is called on every sancov destruction, we hit OOM.) I don't think the OOM is from just adding to the SmallSet and SmallVector inside appendToUsedList since in either case for a given module, they'll have the same max size. I suspect that when the existing llvm.compiler.used global is erased, the memory behind it isn't freed. I could be wrong on this though. This patch works around the OOM issue by just calling appendToUsedList at the end of every module run instead of function run. The same amount of constants still get added to llvm.compiler.used, abd we make the pass usage and logic simpler by not having any inter-pass dependencies. Differential Revision: https://reviews.llvm.org/D66988 llvm-svn: 370971
89 lines
3.6 KiB
LLVM
89 lines
3.6 KiB
LLVM
; RUN: opt < %s -sancov -sanitizer-coverage-level=0 -S | FileCheck %s
|
|
; RUN: opt < %s -sancov -sanitizer-coverage-level=1 -S | FileCheck %s
|
|
; RUN: opt < %s -sancov -sanitizer-coverage-level=2 -S | FileCheck %s
|
|
; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=0 -S | FileCheck %s
|
|
; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=1 -S | FileCheck %s
|
|
; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=2 -S | FileCheck %s
|
|
|
|
target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
|
|
target triple = "i686-pc-windows-msvc18.0.0"
|
|
|
|
declare i32 @llvm.eh.typeid.for(i8*) #2
|
|
declare i8* @llvm.frameaddress(i32)
|
|
declare i8* @llvm.eh.recoverfp(i8*, i8*)
|
|
declare i8* @llvm.localrecover(i8*, i8*, i32)
|
|
declare void @llvm.localescape(...) #1
|
|
|
|
declare i32 @_except_handler3(...)
|
|
declare void @may_throw(i32* %r)
|
|
|
|
define i32 @main() sanitize_address personality i8* bitcast (i32 (...)* @_except_handler3 to i8*) {
|
|
entry:
|
|
%r = alloca i32, align 4
|
|
%__exception_code = alloca i32, align 4
|
|
call void (...) @llvm.localescape(i32* nonnull %__exception_code)
|
|
%0 = bitcast i32* %r to i8*
|
|
store i32 0, i32* %r, align 4
|
|
invoke void @may_throw(i32* nonnull %r) #4
|
|
to label %__try.cont unwind label %lpad
|
|
|
|
lpad: ; preds = %entry
|
|
%1 = landingpad { i8*, i32 }
|
|
catch i8* bitcast (i32 ()* @"\01?filt$0@0@main@@" to i8*)
|
|
%2 = extractvalue { i8*, i32 } %1, 1
|
|
%3 = call i32 @llvm.eh.typeid.for(i8* bitcast (i32 ()* @"\01?filt$0@0@main@@" to i8*)) #1
|
|
%matches = icmp eq i32 %2, %3
|
|
br i1 %matches, label %__except, label %eh.resume
|
|
|
|
__except: ; preds = %lpad
|
|
store i32 1, i32* %r, align 4
|
|
br label %__try.cont
|
|
|
|
__try.cont: ; preds = %entry, %__except
|
|
%4 = load i32, i32* %r, align 4
|
|
ret i32 %4
|
|
|
|
eh.resume: ; preds = %lpad
|
|
resume { i8*, i32 } %1
|
|
}
|
|
|
|
; Check that we don't do any instrumentation.
|
|
|
|
; CHECK-LABEL: define i32 @main()
|
|
; CHECK-NOT: load atomic i32, i32* {{.*}} monotonic, align 4, !nosanitize
|
|
; CHECK-NOT: call void @__sanitizer_cov
|
|
; CHECK: ret i32
|
|
|
|
; Function Attrs: nounwind
|
|
define internal i32 @"\01?filt$0@0@main@@"() #1 {
|
|
entry:
|
|
%0 = tail call i8* @llvm.frameaddress(i32 1)
|
|
%1 = tail call i8* @llvm.eh.recoverfp(i8* bitcast (i32 ()* @main to i8*), i8* %0)
|
|
%2 = tail call i8* @llvm.localrecover(i8* bitcast (i32 ()* @main to i8*), i8* %1, i32 0)
|
|
%__exception_code = bitcast i8* %2 to i32*
|
|
%3 = getelementptr inbounds i8, i8* %0, i32 -20
|
|
%4 = bitcast i8* %3 to { i32*, i8* }**
|
|
%5 = load { i32*, i8* }*, { i32*, i8* }** %4, align 4
|
|
%6 = getelementptr inbounds { i32*, i8* }, { i32*, i8* }* %5, i32 0, i32 0
|
|
%7 = load i32*, i32** %6, align 4
|
|
%8 = load i32, i32* %7, align 4
|
|
store i32 %8, i32* %__exception_code, align 4
|
|
ret i32 1
|
|
}
|
|
|
|
; CHECK-LABEL: define internal i32 @"\01?filt$0@0@main@@"()
|
|
; CHECK: tail call i8* @llvm.localrecover(i8* bitcast (i32 ()* @main to i8*), i8* {{.*}}, i32 0)
|
|
|
|
define void @ScaleFilterCols_SSSE3(i8* %dst_ptr, i8* %src_ptr, i32 %dst_width, i32 %x, i32 %dx) sanitize_address {
|
|
entry:
|
|
%dst_width.addr = alloca i32, align 4
|
|
store i32 %dst_width, i32* %dst_width.addr, align 4
|
|
%0 = call { i8*, i8*, i32, i32, i32 } asm sideeffect "", "=r,=r,={ax},=r,=r,=*rm,rm,rm,0,1,2,3,4,5,~{memory},~{cc},~{xmm0},~{xmm1},~{xmm2},~{xmm3},~{xmm4},~{xmm5},~{xmm6},~{dirflag},~{fpsr},~{flags}"(i32* nonnull %dst_width.addr, i32 %x, i32 %dx, i8* %dst_ptr, i8* %src_ptr, i32 0, i32 0, i32 0, i32 %dst_width)
|
|
ret void
|
|
}
|
|
|
|
define void @ScaleColsUp2_SSE2() sanitize_address {
|
|
entry:
|
|
ret void
|
|
}
|