egraphs-good / eggcc

MIT License
42 stars 8 forks source link

New algorithm for DAG to RVSDG conversion #418

Closed oflatt closed 5 months ago

oflatt commented 5 months ago

My algorithm in #413 is incorrect, as shown by the new test case. I re-designed the algorithm and made it much simpler as a result. The new algorithm is still O(n^2log(n)) in the number of nodes in a loop, as the previous one was.