[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.
.*:8: Error: `\(%rip\)' cannot be used here
.*:9: Error: .*
.*:12: 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.
.*:15: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:16: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:19: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:20: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:21: Error: .* `bndcl'
.*:22: Error: .* `bndcl'
.*: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.
.*:27: Error: .* `bndcu'
.*:28: Error: .* `bndcu'
.*:31: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:32: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:33: Error: .* `bndcn'
.*:34: Error: .* `bndcn'
.*: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.
.*:39: Warning: register scaling is being ignored here
.*:40: Error: `base\(%rip\)' cannot be used here
.*:41: Error: .*
.*: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.
.*:46: Warning: register scaling is being ignored here
.*:47: Error: `base\(%rip\)' cannot be used here
.*:48: Error: .*
.*:51: 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: `\[rip\]' cannot be used here
.*:54: Error: .*
.*:55: Error: `\[rax\+rsp\]' is not a valid base/index expression
.*:58: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:59: 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.
.*:62: 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.
.*:66: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:67: Error: .* `bndcl'
.*:68: Error: .* `bndcl'
.*:71: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:72: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:73: Error: .* `bndcu'
.*:74: Error: .* `bndcu'
.*:77: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:78: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:79: Error: .* `bndcn'
.*:80: Error: .* `bndcn'
.*:83: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:84: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:85: Warning: register scaling is being ignored here
.*:86: Error: `\[rip\+base\]' cannot be used here
.*:87: Error: .*
.*:88: Error: `\[rax\+rsp\]' is not a valid base/index expression
.*:91: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:92: Error: 32-bit address isn't allowed in 64-bit MPX instructions.
.*:93: Warning: register scaling is being ignored here
.*:94: Error: `\[rip\+base\]' cannot be used here
.*:95: Error: .*
.*:96: Error: `\[rax\+rsp\]' is not a valid base/index expression
GAS LISTING .*


[ 	]*1[ 	]+\# MPX instructions
[ 	]*2[ 	]+\.allow_index_reg
[ 	]*3[ 	]+\.text
[ 	]*4[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndmk
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F30F1B 		bndmk \(%eax\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+08
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F30F1B 		bndmk 0x3\(%ecx,%ebx,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+4C1903
[ 	]*[1-9][0-9]*[ 	]+bndmk \(%rip\), %bnd3
[ 	]*[1-9][0-9]*[ 	]+bndmk \(%eip\), %bnd2
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndmov
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 6766410F 		bndmov \(%r8d\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+1A08
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 6766410F 		bndmov 0x3\(%r9d,%edx,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+1A4C1103 
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67660F1B 		bndmov %bnd1, \(%eax\)
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+08
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67660F1B 		bndmov %bnd1, 0x3\(%ecx,%eax,1\)
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+4C0103
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndcl
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F30F1A 		bndcl \(%ecx\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+09
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F30F1A 		bndcl 0x3\(%ecx,%eax,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+4C0103
[ 	]*[1-9][0-9]*[ 	]+bndcl %ecx, %bnd1
[ 	]*[1-9][0-9]*[ 	]+bndcl %cx, %bnd1
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndcu
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F20F1A 		bndcu \(%ecx\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+09
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F20F1A 		bndcu 0x3\(%ecx,%eax,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+4C0103
[ 	]*[1-9][0-9]*[ 	]+bndcu %ecx, %bnd1
[ 	]*[1-9][0-9]*[ 	]+bndcu %cx, %bnd1
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndcn
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F20F1B 		bndcn \(%ecx\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+09
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F20F1B 		bndcn 0x3\(%ecx,%eax,1\), %bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+4C0103
[ 	]*[1-9][0-9]*[ 	]+bndcn %ecx, %bnd1
\fGAS LISTING .*


[ 	]*[1-9][0-9]*[ 	]+bndcn %cx, %bnd1
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndstx
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 670F1B44 		bndstx %bnd0, 0x3\(%eax,%ebx,1\)
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+1803
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 670F1B53 		bndstx %bnd2, 3\(%ebx,1\)
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+03
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 410F1B0C 		bndstx %bnd1, \(%r15,%rax,2\)
.*  Warning: register scaling is being ignored here
[ 	]*[1-9][0-9]*[ 	]+47
[ 	]*[1-9][0-9]*[ 	]+bndstx %bnd3, base\(%rip\)
[ 	]*[1-9][0-9]*[ 	]+bndstx %bnd1, base\(%eip\)
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndldx
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 670F1A44 		bndldx 0x3\(%eax,%ebx,1\), %bnd0
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+1803
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 670F1A53 		bndldx 3\(%ebx,1\), %bnd2
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+03
[ 	]*[1-9][0-9]*[ 	]*\?\?\?\? 420F1A1C 		bndldx \(%rax,%r15,4\), %bnd3
.*  Warning: register scaling is being ignored here
[ 	]*[1-9][0-9]*[ 	]*B8
[ 	]*[1-9][0-9]*[ 	]*bndldx base\(%rip\), %bnd1
[ 	]*[1-9][0-9]*[ 	]*bndldx base\(%eip\), %bnd3
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\.intel_syntax noprefix
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F30F1B 		bndmk bnd1, \[eax\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+08
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F30F1B 		bndmk bnd1, \[edx\+1\*eax\+0x3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+4C0203
[ 	]*[1-9][0-9]*[ 	]*bndmk bnd3, \[rip\]
[ 	]*[1-9][0-9]*[ 	]*bndmk bnd2, \[eip\]
[ 	]*[1-9][0-9]*[ 	]+bndmk bnd2, \[rax\+rsp\]
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndmov
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67660F1A 		bndmov bnd1, \[eax\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+08
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67660F1A 		bndmov bnd1, \[edx\+1\*eax\+0x3\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+4C0203
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67660F1B 		bndmov \[eax\], bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+08
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67660F1B 		bndmov \[edx\+1\*eax\+0x3\], bnd1
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
[ 	]*[1-9][0-9]*[ 	]+4C0203
[ 	]*[1-9][0-9]*[ 	]+
[ 	]*[1-9][0-9]*[ 	]+\#\#\# bndcl
[ 	]*[1-9][0-9]*[ 	]+\?\?\?\? 67F30F1A 		bndcl bnd1, \[eax\]
.*  Error: 32-bit address isn't allowed in 64-bit MPX instructions\.
\fGAS LISTING .*


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