# 5.1.16 BMI1 Instructions
gsed -i -e "s/,andn,/,andn,5.1.16,BMI1 Instructions/" \
	-e "s/,bextr,/,bextr,5.1.16,BMI1 Instructions/" \
	-e "s/,blsi,/,blsi,5.1.16,BMI1 Instructions/" \
	-e "s/,blsmsk,/,blsmsk,5.1.16,BMI1 Instructions/" \
	-e "s/,blsr,/,blsr,5.1.16,BMI1 Instructions/" \
	-e "s/,lzcnt,/,lzcnt,5.1.16,BMI1 Instructions/" \
	-e "s/,tzcnt,/,tzcnt,5.1.16,BMI1 Instructions/" $1
