| ; RUN: opt < %s -abcd -S | FileCheck %s | |
| define void @test() { | |
| ; CHECK: @test | |
| ; CHECK-NOT: br i1 %tmp95 | |
| ; CHECK: ret void | |
| entry: | |
| br label %bb19 | |
| bb: | |
| br label %bb1 | |
| bb1: | |
| %tmp7 = icmp sgt i32 %tmp94, 1 | |
| br i1 %tmp7, label %bb.i.i, label %return | |
| bb.i.i: | |
| br label %return | |
| bb19: | |
| %tmp94 = ashr i32 undef, 3 | |
| %tmp95 = icmp sgt i32 %tmp94, 16 | |
| br i1 %tmp95, label %bb, label %return | |
| return: | |
| ret void | |
| } |