Index: src/trusted/validator_x86/testdata/64/cmpxchg.tf |
diff --git a/src/trusted/validator_x86/testdata/64/cmpxchg.tf b/src/trusted/validator_x86/testdata/64/cmpxchg.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..e506dd4b638a5376deacff31a75d2c3dd411e15b |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/cmpxchg.tf |
@@ -0,0 +1,18 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
+# mov %ebx, %ebx |
+# cmpxchg %eax, %nacl:(%r15, %rbx) |
+asm: mov %ebx,%ebx; cmpxchg %eax,(%r15,%rbx,1) |
+hex: 89 DB 41 0F B1 04 1F |
+ |
+# mov %ebx, %ebx |
+# cmpxchg8b %nacl:(%r15, %rbx) |
+asm: mov %ebx,%ebx; cmpxchg8b (%r15,%rbx,1) |
+hex: 89 DB 41 0F C7 0C 1F |
+ |
+# mov %ebx, %ebx |
+# cmpxchg16b %nacl:(%r15, %rbx) |
+asm: mov %ebx,%ebx; cmpxchg16b (%r15,%rbx,1) |
+hex: 89 DB 49 0F C7 0C 1F |
+ |