Concurrency support for PNaCl ABI

test/NaCl/PNaClABI/instructions.ll

 ; RUN: 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() {
 ; Terminator instructions
 terminators:
  ret void
@@ skipping 57 matching lines @@
 
   ret void
 }
 
 define internal void @memory() {
 ; Memory operations
   %a1 = alloca i8, i32 4
   %ptr = inttoptr i32 0 to i32*
   %a2 = load i32* %ptr, align 1
   store i32 undef, i32* %ptr, align 1
-  fence acq_rel
-  %a3 = cmpxchg i32* %ptr, i32 undef, i32 undef acq_rel
-  %a4 = atomicrmw add i32* %ptr, i32 1 acquire
 ; CHECK-NOT: disallowed
 ; CHECK: disallowed: bad instruction opcode: {{.*}} getelementptr
-  %a5 = getelementptr { i32, i32}* undef
+  %a3 = getelementptr { i32, i32}* undef
   ret void
 }
 
+define internal void @atomic() {
+  %a1 = alloca i8, i32 4
+  %ptr = inttoptr i32 0 to i32*
+ ; CHECK: disallowed: atomic load: {{.*}} load atomic
+  %a2 = load atomic i32* %ptr seq_cst, align 4
+; CHECK: disallowed: volatile load: {{.*}} load volatile
+  %a3 = load volatile i32* %ptr, align 4
+; CHECK: disallowed: atomic store: store atomic
+  store atomic i32 undef, i32* %ptr seq_cst, align 4
+; CHECK: disallowed: volatile store: store volatile
+  store volatile i32 undef, i32* %ptr, align 4
+; CHECK: disallowed: bad instruction opcode: fence
+  fence acq_rel
+; CHECK: disallowed: bad instruction opcode: {{.*}} cmpxchg
+  %a4 = cmpxchg i32* %ptr, i32 undef, i32 undef acq_rel
+; CHECK: disallowed: bad instruction opcode: {{.*}} atomicrmw
+  %a5 = atomicrmw add i32* %ptr, i32 1 acquire
+  ret void
+}
+
 define internal void @conversion() {
 ; Conversion operations
   %a1 = trunc i32 undef to i8
   %a2 = zext i8 undef to i32
   %a3 = sext i8 undef to i32
   %a4 = fptrunc double undef to float
   %a5 = fpext float undef to double
   %a6 = fptoui double undef to i64
   %a7 = fptosi double undef to i64
   %a8 = uitofp i64 undef to double
@@ skipping 57 matching lines @@
 
 define internal void @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