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. | |
4 | .*:10: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
5 | .*:11: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
6 | .*:13: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
7 | .*:14: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
8 | .*:17: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
9 | .*:18: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
10 | .*:21: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
11 | .*:22: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
12 | .*:25: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
13 | .*:26: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
14 | .*:29: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
15 | .*:30: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
16 | .*:33: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
17 | .*:34: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
18 | .*:37: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
19 | .*:38: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
20 | .*:41: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
21 | .*:42: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
22 | .*:44: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
23 | .*:45: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
24 | .*:48: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
25 | .*:49: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
26 | .*:52: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
27 | .*:53: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
28 | .*:56: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
29 | .*:57: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
30 | .*:60: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
31 | .*:61: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
32 | .*:64: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
33 | .*:65: Error: 32-bit address isn't allowed in 64-bit MPX instructions. | |
34 | GAS LISTING .* | |
35 | ||
36 | ||
37 | [ ]*1[ ]+\# MPX instructions | |
38 | [ ]*2[ ]+\.allow_index_reg | |
39 | [ ]*3[ ]+\.text | |
40 | [ ]*4[ ]+ | |
41 | [ ]*5[ ]+\#\#\# bndmk | |
42 | [ ]*6[ ]+\?\?\?\? 67F30F1B bndmk \(%eax\), %bnd1 | |
b52855e7 | 43 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
44 | [ ]*6[ ]+08 |
45 | [ ]*7[ ]+\?\?\?\? 67F30F1B bndmk 0x3\(%ecx,%ebx,1\), %bnd1 | |
b52855e7 | 46 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
47 | [ ]*7[ ]+4C1903 |
48 | [ ]*8[ ]+ | |
49 | [ ]*9[ ]+\#\#\# bndmov | |
50 | [ ]*10[ ]+\?\?\?\? 6766410F bndmov \(%r8d\), %bnd1 | |
b52855e7 | 51 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
52 | [ ]*10[ ]+1A08 |
53 | [ ]*11[ ]+\?\?\?\? 6766410F bndmov 0x3\(%r9d,%edx,1\), %bnd1 | |
b52855e7 | 54 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
55 | [ ]*11[ ]+1A4C1103 |
56 | [ ]*12[ ]+ | |
57 | [ ]*13[ ]+\?\?\?\? 67660F1B bndmov %bnd1, \(%eax\) | |
b52855e7 | 58 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
59 | [ ]*13[ ]+08 |
60 | [ ]*14[ ]+\?\?\?\? 67660F1B bndmov %bnd1, 0x3\(%ecx,%eax,1\) | |
b52855e7 | 61 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
62 | [ ]*14[ ]+4C0103 |
63 | [ ]*15[ ]+ | |
64 | [ ]*16[ ]+\#\#\# bndcl | |
65 | [ ]*17[ ]+\?\?\?\? 67F30F1A bndcl \(%ecx\), %bnd1 | |
b52855e7 | 66 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
67 | [ ]*17[ ]+09 |
68 | [ ]*18[ ]+\?\?\?\? 67F30F1A bndcl 0x3\(%ecx,%eax,1\), %bnd1 | |
b52855e7 | 69 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
70 | [ ]*18[ ]+4C0103 |
71 | [ ]*19[ ]+ | |
72 | [ ]*20[ ]+\#\#\# bndcu | |
73 | [ ]*21[ ]+\?\?\?\? 67F20F1A bndcu \(%ecx\), %bnd1 | |
b52855e7 | 74 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
75 | [ ]*21[ ]+09 |
76 | [ ]*22[ ]+\?\?\?\? 67F20F1A bndcu 0x3\(%ecx,%eax,1\), %bnd1 | |
b52855e7 | 77 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
78 | [ ]*22[ ]+4C0103 |
79 | [ ]*23[ ]+ | |
80 | [ ]*24[ ]+\#\#\# bndcn | |
81 | [ ]*25[ ]+\?\?\?\? 67F20F1B bndcn \(%ecx\), %bnd1 | |
b52855e7 | 82 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
83 | [ ]*25[ ]+09 |
84 | [ ]*26[ ]+\?\?\?\? 67F20F1B bndcn 0x3\(%ecx,%eax,1\), %bnd1 | |
b52855e7 | 85 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
86 | [ ]*26[ ]+4C0103 |
87 | [ ]*27[ ]+ | |
88 | [ ]*28[ ]+\#\#\# bndstx | |
89 | [ ]*29[ ]+\?\?\?\? 670F1B44 bndstx %bnd0, 0x3\(%eax,%ebx,1\) | |
b52855e7 | 90 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
91 | [ ]*29[ ]+1803 |
92 | [ ]*30[ ]+\?\?\?\? 670F1B53 bndstx %bnd2, 3\(%ebx,1\) | |
b52855e7 | 93 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
94 | \fGAS LISTING .* |
95 | ||
96 | ||
97 | [ ]*30[ ]+03 | |
98 | [ ]*31[ ]+ | |
99 | [ ]*32[ ]+\#\#\# bndldx | |
100 | [ ]*33[ ]+\?\?\?\? 670F1A44 bndldx 0x3\(%eax,%ebx,1\), %bnd0 | |
b52855e7 | 101 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
102 | [ ]*33[ ]+1803 |
103 | [ ]*34[ ]+\?\?\?\? 670F1A53 bndldx 3\(%ebx,1\), %bnd2 | |
b52855e7 | 104 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
105 | [ ]*34[ ]+03 |
106 | [ ]*35[ ]+ | |
107 | [ ]*36[ ]+\.intel_syntax noprefix | |
108 | [ ]*37[ ]+\?\?\?\? 67F30F1B bndmk bnd1, \[eax\] | |
b52855e7 | 109 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
110 | [ ]*37[ ]+08 |
111 | [ ]*38[ ]+\?\?\?\? 67F30F1B bndmk bnd1, \[edx\+1\*eax\+0x3\] | |
b52855e7 | 112 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
113 | [ ]*38[ ]+4C0203 |
114 | [ ]*39[ ]+ | |
115 | [ ]*40[ ]+\#\#\# bndmov | |
116 | [ ]*41[ ]+\?\?\?\? 67660F1A bndmov bnd1, \[eax\] | |
b52855e7 | 117 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
118 | [ ]*41[ ]+08 |
119 | [ ]*42[ ]+\?\?\?\? 67660F1A bndmov bnd1, \[edx\+1\*eax\+0x3\] | |
b52855e7 | 120 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
121 | [ ]*42[ ]+4C0203 |
122 | [ ]*43[ ]+ | |
123 | [ ]*44[ ]+\?\?\?\? 67660F1B bndmov \[eax\], bnd1 | |
b52855e7 | 124 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
125 | [ ]*44[ ]+08 |
126 | [ ]*45[ ]+\?\?\?\? 67660F1B bndmov \[edx\+1\*eax\+0x3\], bnd1 | |
b52855e7 | 127 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
128 | [ ]*45[ ]+4C0203 |
129 | [ ]*46[ ]+ | |
130 | [ ]*47[ ]+\#\#\# bndcl | |
131 | [ ]*48[ ]+\?\?\?\? 67F30F1A bndcl bnd1, \[eax\] | |
b52855e7 | 132 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
133 | [ ]*48[ ]+08 |
134 | [ ]*49[ ]+\?\?\?\? 67F30F1A bndcl bnd1, \[edx\+1\*eax\+0x3\] | |
b52855e7 | 135 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
136 | [ ]*49[ ]+4C0203 |
137 | [ ]*50[ ]+ | |
138 | [ ]*51[ ]+\#\#\# bndcu | |
139 | [ ]*52[ ]+\?\?\?\? 67F20F1A bndcu bnd1, \[eax\] | |
b52855e7 | 140 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
141 | [ ]*52[ ]+08 |
142 | [ ]*53[ ]+\?\?\?\? 67F20F1A bndcu bnd1, \[edx\+1\*eax\+0x3\] | |
b52855e7 | 143 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
144 | [ ]*53[ ]+4C0203 |
145 | [ ]*54[ ]+ | |
146 | [ ]*55[ ]+\#\#\# bndcn | |
147 | [ ]*56[ ]+\?\?\?\? 67F20F1B bndcn bnd1, \[eax\] | |
b52855e7 | 148 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
149 | [ ]*56[ ]+08 |
150 | [ ]*57[ ]+\?\?\?\? 67F20F1B bndcn bnd1, \[edx\+1\*eax\+0x3\] | |
b52855e7 | 151 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
152 | [ ]*57[ ]+4C0203 |
153 | [ ]*58[ ]+ | |
154 | \fGAS LISTING .* | |
155 | ||
156 | ||
157 | [ ]*59[ ]+\#\#\# bndstx | |
158 | [ ]*60[ ]+\?\?\?\? 670F1B44 bndstx \[eax\+ebx\*1\+0x3\], bnd0 | |
b52855e7 | 159 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
160 | [ ]*60[ ]+1803 |
161 | [ ]*61[ ]+\?\?\?\? 670F1B14 bndstx \[1\*ebx\+3\], bnd2 | |
b52855e7 | 162 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
163 | [ ]*61[ ]+1D030000 |
164 | [ ]*61[ ]+00 | |
165 | [ ]*62[ ]+ | |
166 | [ ]*63[ ]+\#\#\# bndldx | |
167 | [ ]*64[ ]+\?\?\?\? 670F1A44 bndldx bnd0, \[eax\+ebx\*1\+0x3\] | |
b52855e7 | 168 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b L |
169 | [ ]*64[ ]+1803 |
170 | [ ]*65[ ]+\?\?\?\? 670F1A14 bndldx bnd2, \[1\*ebx\+3\] | |
b52855e7 | 171 | .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\. |
7e8b059b | 172 | [ ]*65[ ]+1D030000 |
85024cd8 AM |
173 | [ ]*65[ ]+00(|909090 ) |
174 | #pass |