Concurrency support for PNaCl ABI

test/NaCl/PNaClABI/abi-stripped-pointers.ll

 ; RUN: pnacl-abicheck < %s | FileCheck %s
 
 ; This test checks that the PNaCl ABI verifier enforces the normal
 ; form introduced by the ReplacePtrsWithInts pass.
 
 
 @var = global [4 x i8] c"xxxx"
 @ptr = global i32 ptrtoint ([4 x i8]* @var to i32)
 
 declare i8* @llvm.nacl.read.tp()
@@ skipping 23 matching lines @@
 
   ptrtoint [4 x i8]* @var to i32
 
   %alloc = alloca i8
   ptrtoint i8* %alloc to i32
   load i8* %alloc, align 1
 
   ; These instructions may use a NormalizedPtr, which may be a global.
   load i32* @ptr, align 1
   store i32 123, i32* @ptr, align 1
-  cmpxchg i32* @ptr, i32 1, i32 2 seq_cst
-  atomicrmw add i32* @ptr, i32 3 seq_cst
 
   ; A NormalizedPtr may be a bitcast.
   %ptr_bitcast = bitcast [4 x i8]* @var to i32*
   load i32* %ptr_bitcast, align 1
 
   ; A NormalizedPtr may be an inttoptr.
   %ptr_from_int = inttoptr i32 123 to i32*
   load i32* %ptr_from_int, align 1
 
   ; Check direct and indirect function calls.
@@ skipping 69 matching lines @@
 ; CHECK-NEXT: bad operand
 
   ; Taking the address of an intrinsic is not allowed.
   ptrtoint i8* ()* @llvm.nacl.read.tp to i32
 ; CHECK-NEXT: operand not InherentPtr
 
   ret void
 }
 
 ; CHECK-NOT: disallowed