diff options
| author | Richard Biener <rguenther@suse.de> | 2022-02-23 13:47:01 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-02-23 13:51:43 +0100 |
| commit | fdc46830f1b793dc791099acfadc3f0f8cc24c0e (patch) | |
| tree | e258eabd0bfcca853c5e450e99b215becdbe18f5 /gcc/expr.cc | |
| parent | f4ed267fa5b82d6dafbc8afc82baf45bfcae549c (diff) | |
| download | gcc-fdc46830f1b793dc791099acfadc3f0f8cc24c0e.zip gcc-fdc46830f1b793dc791099acfadc3f0f8cc24c0e.tar.gz gcc-fdc46830f1b793dc791099acfadc3f0f8cc24c0e.tar.bz2 | |
middle-end/104644 - recursion with bswap match.pd pattern
The following patch avoids infinite recursion during generic folding.
The (cmp (bswap @0) INTEGER_CST@1) simplification relies on
(bswap @1) actually being simplified, if it is not simplified, we just
move the bswap from one operand to the other and if @0 is also INTEGER_CST,
we apply the same rule next.
The reason why bswap @1 isn't folded to INTEGER_CST is that the INTEGER_CST
has TREE_OVERFLOW set on it and fold-const-call.cc predicate punts in
such cases:
static inline bool
integer_cst_p (tree t)
{
return TREE_CODE (t) == INTEGER_CST && !TREE_OVERFLOW (t);
}
The patch uses ! modifier to ensure the bswap is simplified and
extends support to GENERIC by means of requiring !EXPR_P which
is not perfect but a conservative approximation.
2022-02-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/104644
* doc/match-and-simplify.texi: Amend ! documentation.
* genmatch.cc (expr::gen_transform): Code-generate ! support
for GENERIC.
(parser::parse_expr): Allow ! for GENERIC.
* match.pd (cmp (bswap @0) INTEGER_CST@1): Use ! modifier on
bswap.
* gcc.dg/pr104644.c: New test.
Co-Authored-by: Jakub Jelinek <jakub@redhat.com>
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions