| Index: src/trusted/validator/x86/testing/enuminsts/README_scons.txt
|
| diff --git a/src/trusted/validator/x86/testing/enuminsts/README_scons.txt b/src/trusted/validator/x86/testing/enuminsts/README_scons.txt
|
| deleted file mode 100644
|
| index ab4aa4a0609301d5f6ba64e870d06c2853bacd05..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator/x86/testing/enuminsts/README_scons.txt
|
| +++ /dev/null
|
| @@ -1,36 +0,0 @@
|
| -Copyright (c) 2012 The Native Client Authors. All rights reserved.
|
| -Use of this source code is governed by a BSD-style license that be
|
| -found in the LICENSE file.
|
| -
|
| -************************************************************************
|
| - NOTE: The Scons version of enuminst is documented in this file.
|
| - It has less functionality than the Makefile version.
|
| -************************************************************************
|
| -
|
| -Exhaustive instruction enumeration test for x86 Native Client decoder.
|
| -Limited testing of validator.
|
| -
|
| -SCONS now builds the 32- and 64-bit versions of enuminst. The scons
|
| -build incorporates NaCl and Ragel-Deterministic Finite Automata (R-DFA)
|
| -validators. It does not include Xed.
|
| -
|
| -The binaries are available in (for example)
|
| - scons-out/opt-linux-x86-64/staging/enuminst
|
| - scons-out/opt-linux-x86-32/staging/enuminst
|
| -
|
| -Some suggestions on running enuminst:
|
| - enuminst --legalnacl --legal=nacl --legal=ragel
|
| - Compare lengths of instructions that decode for nacl.
|
| - Filters out most NaCl illegal instructions.
|
| -
|
| - enuminst --illegal=nacl --legal=ragel --print=ragel
|
| - Identifies instructions legal for R-DFA but not nacl.
|
| -
|
| - enuminst --nacllegal --legal=nacl --illegal=ragel --print=nacl
|
| - Identifies instructions legal for nacl but not R-DFA.
|
| -
|
| -The NaCl validator supports a partial-validation mode, which for a
|
| -a single instruction determines if it could or could not appear in
|
| -a legal Native Client module. Instructions such as "ret" can never
|
| -appear in a valid NaCl module, and are rejected. Instructions such
|
| -as "jmp *%eax" can appear, so they are accepted.
|
|
|