OLD | NEW |
| (Empty) |
1 @hex: | |
2 # Models a jump to the begining of an atomic instruction sequence. | |
3 # jmp 0x2 | |
4 EB 00 | |
5 # and %edx, 0xe0 | |
6 83 e2 e0 \\ | |
7 # add %rdx, %r15 | |
8 4c 01 fa \\ | |
9 # jmp %rdx | |
10 ff e2 | |
11 @val: | |
12 VALIDATOR: Checking jump targets: 0 to a | |
13 VALIDATOR: Checking that basic blocks are aligned | |
14 *** <input> is safe *** | |
15 @rval: | |
16 VALIDATOR: Checking jump targets: 0 to a | |
17 VALIDATOR: Checking that basic blocks are aligned | |
18 *** <input> is safe *** | |
19 @rvald: | |
20 VALIDATOR: Checking block alignment and jump targets: 0 to a | |
21 *** <input> is safe *** | |
22 @vd-rval: | |
23 VALIDATOR: Checking jump targets: 0 to a | |
24 VALIDATOR: Checking that basic blocks are aligned | |
25 *** <input> is safe *** | |
26 @dis: | |
27 0000000000000000: eb 00 jmp 0x2 | |
28 0000000000000002: 83 e2 e0 and %edx, 0xe0 | |
29 0000000000000005: 4c 01 fa add %rdx, %r15 | |
30 0000000000000008: ff e2 jmp %rdx | |
31 @vdis: | |
32 0000000000000000: eb 00 [P] dontcarejum
p %rip (s), 0x2 (u) | |
33 0000000000000002: 83 e2 e0 and %edx, 0xe0 | |
34 0000000000000005: 4c 01 fa add %rdx, %r15 | |
35 0000000000000008: ff e2 [P] dontcarejum
p %rip (s), %rdx (u) | |
36 @rdfa_output: | |
37 return code: 0 | |
OLD | NEW |