| # MPX instructions | |
| .text | |
| .code32 | |
| mpx32: | |
| bndcl (%bx,%si), %bnd0 | |
| bndcn (%bx,%di), %bnd0 | |
| bndcu (%bp,%si), %bnd0 | |
| bndldx (%bp,%di), %bnd0 | |
| bndmk (%bx), %bnd0 | |
| bndmov (%bp), %bnd0 | |
| bndmov %bnd0, (%si) | |
| bndstx %bnd0, (%di) | |
| bndcl %di, %bnd1 | |
| bndcn %si, %bnd2 | |
| bndcu %bp, %bnd3 | |
| .intel_syntax noprefix | |
| bndcl bnd0, [bx] | |
| bndcn bnd0, [bp] | |
| bndcu bnd0, [si] | |
| bndldx bnd0, [di] | |
| bndmk bnd0, [bx+si] | |
| bndmov bnd0, [bx+di] | |
| bndmov [bp+si], bnd0 | |
| bndstx [bp+di], bnd0 | |
| bndcl bnd3, ax | |
| bndcn bnd2, cx | |
| bndcu bnd1, dx | |
| .att_syntax prefix | |
| .code16 | |
| mpx16: | |
| bndcl (%bx,%si), %bnd0 | |
| bndcn (%bx,%di), %bnd0 | |
| bndcu (%bp,%si), %bnd0 | |
| bndldx (%bp,%di), %bnd0 | |
| bndmk (%bx), %bnd0 | |
| bndmov (%bp), %bnd0 | |
| bndmov %bnd0, (%si) | |
| bndstx %bnd0, (%di) | |
| bndcl %di, %bnd1 | |
| bndcn %si, %bnd2 | |
| bndcu %bp, %bnd3 | |
| .intel_syntax noprefix | |
| bndcl bnd0, [bx] | |
| bndcn bnd0, [bp] | |
| bndcu bnd0, [si] | |
| bndldx bnd0, [di] | |
| bndmk bnd0, [bx+si] | |
| bndmov bnd0, [bx+di] | |
| bndmov [bp+si], bnd0 | |
| bndstx [bp+di], bnd0 | |
| bndcl bnd3, ax | |
| bndcn bnd2, cx | |
| bndcu bnd1, dx |