search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Tree unique] Referencing Id Analysis #265

Closed kirstenmg closed 8 months ago

kirstenmg commented 8 months ago

Creates relations ExprHasRefId, ListExprHasRefId to find the referencing id of an expression (the id of the context containing the expression).

kirstenmg commented 8 months ago

After merging with main, the following tests fail because the ref ids don't match:

    simple::test_simple_bool_rules
    switch_rewrites::switch_pull_in_below
    switch_rewrites::test_constant_condition

I will figure this out then re-open the PR.