40(AX), R8 MOVQ R8, 40(AX) // Iteration 6 MULXQ 48(CX), R8, DI ADCXQ BX, R8 ADOXQ 48(AX), R8 MOVQ R8, 48(AX) // Iteration 7 MULXQ 56(CX), R8, BX ADCXQ DI, R8 ADOXQ 56(AX), R8 MOVQ R8, 56(AX) // Iteration 8 MULXQ 64(CX), R8, DI ADCXQ BX, R8 ADOXQ 64(AX), R8 MOVQ R8, 64(AX) // Iteration 9 MULXQ 72(CX), R8, BX ADCXQ DI, R8 ADOXQ 72(AX), R8 MOVQ R8, 72(AX) // Iteration 10 MULXQ 80(CX), R8, DI ADCXQ BX, R8 ADOXQ 80(AX), R8 MOVQ R8, 80(AX) // Iteration 11 MULXQ 88(CX), R8, BX ADCXQ DI, R8 ADOXQ 88(AX),...

	MULXL R11, R9, R11                      // c44233f6db
	MULXQ (BX), R14, DX                     // c4e28bf613
	MULXQ (R11), R14, DX                    // c4c28bf613
	MULXQ DX, R14, DX                       // c4e28bf6d2
	MULXQ R11, R14, DX                      // c4c28bf6d3
	MULXQ (BX), R14, R11                    // c4628bf61b
	MULXQ (R11), R14, R11                   // c4428bf61b
	MULXQ DX, R14, R11                      // c4628bf6da