rd = rs1 * rs2 + rs3

It's no different from parsing if/then/else. Provided one assignment maps to one opcode, it's unambiguous.