| Sean Callanan | 2c48df2 | 2009-12-18 00:01:26 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86-64 | grep testb |
| Dan Gohman | 1337627 | 2009-03-31 01:38:29 +0000 | [diff] [blame] | 2 | |
| 3 | ; Make sure dagcombine doesn't eliminate the comparison due |
| 4 | ; to an off-by-one bug with ComputeMaskedBits information. |
| 5 | |
| 6 | declare void @qux() |
| 7 | |
| 8 | define void @foo(i32 %a) { |
| 9 | %t0 = lshr i32 %a, 23 |
| 10 | br label %next |
| 11 | next: |
| 12 | %t1 = and i32 %t0, 256 |
| 13 | %t2 = icmp eq i32 %t1, 0 |
| 14 | br i1 %t2, label %true, label %false |
| 15 | true: |
| 16 | call void @qux() |
| 17 | ret void |
| 18 | false: |
| 19 | ret void |
| 20 | } |