Index: src/trusted/validator/x86/testing/tf/converted/64/mov_esp_add_rsp_r15.tf |
diff --git a/src/trusted/validator/x86/testing/tf/converted/64/mov_esp_add_rsp_r15.tf b/src/trusted/validator/x86/testing/tf/converted/64/mov_esp_add_rsp_r15.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f4052d00d998a6ba58a1b9e9a8e9d66e3fcb293b |
--- /dev/null |
+++ b/src/trusted/validator/x86/testing/tf/converted/64/mov_esp_add_rsp_r15.tf |
@@ -0,0 +1,14 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
+# Show example of: |
+# mov %esp, %r13d |
+# add %rsp, %r15 |
+# Should be legal since the mov zero extends a 32-bit address for a legal value for the corresponding |
+# rsp. |
+asm: mov %r13d,%esp |
+hex: 44 89 ec |
+ |
+asm: add %r15,%rsp |
+hex: 4c 01 fc |
+ |