http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53110
--- Comment #5 from peterz at infradead dot org 2012-04-25 12:47:31 UTC --- Yes that's what it computes.. and no the function won't ever get used on x86_64, but I ran it through the compiler anyway :-) Thing is we need u128 to work on all archs linux supports on all gcc version we support, so we can't use __int128. Anyway, if you're interested in what we're doing and want to see the current patches click: https://lkml.org/lkml/2012/4/25/149