A very dirty work through is replace the str like
``` eval(str(c).replace(str(a), "1").replace(str(b), "2")) # the answer 3 ``` But this is not always correct (e.g., is the b var's name is `ba`). If there is no direct evaluation API, can you advise how I can access to the AST of the expression? --- [Visit Topic](https://discuss.tvm.apache.org/t/how-to-instantiate-and-evaluate-tvm-tir-expr-var/11368/2) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/876e8a75c175dc1d356ae806c71a8d4381438989be5c7306b3f5bd7462e695bd).