| 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
|
| +
|
|
|