[deliverable/binutils-gdb.git] / gas / testsuite / gas / i386 / x86-64-mpx-inval-2.l

.*: Assembler messages:
.*:6: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:7: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:10: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:11: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:13: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:14: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:17: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:18: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:21: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:22: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:25: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:26: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:29: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:30: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:33: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:34: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:37: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:38: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:41: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:42: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:44: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:45: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:48: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:49: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:52: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:53: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:56: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:57: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:60: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:61: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:64: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:65: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
GAS LISTING .*


[ 	]*1[ 	]+\# MPX instructions
[ 	]*2[ 	]+\.allow_index_reg
[ 	]*3[ 	]+\.text
[ 	]*4[ 	]+
[ 	]*5[ 	]+\#\#\# bndmk
[ 	]*6[ 	]+\?\?\?\? 67F30F1B 		bndmk \(%eax\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*6[ 	]+08
[ 	]*7[ 	]+\?\?\?\? 67F30F1B 		bndmk 0x3\(%ecx,%ebx,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*7[ 	]+4C1903
[ 	]*8[ 	]+
[ 	]*9[ 	]+\#\#\# bndmov
[ 	]*10[ 	]+\?\?\?\? 6766410F 		bndmov \(%r8d\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*10[ 	]+1A08
[ 	]*11[ 	]+\?\?\?\? 6766410F 		bndmov 0x3\(%r9d,%edx,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*11[ 	]+1A4C1103 
[ 	]*12[ 	]+
[ 	]*13[ 	]+\?\?\?\? 67660F1B 		bndmov %bnd1, \(%eax\)
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*13[ 	]+08
[ 	]*14[ 	]+\?\?\?\? 67660F1B 		bndmov %bnd1, 0x3\(%ecx,%eax,1\)
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*14[ 	]+4C0103
[ 	]*15[ 	]+
[ 	]*16[ 	]+\#\#\# bndcl
[ 	]*17[ 	]+\?\?\?\? 67F30F1A 		bndcl \(%ecx\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*17[ 	]+09
[ 	]*18[ 	]+\?\?\?\? 67F30F1A 		bndcl 0x3\(%ecx,%eax,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*18[ 	]+4C0103
[ 	]*19[ 	]+
[ 	]*20[ 	]+\#\#\# bndcu
[ 	]*21[ 	]+\?\?\?\? 67F20F1A 		bndcu \(%ecx\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*21[ 	]+09
[ 	]*22[ 	]+\?\?\?\? 67F20F1A 		bndcu 0x3\(%ecx,%eax,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*22[ 	]+4C0103
[ 	]*23[ 	]+
[ 	]*24[ 	]+\#\#\# bndcn
[ 	]*25[ 	]+\?\?\?\? 67F20F1B 		bndcn \(%ecx\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*25[ 	]+09
[ 	]*26[ 	]+\?\?\?\? 67F20F1B 		bndcn 0x3\(%ecx,%eax,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*26[ 	]+4C0103
[ 	]*27[ 	]+
[ 	]*28[ 	]+\#\#\# bndstx
[ 	]*29[ 	]+\?\?\?\? 670F1B44 		bndstx %bnd0, 0x3\(%eax,%ebx,1\)
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*29[ 	]+1803
[ 	]*30[ 	]+\?\?\?\? 670F1B53 		bndstx %bnd2, 3\(%ebx,1\)
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
\fGAS LISTING .*


[ 	]*30[ 	]+03
[ 	]*31[ 	]+
[ 	]*32[ 	]+\#\#\# bndldx
[ 	]*33[ 	]+\?\?\?\? 670F1A44 		bndldx 0x3\(%eax,%ebx,1\), %bnd0
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*33[ 	]+1803
[ 	]*34[ 	]+\?\?\?\? 670F1A53 		bndldx 3\(%ebx,1\), %bnd2
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*34[ 	]+03
[ 	]*35[ 	]+
[ 	]*36[ 	]+\.intel_syntax noprefix
[ 	]*37[ 	]+\?\?\?\? 67F30F1B 		bndmk bnd1, \[eax\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*37[ 	]+08
[ 	]*38[ 	]+\?\?\?\? 67F30F1B 		bndmk bnd1, \[edx\+1\*eax\+0x3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*38[ 	]+4C0203
[ 	]*39[ 	]+
[ 	]*40[ 	]+\#\#\# bndmov
[ 	]*41[ 	]+\?\?\?\? 67660F1A 		bndmov bnd1, \[eax\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*41[ 	]+08
[ 	]*42[ 	]+\?\?\?\? 67660F1A 		bndmov bnd1, \[edx\+1\*eax\+0x3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*42[ 	]+4C0203
[ 	]*43[ 	]+
[ 	]*44[ 	]+\?\?\?\? 67660F1B 		bndmov \[eax\], bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*44[ 	]+08
[ 	]*45[ 	]+\?\?\?\? 67660F1B 		bndmov \[edx\+1\*eax\+0x3\], bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*45[ 	]+4C0203
[ 	]*46[ 	]+
[ 	]*47[ 	]+\#\#\# bndcl
[ 	]*48[ 	]+\?\?\?\? 67F30F1A 		bndcl bnd1, \[eax\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*48[ 	]+08
[ 	]*49[ 	]+\?\?\?\? 67F30F1A 		bndcl bnd1, \[edx\+1\*eax\+0x3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*49[ 	]+4C0203
[ 	]*50[ 	]+
[ 	]*51[ 	]+\#\#\# bndcu
[ 	]*52[ 	]+\?\?\?\? 67F20F1A 		bndcu bnd1, \[eax\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*52[ 	]+08
[ 	]*53[ 	]+\?\?\?\? 67F20F1A 		bndcu bnd1, \[edx\+1\*eax\+0x3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*53[ 	]+4C0203
[ 	]*54[ 	]+
[ 	]*55[ 	]+\#\#\# bndcn
[ 	]*56[ 	]+\?\?\?\? 67F20F1B 		bndcn bnd1, \[eax\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*56[ 	]+08
[ 	]*57[ 	]+\?\?\?\? 67F20F1B 		bndcn bnd1, \[edx\+1\*eax\+0x3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*57[ 	]+4C0203
[ 	]*58[ 	]+
\fGAS LISTING .*


[ 	]*59[ 	]+\#\#\# bndstx
[ 	]*60[ 	]+\?\?\?\? 670F1B44 		bndstx \[eax\+ebx\*1\+0x3\], bnd0
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*60[ 	]+1803
[ 	]*61[ 	]+\?\?\?\? 670F1B14 		bndstx \[1\*ebx\+3\], bnd2
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*61[ 	]+1D030000 
[ 	]*61[ 	]+00
[ 	]*62[ 	]+
[ 	]*63[ 	]+\#\#\# bndldx
[ 	]*64[ 	]+\?\?\?\? 670F1A44 		bndldx bnd0, \[eax\+ebx\*1\+0x3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*64[ 	]+1803
[ 	]*65[ 	]+\?\?\?\? 670F1A14 		bndldx bnd2, \[1\*ebx\+3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*65[ 	]+1D030000 
[ 	]*65[ 	]+00(|909090 )
#pass
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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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
7e8b059b L	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 )
85024cd8 AM	174	#pass