OLD | NEW |
| (Empty) |
1 @hex: | |
2 # Model case where the call is aligned so that the return address is aligned t
o 16, but not 32 bytes. | |
3 90 | |
4 90 | |
5 90 | |
6 90 | |
7 90 | |
8 90 | |
9 90 | |
10 90 | |
11 90 | |
12 90 | |
13 90 | |
14 e8 00 00 00 00 | |
15 90 | |
16 @val: | |
17 VALIDATOR: 000000000000000b: e8 00 00 00 00 call
0x10 | |
18 VALIDATOR: WARNING: Bad call alignment, return pc = 10 | |
19 VALIDATOR: Checking jump targets: 0 to 11 | |
20 VALIDATOR: Checking that basic blocks are aligned | |
21 *** <input> is safe *** | |
22 @rval: | |
23 VALIDATOR: 000000000000000b: e8 00 00 00 00 call
0x10 | |
24 VALIDATOR: WARNING: Bad call alignment, return pc = 10 | |
25 VALIDATOR: Checking jump targets: 0 to 11 | |
26 VALIDATOR: Checking that basic blocks are aligned | |
27 *** <input> is safe *** | |
28 @rvald: | |
29 VALIDATOR: 000000000000000b: e8 00 00 00 00 call
0x10 | |
30 VALIDATOR: WARNING: Bad call alignment, return pc = 10 | |
31 VALIDATOR: Checking block alignment and jump targets: 0 to 11 | |
32 *** <input> is safe *** | |
33 @vd-rval: | |
34 VALIDATOR: 000000000000000b: e8 00 00 00 00 call
0x10 | |
35 VALIDATOR: WARNING: Bad call alignment, return pc = 10 | |
36 VALIDATOR: Checking jump targets: 0 to 11 | |
37 VALIDATOR: Checking that basic blocks are aligned | |
38 *** <input> is safe *** | |
39 @dis: | |
40 0000000000000000: 90 nop | |
41 0000000000000001: 90 nop | |
42 0000000000000002: 90 nop | |
43 0000000000000003: 90 nop | |
44 0000000000000004: 90 nop | |
45 0000000000000005: 90 nop | |
46 0000000000000006: 90 nop | |
47 0000000000000007: 90 nop | |
48 0000000000000008: 90 nop | |
49 0000000000000009: 90 nop | |
50 000000000000000a: 90 nop | |
51 000000000000000b: e8 00 00 00 00 call 0x10 | |
52 0000000000000010: 90 nop | |
53 @vdis: | |
54 0000000000000000: 90 [P] dontcare | |
55 0000000000000001: 90 [P] dontcare | |
56 0000000000000002: 90 [P] dontcare | |
57 0000000000000003: 90 [P] dontcare | |
58 0000000000000004: 90 [P] dontcare | |
59 0000000000000005: 90 [P] dontcare | |
60 0000000000000006: 90 [P] dontcare | |
61 0000000000000007: 90 [P] dontcare | |
62 0000000000000008: 90 [P] dontcare | |
63 0000000000000009: 90 [P] dontcare | |
64 000000000000000a: 90 [P] dontcare | |
65 000000000000000b: e8 00 00 00 00 call 0x10 | |
66 0000000000000010: 90 [P] dontcare | |
67 @rdfa_output: | |
68 return code: 0 | |
OLD | NEW |