aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimple-range-path.cc
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2022-08-12 13:40:43 +0200
committerJakub Jelinek <jakub@redhat.com>2022-08-12 13:40:43 +0200
commit83e9bc792ef10d08bb952a961e8c6f567521d28d (patch)
treeed1caecef894aff26635abfc664a66309310c01f /gcc/gimple-range-path.cc
parent4cc0d3ebaee4b54280ff0466d8e5b351a3b5bacc (diff)
downloadgcc-83e9bc792ef10d08bb952a961e8c6f567521d28d.zip
gcc-83e9bc792ef10d08bb952a961e8c6f567521d28d.tar.gz
gcc-83e9bc792ef10d08bb952a961e8c6f567521d28d.tar.bz2
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 <jakub@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.
Diffstat (limited to 'gcc/gimple-range-path.cc')
0 files changed, 0 insertions, 0 deletions