[TVM Discuss] [RFC] Introducing Hexagon backend

2019-07-02 Thread Krzysztof Parzyszek via TVM Discuss
The special runtimes are mostly for offloading to extra devices from host. ARM and X86 are usually the hosts, so the runtime for them is fairly simple. It's still there, look at cpu_device_api.cc for example. --- [Visit Topic](https://discuss.tvm.ai/t/introducing-hexagon-backend/2421/18)

Re: [dmlc/tvm] [RFC][EXPR] Formalize Integer Arithmetic Analysis (#2588)

2019-07-02 Thread Tianqi Chen
https://github.com/dmlc/tvm/pull/3368 finishes the migration of the analysis stack. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/2588#issuecomment-507753372

Re: [dmlc/tvm] [RFC][EXPR] Formalize Integer Arithmetic Analysis (#2588)

2019-07-02 Thread Tianqi Chen
Closed #2588. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/2588#event-2454985179

[dmlc/tvm] [RFC] Build and Evolve Internal Low-level IR (HalideIR) (#3474)

2019-07-02 Thread Tianqi Chen
Dear Community: TVM makes use of HalideIR as our low-level IR structure, and it has served us well. One of the main gains we get is the integer simplification infrastructure provided by HalideIR. As the project moves forward, we start to introduce our own integer simplification infra to tackle

Re: [dmlc/tvm] [RFC][Codegen] Broadcast ops with symbolic shape (#3390)

2019-07-02 Thread Yizhi Liu
close by https://github.com/dmlc/tvm/pull/3389 -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3390#issuecomment-507793738

Re: [dmlc/tvm] [RFC][Codegen] Broadcast ops with symbolic shape (#3390)

2019-07-02 Thread Yizhi Liu
Closed #3390. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3390#event-2455283439

[dmlc/tvm] [RFC][ARITH] Improving Context-Dependent DivMod Simplifications (#3478)

2019-07-02 Thread Tianqi Chen
Many parts of our code base relies on integer simplifications that involves div/mod. These simplifications are in particular tricky due to the different division mode, and the dependence on knowing the sign of the operand. Here is a list of division variants: ## Trunc div/mod IEEE standard inte

Re: [dmlc/tvm] [RFC][ARITH] Improving Context-Dependent DivMod Simplifications (#3478)

2019-07-02 Thread Tianqi Chen
cc @dmlc/tvm-team -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3478#issuecomment-507892218

Re: [dmlc/tvm] [DEV] TVM v0.6 Roadmap (#2623)

2019-07-02 Thread Yizhi Liu
# TVM Monthly - June 2019 https://discuss.tvm.ai/t/tvm-monthly-june-2019 -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/2623#issuecomment-507917006

[TVM Discuss] [Development] [solved][Relay] Broken case of type infer

2019-07-02 Thread Wuwei Lin via TVM Discuss
solved in latest master --- [Visit Topic](https://discuss.tvm.ai/t/solved-relay-broken-case-of-type-infer/3169/2) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/a3f9cac923e

Re: [dmlc/tvm] [RFC][ARITH] Introduce FloorDiv/Mod for Context-Independent Simplifications (#3478)

2019-07-02 Thread Jared Roesch
Can you clarify the example above? the simplifications seem invalid to me, how can you drop the addition by 3? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3478#issuecomment-507935931

Re: [dmlc/tvm] [RFC][ARITH] Introduce FloorDiv/Mod for Context-Independent Simplifications (#3478)

2019-07-02 Thread Tianqi Chen
Sorry it should be ```(x * 4 + 3) / 4=>x``` -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3478#issuecomment-507936537