diff options
| author | Andrew Pinski <quic_apinski@quicinc.com> | 2024-01-10 22:13:03 -0800 |
|---|---|---|
| committer | Andrew Pinski <quic_apinski@quicinc.com> | 2024-01-11 10:01:22 -0800 |
| commit | a2be4e155992151b60fca6969a97d6efd91e82b5 (patch) | |
| tree | be9cd50ac41efc3a2f444f707d506e36c672fb7d /gcc/expr.cc | |
| parent | 7f56a90269b393fcc55ef08e0990fafb7b1c24b4 (diff) | |
| download | gcc-a2be4e155992151b60fca6969a97d6efd91e82b5.zip gcc-a2be4e155992151b60fca6969a97d6efd91e82b5.tar.gz gcc-a2be4e155992151b60fca6969a97d6efd91e82b5.tar.bz2 | |
expr: Limit the store flag optimization for single bit to non-vectors [PR113322]
The problem here is after the recent vectorizer improvements, we end up
with a comparison against a vector bool 0 which then tries expand_single_bit_test
which is not expecting vector comparisons at all.
The IR was:
vector(4) <signed-boolean:1> mask_patt_5.13;
_Bool _12;
mask_patt_5.13_44 = vect_perm_even_41 != { 0.0, 1.0e+0, 2.0e+0, 3.0e+0 };
_12 = mask_patt_5.13_44 == { 0, 0, 0, 0 };
and we tried to call expand_single_bit_test for the last comparison.
Rejecting the vector comparison is needed.
Bootstrapped and tested on x86_64-linux-gnu with no regressions.
PR middle-end/113322
gcc/ChangeLog:
* expr.cc (do_store_flag): Don't try single bit tests with
comparison on vector types.
gcc/testsuite/ChangeLog:
* gcc.c-torture/compile/pr113322-1.c: New test.
Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
Diffstat (limited to 'gcc/expr.cc')
| -rw-r--r-- | gcc/expr.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/expr.cc b/gcc/expr.cc index 0bf8083..34f5ff9 100644 --- a/gcc/expr.cc +++ b/gcc/expr.cc @@ -13621,6 +13621,8 @@ do_store_flag (sepops ops, rtx target, machine_mode mode) if ((code == NE || code == EQ) && (integer_zerop (arg1) || integer_pow2p (arg1)) + /* vector types are not handled here. */ + && TREE_CODE (TREE_TYPE (arg1)) != VECTOR_TYPE && (TYPE_PRECISION (ops->type) != 1 || TYPE_UNSIGNED (ops->type))) { tree narg0 = arg0; |