Okay, I'm remembering how this works. The issue here comes in the definition of the domination pattern. In your pattern, the nodes I've circled in green count as part of the domination, they're in a direct line between conv2d and relu, but the second inputs to add and multiply are taking data from outside the domination relationship, so they don't match, and that breaks the whole pattern.
 You can see the kinds of patterns we tested this on here: https://tvm.apache.org/docs/reference/langref/relay_pattern.html#matching-diamonds-and-post-dominator-graphs @jroesch I don't remember if we had a strong reason to dis-allow branching domination like this, do you? --- [Visit Topic](https://discuss.tvm.apache.org/t/question-on-fuzzy-path-matching-matching-arbitrary-number-and-type-of-nodes-in-path/11493/4) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/49e5bb6989027ccb70fbcc89e5a217480b0d1435a33caa22d0abd78805ee5d50).
