Fix several extraction bugs

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Fix several extraction bugs #535

Closed oflatt closed 6 months ago

oflatt commented 6 months ago

This PR fixes several bugs in extraction, and also includes some fixes to function inlining. Unfortunately I ended up disabling function inlining for now due to performance problems (fix coming soon) I also had to disable load eliminations because it violated the weakly linear invariant.

oflatt commented 6 months ago

Closing, will re-open on new branch