| Index: src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.tf
|
| diff --git a/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.hex b/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.tf
|
| similarity index 71%
|
| copy from src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.hex
|
| copy to src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.tf
|
| index 67affa7d16906a467cbfb1db5b0eea9721057f97..24ecdd14be341b5ebe4a5e1550f5bbf939bd7310 100644
|
| --- a/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.hex
|
| +++ b/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.tf
|
| @@ -1,9 +1,14 @@
|
| +BITS: 64
|
| +OUTCOME: valid
|
| +
|
| # Check that we handle sequence when not crossing block boundaries:
|
| # mov %ebp, %r11d
|
| # add %rbp, %r15"
|
| # Note: Instruction sequence used in mv_ebp_add_crossing.hex to show problems
|
| # when crossing block boundaries.
|
| -44 89 dd 4c 01 fd
|
| +asm: mov %r11d,%ebp; add %r15,%rbp
|
| +hex: 44 89 dd 4c 01 fd
|
| +
|
|
|
|
|
|
|
|
|