On 2018-06-15 17:41:33 +0200, Torbjorn Granlund wrote: > This might require more analysis than what we can expect from the > compiler, as (x >> 1) >> c is not the same thing as x >> (1+c) (at least > not if the CPU truncates counts).
If one makes sure that the compiler knows the range for c, they should be equivalent. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs