Yes, I agree we should have a general `AssertExpr` instead of
`AssertLowerBound`, and put the asserted condition in the expr..
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-tvm/issues/44
I am also thinking about pushing a parallel change to allow IterVar as a
sub-class of Var. Note that it won't solve the problem of shape var bounds,
but might also help some of the situations.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or
I am not sure if we want to introduce this specialized assertion as a special
Expr. It might be a better idea to have it as an intrinsic
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-t
## Motivation
As we have replaced `truncdiv`/`truncmod` by `floordiv`/`floormod` in most
places, there's a large demand for simplification to know the sign of the
expression. For example, knowing the tensor shape bound can help reduce the
if/else conditions significantly.
Here's an example of g
We will still keep variations of functions in the unified IR, which means
tensor level loop nesting might needs its own analysis.
Let us focus on discussing what is a good design for related tensor-level
dataflow analysis. Note that we do want to make sure reuse the common
infrastructures such
@tqchen, what's your suggestion? IMO, low level IR has been there for a while,
and we've had experience and understanding in low level ir. the post of unified
ir to me is just a high level proposal, details needs to be discussed further,
such as,
The most valuable thing to me is we can make op
Hi @comaniac , Thanks for your suggestion! :)
Because of your suggestion and [Unified IR
Post](https://discuss.tvm.ai/t/ir-unified-tvm-ir-infra/4801), I think I need to
dig into the design and infrastructure of Relay for a while to see how to
design an DFA infrastructure that fits into both IRs.
Hi Tianqi,
Would you mind to write a blog post about Apache Incubator impact of Apache
TVM? I can contribute it from the perspective of an Apache TVM mentor too.
Kind Regards,
Furkan KAMACI
On Sun, Dec 8, 2019 at 11:36 AM Junru Shao wrote:
> Congratulations!
>
> - Junru
>
> On Sat, Dec 7, 2019
