https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77295
--- Comment #3 from Avi Kivity <a...@cloudius-systems.com> --- If x->which is known then of course just that branch should be followed, and the others eliminated. I'm talking about the case where it isn't known (very common in my code).