-; RUN: opt < %s -internalize -ipsccp -S | FileCheck %s
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -passes=internalize,ipsccp %s | FileCheck %s
; PR5569
; IPSCCP should prove that the blocks are dead and delete them, and
@bar.l = internal constant [2 x i8*] [i8* blockaddress(@bar, %lab0), i8* blockaddress(@bar, %end)] ; <[2 x i8*]*> [#uses=1]
define void @foo(i32 %x) nounwind readnone {
+; CHECK-LABEL: @foo(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: unreachable
+;
entry:
%b = alloca i32, align 4 ; <i32*> [#uses=1]
store volatile i32 -1, i32* %b
}
define void @bar(i32* nocapture %pc) nounwind readonly {
+; CHECK-LABEL: @bar(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: unreachable
+;
entry:
br label %indirectgoto
}
define i32 @main() nounwind readnone {
+; CHECK-LABEL: @main(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: unreachable
+;
entry:
ret i32 0
}