# MPX instructions
	.allow_index_reg
	.text

	### bndmk
	bndmk (%eax), %bnd1
	bndmk 0x3(%ecx,%ebx,1), %bnd1

	### bndmov
	bndmov (%r8d), %bnd1
	bndmov 0x3(%r9d,%edx,1), %bnd1

	bndmov %bnd1, (%eax)
	bndmov %bnd1, 0x3(%ecx,%eax,1)

	### bndcl
	bndcl (%ecx), %bnd1
	bndcl 0x3(%ecx,%eax,1), %bnd1

	### bndcu
	bndcu (%ecx), %bnd1
	bndcu 0x3(%ecx,%eax,1), %bnd1

	### bndcn
	bndcn (%ecx), %bnd1
	bndcn 0x3(%ecx,%eax,1), %bnd1

	### bndstx
	bndstx %bnd0, 0x3(%eax,%ebx,1)
	bndstx %bnd2, 3(%ebx,1)

	### bndldx
	bndldx 0x3(%eax,%ebx,1), %bnd0
	bndldx 3(%ebx,1), %bnd2

.intel_syntax noprefix
	bndmk bnd1, [eax]
	bndmk bnd1, [edx+1*eax+0x3]

	### bndmov
	bndmov bnd1, [eax]
	bndmov bnd1, [edx+1*eax+0x3]

	bndmov [eax], bnd1
	bndmov [edx+1*eax+0x3], bnd1

	### bndcl
	bndcl bnd1, [eax]
	bndcl bnd1, [edx+1*eax+0x3]

	### bndcu
	bndcu bnd1, [eax]
	bndcu bnd1, [edx+1*eax+0x3]

	### bndcn
	bndcn bnd1, [eax]
	bndcn bnd1, [edx+1*eax+0x3]

	### bndstx
	bndstx [eax+ebx*1+0x3], bnd0
	bndstx [1*ebx+3], bnd2

	### bndldx
	bndldx bnd0, [eax+ebx*1+0x3]
	bndldx bnd2, [1*ebx+3]