| ; This testcase can be simplified by "realizing" that alloca can never return |
| ; null. |
| ; RUN: opt < %s -passes=instcombine,simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s |
| ; CHECK-NOT: br |
| |
| declare i32 @bitmap_clear(...) |
| |
| define i32 @oof() { |
| entry: |
| %live_head = alloca i32 ; <ptr> [#uses=2] |
| %tmp.1 = icmp ne ptr %live_head, null ; <i1> [#uses=1] |
| br i1 %tmp.1, label %then, label %UnifiedExitNode |
| |
| then: ; preds = %entry |
| %tmp.4 = call i32 (...) @bitmap_clear( ptr %live_head ) ; <i32> [#uses=0] |
| br label %UnifiedExitNode |
| |
| UnifiedExitNode: ; preds = %then, %entry |
| ret i32 0 |
| } |
| |
