SHA1RNDS4 $3, X11, X11   // 450f3accdb03
	SHA256MSG1 (BX), X2      // 0f38cc13
	SHA256MSG1 (R11), X2     // 410f38cc13
	SHA256MSG1 X2, X2        // 0f38ccd2
	SHA256MSG1 X11, X2       // 410f38ccd3
	SHA256MSG1 (BX), X11     // 440f38cc1b
	SHA256MSG1 (R11), X11    // 450f38cc1b
	SHA256MSG1 X2, X11       // 440f38ccda
	SHA256MSG1 X11, X11      // 450f38ccdb
	SHA256MSG2 (BX), X2      // 0f38cd13

SHA256RNDS2 X0, X1, X2 PSHUFD $0x0e, X0, X0 SHA256RNDS2 X0, X2, X1 SHA256MSG1 X4, X3 VMOVDQU 32(SI), X0 PSHUFB X8, X0 VMOVDQA X0, X5 PADDD 64(AX), X0 SHA256RNDS2 X0, X1, X2 PSHUFD $0x0e, X0, X0 SHA256RNDS2 X0, X2, X1 SHA256MSG1 X5, X4 VMOVDQU 48(SI), X0 PSHUFB X8, X0 VMOVDQA X0, X6 PADDD 96(AX), X0 SHA256RNDS2 X0, X1, X2 VMOVDQA X6, X7 PALIGNR $0x04, X5, X7 PADDD X7, X3 SHA256MSG2 X6, X3 PSHUFD $0x0e, X0, X0 SHA256RNDS2 X0, X2, X1 SHA256MSG1 X6, X5 VMOVDQA X3, X0 PADDD 128(AX), X0 SHA256RNDS2 X0, X1, X2...