0000000000000000 410f38c8fd                      SHA1NEXTE xmm7, xmm13
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 13, RegCount: 1

0000000000000005 410f38c9fd                      SHA1MSG1  xmm7, xmm13
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 13, RegCount: 1

000000000000000A 410f38cafd                      SHA1MSG2  xmm7, xmm13
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 13, RegCount: 1

000000000000000F 410f38cbfd                      SHA256RNDS2 xmm7, xmm13
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 13, RegCount: 1
        Operand: 2, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: S, RegType:           Vector, RegSize: 16, RegId: 0, RegCount: 1

0000000000000014 410f38ccfd                      SHA256MSG1 xmm7, xmm13
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 13, RegCount: 1

0000000000000019 410f38cdfd                      SHA256MSG2 xmm7, xmm13
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 13, RegCount: 1

000000000000001E 410f3accfd0a                    SHA1RNDS4 xmm7, xmm13, 0x0a
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:           Vector, RegSize: 16, RegId: 13, RegCount: 1
        Operand: 2, Acc:  R-,  Type:  Immediate, Size:  1, RawSize:  1, Encoding: I

0000000000000024 0f38c83b                        SHA1NEXTE xmm7, xmmword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 

0000000000000028 0f38c93b                        SHA1MSG1  xmm7, xmmword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 

000000000000002C 0f38ca3b                        SHA1MSG2  xmm7, xmmword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 

0000000000000030 0f38cb3b                        SHA256RNDS2 xmm7, xmmword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: S, RegType:           Vector, RegSize: 16, RegId: 0, RegCount: 1

0000000000000034 0f38cc3b                        SHA256MSG1 xmm7, xmmword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 

0000000000000038 0f38cd3b                        SHA256MSG2 xmm7, xmmword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 

000000000000003C 0f3acc3b0a                      SHA1RNDS4 xmm7, xmmword ptr [rbx], 0x0a
        DSIZE: 32, ASIZE: 64, VLEN: 128
        ISA Set: SHA, Ins cat: SHA, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 29
        Exception class: SSE/VEX, exception type: 4
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: 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:  RW,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:           Vector, RegSize: 16, RegId: 7, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 2, Acc:  R-,  Type:  Immediate, Size:  1, RawSize:  1, Encoding: I

