 BUILDDIR/xed -64 -e VPGATHERDD zmm0 k1 MEM4:r30,zmm1,1
