0000000000000000 c4c240f2ce                      ANDN      ecx, edi, r14d
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: 0, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

0000000000000005 c4c240f3ce                      BLSR      edi, r14d
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

000000000000000A c4c240f3d6                      BLSMSK    edi, r14d
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: 0, SF: m, OF: 0, 
        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: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

000000000000000F c4c240f3de                      BLSI      edi, r14d
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

0000000000000014 c4c240f5ce                      BZHI      ecx, r14d, edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

0000000000000019 c4c242f5ce                      PEXT      ecx, edi, r14d
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1

000000000000001E c4c243f5ce                      PDEP      ecx, edi, r14d
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1

0000000000000023 c4c243f6ce                      MULX      ecx, edi, r14d
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 3, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:  General Purpose, RegSize:  4, RegId: 2, RegCount: 1

0000000000000028 c4c240f7ce                      BEXTR     ecx, r14d, edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: 0, PF: u, AF: u, ZF: m, SF: u, OF: 0, 
        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:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

000000000000002D c4c241f7ce                      SHLX      ecx, r14d, edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1

0000000000000032 c4c242f7ce                      SARX      ecx, r14d, edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1

0000000000000037 c4c243f7ce                      SHRX      ecx, r14d, edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1

000000000000003C c4c37bf0ce0a                    RORX      ecx, r14d, 0x0a
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  4, RawSize:  4, Encoding: M, RegType:  General Purpose, RegSize:  4, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:  Immediate, Size:  1, RawSize:  1, Encoding: I

0000000000000042 c4e240f20b                      ANDN      ecx, edi, dword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: 0, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 3, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

0000000000000047 c4e240f30b                      BLSR      edi, dword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

000000000000004C c4e240f313                      BLSMSK    edi, dword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: 0, SF: m, OF: 0, 
        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: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

0000000000000051 c4e240f31b                      BLSI      edi, dword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

0000000000000056 c4e240f50b                      BZHI      ecx, dword ptr [rbx], edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

000000000000005B c4e242f50b                      PEXT      ecx, edi, dword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 

0000000000000060 c4e243f50b                      PDEP      ecx, edi, dword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 

0000000000000065 c4e243f60b                      MULX      ecx, edi, dword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 3, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:  General Purpose, RegSize:  4, RegId: 2, RegCount: 1

000000000000006A c4e240f70b                      BEXTR     ecx, dword ptr [rbx], edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: 0, PF: u, AF: u, ZF: m, SF: u, OF: 0, 
        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:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  4, RawSize:  4, Encoding: S, RegType:            Flags, RegSize:  4, RegId: 0, RegCount: 1

000000000000006F c4e241f70b                      SHLX      ecx, dword ptr [rbx], edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1

0000000000000074 c4e242f70b                      SARX      ecx, dword ptr [rbx], edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1

0000000000000079 c4e243f70b                      SHRX      ecx, dword ptr [rbx], edi
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  4, RawSize:  4, Encoding: V, RegType:  General Purpose, RegSize:  4, RegId: 7, RegCount: 1

000000000000007E c4e37bf00b0a                    RORX      ecx, dword ptr [rbx], 0x0a
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:     Memory, Size:  4, RawSize:  4, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:  Immediate, Size:  1, RawSize:  1, Encoding: I

0000000000000084 c4c2c0f2ce                      ANDN      rcx, rdi, r14
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: 0, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

0000000000000089 c4c2c0f3ce                      BLSR      rdi, r14
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

000000000000008E c4c2c0f3d6                      BLSMSK    rdi, r14
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: 0, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

0000000000000093 c4c2c0f3de                      BLSI      rdi, r14
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

0000000000000098 c4c2c0f5ce                      BZHI      rcx, r14, rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

000000000000009D c4c2c2f5ce                      PEXT      rcx, rdi, r14
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1

00000000000000A2 c4c2c3f5ce                      PDEP      rcx, rdi, r14
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1

00000000000000A7 c4c2c3f6ce                      MULX      rcx, rdi, r14
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 3, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:  General Purpose, RegSize:  8, RegId: 2, RegCount: 1

00000000000000AC c4c2c0f7ce                      BEXTR     rcx, r14, rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: 0, PF: u, AF: u, ZF: m, SF: u, OF: 0, 
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

00000000000000B1 c4c2c1f7ce                      SHLX      rcx, r14, rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1

00000000000000B6 c4c2c2f7ce                      SARX      rcx, r14, rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1

00000000000000BB c4c2c3f7ce                      SHRX      rcx, r14, rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1

00000000000000C0 c4c3fbf0ce0a                    RORX      rcx, r14, 0x0a
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 14, RegCount: 1
        Operand: 2, Acc:  R-,  Type:  Immediate, Size:  1, RawSize:  1, Encoding: I

00000000000000C6 c4e2c0f20b                      ANDN      rcx, rdi, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: 0, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 3, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

00000000000000CB c4e2c0f30b                      BLSR      rdi, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

00000000000000D0 c4e2c0f313                      BLSMSK    rdi, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: 0, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

00000000000000D5 c4e2c0f31b                      BLSI      rdi, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

00000000000000DA c4e2c0f50b                      BZHI      rcx, qword ptr [rbx], rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: m, PF: u, AF: u, ZF: m, SF: m, OF: 0, 
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

00000000000000DF c4e2c2f50b                      PEXT      rcx, rdi, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 

00000000000000E4 c4e2c3f50b                      PDEP      rcx, rdi, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 

00000000000000E9 c4e2c3f60b                      MULX      rcx, rdi, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 2, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 3, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:  General Purpose, RegSize:  8, RegId: 2, RegCount: 1

00000000000000EE c4e2c0f70b                      BEXTR     rcx, qword ptr [rbx], rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI1, Ins cat: BMI1, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 3
        Exception class: SSE/VEX, exception type: 13
        FLAGS access
                CF: 0, PF: u, AF: u, ZF: m, SF: u, OF: 0, 
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1
        Operand: 3, Acc:  -W,  Type:   Register, Size:  8, RawSize:  8, Encoding: S, RegType:            Flags, RegSize:  8, RegId: 0, RegCount: 1

00000000000000F3 c4e2c1f70b                      SHLX      rcx, qword ptr [rbx], rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1

00000000000000F8 c4e2c2f70b                      SARX      rcx, qword ptr [rbx], rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1

00000000000000FD c4e2c3f70b                      SHRX      rcx, qword ptr [rbx], rdi
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: V, RegType:  General Purpose, RegSize:  8, RegId: 7, RegCount: 1

0000000000000102 c4e3fbf00b0a                    RORX      rcx, qword ptr [rbx], 0x0a
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: BMI2, Ins cat: BMI2, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 8
        Exception class: SSE/VEX, exception type: 13
        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:  8, RawSize:  8, Encoding: R, RegType:  General Purpose, RegSize:  8, RegId: 1, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:  Immediate, Size:  1, RawSize:  1, Encoding: I