11a6e7708SJoe Abbey; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2c8eccd11SDuncan P. N. Exon Smith; RUN: verify-uselistorder < %s
31a6e7708SJoe Abbey
41a6e7708SJoe Abbeydefine <2 x i32> @main() {
51a6e7708SJoe Abbey  ret <2 x i32> select (<2 x i1> <i1 false, i1 undef>, <2 x i32> zeroinitializer, <2 x i32> <i32 0, i32 undef>)
61a6e7708SJoe Abbey}
71a6e7708SJoe Abbey
81a6e7708SJoe Abbey; CHECK: define <2 x i32> @main() {
92d4ba2ebSNick Lewycky; CHECK:   ret <2 x i32> <i32 0, i32 undef>
101a6e7708SJoe Abbey; CHECK: }
11*984fefddSFilipe Cabecinhas
12*984fefddSFilipe Cabecinhasdefine <2 x float> @f() {
13*984fefddSFilipe Cabecinhas  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*984fefddSFilipe Cabecinhas}
15*984fefddSFilipe Cabecinhas
16*984fefddSFilipe Cabecinhas; CHECK: define <2 x float> @f() {
17*984fefddSFilipe Cabecinhas; 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*984fefddSFilipe Cabecinhas; CHECK: }
19