2 # An example of a RIP relative address.
3 # mov [%rip+0x3a7fe5], 0x1
6 VALIDATOR: Checking jump targets: 0 to 7
7 VALIDATOR: Checking that basic blocks are aligned
8 *** <input> is safe ***
10 VALIDATOR: Checking jump targets: 0 to 7
11 VALIDATOR: Checking that basic blocks are aligned
12 *** <input> is safe ***
14 VALIDATOR: Checking block alignment and jump targets: 0 to 7
15 *** <input> is safe ***
17 VALIDATOR: Checking jump targets: 0 to 7
18 VALIDATOR: Checking that basic blocks are aligned
19 *** <input> is safe ***
21 0000000000000000: c6 05 e5 7f 3a 00 01 mov [%rip+0x3a7fe5], 0x1
23 0000000000000000: c6 05 e5 7f 3a 00 01 mov [%rip+0x3a7fe5], 0x1