http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51795
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-27 11:41:28 UTC --- Roughly, we have to fix either __calc or the generator itself to work fine also when isn't true that __a << __m (which is the "normal" situation)
