vinx13 commented on issue #14137: URL: https://github.com/apache/tvm/issues/14137#issuecomment-1456728333
I'll take a look. There was a previous attempt #14030 to solve this, but it is alleviate most cases but it's not a full solution. The problem is current arithmetic analysis can't not handle arbitrary block predicates, it can only handle simple bounds like `min < var` or `var < max` where `min/max` are constants. We also updated the search space in #14108. I'll double check if this still occurs in the new search space -- 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]
