Commit | Line | Data |
---|---|---|
7e8b059b L |
1 | .*: Assembler messages: |
2 | .*:6: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
3 | .*:7: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
8178be5b | 4 | .*:8: Error: `\(%rip\)' cannot be used here |
e968fc9b | 5 | .*:9: Error: .* |
8178be5b | 6 | .*:12: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
7e8b059b | 7 | .*:13: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
8178be5b JB |
8 | .*:15: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
9 | .*:16: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
10 | .*:19: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
11 | .*:20: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
4c5b8d1e JB |
12 | .*:21: Error: .* `bndcl' |
13 | .*:22: Error: .* `bndcl' | |
14 | .*:25: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
15 | .*:26: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
16 | .*:27: Error: .* `bndcu' | |
17 | .*:28: Error: .* `bndcu' | |
8178be5b JB |
18 | .*:31: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
19 | .*:32: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
4c5b8d1e JB |
20 | .*:33: Error: .* `bndcn' |
21 | .*:34: Error: .* `bndcn' | |
22 | .*:37: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
7e8b059b | 23 | .*:38: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
4c5b8d1e JB |
24 | .*:39: Warning: register scaling is being ignored here |
25 | .*:40: Error: `base\(%rip\)' cannot be used here | |
e968fc9b | 26 | .*:41: Error: .* |
4c5b8d1e | 27 | .*:44: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
7e8b059b | 28 | .*:45: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
4c5b8d1e JB |
29 | .*:46: Warning: register scaling is being ignored here |
30 | .*:47: Error: `base\(%rip\)' cannot be used here | |
e968fc9b | 31 | .*:48: Error: .* |
8178be5b | 32 | .*:51: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
7e8b059b | 33 | .*:52: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
4c5b8d1e | 34 | .*:53: Error: `\[rip\]' cannot be used here |
e968fc9b | 35 | .*:54: Error: .* |
4c5b8d1e | 36 | .*:55: Error: `\[rax\+rsp\]' is not a valid base/index expression |
8178be5b JB |
37 | .*:58: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
38 | .*:59: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
4c5b8d1e | 39 | .*:61: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
8178be5b | 40 | .*:62: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
4c5b8d1e | 41 | .*:65: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
8178be5b | 42 | .*:66: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
4c5b8d1e JB |
43 | .*:67: Error: .* `bndcl' |
44 | .*:68: Error: .* `bndcl' | |
8178be5b | 45 | .*:71: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
4c5b8d1e JB |
46 | .*:72: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
47 | .*:73: Error: .* `bndcu' | |
48 | .*:74: Error: .* `bndcu' | |
8178be5b JB |
49 | .*:77: Error: 32-bit address isn't allowed in 64-bit MPX instructions. |
50 | .*:78: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
4c5b8d1e JB |
51 | .*:79: Error: .* `bndcn' |
52 | .*:80: Error: .* `bndcn' | |
53 | .*:83: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
54 | .*:84: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
55 | .*:85: Warning: register scaling is being ignored here | |
56 | .*:86: Error: `\[rip\+base\]' cannot be used here | |
e968fc9b | 57 | .*:87: Error: .* |
4c5b8d1e JB |
58 | .*:88: Error: `\[rax\+rsp\]' is not a valid base/index expression |
59 | .*:91: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
60 | .*:92: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
61 | .*:93: Warning: register scaling is being ignored here | |
62 | .*:94: Error: `\[rip\+base\]' cannot be used here | |
e968fc9b | 63 | .*:95: Error: .* |
4c5b8d1e | 64 | .*:96: Error: `\[rax\+rsp\]' is not a valid base/index expression |
7e8b059b L |
65 | GAS LISTING .* |
66 | ||
67 | ||
68 | [ ]*1[ ]+\# MPX instructions | |
69 | [ ]*2[ ]+\.allow_index_reg | |
70 | [ ]*3[ ]+\.text | |
71 | [ ]*4[ ]+ | |
4c5b8d1e JB |
72 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndmk |
73 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1B bndmk \(%eax\), %bnd1 | |
74 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
75 | [ ]*[1-9][0-9]*[ ]+08 | |
76 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1B bndmk 0x3\(%ecx,%ebx,1\), %bnd1 | |
77 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
78 | [ ]*[1-9][0-9]*[ ]+4C1903 | |
79 | [ ]*[1-9][0-9]*[ ]+bndmk \(%rip\), %bnd3 | |
e968fc9b | 80 | [ ]*[1-9][0-9]*[ ]+bndmk \(%eip\), %bnd2 |
4c5b8d1e JB |
81 | [ ]*[1-9][0-9]*[ ]+ |
82 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndmov | |
83 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 6766410F bndmov \(%r8d\), %bnd1 | |
84 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
85 | [ ]*[1-9][0-9]*[ ]+1A08 | |
86 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 6766410F bndmov 0x3\(%r9d,%edx,1\), %bnd1 | |
87 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
88 | [ ]*[1-9][0-9]*[ ]+1A4C1103 | |
89 | [ ]*[1-9][0-9]*[ ]+ | |
90 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1B bndmov %bnd1, \(%eax\) | |
91 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
92 | [ ]*[1-9][0-9]*[ ]+08 | |
93 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1B bndmov %bnd1, 0x3\(%ecx,%eax,1\) | |
94 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
95 | [ ]*[1-9][0-9]*[ ]+4C0103 | |
96 | [ ]*[1-9][0-9]*[ ]+ | |
97 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndcl | |
98 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1A bndcl \(%ecx\), %bnd1 | |
99 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
100 | [ ]*[1-9][0-9]*[ ]+09 | |
101 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1A bndcl 0x3\(%ecx,%eax,1\), %bnd1 | |
102 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
103 | [ ]*[1-9][0-9]*[ ]+4C0103 | |
104 | [ ]*[1-9][0-9]*[ ]+bndcl %ecx, %bnd1 | |
105 | [ ]*[1-9][0-9]*[ ]+bndcl %cx, %bnd1 | |
106 | [ ]*[1-9][0-9]*[ ]+ | |
107 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndcu | |
108 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1A bndcu \(%ecx\), %bnd1 | |
109 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
110 | [ ]*[1-9][0-9]*[ ]+09 | |
111 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1A bndcu 0x3\(%ecx,%eax,1\), %bnd1 | |
112 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
113 | [ ]*[1-9][0-9]*[ ]+4C0103 | |
114 | [ ]*[1-9][0-9]*[ ]+bndcu %ecx, %bnd1 | |
115 | [ ]*[1-9][0-9]*[ ]+bndcu %cx, %bnd1 | |
116 | [ ]*[1-9][0-9]*[ ]+ | |
117 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndcn | |
118 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1B bndcn \(%ecx\), %bnd1 | |
119 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
120 | [ ]*[1-9][0-9]*[ ]+09 | |
121 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1B bndcn 0x3\(%ecx,%eax,1\), %bnd1 | |
8178be5b | 122 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
4c5b8d1e JB |
123 | [ ]*[1-9][0-9]*[ ]+4C0103 |
124 | [ ]*[1-9][0-9]*[ ]+bndcn %ecx, %bnd1 | |
e968fc9b JB |
125 | \fGAS LISTING .* |
126 | ||
127 | ||
4c5b8d1e JB |
128 | [ ]*[1-9][0-9]*[ ]+bndcn %cx, %bnd1 |
129 | [ ]*[1-9][0-9]*[ ]+ | |
130 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndstx | |
131 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B44 bndstx %bnd0, 0x3\(%eax,%ebx,1\) | |
132 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
133 | [ ]*[1-9][0-9]*[ ]+1803 | |
134 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B53 bndstx %bnd2, 3\(%ebx,1\) | |
8178be5b | 135 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
4c5b8d1e JB |
136 | [ ]*[1-9][0-9]*[ ]+03 |
137 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 410F1B0C bndstx %bnd1, \(%r15,%rax,2\) | |
8178be5b | 138 | .* Warning: register scaling is being ignored here |
4c5b8d1e JB |
139 | [ ]*[1-9][0-9]*[ ]+47 |
140 | [ ]*[1-9][0-9]*[ ]+bndstx %bnd3, base\(%rip\) | |
e968fc9b | 141 | [ ]*[1-9][0-9]*[ ]+bndstx %bnd1, base\(%eip\) |
4c5b8d1e JB |
142 | [ ]*[1-9][0-9]*[ ]+ |
143 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndldx | |
144 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A44 bndldx 0x3\(%eax,%ebx,1\), %bnd0 | |
8178be5b | 145 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
4c5b8d1e JB |
146 | [ ]*[1-9][0-9]*[ ]+1803 |
147 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A53 bndldx 3\(%ebx,1\), %bnd2 | |
8178be5b | 148 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
4c5b8d1e JB |
149 | [ ]*[1-9][0-9]*[ ]+03 |
150 | [ ]*[1-9][0-9]*[ ]*\?\?\?\? 420F1A1C bndldx \(%rax,%r15,4\), %bnd3 | |
8178be5b | 151 | .* Warning: register scaling is being ignored here |
4c5b8d1e JB |
152 | [ ]*[1-9][0-9]*[ ]*B8 |
153 | [ ]*[1-9][0-9]*[ ]*bndldx base\(%rip\), %bnd1 | |
e968fc9b | 154 | [ ]*[1-9][0-9]*[ ]*bndldx base\(%eip\), %bnd3 |
4c5b8d1e JB |
155 | [ ]*[1-9][0-9]*[ ]+ |
156 | [ ]*[1-9][0-9]*[ ]+\.intel_syntax noprefix | |
157 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1B bndmk bnd1, \[eax\] | |
8178be5b | 158 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
4c5b8d1e JB |
159 | [ ]*[1-9][0-9]*[ ]+08 |
160 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1B bndmk bnd1, \[edx\+1\*eax\+0x3\] | |
8178be5b | 161 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
4c5b8d1e JB |
162 | [ ]*[1-9][0-9]*[ ]+4C0203 |
163 | [ ]*[1-9][0-9]*[ ]*bndmk bnd3, \[rip\] | |
e968fc9b | 164 | [ ]*[1-9][0-9]*[ ]*bndmk bnd2, \[eip\] |
4c5b8d1e JB |
165 | [ ]*[1-9][0-9]*[ ]+bndmk bnd2, \[rax\+rsp\] |
166 | [ ]*[1-9][0-9]*[ ]+ | |
167 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndmov | |
168 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1A bndmov bnd1, \[eax\] | |
169 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
170 | [ ]*[1-9][0-9]*[ ]+08 | |
171 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1A bndmov bnd1, \[edx\+1\*eax\+0x3\] | |
172 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
173 | [ ]*[1-9][0-9]*[ ]+4C0203 | |
174 | [ ]*[1-9][0-9]*[ ]+ | |
4c5b8d1e JB |
175 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1B bndmov \[eax\], bnd1 |
176 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
177 | [ ]*[1-9][0-9]*[ ]+08 | |
178 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1B bndmov \[edx\+1\*eax\+0x3\], bnd1 | |
179 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
180 | [ ]*[1-9][0-9]*[ ]+4C0203 | |
181 | [ ]*[1-9][0-9]*[ ]+ | |
182 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndcl | |
183 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1A bndcl bnd1, \[eax\] | |
184 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
e968fc9b JB |
185 | \fGAS LISTING .* |
186 | ||
187 | ||
4c5b8d1e JB |
188 | [ ]*[1-9][0-9]*[ ]+08 |
189 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1A bndcl bnd1, \[edx\+1\*eax\+0x3\] | |
190 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
191 | [ ]*[1-9][0-9]*[ ]+4C0203 | |
192 | [ ]*[1-9][0-9]*[ ]+bndcl bnd1, eax | |
193 | [ ]*[1-9][0-9]*[ ]+bndcl bnd1, dx | |
194 | [ ]*[1-9][0-9]*[ ]+ | |
195 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndcu | |
196 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1A bndcu bnd1, \[eax\] | |
197 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
198 | [ ]*[1-9][0-9]*[ ]+08 | |
199 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1A bndcu bnd1, \[edx\+1\*eax\+0x3\] | |
200 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
201 | [ ]*[1-9][0-9]*[ ]+4C0203 | |
202 | [ ]*[1-9][0-9]*[ ]+bndcu bnd1, eax | |
203 | [ ]*[1-9][0-9]*[ ]+bndcu bnd1, dx | |
204 | [ ]*[1-9][0-9]*[ ]+ | |
205 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndcn | |
206 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1B bndcn bnd1, \[eax\] | |
207 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
208 | [ ]*[1-9][0-9]*[ ]+08 | |
209 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1B bndcn bnd1, \[edx\+1\*eax\+0x3\] | |
210 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
211 | [ ]*[1-9][0-9]*[ ]+4C0203 | |
212 | [ ]*[1-9][0-9]*[ ]+bndcn bnd1, eax | |
213 | [ ]*[1-9][0-9]*[ ]+bndcn bnd1, dx | |
214 | [ ]*[1-9][0-9]*[ ]+ | |
215 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndstx | |
216 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B44 bndstx \[eax\+ebx\*1\+0x3\], bnd0 | |
217 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
218 | [ ]*[1-9][0-9]*[ ]+1803 | |
219 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B14 bndstx \[1\*ebx\+3\], bnd2 | |
220 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. | |
221 | [ ]*[1-9][0-9]*[ ]+1D030000 | |
222 | [ ]*[1-9][0-9]*[ ]+00 | |
223 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 410F1B14 bndstx \[r8\+rdi\*4\], bnd2 | |
8178be5b | 224 | .* Warning: register scaling is being ignored here |
4c5b8d1e JB |
225 | [ ]*[1-9][0-9]*[ ]+B8 |
226 | [ ]*[1-9][0-9]*[ ]+bndstx \[rip\+base\], bnd1 | |
e968fc9b | 227 | [ ]*[1-9][0-9]*[ ]+bndstx \[eip\+base\], bnd3 |
4c5b8d1e JB |
228 | [ ]*[1-9][0-9]*[ ]+bndstx \[rax\+rsp\], bnd3 |
229 | [ ]*[1-9][0-9]*[ ]+ | |
230 | [ ]*[1-9][0-9]*[ ]+\#\#\# bndldx | |
231 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A44 bndldx bnd0, \[eax\+ebx\*1\+0x3\] | |
8178be5b | 232 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
4c5b8d1e JB |
233 | [ ]*[1-9][0-9]*[ ]+1803 |
234 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A14 bndldx bnd2, \[1\*ebx\+3\] | |
8178be5b | 235 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
4c5b8d1e JB |
236 | [ ]*[1-9][0-9]*[ ]+1D030000 |
237 | [ ]*[1-9][0-9]*[ ]+00 | |
238 | [ ]*[1-9][0-9]*[ ]+\?\?\?\? 420F1A14 bndldx bnd2, \[rdi\+r8\*8\] | |
8178be5b | 239 | .* Warning: register scaling is being ignored here |
4c5b8d1e JB |
240 | [ ]*[1-9][0-9]*[ ]+C7 |
241 | [ ]*[1-9][0-9]*[ ]+bndldx bnd1, \[rip\+base\] | |
e968fc9b | 242 | [ ]*[1-9][0-9]*[ ]+bndldx bnd3, \[eip\+base\] |
4c5b8d1e | 243 | [ ]*[1-9][0-9]*[ ]+bndldx bnd3, \[rax\+rsp\] |
85024cd8 | 244 | #pass |