| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Test illegal bit commands. | |
| 3 # btr %rax,(%rax) | |
| 4 48 0F B3 00 | |
| 5 # bts %rax,(%rax) | |
| 6 48 0F AB 00 | |
| 7 # btc %rax,(%rax) | |
| 8 48 0F BB 00 | |
| 9 # btrl $0x1,(%rax) | |
| 10 0F BA 30 01 | |
| 11 # btsl $0x1,(%rax) | |
| 12 0F BA 28 01 | |
| 13 # btcl $0x1,(%rax) | |
| 14 0F BA 38 01 | |
| 15 # Test legal bit commands | |
| 16 # btw $0x1,(%rsp) | |
| 17 66 0F BA 24 24 01 | |
| 18 | |
| 19 # Align so that next instruction does not cross bundle boundary. | |
| 20 90 90 | |
| 21 | |
| 22 # btl $0x1,(%rsp) | |
| 23 0F BA 24 24 01 | |
| 24 # btq $0x1,(%rsp) | |
| 25 48 0F BA 24 24 01 | |
| 26 # btrl $0x1,(%rsp) | |
| 27 0F BA 34 24 01 | |
| 28 # btsl $0x1,(%rsp) | |
| 29 0F BA 2C 24 01 | |
| 30 # btcl $0x1,(%rsp) | |
| 31 0F BA 3C 24 01 | |
| 32 @rval: | |
| 33 VALIDATOR: 0000000000000000: 48 0f b3 00 btr
[%rax], %rax | |
| 34 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 35 VALIDATOR: 0000000000000000: 48 0f b3 00 btr
[%rax], %rax | |
| 36 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 37 VALIDATOR: 0000000000000004: 48 0f ab 00 bts
[%rax], %rax | |
| 38 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 39 VALIDATOR: 0000000000000004: 48 0f ab 00 bts
[%rax], %rax | |
| 40 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 41 VALIDATOR: 0000000000000008: 48 0f bb 00 btc
[%rax], %rax | |
| 42 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 43 VALIDATOR: 0000000000000008: 48 0f bb 00 btc
[%rax], %rax | |
| 44 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 45 VALIDATOR: 000000000000000c: 0f ba 30 01 btr
[%rax], 0x1 | |
| 46 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 47 VALIDATOR: 0000000000000010: 0f ba 28 01 bts
[%rax], 0x1 | |
| 48 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 49 VALIDATOR: 0000000000000014: 0f ba 38 01 btc
[%rax], 0x1 | |
| 50 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 51 VALIDATOR: Checking jump targets: 0 to 3a | |
| 52 VALIDATOR: Checking that basic blocks are aligned | |
| 53 *** <input> IS UNSAFE *** | |
| 54 @rvald: | |
| 55 VALIDATOR: 0000000000000000: 48 0f b3 00 btr
[%rax], %rax | |
| 56 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 57 VALIDATOR: 0000000000000000: 48 0f b3 00 btr
[%rax], %rax | |
| 58 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 59 VALIDATOR: 0000000000000004: 48 0f ab 00 bts
[%rax], %rax | |
| 60 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 61 VALIDATOR: 0000000000000004: 48 0f ab 00 bts
[%rax], %rax | |
| 62 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 63 VALIDATOR: 0000000000000008: 48 0f bb 00 btc
[%rax], %rax | |
| 64 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 65 VALIDATOR: 0000000000000008: 48 0f bb 00 btc
[%rax], %rax | |
| 66 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 67 VALIDATOR: 000000000000000c: 0f ba 30 01 btr
[%rax], 0x1 | |
| 68 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 69 VALIDATOR: 0000000000000010: 0f ba 28 01 bts
[%rax], 0x1 | |
| 70 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 71 VALIDATOR: 0000000000000014: 0f ba 38 01 btc
[%rax], 0x1 | |
| 72 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 73 VALIDATOR: Checking block alignment and jump targets: 0 to 3a | |
| 74 *** <input> IS UNSAFE *** | |
| 75 @vd-rval: | |
| 76 VALIDATOR: 0000000000000000: 48 0f b3 00 [P]
dontcare(illegal) | |
| 77 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 78 VALIDATOR: 0000000000000004: 48 0f ab 00 [P]
dontcare(illegal) | |
| 79 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 80 VALIDATOR: 0000000000000008: 48 0f bb 00 [P]
dontcare(illegal) | |
| 81 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client | |
| 82 VALIDATOR: 000000000000000c: 0f ba 30 01 [P]
dontcare [%rax] (su), 0x1 (u) | |
| 83 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 84 VALIDATOR: 0000000000000010: 0f ba 28 01 [P]
dontcare [%rax] (su), 0x1 (u) | |
| 85 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 86 VALIDATOR: 0000000000000014: 0f ba 38 01 [P]
dontcare [%rax] (su), 0x1 (u) | |
| 87 VALIDATOR: ERROR: Invalid base register in memory offset | |
| 88 VALIDATOR: Checking jump targets: 0 to 3a | |
| 89 VALIDATOR: Checking that basic blocks are aligned | |
| 90 *** <input> IS UNSAFE *** | |
| 91 @dis: | |
| 92 0000000000000000: 48 0f b3 00 btr [%rax], %ra
x | |
| 93 0000000000000004: 48 0f ab 00 bts [%rax], %ra
x | |
| 94 0000000000000008: 48 0f bb 00 btc [%rax], %ra
x | |
| 95 000000000000000c: 0f ba 30 01 btr [%rax], 0x1 | |
| 96 0000000000000010: 0f ba 28 01 bts [%rax], 0x1 | |
| 97 0000000000000014: 0f ba 38 01 btc [%rax], 0x1 | |
| 98 0000000000000018: 66 0f ba 24 24 01 bt [%rsp], 0x1 | |
| 99 000000000000001e: 90 nop | |
| 100 000000000000001f: 90 nop | |
| 101 0000000000000020: 0f ba 24 24 01 bt [%rsp], 0x1 | |
| 102 0000000000000025: 48 0f ba 24 24 01 bt [%rsp], 0x1 | |
| 103 000000000000002b: 0f ba 34 24 01 btr [%rsp], 0x1 | |
| 104 0000000000000030: 0f ba 2c 24 01 bts [%rsp], 0x1 | |
| 105 0000000000000035: 0f ba 3c 24 01 btc [%rsp], 0x1 | |
| 106 @vdis: | |
| 107 0000000000000000: 48 0f b3 00 [P] dontcare(il
legal) | |
| 108 0000000000000004: 48 0f ab 00 [P] dontcare(il
legal) | |
| 109 0000000000000008: 48 0f bb 00 [P] dontcare(il
legal) | |
| 110 000000000000000c: 0f ba 30 01 [P] dontcare [%
rax] (su), 0x1 (u) | |
| 111 0000000000000010: 0f ba 28 01 [P] dontcare [%
rax] (su), 0x1 (u) | |
| 112 0000000000000014: 0f ba 38 01 [P] dontcare [%
rax] (su), 0x1 (u) | |
| 113 0000000000000018: 66 0f ba 24 24 01 [P] dontcare [%
rsp] (u), 0x1 (u) | |
| 114 000000000000001e: 90 [P] dontcare | |
| 115 000000000000001f: 90 [P] dontcare | |
| 116 0000000000000020: 0f ba 24 24 01 [P] dontcare [%
rsp] (u), 0x1 (u) | |
| 117 0000000000000025: 48 0f ba 24 24 01 [P] dontcare [%
rsp] (u), 0x1 (u) | |
| 118 000000000000002b: 0f ba 34 24 01 [P] dontcare [%
rsp] (su), 0x1 (u) | |
| 119 0000000000000030: 0f ba 2c 24 01 [P] dontcare [%
rsp] (su), 0x1 (u) | |
| 120 0000000000000035: 0f ba 3c 24 01 [P] dontcare [%
rsp] (su), 0x1 (u) | |
| 121 @rdfa_output: | |
| 122 0: [0] unrecognized instruction | |
| 123 4: [1] unrecognized instruction | |
| 124 8: [2] unrecognized instruction | |
| 125 c: [3] improper memory address - bad base | |
| 126 10: [3] improper memory address - bad base | |
| 127 14: [3] improper memory address - bad base | |
| 128 return code: 1 | |
| OLD | NEW |