R10, R19 ADDV R24, R19, R7 // next c MULHVU R15, R5, R25 // z_hi[2] = x[2] * y MULV R15, R5, R15 // z_lo[2] = x[2] * y ADDV R15, R11, R18 // z_lo[2] = x[2] * y + z[2] SGTU R15, R18, R19 ADDV R25, R19, R25 // z_hi[2] = x[2] * y + 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 //...