> To follow up: Alan Modra found and fixed the bug, it seems we were only> using the optimisation when the arguments were <= 32bit.> The target we use is RS64a which has a cost of 60 odd instructions> for divide.