search

BoiseState-AdaptLab / spf-ie

Sparse polyhedral framework optimizing compiler frontend
4 stars 2 forks source link

Iterator variables getting negated in iteration domains #41

Closed riftEmber closed 2 years ago

riftEmber commented 2 years ago

Example: Value of: actual->getIterationSpace()->prettyPrintString() Actual: "{ [i] : -i >= 0 && -i + $N$ - 1 >= 0 }" Expected: expected->getIterationSpace()->prettyPrintString() Which is: "{ [i] : i >= 0 && -i + $N$ - 1 >= 0 }"

riftEmber commented 2 years ago

Unable to reproduce this now. Maybe I fixed it by accident? Closing this until/unless it comes up again