1; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
2; Rudimentary test of select on vectors returning vector of bool
3
4; CHECK: @foo
5; CHECK: select <4 x i1> %cond, <4 x i32> %a, <4 x i32> %b
6define <4 x i32> @foo(<4 x i32> %a, <4 x i32> %b, <4 x i1> %cond) nounwind  {
7entry:
8  %cmp = select <4 x i1>  %cond, <4 x i32> %a, <4 x i32> %b
9  ret <4 x i32> %cmp
10}
11
12