| Index: src/trusted/validator_x86/testdata/64/mov-lea-rsp.tf
|
| diff --git a/src/trusted/validator_x86/testdata/64/mov-lea-rsp.hex b/src/trusted/validator_x86/testdata/64/mov-lea-rsp.tf
|
| similarity index 50%
|
| copy from src/trusted/validator_x86/testdata/64/mov-lea-rsp.hex
|
| copy to src/trusted/validator_x86/testdata/64/mov-lea-rsp.tf
|
| index d74f89b2574b5d4419b587a94efdcc1468710ec1..b3da5835bb2749eba3ff9cba183b44266208eaee 100644
|
| --- a/src/trusted/validator_x86/testdata/64/mov-lea-rsp.hex
|
| +++ b/src/trusted/validator_x86/testdata/64/mov-lea-rsp.tf
|
| @@ -1,5 +1,12 @@
|
| +BITS: 64
|
| +OUTCOME: valid
|
| +
|
| # Sample of using lea solution (instead of add) to update rsp.
|
| # mov %esp, %ecx
|
| # lea %rsp, [%rsp+%r15*1]
|
| -89 cc
|
| -4a 8d 24 3c
|
| +asm: mov %ecx,%esp
|
| +hex: 89 cc
|
| +
|
| +asm: lea (%rsp,%r15,1),%rsp
|
| +hex: 4a 8d 24 3c
|
| +
|
|
|