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
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.
@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
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
## 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
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
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
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
