You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2020/06/28 00:09:14 UTC
[GitHub] [incubator-tvm] tqchen opened a new pull request #5949: [TIR] Improve Let/LetStmt support.
tqchen opened a new pull request #5949:
URL: https://github.com/apache/incubator-tvm/pull/5949
Let/LetStmt are useful primitives to create variable bindings.
While let binding are harmful for simplification and integer analysis,
they are useful for other cases:
- C0: LetStmt is useful to represent a step that has side effect(e.g. call a PRNG)
- C1: Let expression can be used to create deep nested expression for complicated functions.
This PR improves the let support in the following ways:
- Enable vectorization support for let
- Change let simplification strategy to simplify the most trivial case
while ignore more complicated cases(to avoid deep nest explosion)
- Enhance arith module to handle const bound and modular set for let.
The overall recommendation is to only use Let in the cases when necessary(C0, C1).
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-tvm] tqchen merged pull request #5949: [TIR] Improve Let/LetStmt support.
Posted by GitBox <gi...@apache.org>.
tqchen merged pull request #5949:
URL: https://github.com/apache/incubator-tvm/pull/5949
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-tvm] tqchen commented on pull request #5949: [TIR] Improve Let/LetStmt support.
Posted by GitBox <gi...@apache.org>.
tqchen commented on pull request #5949:
URL: https://github.com/apache/incubator-tvm/pull/5949#issuecomment-650691802
cc @junrushao1994 @ZihengJiang @yzhliu @zhiics
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org