; RUN: llvm-as %s -o /dev/null
define i32 @test(i1 %C, i32 %V1, i32 %V2) {
%X = select i1 true, i1 false, i1 true ; <i1> [#uses=1]
%V = select i1 %X, i32 %V1, i32 %V2 ; <i32> [#uses=1]
ret i32 %V
}