 BUILDDIR/xed-enc vaddps ymm1 ymm2 ymm3
