spectrometerHBH edited a comment on pull request #8494: URL: https://github.com/apache/tvm/pull/8494#issuecomment-881972786
Actually, the bug is caused by simplifying the zero iters. After simplifying, the left hand side of constraints (iter < bound) may only contain one IterSplit in IterSum. We fuse the IterSum into one IterMark, and expect the fusing result to be IterSplit(IterMark(IterSum)). But if the IterSum only contain one IterSplit and we directly return the IterSplit, the result will be IterSplit(IterMark(Var)), which is not appropriate. Also, We use a map from IterSum to IterMark to note down the correct bound induced by constraint. So we expect the source of IterMark to be an IterSum. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
