]> git.ipfire.org Git - thirdparty/gcc.git/commit
expr: Limit the store flag optimization for single bit to non-vectors [PR113322]
authorAndrew Pinski <quic_apinski@quicinc.com>
Thu, 11 Jan 2024 06:13:03 +0000 (22:13 -0800)
committerAndrew Pinski <quic_apinski@quicinc.com>
Thu, 11 Jan 2024 18:01:22 +0000 (10:01 -0800)
commita2be4e155992151b60fca6969a97d6efd91e82b5
treebe9cd50ac41efc3a2f444f707d506e36c672fb7d
parent7f56a90269b393fcc55ef08e0990fafb7b1c24b4
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>
gcc/expr.cc
gcc/testsuite/gcc.c-torture/compile/pr113322-1.c [new file with mode: 0644]