Closed oflatt closed 6 months ago
This PR fixes several bugs in extraction, and also includes some fixes to function inlining from @kirstenmg, which allowed us to discover these bugs.
I also had to disable load eliminations because it violated the weakly linear invariant.
This PR fixes several bugs in extraction, and also includes some fixes to function inlining from @kirstenmg, which allowed us to discover these bugs.
I also had to disable load eliminations because it violated the weakly linear invariant.