to RC extended with SVP64 using `Rsrc3_EXTRA2` in every respect, including whether RC is set Scalar or
Vector.
-# divrem2du RT,RA,RB,RC
+# divmod2du RT,RA,RB,RC
**DRAFT**
For the Opcode map (XO Field)
see Power ISA v3.1, Book III, Appendix D, Table 13 (sheet 7 of 8), p1357.
Proposed is the addition of `madded` (**DRAFT, NOT APPROVED**) in `110010`
-and `divrem2du` in `110100`
+and `divmod2du` in `110100`
|110000|110001 |110010 |110011|110100 |110101|110110|110111|
|------|-------|----------|------|-------------|------|------|------|
-|maddhd|maddhdu|**madded**|maddld|**divrem2du**|rsvd |rsvd |rsvd |
+|maddhd|maddhdu|**madded**|maddld|**divmod2du**|rsvd |rsvd |rsvd |
* Revision 0.0: 21apr2022 <https://www.youtube.com/watch?v=8hrIG7-E77o>
* Revision 0.01: 22apr2022 removal of msubed because sv.madded and sv.subfe works
* Revision 0.02: 22apr2022 128/64 scalar divide, investigate Goldschmidt
-* Revision 0.03: 24apr2022 add 128/64 divrem2du, similar loop to madded
+* Revision 0.03: 24apr2022 add 128/64 divmod2du, similar loop to madded
* Revision 0.04: 26apr2022 Knuth original uses overflow on scalar div
* Revision 0.05: 27apr2022 add vector shift section (no new instructions)
The pseudocode cleanly covering both scenarios (leaving out
overflow for clarity) can be written as:
-`divrem2du RT,RA,RB,RC`
+`divmod2du RT,RA,RB,RC`
dividend = (RC) || (RA)
divisor = EXTZ128(RB)
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`. With there being so many operands already
-in `divrem2du` a `cmpl` instruction can be used instead to detect
+in `divmod2du` a `cmpl` instruction can be used instead to detect
the overflow. This saves having to add an Rc=1 or OE=1 mode when
the available space in VA-Form EXT04 is extremely limited.