Follow up items after https://github.com/apache/tvm/pull/9482 * Extend the notion of expression equality to take advantage of the purity annotation of TIR intrinsics. See the discussion in https://github.com/apache/tvm/pull/9482#issuecomment-964681835 and below for the motivation. * Rewrite the test case using TVMScript. https://github.com/apache/tvm/pull/9482#discussion_r746255687 * Explore possibilities of refactoring existing TIR utility functions as a special case of the new functionality in the PR. https://github.com/apache/tvm/pull/9482#issuecomment-1034251858 @FranckQC @jroesch, also cc @mbs-octoml @mikepapadim @electriclilies cc @Hzfengsy @junrushao
Follow up items after #9482
@FranckQC @jroesch, also cc @mbs-octoml @mikepapadim @electriclilies
cc @Hzfengsy @junrushao