2 # Sample of using lea solution (instead of add) to update rbp.
4 # lea %rbp, [%rbp+%r15*1]
8 VALIDATOR: Checking jump targets: 0 to 7
9 VALIDATOR: Checking that basic blocks are aligned
10 *** <input> is safe ***
12 VALIDATOR: Checking jump targets: 0 to 7
13 VALIDATOR: Checking that basic blocks are aligned
14 *** <input> is safe ***
16 VALIDATOR: Checking block alignment and jump targets: 0 to 7
17 *** <input> is safe ***
19 VALIDATOR: Checking jump targets: 0 to 7
20 VALIDATOR: Checking that basic blocks are aligned
21 *** <input> is safe ***
23 0000000000000000: 89 cd mov %ebp, %ecx
24 0000000000000002: 4a 8d 6c 3d 00 lea %rbp, [%rbp+%r15*1]
26 0000000000000000: 89 cd mov %ebp, %ecx
27 0000000000000002: 4a 8d 6c 3d 00 lea %rbp, [%rbp+%r15*1]