Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(147)

Side by Side Diff: src/trusted/validator_x86/testdata/64/jump_reg_mismatch.test

Issue 625923004: Delete old x86 validator. (Closed) Base URL: svn://svn.chromium.org/native_client/trunk/src/native_client
Patch Set: rebase master Created 6 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
(Empty)
1 @hex:
2 # Models a jump where the mask and the jump registers don't match.
3 # and %ebx, $~0x1f
4 83 e3 e0
5 # add %rbx, %r15
6 4c 01 fb
7 # jmp %rax
8 ff e0
9 @val:
10 VALIDATOR: 0000000000000006: ff e0 jmp %rax
11 VALIDATOR: ERROR: Invalid indirect jump
12 VALIDATOR: Checking jump targets: 0 to 8
13 VALIDATOR: Checking that basic blocks are aligned
14 *** <input> IS UNSAFE ***
15 @rval:
16 VALIDATOR: 0000000000000006: ff e0 jmp %rax
17 VALIDATOR: ERROR: Invalid indirect jump
18 VALIDATOR: Checking jump targets: 0 to 8
19 VALIDATOR: Checking that basic blocks are aligned
20 *** <input> IS UNSAFE ***
21 @rvald:
22 VALIDATOR: 0000000000000006: ff e0 jmp %rax
23 VALIDATOR: ERROR: Invalid indirect jump
24 VALIDATOR: Checking block alignment and jump targets: 0 to 8
25 *** <input> IS UNSAFE ***
26 @vd-rval:
27 VALIDATOR: 0000000000000006: ff e0 [P] dontcarejump %rip (s), %rax (u)
28 VALIDATOR: ERROR: Invalid indirect jump
29 VALIDATOR: Checking jump targets: 0 to 8
30 VALIDATOR: Checking that basic blocks are aligned
31 *** <input> IS UNSAFE ***
32 @dis:
33 0000000000000000: 83 e3 e0 and %ebx, 0xe0
34 0000000000000003: 4c 01 fb add %rbx, %r15
35 0000000000000006: ff e0 jmp %rax
36 @vdis:
37 0000000000000000: 83 e3 e0 and %ebx, 0xe0
38 0000000000000003: 4c 01 fb add %rbx, %r15
39 0000000000000006: ff e0 [P] dontcarejum p %rip (s), %rax (u)
40 @rdfa_output:
41 6: [0] unrecognized instruction
42 return code: 1
43 @validators_disagree:
44 errors reported by rdfa but not old validator:
45 0x0 (both report 0x6).
OLDNEW
« no previous file with comments | « src/trusted/validator_x86/testdata/64/jump_overflow.test ('k') | src/trusted/validator_x86/testdata/64/jump_underflow.test » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698