diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2013-08-23 18:45:06 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2013-08-23 18:45:06 +0000 |
| commit | f3c0314310f4c82de6467c4fe4ec4114b9281f04 (patch) | |
| tree | f3b21712401068d7f4af99efb26ace915cdaf8f6 /test/Instrumentation | |
| parent | 003f5519129e5413768b3d6a309f36389f425ced (diff) | |
| download | external_llvm-f3c0314310f4c82de6467c4fe4ec4114b9281f04.zip external_llvm-f3c0314310f4c82de6467c4fe4ec4114b9281f04.tar.gz external_llvm-f3c0314310f4c82de6467c4fe4ec4114b9281f04.tar.bz2 | |
DataFlowSanitizer: correctly combine labels in the case where they are equal.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@189133 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Instrumentation')
| -rw-r--r-- | test/Instrumentation/DataFlowSanitizer/arith.ll | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/Instrumentation/DataFlowSanitizer/arith.ll b/test/Instrumentation/DataFlowSanitizer/arith.ll index d75c396..dc61896 100644 --- a/test/Instrumentation/DataFlowSanitizer/arith.ll +++ b/test/Instrumentation/DataFlowSanitizer/arith.ll @@ -3,11 +3,12 @@ target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f3 define i8 @add(i8 %a, i8 %b) { ; CHECK: @"dfs$add" - ; CHECK: load{{.*}}__dfsan_arg_tls - ; CHECK: load{{.*}}__dfsan_arg_tls - ; CHECK: call{{.*}}__dfsan_union + ; CHECK-DAG: %[[ALABEL:.*]] = load{{.*}}__dfsan_arg_tls, i64 0, i64 0 + ; CHECK-DAG: %[[BLABEL:.*]] = load{{.*}}__dfsan_arg_tls, i64 0, i64 1 + ; CHECK: %[[UNION:.*]] = call{{.*}}__dfsan_union(i16 zeroext %[[ALABEL]], i16 zeroext %[[BLABEL]]) + ; CHECK: %[[ADDLABEL:.*]] = phi i16 [ %[[UNION]], {{.*}} ], [ %[[ALABEL]], {{.*}} ] ; CHECK: add i8 - ; CHECK: store{{.*}}__dfsan_retval_tls + ; CHECK: store i16 %[[ADDLABEL]], i16* @__dfsan_retval_tls ; CHECK: ret i8 %c = add i8 %a, %b ret i8 %c |