mbrookhart commented on issue #5647: URL: https://github.com/apache/incubator-tvm/issues/5647#issuecomment-632403556
It's because the matching is pre-order: you start with the final node of the pattern, check to see if that matches the expresssion. If it does, you compare the pattern's inputs to the expr's inputs recursively. ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: [email protected]
