| Index: src/trusted/validator/x86/testing/tf/converted/32/lock-66-test.tf
|
| diff --git a/src/trusted/validator/x86/testing/tf/converted/32/lock-66-test.tf b/src/trusted/validator/x86/testing/tf/converted/32/lock-66-test.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..461880b418002bbb2cef73757912ea8d077fa403
|
| --- /dev/null
|
| +++ b/src/trusted/validator/x86/testing/tf/converted/32/lock-66-test.tf
|
| @@ -0,0 +1,12 @@
|
| +BITS: 32
|
| +OUTCOME: invalid
|
| +
|
| +# Test that we accept prefix "66 0f" but not "0f 66".o
|
| +# lock addw $0x1,(%eax) -- good order.
|
| +asm: lock addw $0x1,(%eax)
|
| +hex: 66 f0 83 00 01
|
| +
|
| +# lock addw $0x1,(%eax) -- bad order.
|
| +hex: f0 66 83 00 01
|
| +nc_out: Bad prefix usage
|
| +
|
|
|