diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2022-10-14 14:31:02 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2022-10-17 09:13:55 -0400 |
| commit | fca529517484bf19098ca9efa77e95534086abdc (patch) | |
| tree | adf25f82f749101c6b449e6fdd0480a325608a78 /gcc | |
| parent | 612de72b0d2904b5a5a2b487ce4cb907c768a947 (diff) | |
| download | gcc-fca529517484bf19098ca9efa77e95534086abdc.zip gcc-fca529517484bf19098ca9efa77e95534086abdc.tar.gz gcc-fca529517484bf19098ca9efa77e95534086abdc.tar.bz2 | |
Don't set useless relations.
The oracle will not register nonssense/useless relations, class
value_relation shouldn't either.
* value-relation.cc (value_relation::dump): Change message.
* value-relation.h (value_relation::set_relation): If op1 is the
same as op2 do not create a relation.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/value-relation.cc | 2 | ||||
| -rw-r--r-- | gcc/value-relation.h | 7 |
2 files changed, 8 insertions, 1 deletions
diff --git a/gcc/value-relation.cc b/gcc/value-relation.cc index 50fc190..3fb7b96 100644 --- a/gcc/value-relation.cc +++ b/gcc/value-relation.cc @@ -891,7 +891,7 @@ value_relation::dump (FILE *f) const { if (!name1 || !name2) { - fprintf (f, "uninitialized"); + fprintf (f, "no relation registered"); return; } fputc ('(', f); diff --git a/gcc/value-relation.h b/gcc/value-relation.h index a3bbe1e..fa9097a 100644 --- a/gcc/value-relation.h +++ b/gcc/value-relation.h @@ -349,6 +349,13 @@ value_relation::set_relation (relation_kind r, tree n1, tree n2) { gcc_checking_assert (TREE_CODE (n1) == SSA_NAME && TREE_CODE (n2) == SSA_NAME); + if (n1 == n2) + { + related = VREL_VARYING; + name1 = NULL_TREE; + name2 = NULL_TREE; + return; + } related = r; name1 = n1; name2 = n2; |