[Bug tree-optimization/122296] [16 Regression] ICE on valid code at -O1 on x86_64-linux-gnu: verify_gimple failed since r16-4219

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122296

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #2)
> ``
> /* Given two integers a and b:

The other thing is the pattern does NOT reuse `a|b` expression and recreates
it. That can make things worse later on because it could be used multiply times
and now there are 2 of them which only is "recombined" during fre.