Reapply r188119 now that the bug it exposed is fixed.

[oota-llvm.git] / test / Instrumentation / DataFlowSanitizer / args-unreachable-bb.ll

diff --git a/test/Instrumentation/DataFlowSanitizer/args-unreachable-bb.ll b/test/Instrumentation/DataFlowSanitizer/args-unreachable-bb.ll
index db3dd835d9a9426a3ccb83f24c06554070ab25c6..b91f321ec74cd600e7bc7366776b87992d37e986 100644 (file)
--- a/test/Instrumentation/DataFlowSanitizer/args-unreachable-bb.ll
+++ b/test/Instrumentation/DataFlowSanitizer/args-unreachable-bb.ll
@@ -1,8 +1,8 @@
 ; RUN: opt < %s -dfsan -verify -dfsan-args-abi -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"
 
-define i8 @unreachable_bb() {
-  ; CHECK: @unreachable_bb
+; CHECK-LABEL: @unreachable_bb1
+define i8 @unreachable_bb1() {
   ; CHECK: ret { i8, i16 } { i8 1, i16 0 }
   ; CHECK-NOT: bb2:
   ; CHECK-NOT: bb3:
@@ -18,3 +18,13 @@ bb3:
 bb4:
   br label %bb3
 }
+
+declare void @abort() noreturn
+
+; CHECK-LABEL: @unreachable_bb2
+define i8 @unreachable_bb2() {
+  call void @abort() noreturn
+  ; CHECK-NOT: i8 12
+  ; CHECK: unreachable
+  ret i8 12
+}