[Dynamic Shape] Better simplify support for dynamic boundary check

Development
3

Thanks for the proposal. I agree that it is a valuable problem for dynamic shape.

Here are two questions from me:

  1. Is it necessary to rewrite (d1*d2)*d0 into d0*d1*d2. Can we prove them equal by Analyzer directly?
  2. Can we embed the new rule into tir.Simplify rather than create a new method RewriteSimplifier?

Thanks again for the great work and proposal!

1 Like