OLD | NEW |
| (Empty) |
1 @hex: | |
2 # Models a jump into the middle of an atomic instruction sequence. | |
3 EB 03 | |
4 83 e2 e0 | |
5 4c 01 fa | |
6 ff e2 | |
7 @val: | |
8 VALIDATOR: Checking jump targets: 0 to a | |
9 VALIDATOR: ERROR: 5: Bad jump target | |
10 VALIDATOR: Checking that basic blocks are aligned | |
11 *** <input> IS UNSAFE *** | |
12 @rval: | |
13 VALIDATOR: Checking jump targets: 0 to a | |
14 VALIDATOR: ERROR: 5: Bad jump target | |
15 VALIDATOR: Checking that basic blocks are aligned | |
16 *** <input> IS UNSAFE *** | |
17 @rvala: | |
18 VALIDATOR: Checking jump targets: 0 to a | |
19 VALIDATOR: 5: Bad jump target | |
20 VALIDATOR: Checking that basic blocks are aligned | |
21 *** <input> IS UNSAFE *** | |
22 @rvald: | |
23 VALIDATOR: Checking block alignment and jump targets: 0 to a | |
24 VALIDATOR: 0000000000000000: eb 03 jmp
0x5 | |
25 VALIDATOR: ERROR: Jumps into middle of nacl pattern | |
26 *** <input> IS UNSAFE *** | |
27 @vd-rval: | |
28 VALIDATOR: Checking jump targets: 0 to a | |
29 VALIDATOR: ERROR: 5: Bad jump target | |
30 VALIDATOR: Checking that basic blocks are aligned | |
31 *** <input> IS UNSAFE *** | |
32 @dis: | |
33 0000000000000000: eb 03 jmp 0x5 | |
34 0000000000000002: 83 e2 e0 and %edx, 0xe0 | |
35 0000000000000005: 4c 01 fa add %rdx, %r15 | |
36 0000000000000008: ff e2 jmp %rdx | |
37 @vdis: | |
38 0000000000000000: eb 03 [P] dontcarejum
p %rip (s), 0x5 (u) | |
39 0000000000000002: 83 e2 e0 and %edx, 0xe0 | |
40 0000000000000005: 4c 01 fa add %rdx, %r15 | |
41 0000000000000008: ff e2 [P] dontcarejum
p %rip (s), %rdx (u) | |
42 @rdfa_output: | |
43 0: [0] bad jump target | |
44 return code: 1 | |
45 @validators_disagree: | |
46 Because rdfaval reported jump location, not jump target. | |
OLD | NEW |