PNaCl SIMD: allow the bitcode reader to read select instructions properly

test/NaCl/PNaClABI/instructions.ll

 ; RUN: not pnacl-abicheck < %s | FileCheck %s
 ; Test instruction opcodes allowed by PNaCl ABI
 
 target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:32"
 target triple = "le32-unknown-nacl"
 
 define internal void @terminators() {
 ; CHECK: ERROR: Function terminators
 ; Terminator instructions
 terminators:
@@ skipping 250 matching lines @@
   %phi8 = phi i8 [0, %entry], [0, %foo]
   %phi16 = phi i16 [0, %entry], [0, %foo]
   %phi32 = phi i32 [0, %entry], [0, %foo]
   %phi64 = phi i64 [0, %entry], [0, %foo]
   %vphi4x1 = phi <4 x i1> [undef, %entry], [undef, %foo]
   %vphi8x1 = phi <8 x i1> [undef, %entry], [undef, %foo]
   %vphi16x1 = phi <16 x i1> [undef, %entry], [undef, %foo]
   %vphi8 = phi <16 x i8> [undef, %entry], [undef, %foo]
   %vphi16 = phi <8 x i16> [undef, %entry], [undef, %foo]
   %vphi32 = phi <4 x i32> [undef, %entry], [undef, %foo]
+
   %select = select i1 true, i8 undef, i8 undef
+
   %vselect4x1 = select i1 true, <4 x i1> undef, <4 x i1> undef
   %vselect8x1 = select i1 true, <8 x i1> undef, <8 x i1> undef
   %vselect16x1 = select i1 true, <16 x i1> undef, <16 x i1> undef
   %vselect8 = select i1 true, <16 x i8> undef, <16 x i8> undef
   %vselect16 = select i1 true, <8 x i16> undef, <8 x i16> undef
   %vselect32 = select i1 true, <4 x i32> undef, <4 x i32> undef
+
+  %vvselect4x1 = select <4 x i1> undef, <4 x i1> undef, <4 x i1> undef
+  %vvselect8x1 = select <8 x i1> undef, <8 x i1> undef, <8 x i1> undef
+  %vvselect16x1 = select <16 x i1> undef, <16 x i1> undef, <16 x i1> undef
+  %vvselect8 = select <16 x i1> undef, <16 x i8> undef, <16 x i8> undef
+  %vvselect16 = select <8 x i1> undef, <8 x i16> undef, <8 x i16> undef
+  %vvselect32 = select <4 x i1> undef, <4 x i32> undef, <4 x i32> undef
+
   call void @conversion()
   br i1 undef, label %foo, label %bar
 bar:
   ret void
 }
 ; CHECK-NOT: disallowed
 
 define internal void @throwing_func() {
 ; CHECK-NOT: Function throwing_func
   ret void
@@ skipping 44 matching lines @@
 define internal void @inline_asm() {
 ; CHECK: ERROR: Function inline_asm
   call void asm "foo", ""()
   ret void
 }
 ; CHECK-NOT: disallowed
 ; CHECK: disallowed: inline assembly: call void asm "foo", ""()
 
 ; CHECK-NOT: disallowed
 ; If another check is added, there should be a check-not in between each check