| 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 |