1; This testcase can be simplified by "realizing" that alloca can never return 2; null. 3; RUN: opt < %s -instcombine -simplifycfg -S | not grep br 4 5declare i32 @bitmap_clear(...) 6 7define i32 @oof() { 8entry: 9 %live_head = alloca i32 ; <i32*> [#uses=2] 10 %tmp.1 = icmp ne i32* %live_head, null ; <i1> [#uses=1] 11 br i1 %tmp.1, label %then, label %UnifiedExitNode 12 13then: ; preds = %entry 14 %tmp.4 = call i32 (...)* @bitmap_clear( i32* %live_head ) ; <i32> [#uses=0] 15 br label %UnifiedExitNode 16 17UnifiedExitNode: ; preds = %then, %entry 18 ret i32 0 19} 20 21