diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2020-05-06 11:20:20 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2020-05-06 11:20:20 +0200 |
| commit | a7b76d574b19190da190a60c065f347f40bab59e (patch) | |
| tree | 5302a249505a7b87485ecd073d9150dabf6e1cd5 /gcc/tree-vectorizer.h | |
| parent | 380a681518c3b387476be1064097f24b0847726d (diff) | |
| download | gcc-a7b76d574b19190da190a60c065f347f40bab59e.zip gcc-a7b76d574b19190da190a60c065f347f40bab59e.tar.gz gcc-a7b76d574b19190da190a60c065f347f40bab59e.tar.bz2 | |
match.pd: Optimize ~(~X +- Y) into (X -+ Y) [PR94921]
According to my verification proglet, this transformation for signed types
with undefined overflow doesn't introduce nor remove any UB cases, so should
be valid even for signed integral types.
Not using a for because of the :c on plus which can't be there on minus.
2020-05-06 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/94921
* match.pd (~(~X - Y) -> X + Y, ~(~X + Y) -> X - Y): New
simplifications.
* gcc.dg/tree-ssa/pr94921.c: New test.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions