test/Bitcode/select.ll

   1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   2 ; RUN: verify-uselistorder < %s
   3
   4 define <2 x i32> @main() {
   5   ret <2 x i32> select (<2 x i1> <i1 false, i1 undef>, <2 x i32> zeroinitializer, <2 x i32> <i32 0, i32 undef>)
   6 }
   7
   8 ; CHECK: define <2 x i32> @main() {
   9 ; CHECK:   ret <2 x i32> <i32 0, i32 undef>
  10 ; CHECK: }
  11
  12 define <2 x float> @f() {
  13   ret <2 x float> select (i1 ptrtoint (<2 x float> ()* @f to i1), <2 x float> <float 1.000000e+00, float 0.000000e+00>, <2 x float> zeroinitializer)
  14 }
  15
  16 ; CHECK: define <2 x float> @f() {
  17 ; CHECK:   ret <2 x float> select (i1 ptrtoint (<2 x float> ()* @f to i1), <2 x float> <float 1.000000e+00, float 0.000000e+00>, <2 x float> zeroinitializer)
  18 ; CHECK: }