Index: src/trusted/validator_x86/testdata/64/invalid_base_store.tf |
diff --git a/src/trusted/validator_x86/testdata/64/invalid_base_store.tf b/src/trusted/validator_x86/testdata/64/invalid_base_store.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..91e6f5e41c3b0ee0a5ebfa65219907105a54bbea |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/invalid_base_store.tf |
@@ -0,0 +1,12 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+# Invalid base in memory offset, even though index register is properly defined, |
+# because base isn't R15, RBP, or RSP. |
+asm: and $0xffffffffffffffe0,%ecx |
+hex: 83 e1 e0 |
+ |
+asm: mov %rax,0x36(%r13,%rcx,8) |
+hex: 49 89 44 CD 36 |
+nc_out: ERROR: Invalid base register in memory offset |
+ |