        bits 64
        
        db 0xc4, 0xa2, 0xc1, 0xb4, 0xc0         ; VPMADD52LUQ xmm0, xmm7, xmm0
        db 0xc4, 0xa2, 0xc1, 0xb4, 0x00         ; VPMADD52LUQ xmm0, xmm7, xmmword ptr [rax]
        db 0xc4, 0xa2, 0xc5, 0xb4, 0xc0         ; VPMADD52LUQ ymm0, ymm7, ymm0
        db 0xc4, 0xa2, 0xc5, 0xb4, 0x00         ; VPMADD52LUQ ymm0, ymm7, ymmword ptr [rax]
        
        db 0xc4, 0xa2, 0xc1, 0xb5, 0xc0         ; VPMADD52HUQ xmm0, xmm7, xmm0        
        db 0xc4, 0xa2, 0xc1, 0xb5, 0x00         ; VPMADD52HUQ xmm0, xmm7, xmmword ptr [rax]
        db 0xc4, 0xa2, 0xc5, 0xb5, 0xc0         ; VPMADD52HUQ ymm0, ymm7, ymm0
        db 0xc4, 0xa2, 0xc5, 0xb5, 0x00         ; VPMADD52HUQ ymm0, ymm7, ymmword ptr [rax]