https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114231
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- A little better reduced (this time only 1 BB even): ``` void f(long*); int ff[2]; void f2(long, long, unsigned long); void k(unsigned long x, unsigned long y) { long t = x >> ff[0]; long t1 = ff[1]; unsigned long t2 = y >> ff[0]; f2(t1, t+t2, t2); } ```