blob: 4621f6e152ad3ad7b8c41b77abc7e43b34b498e6 [file] [log] [blame]
Evan Cheng826b6f02009-03-31 20:42:45 +00001; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep select | count 2
2
3; Make sure instcombine don't fold select into operands. We don't want to emit
4; select of two integers unless it's selecting 0 / 1.
5
6define i32 @t1(i32 %c, i32 %x) nounwind {
7 %t1 = icmp eq i32 %c, 0
8 %t2 = lshr i32 %x, 18
9 %t3 = select i1 %t1, i32 %t2, i32 %x
10 ret i32 %t3
11}
12
13define i32 @t2(i32 %c, i32 %x) nounwind {
14 %t1 = icmp eq i32 %c, 0
15 %t2 = and i32 %x, 18
16 %t3 = select i1 %t1, i32 %t2, i32 %x
17 ret i32 %t3
18}