The rrx instruction has been around since the dark ARMv4 ages. It is not a GMP bug to use ARMv4 instructions in an ARMv5 build. You need to investigate which assembler is being used, and report this problem to whomever provided it. -- Torbjörn