https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106506
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:83e9bc792ef10d08bb952a961e8c6f567521d28d commit r13-2032-g83e9bc792ef10d08bb952a961e8c6f567521d28d Author: Jakub Jelinek <ja...@redhat.com> Date: Fri Aug 12 13:40:43 2022 +0200 phiopt: Remove unnecessary checks from spaceship_replacement [PR106506] Those 2 checks were just me trying to be extra careful, the (phires & 1) == phires and variants it is folded to of course make only sense for the -1/0/1/2 result spaceship, for -1/0/1 one can just use comparisons of phires. We only floating point spaceship if nans aren't honored, so the 2 case is ignored, and if it is, with Aldy's changes we can simplify the 2 case away from the phi but the (phires & 1) == phires stayed. It is safe to treat the phires comparison as phires >= 0 even then. 2022-08-12 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/106506 * tree-ssa-phiopt.cc (spaceship_replacement): Don't punt for is_cast or orig_use_lhs cases if phi_bb has 3 predecessors. * g++.dg/opt/pr94589-2.C: New test.
