The shared focus between Poly and TVM lies in their use of integer and integer set analysis. I see a valuable opportunity for both MLIR and TVM to enhance and benefit from each other in this area. Essentially, the central concept here involves leveraging integer set analysis, which could be referred to as polyhedral or hypercube analysis. 
May be this will help you more https://mlir.llvm.org/docs/Tutorials/transform-details/Ch0/