| Owen Anderson | cd1c8db | 2009-11-09 00:44:44 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -abcd -S | FileCheck %s |
| 2 | |||||
| 3 | define void @test() { | ||||
| 4 | ; CHECK: @test | ||||
| 5 | ; CHECK-NOT: br i1 %tmp95 | ||||
| 6 | ; CHECK: ret void | ||||
| 7 | entry: | ||||
| 8 | br label %bb19 | ||||
| 9 | |||||
| 10 | bb: | ||||
| 11 | br label %bb1 | ||||
| 12 | |||||
| 13 | bb1: | ||||
| 14 | %tmp7 = icmp sgt i32 %tmp94, 1 | ||||
| 15 | br i1 %tmp7, label %bb.i.i, label %return | ||||
| 16 | |||||
| 17 | bb.i.i: | ||||
| 18 | br label %return | ||||
| 19 | |||||
| 20 | bb19: | ||||
| 21 | %tmp94 = ashr i32 undef, 3 | ||||
| 22 | %tmp95 = icmp sgt i32 %tmp94, 16 | ||||
| 23 | br i1 %tmp95, label %bb, label %return | ||||
| 24 | |||||
| 25 | return: | ||||
| 26 | ret void | ||||
| 27 | } | ||||