    bits 64
    
    vgatherpf0dpd [rbx+ymm17*8+0x1000]{k5}
    vgatherpf0dps [rbx+zmm27*8+0x1000]{k5}
    vgatherpf0qpd [rbx+zmm27*8+0x1000]{k5}
    vgatherpf0qps [rbx+zmm27*8+0x1000]{k5}
    vgatherpf1dpd [rbx+ymm17*8+0x1000]{k5}
    vgatherpf1dps [rbx+zmm27*8+0x1000]{k5}
    vgatherpf1qpd [rbx+zmm27*8+0x1000]{k5}
    vgatherpf1qps [rbx+zmm27*8+0x1000]{k5}
    vscatterpf0dpd [rbx+ymm17*8+0x1000]{k5}
    vscatterpf0dps [rbx+zmm27*8+0x1000]{k5}
    vscatterpf0qpd [rbx+zmm27*8+0x1000]{k5}
    vscatterpf0qps [rbx+zmm27*8+0x1000]{k5}
    vscatterpf1dpd [rbx+ymm17*8+0x1000]{k5}
    vscatterpf1dps [rbx+zmm27*8+0x1000]{k5}
    vscatterpf1qpd [rbx+zmm27*8+0x1000]{k5}
    vscatterpf1qps [rbx+zmm27*8+0x1000]{k5}
