diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2013-08-22 20:08:15 +0000 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2013-08-22 20:08:15 +0000 |
commit | 054cec05b84e878a68e7ecc71342312e76850649 (patch) | |
tree | 7b4a1bded7e49ab644a0effef0d3b76013c537fa /test/Instrumentation | |
parent | 4f68e9ea8e6a9d98b60bbdde719dcb9d68991980 (diff) | |
download | external_llvm-054cec05b84e878a68e7ecc71342312e76850649.zip external_llvm-054cec05b84e878a68e7ecc71342312e76850649.tar.gz external_llvm-054cec05b84e878a68e7ecc71342312e76850649.tar.bz2 |
DataFlowSanitizer: Replace non-instrumented aliases of instrumented functions, and vice versa, with wrappers.
Differential Revision: http://llvm-reviews.chandlerc.com/D1442
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@189054 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Instrumentation')
-rw-r--r-- | test/Instrumentation/DataFlowSanitizer/Inputs/abilist.txt | 4 | ||||
-rw-r--r-- | test/Instrumentation/DataFlowSanitizer/abilist.ll | 15 |
2 files changed, 16 insertions, 3 deletions
diff --git a/test/Instrumentation/DataFlowSanitizer/Inputs/abilist.txt b/test/Instrumentation/DataFlowSanitizer/Inputs/abilist.txt index fec2a50..42e34e4 100644 --- a/test/Instrumentation/DataFlowSanitizer/Inputs/abilist.txt +++ b/test/Instrumentation/DataFlowSanitizer/Inputs/abilist.txt @@ -1,5 +1,5 @@ -fun:discard=uninstrumented -fun:discard=discard +fun:discard*=uninstrumented +fun:discard*=discard fun:functional=uninstrumented fun:functional=functional diff --git a/test/Instrumentation/DataFlowSanitizer/abilist.ll b/test/Instrumentation/DataFlowSanitizer/abilist.ll index 3343221..4e23bf1 100644 --- a/test/Instrumentation/DataFlowSanitizer/abilist.ll +++ b/test/Instrumentation/DataFlowSanitizer/abilist.ll @@ -29,6 +29,12 @@ define void @f() { ret void } +; CHECK: define i32 (i32, i32)* @discardg(i32) +; CHECK: %[[CALL:.*]] = call { i32 (i32, i32)*, i16 } @"dfs$g"(i32 %0, i16 0) +; CHECK: %[[XVAL:.*]] = extractvalue { i32 (i32, i32)*, i16 } %[[CALL]], 0 +; CHECK: ret {{.*}} %[[XVAL]] +@discardg = alias i32 (i32, i32)* (i32)* @g + ; CHECK: define linkonce_odr { i32, i16 } @"dfsw$custom2"(i32, i32, i16, i16) ; CHECK: %[[LABELRETURN2:.*]] = alloca i16 ; CHECK: %[[RV:.*]] = call i32 @__dfsw_custom2 @@ -38,10 +44,17 @@ define void @f() { ; CHECK: ret { i32, i16 } ; CHECK: @"dfs$g" -define i32 (i32, i32)* @g() { +define i32 (i32, i32)* @g(i32) { ; CHECK: ret {{.*}} @"dfsw$custom2" ret i32 (i32, i32)* @custom2 } +; CHECK: define { i32, i16 } @"dfs$adiscard"(i32, i32, i16, i16) +; CHECK: %[[CALL:.*]] = call i32 @discard(i32 %0, i32 %1) +; CHECK: %[[IVAL0:.*]] = insertvalue { i32, i16 } undef, i32 %[[CALL]], 0 +; CHECK: %[[IVAL1:.*]] = insertvalue { i32, i16 } %[[IVAL0]], i16 0, 1 +; CHECK: ret { i32, i16 } %[[IVAL1]] +@adiscard = alias i32 (i32, i32)* @discard + ; CHECK: declare void @__dfsw_custom1(i32, i32, i16, i16) ; CHECK: declare i32 @__dfsw_custom2(i32, i32, i16, i16, i16*) |