Index: src/trusted/validator_x86/testdata/64/bt.test |
diff --git a/src/trusted/validator_x86/testdata/64/bt.test b/src/trusted/validator_x86/testdata/64/bt.test |
deleted file mode 100644 |
index c1a3d8c718d84b6a6ac4dffa459bd0406171f266..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/bt.test |
+++ /dev/null |
@@ -1,128 +0,0 @@ |
-@hex: |
- # Test illegal bit commands. |
- # btr %rax,(%rax) |
- 48 0F B3 00 |
- # bts %rax,(%rax) |
- 48 0F AB 00 |
- # btc %rax,(%rax) |
- 48 0F BB 00 |
- # btrl $0x1,(%rax) |
- 0F BA 30 01 |
- # btsl $0x1,(%rax) |
- 0F BA 28 01 |
- # btcl $0x1,(%rax) |
- 0F BA 38 01 |
- # Test legal bit commands |
- # btw $0x1,(%rsp) |
- 66 0F BA 24 24 01 |
- |
- # Align so that next instruction does not cross bundle boundary. |
- 90 90 |
- |
- # btl $0x1,(%rsp) |
- 0F BA 24 24 01 |
- # btq $0x1,(%rsp) |
- 48 0F BA 24 24 01 |
- # btrl $0x1,(%rsp) |
- 0F BA 34 24 01 |
- # btsl $0x1,(%rsp) |
- 0F BA 2C 24 01 |
- # btcl $0x1,(%rsp) |
- 0F BA 3C 24 01 |
-@rval: |
- VALIDATOR: 0000000000000000: 48 0f b3 00 btr [%rax], %rax |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 48 0f b3 00 btr [%rax], %rax |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000004: 48 0f ab 00 bts [%rax], %rax |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000004: 48 0f ab 00 bts [%rax], %rax |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000008: 48 0f bb 00 btc [%rax], %rax |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000008: 48 0f bb 00 btc [%rax], %rax |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 000000000000000c: 0f ba 30 01 btr [%rax], 0x1 |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000010: 0f ba 28 01 bts [%rax], 0x1 |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000014: 0f ba 38 01 btc [%rax], 0x1 |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: Checking jump targets: 0 to 3a |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000000: 48 0f b3 00 btr [%rax], %rax |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 48 0f b3 00 btr [%rax], %rax |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000004: 48 0f ab 00 bts [%rax], %rax |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000004: 48 0f ab 00 bts [%rax], %rax |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000008: 48 0f bb 00 btc [%rax], %rax |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000008: 48 0f bb 00 btc [%rax], %rax |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 000000000000000c: 0f ba 30 01 btr [%rax], 0x1 |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000010: 0f ba 28 01 bts [%rax], 0x1 |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000014: 0f ba 38 01 btc [%rax], 0x1 |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: Checking block alignment and jump targets: 0 to 3a |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000000: 48 0f b3 00 [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000004: 48 0f ab 00 [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000008: 48 0f bb 00 [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 000000000000000c: 0f ba 30 01 [P] dontcare [%rax] (su), 0x1 (u) |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000010: 0f ba 28 01 [P] dontcare [%rax] (su), 0x1 (u) |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000014: 0f ba 38 01 [P] dontcare [%rax] (su), 0x1 (u) |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: Checking jump targets: 0 to 3a |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: 48 0f b3 00 btr [%rax], %rax |
- 0000000000000004: 48 0f ab 00 bts [%rax], %rax |
- 0000000000000008: 48 0f bb 00 btc [%rax], %rax |
- 000000000000000c: 0f ba 30 01 btr [%rax], 0x1 |
- 0000000000000010: 0f ba 28 01 bts [%rax], 0x1 |
- 0000000000000014: 0f ba 38 01 btc [%rax], 0x1 |
- 0000000000000018: 66 0f ba 24 24 01 bt [%rsp], 0x1 |
- 000000000000001e: 90 nop |
- 000000000000001f: 90 nop |
- 0000000000000020: 0f ba 24 24 01 bt [%rsp], 0x1 |
- 0000000000000025: 48 0f ba 24 24 01 bt [%rsp], 0x1 |
- 000000000000002b: 0f ba 34 24 01 btr [%rsp], 0x1 |
- 0000000000000030: 0f ba 2c 24 01 bts [%rsp], 0x1 |
- 0000000000000035: 0f ba 3c 24 01 btc [%rsp], 0x1 |
-@vdis: |
- 0000000000000000: 48 0f b3 00 [P] dontcare(illegal) |
- 0000000000000004: 48 0f ab 00 [P] dontcare(illegal) |
- 0000000000000008: 48 0f bb 00 [P] dontcare(illegal) |
- 000000000000000c: 0f ba 30 01 [P] dontcare [%rax] (su), 0x1 (u) |
- 0000000000000010: 0f ba 28 01 [P] dontcare [%rax] (su), 0x1 (u) |
- 0000000000000014: 0f ba 38 01 [P] dontcare [%rax] (su), 0x1 (u) |
- 0000000000000018: 66 0f ba 24 24 01 [P] dontcare [%rsp] (u), 0x1 (u) |
- 000000000000001e: 90 [P] dontcare |
- 000000000000001f: 90 [P] dontcare |
- 0000000000000020: 0f ba 24 24 01 [P] dontcare [%rsp] (u), 0x1 (u) |
- 0000000000000025: 48 0f ba 24 24 01 [P] dontcare [%rsp] (u), 0x1 (u) |
- 000000000000002b: 0f ba 34 24 01 [P] dontcare [%rsp] (su), 0x1 (u) |
- 0000000000000030: 0f ba 2c 24 01 [P] dontcare [%rsp] (su), 0x1 (u) |
- 0000000000000035: 0f ba 3c 24 01 [P] dontcare [%rsp] (su), 0x1 (u) |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- 4: [1] unrecognized instruction |
- 8: [2] unrecognized instruction |
- c: [3] improper memory address - bad base |
- 10: [3] improper memory address - bad base |
- 14: [3] improper memory address - bad base |
- return code: 1 |