These two combine as, simply:
# assume VL=8, therefore RS starts at r8.v
- # q : r16
- # dividend: r20.v
- # divisor : r28.v
- # carry : r40
- li r17, 0
- sv.maddx r0.v, r16, r20.v, r28.v
+ # q : r16
+ # multiplier : r17
+ # multiplicand: r20.v
+ # carry : r18
+ li r18, 0
+ sv.maddx r0.v, r16, r17, r20.v
# here, RS=RB+VL, therefore again RS starts at r8.v
- sv.weirdaddx r0.v, r17, r0.v
+ sv.weirdaddx r0.v, r18, r0.v
# big integer division