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 |