commit | d2895c26c389c9db5f52a12502e35ca5ae380713 | [log] [tgz] |
---|---|---|
author | Ben Vanik <ben.vanik@gmail.com> | Mon Jul 08 18:26:35 2024 -0700 |
committer | GitHub <noreply@github.com> | Mon Jul 08 18:26:35 2024 -0700 |
tree | f349382a60bd69b43d3cbf03dd6d6ef9844a8280 | |
parent | 9ffe4735c8ed54a622e40b9a16df37657c0417b4 [diff] |
Actually implement bytecode verifier IREE_VM_VERIFY_REG_ANY. (#17829) This enables branch and variadic operand verification. It only verifies that the referenced registers are in the declared range and that there will be no out-of-bounds access of the register files at runtime. It will not catch correctness issues (but the verifier isn't intended to). Fixes #14313.
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!
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.