 BUILDDIR/xed-ex3 vaddps ymm1 ymm2 ymm3
