| Index: src/trusted/validator/x86/testing/tf/converted/64/stosd-bad.tf
|
| diff --git a/src/trusted/validator/x86/testing/tf/converted/64/stosd-bad.tf b/src/trusted/validator/x86/testing/tf/converted/64/stosd-bad.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..4e9a6cf72bd2c7676a29bad20e9b49e2c387fb7b
|
| --- /dev/null
|
| +++ b/src/trusted/validator/x86/testing/tf/converted/64/stosd-bad.tf
|
| @@ -0,0 +1,15 @@
|
| +BITS: 64
|
| +OUTCOME: invalid
|
| +
|
| +# Show an example of an invalid (implicit) reference to a segment register
|
| +# (in this case missing a 32-bit zero extending operation before the LEA):
|
| +#
|
| +# lea %rdi, [%r15+%rdi*1]
|
| +# stosd
|
| +asm: lea (%r15,%rdi,1),%rdi
|
| +hex: 49 8d 3c 3f
|
| +
|
| +asm: stos %eax,%es:(%rdi)
|
| +hex: ab
|
| +nc_out: ERROR: Segment memory reference not allowed
|
| +
|
|
|