Fix out-of-bounds crash in Stream affinity analysis for scf.while (#24723) See issue https://github.com/iree-org/iree/issues/24722 The issue contains a deeper explanation of the issue and a repro case (which is the same as the lit test here). When an `scf.while` carries more values through its "before" region than the op has results (i.e. some loop-carried values are not forwarded to a result via `scf.condition`), the affinity analysis mapped an `scf.yield` operand number directly onto `whileOp->getResult(operandNumber)`. Since the "after" region yield has one operand per init operand (`N`) while the op may have fewer results (`M`), this lead to `getResult()` being out of bounds. Two independent sites made this naive mapping: - **`Affinity.cpp`**: in the `scf.yield` → `scf.while` branch of `ValueConsumerAffinityPVS::updateFromUse`, drop the `whileOp->getResult(operandNumber)` propagation and keep only the before-region-argument propagation. (Results are already handled by the `scf.condition` case.) - **`Explorer.cpp`**: guard the `ReturnLike` result-mapping fallback in `walkTransitiveUses` with `!isa<RegionBranchTerminatorOpInterface>(ownerOp)` (region-branch terminators like `scf.yield` are already handled correctly above) plus a `use.getOperandNumber() < parent->getNumResults()` bounds check. Added regression test `@scf_while_extra_loop_carried`, which exercises the `N > M` shape (two loop-carried values, one result) that previously asserted. Note that Claude made the fix suggestions and, while they look okay to me, I'm not at all familiar with this code. --------- Signed-off-by: Paul Stark <paul.stark@cdprojektred.com> Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Co-authored-by: Artem Gindinson <gindinson@roofline.ai>
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.
Releases notes are published on GitHub releases.
| Package | Release status |
|---|---|
| GitHub release (stable) | |
| GitHub release (nightly) | |
iree-base-compiler | |
iree-base-runtime |
For more details on the release process, see https://iree.dev/developers/general/release-management/.
| Operating system | Build status |
|---|---|
| Linux | |
| macOS | |
| macOS |
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
| Date | Title | Recording | Slides |
|---|---|---|---|
| 2025-06-10 | Data-Tiling in IREE: Achieving High Performance Through Compiler Design (AsiaLLVM) | recording | slides |
| 2025-05-17 | Introduction to GPU architecture and IREE's GPU CodeGen Pipeline | recording | slides |
| 2025-02-12 | The Long Tail of AI: SPIR-V in IREE and MLIR (Vulkanised) | recording | slides |
| 2024-10-01 | Unveiling the Inner Workings of IREE: An MLIR-Based Compiler for Diverse Hardware | recording | |
| 2021-06-09 | IREE Runtime Design Tech Talk | recording | slides |
| 2020-08-20 | IREE CodeGen (MLIR Open Design Meeting) | recording | slides |
| 2020-03-18 | Interactive HAL IR Walkthrough | recording | |
| 2020-01-31 | End-to-end MLIR Workflow in IREE (MLIR Open Design Meeting) | recording | slides |
IREE is licensed under the terms of the Apache 2.0 License with LLVM Exceptions. See LICENSE for more information.