Index: test/NaCl/PNaClABI/instructions.ll |
diff --git a/test/NaCl/PNaClABI/instructions.ll b/test/NaCl/PNaClABI/instructions.ll |
index 49e8df512630ab4a7c92e8ddd359e2c814c098d4..c76301fecb0a6702fde37b9f32da21cd5bf065e0 100644 |
--- a/test/NaCl/PNaClABI/instructions.ll |
+++ b/test/NaCl/PNaClABI/instructions.ll |
@@ -75,12 +75,23 @@ define void @memory() { |
%ptr = inttoptr i32 0 to i32* |
%a2 = load i32* %ptr, align 1 |
store i32 undef, i32* %ptr, align 1 |
+; CHECK: disallowed: atomic: {{.*}} load atomic |
Mark Seaborn
2013/06/26 14:33:41
For readability, can you put all these atomic case
JF
2013/06/26 15:52:29
Done.
|
+ %a3 = load atomic i32* %ptr seq_cst, align 4 |
+; CHECK: disallowed: volatile: {{.*}} load volatile |
+ %a4 = load volatile i32* %ptr, align 4 |
+; CHECK: disallowed: atomic: store atomic |
+ store atomic i32 undef, i32* %ptr seq_cst, align 4 |
+; CHECK: disallowed: volatile: store volatile |
+ store volatile i32 undef, i32* %ptr, align 4 |
+; CHECK: disallowed: bad instruction opcode: fence |
fence acq_rel |
- %a3 = cmpxchg i32* %ptr, i32 undef, i32 undef acq_rel |
- %a4 = atomicrmw add i32* %ptr, i32 1 acquire |
+; CHECK: disallowed: bad instruction opcode: {{.*}} cmpxchg |
+ %a5 = cmpxchg i32* %ptr, i32 undef, i32 undef acq_rel |
+; CHECK: disallowed: bad instruction opcode: {{.*}} atomicrmw |
+ %a6 = atomicrmw add i32* %ptr, i32 1 acquire |
; CHECK-NOT: disallowed |
; CHECK: disallowed: bad instruction opcode: {{.*}} getelementptr |
- %a5 = getelementptr { i32, i32}* undef |
+ %a7 = getelementptr { i32, i32}* undef |
ret void |
} |