remAddr# primop inconsistency

1 Feb 2021

      Hello,

I've discovered that the remAddr# primop documentation is inconsistent with
the implementation.
According to the docs (primops.txt.pp) the remAddr# should be the same as
remInt#.
...
primop   AddrRemOp "remAddr#" GenPrimOp Addr# -> Int# -> Int#         {Return the remainder when the {\tt Addr\#} arg, treated like an {\tt Int\#},          is divided by the {\tt Int\#} arg.}
But it is implemented with the mo_wordURem instruction, just like the
WordRemOp primop.
...
GHC/StgToCmm/Prim.hs:
AddrRemOp -> \args -> opTranslate args (mo_wordURem platform)
...
WordRemOp -> \args -> opTranslate args (mo_wordURem platform)
...
IntRemOp -> \args -> opTranslate args (mo_wordSRem platform)
...
Which one is correct, the docs or the implementation?

Regards,
Csaba Hruska