BUILDDIR/xed -64 -e vaddps zmm3 k1 zmm1 zmm2