https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52628
--- Comment #3 from Jeffrey A. Law <law at gcc dot gnu.org> --- These looks like they ought to be match.pd patterns implemented for gimple if-conversion. While we're getting good code in RTL, there's benefits for getting this to branchless code earlier.
