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