Incorporate Krste's feedback

1 files changed, 0 insertions, 8 deletions

diff --git a/src/m.tex b/src/m.tex
index 2a89673..0d5022e 100644
--- a/src/m.tex
+++ b/src/m.tex
@@ -176,14 +176,6 @@ namely: MUL, MULH, MULHU, MULHSU, and (for RV64 only) MULW.
 The encodings are identical to those of the corresponding M-extension instructions.
 
 \begin{commentary}
-The Zmmul extension implicitly allows the DIV* and REM* opcodes to cause
-illegal-instruction exceptions (e.g. if a platform requires DIV*/REM*
-emulation) or be used for non-conforming extensions.
-It cannot coexist with the M extension, but otherwise has
-no conflicts with or dependencies on other extensions.
-\end{commentary}
-
-\begin{commentary}
 The Zmmul extension enables low-cost implementations that require
 multiplication operations but not division.
 For many microcontroller applications, division operations are too