I think it's a good idea to add a pass before aot/vm compilation, so we can apply pattern matching compilation optimization techniques only once, aot/vm will just be a code generation pass. `is_XX`, `unpack_XX` sounds reasonable. These two functions will likely use pattern matching internally, but in a much simpler form. So aot/vm still has to support limited form of pattern matching, right?
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3874#issuecomment-527272943