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