VEXTRACTF128 - EXTRACT Floating-point 128
VEXTRACTI128 - EXTRACT Integer 128

512-bit → VEXTRACTF64X2 / VEXTRACTF32X4 / VEXTRACTI64X2 / VEXTRACTI32X4
x86/x64 SIMD Instruction List  Feedback