Add the new @llvm.nacl.atomic.fence.all intrinsic

test/Transforms/NaCl/resolve-pnacl-intrinsics.ll

 ; RUN: opt < %s -resolve-pnacl-intrinsics -S | FileCheck %s -check-prefix=CLEANED
 ; RUN: opt < %s -resolve-pnacl-intrinsics -S | FileCheck %s
 
 ; CLEANED-NOT: call i32 @llvm.nacl.setjmp
 ; CLEANED-NOT: call void @llvm.nacl.longjmp
 ; CLEANED-NOT: call {{.*}} @llvm.nacl.atomic
 
 declare i32 @llvm.nacl.setjmp(i8*)
 declare void @llvm.nacl.longjmp(i8*, i32)
 
@@ skipping 11 matching lines @@
 declare void @llvm.nacl.atomic.store.i64(i64, i64*, i32)
 declare i8 @llvm.nacl.atomic.rmw.i8(i32, i8*, i8, i32)
 declare i16 @llvm.nacl.atomic.rmw.i16(i32, i16*, i16, i32)
 declare i32 @llvm.nacl.atomic.rmw.i32(i32, i32*, i32, i32)
 declare i64 @llvm.nacl.atomic.rmw.i64(i32, i64*, i64, i32)
 declare i8 @llvm.nacl.atomic.cmpxchg.i8(i8*, i8, i8, i32, i32)
 declare i16 @llvm.nacl.atomic.cmpxchg.i16(i16*, i16, i16, i32, i32)
 declare i32 @llvm.nacl.atomic.cmpxchg.i32(i32*, i32, i32, i32, i32)
 declare i64 @llvm.nacl.atomic.cmpxchg.i64(i64*, i64, i64, i32, i32)
 declare void @llvm.nacl.atomic.fence(i32)
+declare void @llvm.nacl.atomic.fence.all()
 declare i1 @llvm.nacl.atomic.is.lock.free(i32, i8*)
 
 ; These declarations must be here because the function pass expects
 ; to find them. In real life they're inserted by the translator
 ; before the function pass runs.
 declare i32 @setjmp(i8*)
 declare void @longjmp(i8*, i32)
 
 define i32 @call_setjmp(i8* %arg) {
   %val = call i32 @llvm.nacl.setjmp(i8* %arg)
@@ skipping 44 matching lines @@
   ret i32 %1
 }
 
 ; CHECK: @test_val_compare_and_swap_i32
 define i32 @test_val_compare_and_swap_i32(i32* %ptr, i32 %oldval, i32 %newval) {
   ; CHECK: %1 = cmpxchg i32* %ptr, i32 %oldval, i32 %newval seq_cst
   %1 = call i32 @llvm.nacl.atomic.cmpxchg.i32(i32* %ptr, i32 %oldval, i32 %newval, i32 6, i32 6)
   ret i32 %1
 }
 
-; CHECK: @test_synchronize
-define void @test_synchronize() {
+; CHECK: @test_c11_fence
+define void @test_c11_fence() {
   ; CHECK: fence seq_cst
   call void @llvm.nacl.atomic.fence(i32 6)
   ret void
 }
 
+; CHECK: @test_synchronize
+define void @test_synchronize() {
+  ; CHECK: call void asm sideeffect "", "~{memory}"()
+  ; CHECK: fence seq_cst
+  ; CHECK: call void asm sideeffect "", "~{memory}"()
+  call void @llvm.nacl.atomic.fence.all()
+  ret void
+}
+
 ; CHECK: @test_is_lock_free_1
 define i1 @test_is_lock_free_1(i8* %ptr) {
   ; CHECK: ret i1 {{true|false}}
   %res = call i1 @llvm.nacl.atomic.is.lock.free(i32 1, i8* %ptr)
   ret i1 %res
 }
 
 ; CHECK: @test_is_lock_free_2
 define i1 @test_is_lock_free_2(i16* %ptr) {
   ; CHECK: ret i1 {{true|false}}
@@ skipping 81 matching lines @@
   %1 = call i64 @llvm.nacl.atomic.load.i64(i64* %ptr, i32 6)
   ret i64 %1
 }
 
 ; CHECK: @test_atomic_store_i64
 define void @test_atomic_store_i64(i64* %ptr, i64 %value) {
   ; CHECK: store atomic i64 %value, i64* %ptr seq_cst, align 8
   call void @llvm.nacl.atomic.store.i64(i64 %value, i64* %ptr, i32 6)
   ret void
 }