Dmitri Gribenko | d7beca8 | 2013-01-01 13:57:25 +0000 | [diff] [blame] | 1 | ; RUN: opt -simplifycfg -disable-output < %s |
Rafael Espindola | 3f60a0b | 2011-05-19 02:35:26 +0000 | [diff] [blame] | 2 | |
| 3 | @foo = external constant i32 |
| 4 | |
| 5 | define i32 @f() { |
| 6 | entry: |
| 7 | br i1 icmp eq (i64 and (i64 ptrtoint (i32* @foo to i64), i64 15), i64 0), label %if.end, label %if.then |
| 8 | |
| 9 | if.then: ; preds = %entry |
| 10 | br label %return |
| 11 | |
| 12 | if.end: ; preds = %entry |
| 13 | br label %return |
| 14 | |
| 15 | return: ; preds = %if.end, %if.then |
| 16 | %storemerge = phi i32 [ 1, %if.end ], [ 0, %if.then ] |
| 17 | ret i32 %storemerge |
| 18 | } |