test/Transforms/InstCombine/select-2.ll

   1 ; RUN: opt < %s -instcombine -S | 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
   6 define 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
  13 define 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 }