[GlobalOpt] Fix crash in RaiseSpecialOps on buffer-semantics named ops (#24626) ## Problem Passing a `linalg.matmul` (or any named contraction/convolution op) with **memref / buffer operands** to `iree-compile` crashes with a hard assert instead of a clean diagnostic: ``` Assertion failed: (index < size() && "invalid index into type range"), function operator[], file TypeRange.h, line 156. ... NamedImplicitCastOpConversion<linalg::ContractionOpInterface>::matchAndRewrite(...) ``` `NamedImplicitCastOpConversion::matchAndRewrite` in `GlobalOptimization/RaiseSpecialOps.cpp` reasons about the op's results (`getResultTypes()[0]`) and rewrites its body region, both of which assume tensor semantics. A buffer-semantics linalg op writes to an output buffer and has **zero results**, so `getResultTypes()[0]` indexes an empty `TypeRange` and aborts. ## Fix Bail out via `hasPureTensorSemantics()` before touching results, matching the guards already used elsewhere in this file (e.g. lines 48, 231). The op is left untouched and compilation proceeds normally. ## Verification (local, llvm-cpu) A/B on identical current `main` sources, exact reproducer from the issue: | Build | `iree-compile ... memref matmul` | |---|---| | unfixed (`main`) | exit **134**, assert in `NamedImplicitCastOpConversion` | | fixed (this PR) | exit **0**, compiles cleanly to a valid `.vmfb` | - Added lit test `@matmul_memref_no_crash` in `raise_special_ops.mlir`. - Full `raise_special_ops.mlir` lit suite passes. Fixes #24624 Signed-off-by: Alex-Wengg <hanweng9@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.
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.