# 5.1.16 BMI2 Instructions
gsed -i -e "s/,bzhi,/,bzhi,5.1.16,BMI2 Instructions/" \
	-e "s/,mulx,/,mulx,5.1.16,BMI2 Instructions/" \
	-e "s/,pdep,/,pdep,5.1.16,BMI2 Instructions/" \
	-e "s/,pext,/,pext,5.1.16,BMI2 Instructions/" \
	-e "s/,rorx,/,rorx,5.1.16,BMI2 Instructions/" \
	-e "s/,sarx,/,sarx,5.1.16,BMI2 Instructions/" \
	-e "s/,shlx,/,shlx,5.1.16,BMI2 Instructions/" \
	-e "s/,shrx,/,shrx,5.1.16,BMI2 Instructions/" $1
