Index: src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.tf |
diff --git a/src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.hex b/src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.tf |
similarity index 62% |
copy from src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.hex |
copy to src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.tf |
index b47a4e0934ae39915752dc5a73e488d04ad70da3..f4052d00d998a6ba58a1b9e9a8e9d66e3fcb293b 100644 |
--- a/src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.hex |
+++ b/src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.tf |
@@ -1,7 +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. |
-44 89 ec |
-4c 01 fc |
+asm: mov %r13d,%esp |
+hex: 44 89 ec |
+ |
+asm: add %r15,%rsp |
+hex: 4c 01 fc |
+ |