R17 // z_hi[0] = x[0] * y MULV R13, R5, R13 // z_lo[0] = x[0] * y ADDV R13, R9, R18 // z_lo[0] = x[0] * y + z[0] SGTU R13, R18, R19 ADDV R17, R19, R17 // z_hi[0] = x[0] * 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]...