; This testcase can be simplified by "realizing" that alloca can never return
; null.
-; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine -simplifycfg | \
-; RUN: llvm-dis | not grep br
+; RUN: opt < %s -instcombine -simplifycfg -S | not grep br
-implementation ; Functions:
+declare i32 @bitmap_clear(...)
-declare int %bitmap_clear(...)
-
-int %oof() {
+define i32 @oof() {
entry:
- %live_head = alloca int ; <int*> [#uses=2]
- %tmp.1 = setne int* %live_head, null ; <bool> [#uses=1]
- br bool %tmp.1, label %then, label %UnifiedExitNode
+ %live_head = alloca i32 ; <i32*> [#uses=2]
+ %tmp.1 = icmp ne i32* %live_head, null ; <i1> [#uses=1]
+ br i1 %tmp.1, label %then, label %UnifiedExitNode
-then:
- %tmp.4 = call int (...)* %bitmap_clear( int* %live_head ) ; <int> [#uses=0]
+then: ; preds = %entry
+ %tmp.4 = call i32 (...)* @bitmap_clear( i32* %live_head ) ; <i32> [#uses=0]
br label %UnifiedExitNode
-UnifiedExitNode:
- ret int 0
+UnifiedExitNode: ; preds = %then, %entry
+ ret i32 0
}