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

Side by Side Diff: src/trusted/validator_x86/testdata/64/jump_not_atomic.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 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.
OLDNEW
« no previous file with comments | « src/trusted/validator_x86/testdata/64/jump_atomic.test ('k') | src/trusted/validator_x86/testdata/64/jump_not_atomic_1.test » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698