Index: src/trusted/validator_x86/testdata/64/stosd-bad.tf |
diff --git a/src/trusted/validator_x86/testdata/64/stosd-bad.hex b/src/trusted/validator_x86/testdata/64/stosd-bad.tf |
similarity index 53% |
copy from src/trusted/validator_x86/testdata/64/stosd-bad.hex |
copy to src/trusted/validator_x86/testdata/64/stosd-bad.tf |
index 95509ec52a51b9bc282bdd655a23046537988ddf..4e9a6cf72bd2c7676a29bad20e9b49e2c387fb7b 100644 |
--- a/src/trusted/validator_x86/testdata/64/stosd-bad.hex |
+++ b/src/trusted/validator_x86/testdata/64/stosd-bad.tf |
@@ -1,7 +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 |
-49 8d 3c 3f |
-ab |
+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 |
+ |