 BUILDDIR/xed -64 -e vaddpd ymm20 k4 ymm21 mem64:r20
