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