| Index: src/trusted/validator/x86/testing/tf/converted/64/mv_ebp_add_rbp_r15.tf
|
| diff --git a/src/trusted/validator/x86/testing/tf/converted/64/mv_ebp_add_rbp_r15.tf b/src/trusted/validator/x86/testing/tf/converted/64/mv_ebp_add_rbp_r15.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..24ecdd14be341b5ebe4a5e1550f5bbf939bd7310
|
| --- /dev/null
|
| +++ b/src/trusted/validator/x86/testing/tf/converted/64/mv_ebp_add_rbp_r15.tf
|
| @@ -0,0 +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.
|
| +asm: mov %r11d,%ebp; add %r15,%rbp
|
| +hex: 44 89 dd 4c 01 fd
|
| +
|
| +
|
| +
|
| +
|
|
|