| Index: src/trusted/validator/x86/testing/tf/converted/64/mov-lea-rbp-bad-3.tf
|
| diff --git a/src/trusted/validator/x86/testing/tf/converted/64/mov-lea-rbp-bad-3.tf b/src/trusted/validator/x86/testing/tf/converted/64/mov-lea-rbp-bad-3.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..d7e335f12521bf7dccf700cff6dd6686a4c87ce1
|
| --- /dev/null
|
| +++ b/src/trusted/validator/x86/testing/tf/converted/64/mov-lea-rbp-bad-3.tf
|
| @@ -0,0 +1,16 @@
|
| +BITS: 64
|
| +OUTCOME: invalid
|
| +
|
| +# Bad example of using lea solution (instead of add) to update rbp.
|
| +# That is, we use a value other than one for the scale associated with the
|
| +# base register r15.
|
| +# mov %ebp, %ecx
|
| +# lea %rbp, [%rbp+%r15*2]
|
| +asm: mov %ecx,%ebp
|
| +hex: 89 cd
|
| +nc_out: ERROR: Illegal assignment to EBP
|
| +
|
| +asm: lea 0x0(%rbp,%r15,2),%rbp
|
| +hex: 4a 8d 6c 7d 00
|
| +nc_out: ERROR: Illegal change to register RBP
|
| +
|
|
|