Using loop-inversion to optimizes translation overhead for while loops - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Using loop-inversion to optimizes translation overhead for while loops #617

Open yihozhang opened 3 months ago

yihozhang commented 3 months ago

Prerequisite: #620

Before:

After:

There are still some issues that need to be fixed.

Updates: the tests are still blowing up