diff options
Diffstat (limited to 'test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll')
-rw-r--r-- | test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll b/test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll index 81594db..209ab1b 100644 --- a/test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll +++ b/test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll @@ -1,23 +1,21 @@ ; This testcase can be simplified by "realizing" that alloca can never return ; null. -; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine -simplifycfg | \ +; RUN: llvm-as < %s | opt -instcombine -simplifycfg | \ ; RUN: llvm-dis | 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 } |