diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2023-07-02 17:36:33 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2023-07-02 17:36:33 +0200 |
| commit | 83733be3f7583f75f626c57e49679cfb9d877c5f (patch) | |
| tree | f5fa16196ff2f8f3a0f5930ada2837b476ba21f1 /gcc/gimple-loop-versioning.cc | |
| parent | 2f615b33dd61590a74e7758e19016250ade2b828 (diff) | |
| download | gcc-83733be3f7583f75f626c57e49679cfb9d877c5f.zip gcc-83733be3f7583f75f626c57e49679cfb9d877c5f.tar.gz gcc-83733be3f7583f75f626c57e49679cfb9d877c5f.tar.bz2 | |
tree-ssa-math-opts: Fix up ICE in match_uaddc_usubc [PR110508]
The match_uaddc_usubc matching doesn't require that the second
.{ADD,SUB}_OVERFLOW has REALPART_EXPR of its lhs used, only that there is
at most one. So, in the weird case where the REALPART_EXPR of it isn't
present, we shouldn't ICE trying to replace that REALPART_EXPR with
REALPART_EXPR of .U{ADD,SUB}C result.
2023-07-02 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/110508
* tree-ssa-math-opts.cc (match_uaddc_usubc): Only replace re2 with
REALPART_EXPR opf nlhs if re2 is non-NULL.
* gcc.dg/pr110508.c: New test.
Diffstat (limited to 'gcc/gimple-loop-versioning.cc')
0 files changed, 0 insertions, 0 deletions