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