Index: src/trusted/validator_x86/testdata/64/data66prefix.tf |
diff --git a/src/trusted/validator_x86/testdata/64/data66prefix.tf b/src/trusted/validator_x86/testdata/64/data66prefix.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..7fba21f12b195af8f88ee733595dfffbb8b8f357 |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/data66prefix.tf |
@@ -0,0 +1,21 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+# Example showing that we don't default to non-66 prefix, when there non-66 |
+# prefix form doesn't allow opt-in 66 prefix. |
+# |
+# pslldq without 66 prefix. |
+hex: 0f 73 ff 00 |
+nc_out: ERROR: This instruction has been marked illegal by Native Client |
+nc_out: ERROR: Opcode sequence doesn't define a valid x86 instruction |
+nc_out: [at +3] ERROR: Invalid base register in memory offset |
+ |
+ |
+# filler bytes so that decoder realigns and matches an instruction. |
+hex: 66 0f |
+ |
+ |
+# pslldq with proper 66 prefix. |
+asm: pslldq $0x0,%xmm7 |
+hex: 66 0f 73 ff 00 |
+ |