Lunderberg opened a new pull request, #15694: URL: https://github.com/apache/tvm/pull/15694
Prior to this commit, a shape could be explicitly specified using the `ShapePattern`, but could not be specified relative to the shape of another expression. As a result, patterns with restricted shapes became very difficult to This commit implements `SameShapeConstraint`, which can be applied between any patterns that participate in the match. For example, matching against `R.add(lhs,rhs)` where `lhs` and `rhs` have the same non-broadcasted shape. Because these constraints operate between patterns that do not necessarily share a consumer/producer relationship, they could not previously be expressed using the existing `PairCons` functionality, and were instead implemented in terms of a new `DFConstraint` base class. -- 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]
