gas/testsuite/gas/i386/x86-64-mpx-inval-2.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
  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 \fGAS 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 \fGAS 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