diff options
Diffstat (limited to 'test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll')
| -rw-r--r-- | test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll b/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll index 6bcd5c5f0c18..16de9ccf0d53 100644 --- a/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll +++ b/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll @@ -1,15 +1,19 @@ ; RUN: opt < %s -dfsan -dfsan-args-abi -dfsan-debug-nonzero-labels -S | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" declare i32 @g() -; CHECK: define { i32, i16 } @"dfs$f"(i32, i16) -define i32 @f(i32) { +; CHECK: define { i32, i16 } @"dfs$f"(i32, i32, i16, i16) +define i32 @f(i32, i32) { ; CHECK: [[LOCALLABELALLOCA:%.*]] = alloca i16 - ; CHECK: [[ARGCMP:%.*]] = icmp ne i16 %1, 0 - ; CHECK: br i1 [[ARGCMP]] %i = alloca i32 - store i32 %0, i32* %i + ; CHECK: [[ARGCMP1:%.*]] = icmp ne i16 %3, 0 + ; CHECK: br i1 [[ARGCMP1]] + ; CHECK: [[ARGCMP2:%.*]] = icmp ne i16 %2, 0 + ; CHECK: br i1 [[ARGCMP2]] + %x = add i32 %0, %1 + store i32 %x, i32* %i ; CHECK: [[CALL:%.*]] = call { i32, i16 } @"dfs$g"() ; CHECK: [[CALLLABEL:%.*]] = extractvalue { i32, i16 } [[CALL]], 1 ; CHECK: [[CALLCMP:%.*]] = icmp ne i16 [[CALLLABEL]], 0 |