R15, R14 ANDQ AX, DI IMUL3Q $0x13, R14, R14 ADDQ R14, DI ANDQ AX, R9 ADDQ SI, R9 ANDQ AX, R11 ADDQ R8, R11 ANDQ AX, R13 ADDQ R10, R13 ANDQ AX, R15 ADDQ R12, R15 // Second reduction chain (carryPropagate) MOVQ DI, SI SHRQ $0x33, SI MOVQ R9, R8 SHRQ $0x33, R8 MOVQ R11, R10 SHRQ $0x33, R10 MOVQ R13, R12 SHRQ $0x33, R12 MOVQ R15, R14 SHRQ $0x33, R14 ANDQ AX, DI IMUL3Q $0x13, R14, R14 ADDQ R14, DI ANDQ AX, R9 ADDQ SI, R9 ANDQ AX, R11 ADDQ R8, R11 ANDQ AX, R13 ADDQ R10, R13 ANDQ AX, R15 ADDQ R12, R15 // Store...

24(CX) // Iteration 4 MOVQ 32(BX), AX MULQ SI ADDQ 32(CX), AX ADCQ $0x00, DX ADDQ DI, AX ADCQ $0x00, DX MOVQ DX, DI MOVQ AX, 32(CX) // Iteration 5 MOVQ 40(BX), AX MULQ SI ADDQ 40(CX), AX ADCQ $0x00, DX ADDQ DI, AX ADCQ $0x00, DX MOVQ DX, DI MOVQ AX, 40(CX) // Iteration 6 MOVQ 48(BX), AX MULQ SI ADDQ 48(CX), AX ADCQ $0x00, DX ADDQ DI, AX ADCQ $0x00, DX MOVQ DX, DI MOVQ AX, 48(CX) // Iteration 7 MOVQ 56(BX), AX MULQ SI ADDQ 56(CX), AX ADCQ $0x00, DX ADDQ DI, AX ADCQ $0x00, DX MOVQ DX, DI MOVQ AX, 56(CX)...

	ADDQ DX, (BX)                           // 480113
	ADDQ R11, (BX)                          // 4c011b
	ADDQ DX, (R11)                          // 490113
	ADDQ R11, (R11)                         // 4d011b
	ADDQ DX, DX                             // 4801d2 or 4803d2
	ADDQ R11, DX                            // 4c01da or 4903d3
	ADDQ DX, R11                            // 4901d3 or 4c03da