1; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2; RUN: verify-uselistorder < %s
3
4define <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