Как представить произведение инструкций умножения в RISCV?

Question

В RISCV у нас есть инструкции mul t1, s1, s2 и mulh t2, s1, s2, в которых хранятся младшие 32 бита и верхние 32 бита продукта соответственно. Если мне нужно использовать продукт, я должен сделать add t0, t2, t1?

Спасибо!