| 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
|
|
|