Dynamic shape support has been an important topic for TVM for a long time. Currently VM is the only way to process a dynamic model.
For the AutoScheduler, we’ve had many discussions about it while there’s no perfect approach to solve such problem now.
p.s. @comaniac may have some experience on partial dynamic shape support for auto tuning, but I believe the code is not ready now.