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