Use upstream dataflow tooling to build an arithmetic opt pass. (#18702) This combines several things into one fixpoint iteration: * Upstream IntRangeOptimizations for taking care of things like constant replacement for unit ranges. * Arith canonicalizations. * Local adaptation of signed->unsigned conversion (upstream's version can't compose since it is based on dialect conversion for some reason). It also has 32bit bugs that have been corrected locally. * Int64/unsigned index conversion. * Common factor elision for integer division. * Making the util.assume ops implement InferIntRangeInterface. I have some additional advanced patterns to the side which simplify a lot of torch cases, but they need some more baking/testing, so I'm just landing the basic pass for now to start. --------- Signed-off-by: Stella Laurenzo <stellaraccident@gmail.com>
IREE (Intermediate Representation Execution Environment, pronounced as “eerie”) is an MLIR-based end-to-end compiler and runtime that lowers Machine Learning (ML) models to a unified IR that scales up to meet the needs of the datacenter and down to satisfy the constraints and special considerations of mobile and edge deployments.
See our website for project details, user guides, and instructions on building from source.
IREE is still in its early phase. We have settled down on the overarching infrastructure and are actively improving various software components as well as project logistics. It is still quite far from ready for everyday use and is made available without any support at the moment. With that said, we welcome any kind of feedback on any communication channels
| Package | Release status |
|---|---|
| GitHub release (stable) | |
| GitHub release (nightly) | |
| Python iree-compiler | |
| Python iree-runtime |
| Host platform | Build status |
|---|---|
| Linux | |
| macOS | |
| Windows |
For the full list of workflows see https://iree.dev/developers/general/github-actions/.
See our website for more information.
Community meeting recordings: IREE YouTube channel
IREE is licensed under the terms of the Apache 2.0 License with LLVM Exceptions. See LICENSE for more information.