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