Dan Gohman | cabfea2 | 2009-09-11 18:17:12 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -sccp -S | not grep select |
Reid Spencer | c6b9efa | 2007-04-13 22:33:10 +0000 | [diff] [blame] | 2 | |
3 | @A = constant i32 10 | ||||
4 | |||||
5 | define i712 @test1() { | ||||
6 | %P = getelementptr i32* @A, i32 0 | ||||
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 |