[COMMITTED] PR tree-optimization/103003 - Don't register nonsensical relations.

Andrew MacLeod amacleod@redhat.com
Mon Nov 1 13:31:36 GMT 2021


The testcase in question has a stmt of the form:
    _10 = _4 <= _4;

We know this resolves to true, but when proce3ssing outgoing edges on 
the following branch, we try to register the relations

_4 <= _4  and _4 > _4 on the 2 outgoing edges...  which is nonsense of 
course.

this patch simply changes the registry to bai is the 2 ssa_anames are 
the same.

If the relation is ==, then equality is already implied, and any other 
relation just doesn't make much sense.

Bootstrapped on x86_64-pc-linux-gnu with no regressions.  Pushed.

Andrew

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 003.diff
Type: text/x-patch
Size: 1701 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20211101/80cc7af8/attachment.bin>


More information about the Gcc-patches mailing list