Fix bug in strength reduction

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Fix bug in strength reduction #574

Closed oflatt closed 4 months ago

oflatt commented 4 months ago

This PR fixed a bug in loop strength reduction. Looks like we mixed up two indices I also refactored it slightly so that we don't create invalid terms