| Dan Gohman | 0f3ef7be | 2009-09-11 18:17:12 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -sccp -S | not grep select |
| Reid Spencer | 9f9fe70 | 2007-04-13 22:33:10 +0000 | [diff] [blame] | 2 | |
| 3 | @A = constant i32 10 |
| 4 | |
| 5 | define i712 @test1() { |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 6 | %P = getelementptr i32, i32* @A, i32 0 |
| Reid Spencer | 9f9fe70 | 2007-04-13 22:33:10 +0000 | [diff] [blame] | 7 | %B = ptrtoint i32* %P to i64 |
| 8 | %BB = and i64 %B, undef |
| 9 | %C = icmp sge i64 %BB, 0 |
| 10 | %X = select i1 %C, i712 0, i712 1 |
| 11 | ret i712 %X |
| 12 | } |
| 13 | |
| 14 | |
| 15 | |
| 16 | define i712 @test2(i1 %C) { |
| 17 | %X = select i1 %C, i712 0, i712 undef |
| 18 | ret i712 %X |
| 19 | } |
| 20 | |
| 21 | |