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.
37 [ ]*1[ ]+\# MPX instructions
38 [ ]*2[ ]+\.allow_index_reg
42 [ ]*6[ ]+\?\?\?\? 67F30F1B bndmk \(%eax\), %bnd1
43 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
45 [ ]*7[ ]+\?\?\?\? 67F30F1B bndmk 0x3\(%ecx,%ebx,1\), %bnd1
46 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
49 [ ]*9[ ]+\#\#\# bndmov
50 [ ]*10[ ]+\?\?\?\? 6766410F bndmov \(%r8d\), %bnd1
51 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
53 [ ]*11[ ]+\?\?\?\? 6766410F bndmov 0x3\(%r9d,%edx,1\), %bnd1
54 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
57 [ ]*13[ ]+\?\?\?\? 67660F1B bndmov %bnd1, \(%eax\)
58 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
60 [ ]*14[ ]+\?\?\?\? 67660F1B bndmov %bnd1, 0x3\(%ecx,%eax,1\)
61 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
64 [ ]*16[ ]+\#\#\# bndcl
65 [ ]*17[ ]+\?\?\?\? 67F30F1A bndcl \(%ecx\), %bnd1
66 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
68 [ ]*18[ ]+\?\?\?\? 67F30F1A bndcl 0x3\(%ecx,%eax,1\), %bnd1
69 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
72 [ ]*20[ ]+\#\#\# bndcu
73 [ ]*21[ ]+\?\?\?\? 67F20F1A bndcu \(%ecx\), %bnd1
74 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
76 [ ]*22[ ]+\?\?\?\? 67F20F1A bndcu 0x3\(%ecx,%eax,1\), %bnd1
77 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
80 [ ]*24[ ]+\#\#\# bndcn
81 [ ]*25[ ]+\?\?\?\? 67F20F1B bndcn \(%ecx\), %bnd1
82 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
84 [ ]*26[ ]+\?\?\?\? 67F20F1B bndcn 0x3\(%ecx,%eax,1\), %bnd1
85 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
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\.
92 [ ]*30[ ]+\?\?\?\? 670F1B53 bndstx %bnd2, 3\(%ebx,1\)
93 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
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\.
103 [ ]*34[ ]+\?\?\?\? 670F1A53 bndldx 3\(%ebx,1\), %bnd2
104 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
107 [ ]*36[ ]+\.intel_syntax noprefix
108 [ ]*37[ ]+\?\?\?\? 67F30F1B bndmk bnd1, \[eax\]
109 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
111 [ ]*38[ ]+\?\?\?\? 67F30F1B bndmk bnd1, \[edx\+1\*eax\+0x3\]
112 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
115 [ ]*40[ ]+\#\#\# bndmov
116 [ ]*41[ ]+\?\?\?\? 67660F1A bndmov bnd1, \[eax\]
117 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
119 [ ]*42[ ]+\?\?\?\? 67660F1A bndmov bnd1, \[edx\+1\*eax\+0x3\]
120 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
123 [ ]*44[ ]+\?\?\?\? 67660F1B bndmov \[eax\], bnd1
124 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
126 [ ]*45[ ]+\?\?\?\? 67660F1B bndmov \[edx\+1\*eax\+0x3\], bnd1
127 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
130 [ ]*47[ ]+\#\#\# bndcl
131 [ ]*48[ ]+\?\?\?\? 67F30F1A bndcl bnd1, \[eax\]
132 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
134 [ ]*49[ ]+\?\?\?\? 67F30F1A bndcl bnd1, \[edx\+1\*eax\+0x3\]
135 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
138 [ ]*51[ ]+\#\#\# bndcu
139 [ ]*52[ ]+\?\?\?\? 67F20F1A bndcu bnd1, \[eax\]
140 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
142 [ ]*53[ ]+\?\?\?\? 67F20F1A bndcu bnd1, \[edx\+1\*eax\+0x3\]
143 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
146 [ ]*55[ ]+\#\#\# bndcn
147 [ ]*56[ ]+\?\?\?\? 67F20F1B bndcn bnd1, \[eax\]
148 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
150 [ ]*57[ ]+\?\?\?\? 67F20F1B bndcn bnd1, \[edx\+1\*eax\+0x3\]
151 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
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\.
161 [ ]*61[ ]+\?\?\?\? 670F1B14 bndstx \[1\*ebx\+3\], bnd2
162 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
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\.
170 [ ]*65[ ]+\?\?\?\? 670F1A14 bndldx bnd2, \[1\*ebx\+3\]
171 .* Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
173 [ ]*65[ ]+00(|909090 )