diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2023-03-20 16:11:12 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2023-03-21 09:56:02 -0400 |
| commit | 0963cb5fde158cce986523a90fa9edc51c881f31 (patch) | |
| tree | f2fcf612cfc29038ed6a7196ce31eb05c80ab094 /gcc/value-range.h | |
| parent | 26adc870e3675591050f37edab46850b97a3c122 (diff) | |
| download | gcc-0963cb5fde158cce986523a90fa9edc51c881f31.zip gcc-0963cb5fde158cce986523a90fa9edc51c881f31.tar.gz gcc-0963cb5fde158cce986523a90fa9edc51c881f31.tar.bz2 | |
Terminate GORI calculations if a relation is not relevant.
We currently allow VARYING lhs GORI calculations to continue if there is
a relation present in the hope it will eventually better refine a result.
This adds a check that the relation is relevant to the outgoing range
calculation first. If it is not relevant, stop calculating.
PR tree-optimization/109192
* gimple-range-gori.cc (gori_compute::compute_operand_range):
Terminate gori calculations if a relation is not relevant.
* value-relation.h (value_relation::set_relation): Allow
equality between op1 and op2 if they are the same.
Diffstat (limited to 'gcc/value-range.h')
0 files changed, 0 insertions, 0 deletions