| Index: src/trusted/validator_x86/testdata/64/nops.test
|
| diff --git a/src/trusted/validator_x86/testdata/64/nops.test b/src/trusted/validator_x86/testdata/64/nops.test
|
| deleted file mode 100644
|
| index 71fa947c636258ac8dee1133cb85fb6f5232b687..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/64/nops.test
|
| +++ /dev/null
|
| @@ -1,218 +0,0 @@
|
| -@hex:
|
| - # Note: sequences of ordinary nops (90 90 90 ...) are added
|
| - # for bundle alignemnt.
|
| -
|
| - # Recommended nops
|
| - 90
|
| - 66 90
|
| - 0F 1F 00
|
| - 0F 1F 40 00
|
| - 0F 1F 44 00 00
|
| - 66 0F 1F 44 00 00
|
| - 0F 1F 80 00 00 00 00
|
| - 90 90 90 90
|
| - 0F 1F 84 00 00 00 00 00
|
| - 66 0F 1F 84 00 00 00 00 00
|
| - # Large nops
|
| - 66 2E 0F 1F 84 00 00 00 00 00
|
| - 90 90 90 90 90
|
| - 66 66 2E 0F 1F 84 00 00 00 00 00
|
| - 66 66 66 2E 0F 1F 84 00 00 00 00 00
|
| - 90 90 90 90 90 90 90 90 90
|
| - 66 66 66 66 2E 0F 1F 84 00 00 00 00 00
|
| - 66 66 66 66 66 2E 0F 1F 84 00 00 00 00 00
|
| - 90 90 90 90 90
|
| - 66 66 66 66 66 66 2E 0F 1F 84 00 00 00 00 00
|
| -
|
| - # Illegal nops
|
| - 66 66 90
|
| - 66 66 66 90
|
| - 3E 0F 1F 84 00 00 00 00 00
|
| - 90 90 90 90 90 90
|
| - 66 3E 0F 1F 84 00 00 00 00 00
|
| - 66 66 0F 1F 84 00 00 00 00 00
|
| -
|
| -@rval:
|
| - VALIDATOR: 000000000000008f: 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000008f: 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 0000000000000092: 66 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000092: 66 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 0000000000000096: 3e 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: Checking jump targets: 0 to b9
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> IS UNSAFE ***
|
| -@rvald:
|
| - VALIDATOR: 000000000000008f: 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000008f: 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 0000000000000092: 66 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000092: 66 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 0000000000000096: 3e 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 nop
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: Checking block alignment and jump targets: 0 to b9
|
| - *** <input> IS UNSAFE ***
|
| -@vd-rval:
|
| - VALIDATOR: 000000000000008f: 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000008f: 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 0000000000000092: 66 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000092: 66 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 0000000000000096: 3e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: Checking jump targets: 0 to b9
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> IS UNSAFE ***
|
| -@dis:
|
| - 0000000000000000: 90 nop
|
| - 0000000000000001: 66 90 nop
|
| - 0000000000000003: 0f 1f 00 nop
|
| - 0000000000000006: 0f 1f 40 00 nop
|
| - 000000000000000a: 0f 1f 44 00 00 nop
|
| - 000000000000000f: 66 0f 1f 44 00 00 nop
|
| - 0000000000000015: 0f 1f 80 00 00 00 00 nop
|
| - 000000000000001c: 90 nop
|
| - 000000000000001d: 90 nop
|
| - 000000000000001e: 90 nop
|
| - 000000000000001f: 90 nop
|
| - 0000000000000020: 0f 1f 84 00 00 00 00 00 nop
|
| - 0000000000000028: 66 0f 1f 84 00 00 00 00 00 nop
|
| - 0000000000000031: 66 2e 0f 1f 84 00 00 00 00 00 nop
|
| - 000000000000003b: 90 nop
|
| - 000000000000003c: 90 nop
|
| - 000000000000003d: 90 nop
|
| - 000000000000003e: 90 nop
|
| - 000000000000003f: 90 nop
|
| - 0000000000000040: 66 66 2e 0f 1f 84 00 00 00 00 00 nop
|
| - 000000000000004b: 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop
|
| - 0000000000000057: 90 nop
|
| - 0000000000000058: 90 nop
|
| - 0000000000000059: 90 nop
|
| - 000000000000005a: 90 nop
|
| - 000000000000005b: 90 nop
|
| - 000000000000005c: 90 nop
|
| - 000000000000005d: 90 nop
|
| - 000000000000005e: 90 nop
|
| - 000000000000005f: 90 nop
|
| - 0000000000000060: 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop
|
| - 000000000000006d: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop
|
| - 000000000000007b: 90 nop
|
| - 000000000000007c: 90 nop
|
| - 000000000000007d: 90 nop
|
| - 000000000000007e: 90 nop
|
| - 000000000000007f: 90 nop
|
| - 0000000000000080: 66 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop
|
| - 000000000000008f: 66 66 90 xchg %ax, %ax
|
| - 0000000000000092: 66 66 66 90 xchg %ax, %ax
|
| - 0000000000000096: 3e 0f 1f 84 00 00 00 00 00 nop
|
| - 000000000000009f: 90 nop
|
| - 00000000000000a0: 90 nop
|
| - 00000000000000a1: 90 nop
|
| - 00000000000000a2: 90 nop
|
| - 00000000000000a3: 90 nop
|
| - 00000000000000a4: 90 nop
|
| - 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 nop
|
| - 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 nop
|
| -@vdis:
|
| - 0000000000000000: 90 [P] dontcare
|
| - 0000000000000001: 66 90 [P] dontcare
|
| - 0000000000000003: 0f 1f 00 [P] dontcare
|
| - 0000000000000006: 0f 1f 40 00 [P] dontcare
|
| - 000000000000000a: 0f 1f 44 00 00 [P] dontcare
|
| - 000000000000000f: 66 0f 1f 44 00 00 [P] dontcare
|
| - 0000000000000015: 0f 1f 80 00 00 00 00 [P] dontcare
|
| - 000000000000001c: 90 [P] dontcare
|
| - 000000000000001d: 90 [P] dontcare
|
| - 000000000000001e: 90 [P] dontcare
|
| - 000000000000001f: 90 [P] dontcare
|
| - 0000000000000020: 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 0000000000000028: 66 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 0000000000000031: 66 2e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 000000000000003b: 90 [P] dontcare
|
| - 000000000000003c: 90 [P] dontcare
|
| - 000000000000003d: 90 [P] dontcare
|
| - 000000000000003e: 90 [P] dontcare
|
| - 000000000000003f: 90 [P] dontcare
|
| - 0000000000000040: 66 66 2e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 000000000000004b: 66 66 66 2e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 0000000000000057: 90 [P] dontcare
|
| - 0000000000000058: 90 [P] dontcare
|
| - 0000000000000059: 90 [P] dontcare
|
| - 000000000000005a: 90 [P] dontcare
|
| - 000000000000005b: 90 [P] dontcare
|
| - 000000000000005c: 90 [P] dontcare
|
| - 000000000000005d: 90 [P] dontcare
|
| - 000000000000005e: 90 [P] dontcare
|
| - 000000000000005f: 90 [P] dontcare
|
| - 0000000000000060: 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 000000000000006d: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 000000000000007b: 90 [P] dontcare
|
| - 000000000000007c: 90 [P] dontcare
|
| - 000000000000007d: 90 [P] dontcare
|
| - 000000000000007e: 90 [P] dontcare
|
| - 000000000000007f: 90 [P] dontcare
|
| - 0000000000000080: 66 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 000000000000008f: 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - 0000000000000092: 66 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - 0000000000000096: 3e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 000000000000009f: 90 [P] dontcare
|
| - 00000000000000a0: 90 [P] dontcare
|
| - 00000000000000a1: 90 [P] dontcare
|
| - 00000000000000a2: 90 [P] dontcare
|
| - 00000000000000a3: 90 [P] dontcare
|
| - 00000000000000a4: 90 [P] dontcare
|
| - 00000000000000a5: 66 3e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| - 00000000000000af: 66 66 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| -@rdfa_output:
|
| - 8f: [0] unrecognized instruction
|
| - 92: [1] unrecognized instruction
|
| - 96: [2] unrecognized instruction
|
| - a5: [0] unrecognized instruction
|
| - af: [1] unrecognized instruction
|
| - return code: 1
|
|
|