BUILDDIR/xed-ex3 -64 vgatherdps ymm1 MEM4:RBP,YMM2,2 YMM3