Chromium Code Reviews| 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 |
| + |