y + z[0] ADDV R18, R7, R9 // z_lo[0] = x[0] * y + z[0] + c SGTU R18, R9, R19 ADDV R17, R19, R7 // next c MULHVU R14, R5, R24 // z_hi[1] = x[1] * y MULV R14, R5, R14 // z_lo[1] = x[1] * y ADDV R14, R10, R18 // z_lo[1] = x[1] * y + z[1] SGTU R14, R18, R19 ADDV R24, R19, R24 // z_hi[1] = x[1] * y + z[1] ADDV R18, R7, R10 // z_lo[1] = x[1] * y + z[1] + c SGTU R18, 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 //...