use mulx of Haswell