diff options
Diffstat (limited to 'test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll')
| -rw-r--r-- | test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll b/test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll new file mode 100644 index 0000000..6d22754 --- /dev/null +++ b/test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll @@ -0,0 +1,21 @@ +; This testcase can be simplified by "realizing" that alloca can never return +; null. +; RUN: opt < %s -instcombine -simplifycfg | \ +; RUN: llvm-dis | not grep br + +declare i32 @bitmap_clear(...) + +define i32 @oof() { +entry: + %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: ; preds = %entry + %tmp.4 = call i32 (...)* @bitmap_clear( i32* %live_head ) ; <i32> [#uses=0] + br label %UnifiedExitNode + +UnifiedExitNode: ; preds = %then, %entry + ret i32 0 +} + |