Index: src/trusted/validator/x86/testing/tf/converted/64/add_rsp_r15.tf |
diff --git a/src/trusted/validator/x86/testing/tf/converted/64/add_rsp_r15.tf b/src/trusted/validator/x86/testing/tf/converted/64/add_rsp_r15.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..858cc0d742a5353a8668810c32d8b255c28f7eee |
--- /dev/null |
+++ b/src/trusted/validator/x86/testing/tf/converted/64/add_rsp_r15.tf |
@@ -0,0 +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. |
+asm: add %r15,%rsp |
+hex: 4c 01 fc |
+nc_out: ERROR: Illegal assignment to RSP |
+ |