summaryrefslogtreecommitdiff
path: root/gas/testsuite/gas/i386/x86-64-mpx-inval-2.l
diff options
context:
space:
mode:
Diffstat (limited to 'gas/testsuite/gas/i386/x86-64-mpx-inval-2.l')
-rw-r--r--gas/testsuite/gas/i386/x86-64-mpx-inval-2.l173
1 files changed, 173 insertions, 0 deletions
diff --git a/gas/testsuite/gas/i386/x86-64-mpx-inval-2.l b/gas/testsuite/gas/i386/x86-64-mpx-inval-2.l
new file mode 100644
index 0000000000..820d87a90a
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-mpx-inval-2.l
@@ -0,0 +1,173 @@
+.*: 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\.
+ GAS 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[ ]+
+ GAS 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