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

Unified 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 side-by-side diff with in-line comments
Download patch
Index: src/trusted/validator_x86/testdata/64/jump_not_atomic.test
diff --git a/src/trusted/validator_x86/testdata/64/jump_not_atomic.test b/src/trusted/validator_x86/testdata/64/jump_not_atomic.test
deleted file mode 100644
index c11a715ad9001c2f3f0deb1cfaa10fc56bcbf35f..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/jump_not_atomic.test
+++ /dev/null
@@ -1,46 +0,0 @@
-@hex:
- # Models a jump into the middle of an atomic instruction sequence.
- EB 03
- 83 e2 e0
- 4c 01 fa
- ff e2
-@val:
- VALIDATOR: Checking jump targets: 0 to a
- VALIDATOR: ERROR: 5: Bad jump target
- VALIDATOR: Checking that basic blocks are aligned
- *** <input> IS UNSAFE ***
-@rval:
- VALIDATOR: Checking jump targets: 0 to a
- VALIDATOR: ERROR: 5: Bad jump target
- VALIDATOR: Checking that basic blocks are aligned
- *** <input> IS UNSAFE ***
-@rvala:
- VALIDATOR: Checking jump targets: 0 to a
- VALIDATOR: 5: Bad jump target
- VALIDATOR: Checking that basic blocks are aligned
- *** <input> IS UNSAFE ***
-@rvald:
- VALIDATOR: Checking block alignment and jump targets: 0 to a
- VALIDATOR: 0000000000000000: eb 03 jmp 0x5
- VALIDATOR: ERROR: Jumps into middle of nacl pattern
- *** <input> IS UNSAFE ***
-@vd-rval:
- VALIDATOR: Checking jump targets: 0 to a
- VALIDATOR: ERROR: 5: Bad jump target
- VALIDATOR: Checking that basic blocks are aligned
- *** <input> IS UNSAFE ***
-@dis:
- 0000000000000000: eb 03 jmp 0x5
- 0000000000000002: 83 e2 e0 and %edx, 0xe0
- 0000000000000005: 4c 01 fa add %rdx, %r15
- 0000000000000008: ff e2 jmp %rdx
-@vdis:
- 0000000000000000: eb 03 [P] dontcarejump %rip (s), 0x5 (u)
- 0000000000000002: 83 e2 e0 and %edx, 0xe0
- 0000000000000005: 4c 01 fa add %rdx, %r15
- 0000000000000008: ff e2 [P] dontcarejump %rip (s), %rdx (u)
-@rdfa_output:
- 0: [0] bad jump target
- return code: 1
-@validators_disagree:
- Because rdfaval reported jump location, not jump target.
« 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