egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Remove dependency on NoContext in loop unrolling #522

Closed yihozhang closed 4 months ago

yihozhang commented 4 months ago

This is the only place where NoContext is used in optimizations. Since we are converting from NoContext to InFunc as the "base" context, we need to make sure our optimizations do not rely on it in critical ways.