diff options
Diffstat (limited to 'test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll')
| -rw-r--r-- | test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll b/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll index 6bcd5c5..eb28c2c 100644 --- a/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll +++ b/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll @@ -3,13 +3,16 @@ target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f3 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 |