(no commit message)

diff --git a/openpower/sv/biginteger/analysis.mdwn b/openpower/sv/biginteger/analysis.mdwn
index a29aa6a6b4842c69ce51f055ad380bfdb8ee7694..76f0a37f5e32aa2c5fcc07cfd416e376aee22a37 100644 (file)
--- a/openpower/sv/biginteger/analysis.mdwn
+++ b/openpower/sv/biginteger/analysis.mdwn
@@ -409,3 +409,11 @@ selecting whether `RS=RC` or
 allows the instruction to perform full parallel vector div/mod,
 or act in loop-back mode for big-int division by a scalar,
 or for a single scalar 128/64 div/mod.
+
+Just as with `divdeu` on which this instruction is based an overflow
+detection is required.  When the divisor is too small compared to
+the dividend then the result may not fit into 64 bit.  Knuth's
+original algorithm detects overflow and manually places 0xffffffff
+(all ones) into `qhat`. It makes sense for `divrem2du` to do
+this, and also to return an overflow indicator: this can be dobe
+by always setting Rc=1 as a way to save opcode space