# \[DISCUSS\] Embed more Bound Information into Var or Expr

**URL:** <https://discuss.tvm.apache.org/t/discuss-embed-more-bound-information-into-var-or-expr/4079>\
**Category:** RFC\
**Created:** [September 21, 2019, 12:45am UTC](https://discuss.tvm.apache.org/t/discuss-embed-more-bound-information-into-var-or-expr/4079 "2019-09-21T00:45:59Z")\
**Posts on this page:** 1\
**Showing post:** 29

<div class="post-metadata">

**Author:** ![sanirudh](https://discuss.tvm.apache.org/user_avatar/discuss.tvm.apache.org/sanirudh/32/1619_2.png) [@sanirudh](https://discuss.tvm.apache.org/u/sanirudh)\
**Post date:** [September 14, 2020, 9:05am UTC](https://discuss.tvm.apache.org/t/discuss-embed-more-bound-information-into-var-or-expr/4079/29 "2020-09-14T09:05:57Z")

</div>

I’m know I’m quite late to this discussion, but is there a way to embed bound information on variables now.

I know that we have `tvm.tir.SizeVar` which defines a bound of `>= 0`, but couldn’t find a way to directly embed bound information on variables without writing a pass through TIR.

Thanks,  
Anirudh

---

_[View the full topic](https://discuss.tvm.apache.org/t/discuss-embed-more-bound-information-into-var-or-expr/4079)._