BUILDDIR/xed-ex3 -64 vaddps xmm3 k1 xmm1 xmm2