Index: src/trusted/validator_x86/testdata/64/add_rsp_r15.tf |
diff --git a/src/trusted/validator_x86/testdata/64/add_rsp_r15.hex b/src/trusted/validator_x86/testdata/64/add_rsp_r15.tf |
similarity index 59% |
copy from src/trusted/validator_x86/testdata/64/add_rsp_r15.hex |
copy to src/trusted/validator_x86/testdata/64/add_rsp_r15.tf |
index 890a9ada1da2fd6312810850f27d8e8132ea0158..858cc0d742a5353a8668810c32d8b255c28f7eee 100644 |
--- a/src/trusted/validator_x86/testdata/64/add_rsp_r15.hex |
+++ b/src/trusted/validator_x86/testdata/64/add_rsp_r15.tf |
@@ -1,3 +1,9 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
# Show that "add %rsp, %r15" doesn't work without proper previous instruction. |
# See test lea-add-rsp.dis for an example of a proper previous instruction. |
-4c 01 fc |
+asm: add %r15,%rsp |
+hex: 4c 01 fc |
+nc_out: ERROR: Illegal assignment to RSP |
+ |