Simple Loop Strength Reduction

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Simple Loop Strength Reduction #526

Closed kirstenmg closed 4 months ago

kirstenmg commented 4 months ago

Simple loop strength reduction with multiplication by a constant works. Multiplication by an invariant is left for the future due to other priorities. See how the multiplication goes away in strong_loop.bril!