New in V4:
Check whether the vector is of boolean type in specific comparisons.
If it is, determine whether the operation can be expanded using the selected
expression. If so, proceed with the optimization; otherwise, skip the
optimization.
-----------------------------------------------------------------------
This patch generalizes existing scalar bitwise comparison simplifications
to vector types by matching patterns of the form
```
(cmp x y) bit_and (cmp x y)
(cmp x y) bit_ior (cmp x y)
(cmp x y) bit_xor (cmp x y)
```
Icen Zeyada (2):
tree-simplify: unify simple_comparison ops in vec_cond for bit
and/or/xor [PR119196]
gimple-fold: extend vector simplification to match scalar bitwise
optimizations [PR119196]
gcc/match.pd | 65 +++++++++++++++---
.../gcc.target/aarch64/vector-compare-5.c | 67 +++++++++++++++++++
2 files changed, 121 insertions(+), 11 deletions(-)
create mode 100644 gcc/testsuite/gcc.target/aarch64/vector-compare-5.c
--
2.43.0
