+ z[2] ADDV R18, R7, R11 // z_lo[2] = x[2] * y + z[2] + c SGTU R18, R11, R19 ADDV R25, R19, R7 // next c MULHVU R16, R5, R26 // z_hi[3] = x[3] * y MULV R16, R5, R16 // z_lo[3] = x[3] * y ADDV R16, R12, R18 // z_lo[3] = x[3] * y + z[3] SGTU R16, R18, R19 ADDV R26, R19, R26 // z_hi[3] = x[3] * y + z[3] ADDV R18, R7, R12 // z_lo[3] = x[3] * y + z[3] + c SGTU R18, R12, R19 ADDV R26, R19, R7 // next c MOVV R9, 0*8(R4) // z[0] MOVV R10, 1*8(R4) // z[1] MOVV R11, 2*8(R4) // z[2] MOVV R12, 3*8(R4) // z[3]...