diff options
author | Jakub Jelinek <jakub@redhat.com> | 2022-08-12 13:40:43 +0200 |
---|---|---|
committer | Jakub Jelinek <jakub@redhat.com> | 2022-08-12 13:40:43 +0200 |
commit | 83e9bc792ef10d08bb952a961e8c6f567521d28d (patch) | |
tree | ed1caecef894aff26635abfc664a66309310c01f /gcc/gimple-range-path.cc | |
parent | 4cc0d3ebaee4b54280ff0466d8e5b351a3b5bacc (diff) | |
download | gcc-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