Index: src/trusted/validator_x86/testdata/64/invalid_base.tf |
diff --git a/src/trusted/validator_x86/testdata/64/invalid_base.tf b/src/trusted/validator_x86/testdata/64/invalid_base.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..7816d434e8cf555360aa6d36c2c33a84908822d6 |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/invalid_base.tf |
@@ -0,0 +1,10 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+# Invalid base register in memory offset, since it isn't R15, RBP, or RSP. |
+asm: mov %rax,0x36(%rbx) |
+hex: 48 89 43 36 |
+nc_out: ERROR: Invalid base register in memory offset |
+ |
+ |
+ |