Improve extraction's memory usage by filtering to correct types

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Improve extraction's memory usage by filtering to correct types #532

Closed oflatt closed 6 months ago

oflatt commented 6 months ago

The main change in this PR is to check the sort of nodes during the reachability query. Other than that, this PR refactors costsets to get more sharing.

This PR reduces memory usage by 10x on hard benchmarks