On Tue, May 17, 2022 at 5:46 PM Andrew MacLeod via Gcc-patches
wrote:
>
> Sorry, missed this one earlier.
>
> When we register a relation, such as LE_EXPR, we first check if there
> is an existing relation that applies, and if so they are combined. We
> were checking if the relation being registe
Sorry, missed this one earlier.
When we register a relation, such as LE_EXPR, we first check if there
is an existing relation that applies, and if so they are combined. We
were checking if the relation being registered was an EQ_EXPR, and if
so, invoked the equivalence oracle.
I was doing
