0000000000000000 62f1fd086ec9                    VMOVD     xmm1, ecx
        DSIZE: 32, ASIZE: 32, VLEN: 128
        ISA Set: AVX512F, Ins cat: DATAXFER, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 16
        EVEX Tuple Type: Tuple 1 Scalar
        Exception class: EVEX, exception type: E9NF
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: no, V8086: no, Prot: yes, Compat: yes, Long: yes
                SMM on: yes, SMM off: yes, SGX on: yes, SGX off: yes, TSX on: yes, TSX off: yes
                VMXRoot: yes, VMXNonRoot: yes, VMXRoot SEAM: yes, VMXNonRoot SEAM: yes, VMX off: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 1, RegCount: 1

0000000000000006 62f1fd087ec9                    VMOVD     ecx, xmm1
        DSIZE: 32, ASIZE: 32, VLEN: 128
        ISA Set: AVX512F, Ins cat: DATAXFER, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 16
        EVEX Tuple Type: Tuple 1 Scalar
        Exception class: EVEX, exception type: E9NF
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: no, V8086: no, Prot: yes, Compat: yes, Long: yes
                SMM on: yes, SMM off: yes, SGX on: yes, SGX off: yes, TSX on: yes, TSX off: yes
                VMXRoot: yes, VMXNonRoot: yes, VMXRoot SEAM: yes, VMXNonRoot SEAM: yes, VMX off: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 1, RegCount: 1

000000000000000C 62f17f482ac9                    VCVTSI2SD xmm1, xmm0, ecx
        DSIZE: 32, ASIZE: 32, VLEN: 512
        ISA Set: AVX512F, Ins cat: CONVERT, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 16
        EVEX Tuple Type: Tuple 1 Scalar
        Exception class: EVEX, exception type: E10NF
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: no, V8086: no, Prot: yes, Compat: yes, Long: yes
                SMM on: yes, SMM off: yes, SGX on: yes, SGX off: yes, TSX on: yes, TSX off: yes
                VMXRoot: yes, VMXNonRoot: yes, VMXRoot SEAM: yes, VMXNonRoot SEAM: yes, VMX off: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: V, RegType:           Vector, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 1, RegCount: 1

0000000000000012 62f1ff482ac9                    VCVTSI2SD xmm1, xmm0, ecx
        DSIZE: 32, ASIZE: 32, VLEN: 512
        ISA Set: AVX512F, Ins cat: CONVERT, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 16
        EVEX Tuple Type: Tuple 1 Scalar
        Exception class: EVEX, exception type: E10NF
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: no, V8086: no, Prot: yes, Compat: yes, Long: yes
                SMM on: yes, SMM off: yes, SGX on: yes, SGX off: yes, TSX on: yes, TSX off: yes
                VMXRoot: yes, VMXNonRoot: yes, VMXRoot SEAM: yes, VMXNonRoot SEAM: yes, VMX off: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: V, RegType:           Vector, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 1, RegCount: 1

0000000000000018 62f17f482dc9                    VCVTSD2SI ecx, xmm1
        DSIZE: 32, ASIZE: 32, VLEN: 512
        ISA Set: AVX512F, Ins cat: CONVERT, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 16
        EVEX Tuple Type: Tuple 1 Fixes
        Exception class: EVEX, exception type: E3
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: no, V8086: no, Prot: yes, Compat: yes, Long: yes
                SMM on: yes, SMM off: yes, SGX on: yes, SGX off: yes, TSX on: yes, TSX off: yes
                VMXRoot: yes, VMXNonRoot: yes, VMXRoot SEAM: yes, VMXNonRoot SEAM: yes, VMX off: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: R, RegType:  General Purpose, RegSize:  4, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 1, RegCount: 1

000000000000001E 62f1ff482dc9                    VCVTSD2SI ecx, xmm1
        DSIZE: 32, ASIZE: 32, VLEN: 512
        ISA Set: AVX512F, Ins cat: CONVERT, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 16
        EVEX Tuple Type: Tuple 1 Fixes
        Exception class: EVEX, exception type: E3
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: no, V8086: no, Prot: yes, Compat: yes, Long: yes
                SMM on: yes, SMM off: yes, SGX on: yes, SGX off: yes, TSX on: yes, TSX off: yes
                VMXRoot: yes, VMXNonRoot: yes, VMXRoot SEAM: yes, VMXNonRoot SEAM: yes, VMX off: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: R, RegType:  General Purpose, RegSize:  4, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 1, RegCount: 1

