| Summary: | "Extract Packed Floating-Point Values" |
| Reference: | https://www.felixcloutier.com/x86/vextractf128:vextractf32x4:vextractf64x2:vextractf32x8:vextractf64x4 |
| Extension: | AVX512EVEX |
| Category: | AVX512 |
| ISA-Set: | AVX512F_512 |
| CPL: | 3 |
| iform: | VEXTRACTF64X4_YMMf64_MASKmskw_ZMMf64_IMM8_AVX512 |
| iclass: | VEXTRACTF64X4 |
| ASM: | VEXTRACTF64X4 |