Update x86-64-mpx-inval-2 test for COFF
[deliverable/binutils-gdb.git] / gas / testsuite / gas / i386 / x86-64-mpx-inval-2.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.
4 .*:8: Error: `\(%rip\)' cannot be used here
5 .*:9: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
6 .*:12: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
7 .*:13: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
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.
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'
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.
20 .*:33: Error: .* `bndcn'
21 .*:34: Error: .* `bndcn'
22 .*:37: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
23 .*:38: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
24 .*:39: Warning: register scaling is being ignored here
25 .*:40: Error: `base\(%rip\)' cannot be used here
26 .*:41: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
27 .*:44: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
28 .*:45: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
29 .*:46: Warning: register scaling is being ignored here
30 .*:47: Error: `base\(%rip\)' cannot be used here
31 .*:48: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
32 .*:51: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
33 .*:52: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
34 .*:53: Error: `\[rip\]' cannot be used here
35 .*:54: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
36 .*:55: Error: `\[rax\+rsp\]' is not a valid base/index expression
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.
39 .*:61: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
40 .*:62: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
41 .*:65: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
42 .*:66: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
43 .*:67: Error: .* `bndcl'
44 .*:68: Error: .* `bndcl'
45 .*:71: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
46 .*:72: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
47 .*:73: Error: .* `bndcu'
48 .*:74: Error: .* `bndcu'
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.
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
57 .*:87: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
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
63 .*:95: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
64 .*:96: Error: `\[rax\+rsp\]' is not a valid base/index expression
65 GAS LISTING .*
66
67
68 [ ]*1[ ]+\# MPX instructions
69 [ ]*2[ ]+\.allow_index_reg
70 [ ]*3[ ]+\.text
71 [ ]*4[ ]+
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
80 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1B bndmk \(%eip\), %bnd2
81 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
82 [ ]*[1-9][0-9]*[ ]+15000000
83 [ ]*[1-9][0-9]*[ ]+00
84 [ ]*[1-9][0-9]*[ ]+
85 [ ]*[1-9][0-9]*[ ]+\#\#\# bndmov
86 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 6766410F bndmov \(%r8d\), %bnd1
87 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
88 [ ]*[1-9][0-9]*[ ]+1A08
89 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 6766410F bndmov 0x3\(%r9d,%edx,1\), %bnd1
90 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
91 [ ]*[1-9][0-9]*[ ]+1A4C1103
92 [ ]*[1-9][0-9]*[ ]+
93 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1B bndmov %bnd1, \(%eax\)
94 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
95 [ ]*[1-9][0-9]*[ ]+08
96 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1B bndmov %bnd1, 0x3\(%ecx,%eax,1\)
97 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
98 [ ]*[1-9][0-9]*[ ]+4C0103
99 [ ]*[1-9][0-9]*[ ]+
100 [ ]*[1-9][0-9]*[ ]+\#\#\# bndcl
101 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1A bndcl \(%ecx\), %bnd1
102 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
103 [ ]*[1-9][0-9]*[ ]+09
104 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1A bndcl 0x3\(%ecx,%eax,1\), %bnd1
105 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
106 [ ]*[1-9][0-9]*[ ]+4C0103
107 [ ]*[1-9][0-9]*[ ]+bndcl %ecx, %bnd1
108 [ ]*[1-9][0-9]*[ ]+bndcl %cx, %bnd1
109 [ ]*[1-9][0-9]*[ ]+
110 [ ]*[1-9][0-9]*[ ]+\#\#\# bndcu
111 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1A bndcu \(%ecx\), %bnd1
112 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
113 [ ]*[1-9][0-9]*[ ]+09
114 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1A bndcu 0x3\(%ecx,%eax,1\), %bnd1
115 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
116 [ ]*[1-9][0-9]*[ ]+4C0103
117 [ ]*[1-9][0-9]*[ ]+bndcu %ecx, %bnd1
118 [ ]*[1-9][0-9]*[ ]+bndcu %cx, %bnd1
119 [ ]*[1-9][0-9]*[ ]+
120 [ ]*[1-9][0-9]*[ ]+\#\#\# bndcn
121 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1B bndcn \(%ecx\), %bnd1
122 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
123 [ ]*[1-9][0-9]*[ ]+09
124 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1B bndcn 0x3\(%ecx,%eax,1\), %bnd1
125 \fGAS LISTING .*
126
127
128 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
129 [ ]*[1-9][0-9]*[ ]+4C0103
130 [ ]*[1-9][0-9]*[ ]+bndcn %ecx, %bnd1
131 [ ]*[1-9][0-9]*[ ]+bndcn %cx, %bnd1
132 [ ]*[1-9][0-9]*[ ]+
133 [ ]*[1-9][0-9]*[ ]+\#\#\# bndstx
134 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B44 bndstx %bnd0, 0x3\(%eax,%ebx,1\)
135 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
136 [ ]*[1-9][0-9]*[ ]+1803
137 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B53 bndstx %bnd2, 3\(%ebx,1\)
138 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
139 [ ]*[1-9][0-9]*[ ]+03
140 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 410F1B0C bndstx %bnd1, \(%r15,%rax,2\)
141 .* Warning: register scaling is being ignored here
142 [ ]*[1-9][0-9]*[ ]+47
143 [ ]*[1-9][0-9]*[ ]+bndstx %bnd3, base\(%rip\)
144 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B0D bndstx %bnd1, base\(%eip\)
145 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
146 [ ]*[1-9][0-9]*[ ]+[0-9A-F]+
147 [ ]*[1-9][0-9]*[ ]+
148 [ ]*[1-9][0-9]*[ ]+\#\#\# bndldx
149 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A44 bndldx 0x3\(%eax,%ebx,1\), %bnd0
150 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
151 [ ]*[1-9][0-9]*[ ]+1803
152 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A53 bndldx 3\(%ebx,1\), %bnd2
153 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
154 [ ]*[1-9][0-9]*[ ]+03
155 [ ]*[1-9][0-9]*[ ]*\?\?\?\? 420F1A1C bndldx \(%rax,%r15,4\), %bnd3
156 .* Warning: register scaling is being ignored here
157 [ ]*[1-9][0-9]*[ ]*B8
158 [ ]*[1-9][0-9]*[ ]*bndldx base\(%rip\), %bnd1
159 [ ]*[1-9][0-9]*[ ]*\?\?\?\? 670F1A1D bndldx base\(%eip\), %bnd3
160 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
161 [ ]*[1-9][0-9]*[ ]+[0-9A-F]+
162 [ ]*[1-9][0-9]*[ ]+
163 [ ]*[1-9][0-9]*[ ]+\.intel_syntax noprefix
164 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1B bndmk bnd1, \[eax\]
165 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
166 [ ]*[1-9][0-9]*[ ]+08
167 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1B bndmk bnd1, \[edx\+1\*eax\+0x3\]
168 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
169 [ ]*[1-9][0-9]*[ ]+4C0203
170 [ ]*[1-9][0-9]*[ ]*bndmk bnd3, \[rip\]
171 [ ]*[1-9][0-9]*[ ]*\?\?\?\? 67F30F1B bndmk bnd2, \[eip\]
172 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions.
173 [ ]*[1-9][0-9]*[ ]*15000000
174 [ ]*[1-9][0-9]*[ ]*00
175 [ ]*[1-9][0-9]*[ ]+bndmk bnd2, \[rax\+rsp\]
176 [ ]*[1-9][0-9]*[ ]+
177 [ ]*[1-9][0-9]*[ ]+\#\#\# bndmov
178 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1A bndmov bnd1, \[eax\]
179 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
180 [ ]*[1-9][0-9]*[ ]+08
181 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1A bndmov bnd1, \[edx\+1\*eax\+0x3\]
182 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
183 [ ]*[1-9][0-9]*[ ]+4C0203
184 [ ]*[1-9][0-9]*[ ]+
185 \fGAS LISTING .*
186
187
188 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1B bndmov \[eax\], bnd1
189 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
190 [ ]*[1-9][0-9]*[ ]+08
191 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67660F1B bndmov \[edx\+1\*eax\+0x3\], bnd1
192 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
193 [ ]*[1-9][0-9]*[ ]+4C0203
194 [ ]*[1-9][0-9]*[ ]+
195 [ ]*[1-9][0-9]*[ ]+\#\#\# bndcl
196 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F30F1A bndcl 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]*[ ]+\?\?\?\? 67F30F1A bndcl 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]*[ ]+bndcl bnd1, eax
203 [ ]*[1-9][0-9]*[ ]+bndcl bnd1, dx
204 [ ]*[1-9][0-9]*[ ]+
205 [ ]*[1-9][0-9]*[ ]+\#\#\# bndcu
206 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1A bndcu 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]*[ ]+\?\?\?\? 67F20F1A bndcu 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]*[ ]+bndcu bnd1, eax
213 [ ]*[1-9][0-9]*[ ]+bndcu bnd1, dx
214 [ ]*[1-9][0-9]*[ ]+
215 [ ]*[1-9][0-9]*[ ]+\#\#\# bndcn
216 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1B bndcn bnd1, \[eax\]
217 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
218 [ ]*[1-9][0-9]*[ ]+08
219 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 67F20F1B bndcn bnd1, \[edx\+1\*eax\+0x3\]
220 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
221 [ ]*[1-9][0-9]*[ ]+4C0203
222 [ ]*[1-9][0-9]*[ ]+bndcn bnd1, eax
223 [ ]*[1-9][0-9]*[ ]+bndcn bnd1, dx
224 [ ]*[1-9][0-9]*[ ]+
225 [ ]*[1-9][0-9]*[ ]+\#\#\# bndstx
226 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B44 bndstx \[eax\+ebx\*1\+0x3\], bnd0
227 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
228 [ ]*[1-9][0-9]*[ ]+1803
229 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B14 bndstx \[1\*ebx\+3\], bnd2
230 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
231 [ ]*[1-9][0-9]*[ ]+1D030000
232 [ ]*[1-9][0-9]*[ ]+00
233 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 410F1B14 bndstx \[r8\+rdi\*4\], bnd2
234 .* Warning: register scaling is being ignored here
235 [ ]*[1-9][0-9]*[ ]+B8
236 [ ]*[1-9][0-9]*[ ]+bndstx \[rip\+base\], bnd1
237 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1B1D bndstx \[eip\+base\], bnd3
238 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
239 [ ]*[1-9][0-9]*[ ]+[0-9A-F]+
240 [ ]*[1-9][0-9]*[ ]+bndstx \[rax\+rsp\], bnd3
241 [ ]*[1-9][0-9]*[ ]+
242 [ ]*[1-9][0-9]*[ ]+\#\#\# bndldx
243 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A44 bndldx bnd0, \[eax\+ebx\*1\+0x3\]
244 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
245 \fGAS LISTING .*
246
247
248 [ ]*[1-9][0-9]*[ ]+1803
249 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A14 bndldx bnd2, \[1\*ebx\+3\]
250 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
251 [ ]*[1-9][0-9]*[ ]+1D030000
252 [ ]*[1-9][0-9]*[ ]+00
253 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 420F1A14 bndldx bnd2, \[rdi\+r8\*8\]
254 .* Warning: register scaling is being ignored here
255 [ ]*[1-9][0-9]*[ ]+C7
256 [ ]*[1-9][0-9]*[ ]+bndldx bnd1, \[rip\+base\]
257 [ ]*[1-9][0-9]*[ ]+\?\?\?\? 670F1A1D bndldx bnd3, \[eip\+base\]
258 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
259 [ ]*[1-9][0-9]*[ ]+[0-9A-F]+
260 [ ]*[1-9][0-9]*[ ]+bndldx bnd3, \[rax\+rsp\]
261 #pass
This page took 0.037537 seconds and 5 git commands to generate.