PNaCl SIMD: allow element-aligned vector load/store

test/NaCl/PNaClABI/abi-i1-operations.ll

 ; RUN: not pnacl-abicheck < %s | FileCheck %s
 
 ; Most arithmetic operations are not very useful on i1, so use of i1
 ; is restricted to a subset of operations.
 
 
 ; i1 is allowed on these bitwise operations because:
 ;  * These operations never overflow.
 ;  * They do get generated in practice for combining conditions.
 define internal void @allowed_cases() {
@@ skipping 15 matching lines @@
   ret void
 }
 ; CHECK-NOT: disallowed
 
 
 define internal void @rejected_cases(i32 %ptr) {
   ; Loads and stores of i1 are disallowed.  This is done by rejecting
   ; i1* as a pointer type.
   %ptr.p = inttoptr i32 %ptr to i1*
 ; CHECK: disallowed: bad result type: i1* %ptr.p = inttoptr
-  %vptr.p = inttoptr i32 %ptr to <4 x i1>*
-; CHECK: disallowed: bad result type: <4 x i1>* %vptr.p = inttoptr

[jvoung (off chromium), 2014/06/10 16:28:32]

I thought <N x i1> pointer were still disallowed?

Or this is moved to a different test?

[JF, 2014/06/10 18:26:29]

Good catch. I started off by removing it, then forgot to put it back here. Done.

   load i1* %ptr.p, align 1
 ; CHECK-NEXT: disallowed: bad pointer: {{.*}} load i1*
-  load <4 x i1>* %vptr.p, align 4
-; CHECK-NEXT: disallowed: bad pointer: {{.*}} load <4 x i1>*
 
   ; i1 arithmetic is of dubious usefulness, so it is rejected.
   add i1 0, 0
 ; CHECK-NEXT: disallowed: arithmetic on i1: {{.*}} add i1
   sub i1 0, 0
 ; CHECK-NEXT: disallowed: arithmetic on i1: {{.*}} sub i1
   mul i1 0, 0
 ; CHECK-NEXT: disallowed: arithmetic on i1: {{.*}} mul i1
   udiv i1 0, 0
 ; CHECK-NEXT: disallowed: arithmetic on i1: {{.*}} udiv i1
@@ skipping 93 matching lines @@
 ; CHECK-NEXT: disallowed: alloca array size is not i32
 
   ; Switch on i1 is not useful.  "br" should be used instead.
   switch i1 0, label %next [i1 0, label %next]
 ; CHECK-NEXT: disallowed: switch on i1
 next:
 
   ret void
 }
 ; CHECK-NOT: disallowed