 BUILDDIR/xed-enc -64 vaddps ymm3 k1 ymm1 ymm2
