512-bit vector types are vectors of 8-bit, 16-bit, 32-bit, 64-bit vector elements. These vectors have 4, 8, 16, 32 or 64 lanes.

Note: Vectors with 64-bit elementes are only used for upshift/srs operations found here: Upshift and Shift-Round-Saturate