[Mlir-commits] [mlir] [mlir][Interfaces] Add `ExecutionProgressOpInterface` + folding pattern (PR #179039)

LLVM Continuous Integration llvmlistbot at llvm.org
Sun Feb 1 23:39:53 PST 2026 

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `amdgpu-offload-ubuntu-22-cmake-build-only` running on `rocm-docker-ubu-22` while building `mlir` at step 4 "annotate".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/203/builds/36011

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 4 (annotate) failure: '../llvm-zorg/zorg/buildbot/builders/annotated/amdgpu-offload-cmake.py --jobs=32' (failure)
...
[5171/8465] Linking CXX shared library lib/libMLIRAnalysis.so.23.0git
[5172/8465] Creating library symlink lib/libMLIRAnalysis.so
[5173/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferOpTransforms.cpp.o
[5174/8465] Linking CXX shared library lib/libMLIRFuncDialect.so.23.0git
[5175/8465] Creating library symlink lib/libMLIRFuncDialect.so
[5176/8465] Creating library symlink lib/libMLIRExecutionProgressOpInterface.so
[5177/8465] Linking CXX shared library lib/libMLIREmitCDialect.so.23.0git
[5178/8465] Creating library symlink lib/libMLIREmitCDialect.so
[5179/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRSubsetOpInterface.dir/SubsetOpInterface.cpp.o
[5180/8465] Linking CXX shared library lib/libMLIRUBDialect.so.23.0git
FAILED: lib/libMLIRUBDialect.so.23.0git 
: && /usr/bin/c++ -fPIC -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wno-missing-field-initializers -pedantic -Wno-long-long -Wimplicit-fallthrough -Wno-uninitialized -Wno-nonnull -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-array-bounds -Wno-stringop-overread -Wno-noexcept-type -Wdelete-non-virtual-dtor -Wsuggest-override -Wno-comment -Wno-misleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Wno-unused-but-set-parameter -Wno-deprecated-copy -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/./lib  -Wl,--gc-sections -shared -Wl,-soname,libMLIRUBDialect.so.23.0git -o lib/libMLIRUBDialect.so.23.0git tools/mlir/lib/Dialect/UB/IR/CMakeFiles/obj.MLIRUBDialect.dir/UBOps.cpp.o  -Wl,-rpath,"\$ORIGIN/../lib:/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/lib:"  lib/libMLIRExecutionProgressOpInterface.so.23.0git  lib/libMLIRIR.so.23.0git  lib/libMLIRSupport.so.23.0git  lib/libLLVMSupport.so.23.0git  -Wl,-rpath-link,/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/lib && :
/usr/bin/ld: tools/mlir/lib/Dialect/UB/IR/CMakeFiles/obj.MLIRUBDialect.dir/UBOps.cpp.o: in function `(anonymous namespace)::EraseInfiniteRegionBranchLoop::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const':
UBOps.cpp:(.text._ZNK12_GLOBAL__N_129EraseInfiniteRegionBranchLoop15matchAndRewriteEPN4mlir9OperationERNS1_15PatternRewriterE+0x304): undefined reference to `mlir::wouldOpBeTriviallyDead(mlir::Operation*)'
/usr/bin/ld: UBOps.cpp:(.text._ZNK12_GLOBAL__N_129EraseInfiniteRegionBranchLoop15matchAndRewriteEPN4mlir9OperationERNS1_15PatternRewriterE+0x327): undefined reference to `mlir::isGuaranteedToLoopInfinitely(mlir::RegionBranchOpInterface)'
collect2: error: ld returned 1 exit status
[5181/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRTilingInterface.dir/TilingInterface.cpp.o
[5182/8465] Linking CXX shared library lib/libMLIRSMT.so.23.0git
[5183/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferSplitRewritePatterns.cpp.o
[5184/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorUnroll.cpp.o
[5185/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorDistribute.cpp.o
[5186/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/LegalizeForLLVMExport.cpp.o
[5187/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/AVXTranspose.cpp.o
[5188/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransforms.cpp.o
[5189/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUFoldAliasOps.cpp.o
[5190/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Utils/CMakeFiles/obj.MLIRX86VectorUtils.dir/X86VectorUtils.cpp.o
[5191/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaProfileCompliance.cpp.o
[5192/8465] Building CXX object tools/mlir/test/lib/Conversion/FuncToLLVM/CMakeFiles/MLIRTestFuncToLLVM.dir/TestConvertCallOp.cpp.o
[5193/8465] Building CXX object tools/mlir/test/lib/Dialect/Bufferization/CMakeFiles/MLIRBufferizationTestPasses.dir/TestTensorLikeAndBufferLike.cpp.o
[5194/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/TransformOps/CMakeFiles/obj.MLIRX86VectorTransformOps.dir/X86VectorTransformOps.cpp.o
[5195/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/VectorContractToFMA.cpp.o
[5196/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/VectorContractBF16ToFMA.cpp.o
[5197/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUVectorLinearize.cpp.o
[5198/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSgToWiDistributeExperimental.cpp.o
[5199/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUPeepHoleOptimizer.cpp.o
[5200/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUBlocking.cpp.o
[5201/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSubgroupDistribute.cpp.o
[5202/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUPropagateLayout.cpp.o
[5203/8465] Building CXX object tools/mlir/test/lib/Dialect/Arith/CMakeFiles/MLIRArithTestPasses.dir/TestEmulateWideInt.cpp.o
[5204/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/IR/CMakeFiles/obj.MLIRXeGPUDialect.dir/XeGPUDialect.cpp.o
[5205/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/TransformOps/CMakeFiles/obj.MLIRXeGPUTransformOps.dir/XeGPUTransformOps.cpp.o
[5206/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Utils/CMakeFiles/obj.MLIRXeGPUUtils.dir/XeGPUUtils.cpp.o
[5207/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUWgToSgDistribute.cpp.o
[5208/8465] Building CXX object tools/mlir/lib/Dialect/Vector/IR/CMakeFiles/obj.MLIRVectorDialect.dir/VectorOps.cpp.o
[5209/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRNVVMDialect.dir/IR/NVVMDialect.cpp.o
[5210/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVDialect.cpp.o
[5211/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRLLVMDialect.dir/IR/LLVMDialect.cpp.o
[5212/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVOpDefinition.cpp.o
[5213/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRROCDLDialect.dir/IR/ROCDLDialect.cpp.o
Step 7 (build cmake config) failure: build cmake config (failure)
...
[5171/8465] Linking CXX shared library lib/libMLIRAnalysis.so.23.0git
[5172/8465] Creating library symlink lib/libMLIRAnalysis.so
[5173/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferOpTransforms.cpp.o
[5174/8465] Linking CXX shared library lib/libMLIRFuncDialect.so.23.0git
[5175/8465] Creating library symlink lib/libMLIRFuncDialect.so
[5176/8465] Creating library symlink lib/libMLIRExecutionProgressOpInterface.so
[5177/8465] Linking CXX shared library lib/libMLIREmitCDialect.so.23.0git
[5178/8465] Creating library symlink lib/libMLIREmitCDialect.so
[5179/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRSubsetOpInterface.dir/SubsetOpInterface.cpp.o
[5180/8465] Linking CXX shared library lib/libMLIRUBDialect.so.23.0git
FAILED: lib/libMLIRUBDialect.so.23.0git 
: && /usr/bin/c++ -fPIC -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wno-missing-field-initializers -pedantic -Wno-long-long -Wimplicit-fallthrough -Wno-uninitialized -Wno-nonnull -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-array-bounds -Wno-stringop-overread -Wno-noexcept-type -Wdelete-non-virtual-dtor -Wsuggest-override -Wno-comment -Wno-misleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Wno-unused-but-set-parameter -Wno-deprecated-copy -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/./lib  -Wl,--gc-sections -shared -Wl,-soname,libMLIRUBDialect.so.23.0git -o lib/libMLIRUBDialect.so.23.0git tools/mlir/lib/Dialect/UB/IR/CMakeFiles/obj.MLIRUBDialect.dir/UBOps.cpp.o  -Wl,-rpath,"\$ORIGIN/../lib:/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/lib:"  lib/libMLIRExecutionProgressOpInterface.so.23.0git  lib/libMLIRIR.so.23.0git  lib/libMLIRSupport.so.23.0git  lib/libLLVMSupport.so.23.0git  -Wl,-rpath-link,/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/lib && :
/usr/bin/ld: tools/mlir/lib/Dialect/UB/IR/CMakeFiles/obj.MLIRUBDialect.dir/UBOps.cpp.o: in function `(anonymous namespace)::EraseInfiniteRegionBranchLoop::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const':
UBOps.cpp:(.text._ZNK12_GLOBAL__N_129EraseInfiniteRegionBranchLoop15matchAndRewriteEPN4mlir9OperationERNS1_15PatternRewriterE+0x304): undefined reference to `mlir::wouldOpBeTriviallyDead(mlir::Operation*)'
/usr/bin/ld: UBOps.cpp:(.text._ZNK12_GLOBAL__N_129EraseInfiniteRegionBranchLoop15matchAndRewriteEPN4mlir9OperationERNS1_15PatternRewriterE+0x327): undefined reference to `mlir::isGuaranteedToLoopInfinitely(mlir::RegionBranchOpInterface)'
collect2: error: ld returned 1 exit status
[5181/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRTilingInterface.dir/TilingInterface.cpp.o
[5182/8465] Linking CXX shared library lib/libMLIRSMT.so.23.0git
[5183/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferSplitRewritePatterns.cpp.o
[5184/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorUnroll.cpp.o
[5185/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorDistribute.cpp.o
[5186/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/LegalizeForLLVMExport.cpp.o
[5187/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/AVXTranspose.cpp.o
[5188/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransforms.cpp.o
[5189/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUFoldAliasOps.cpp.o
[5190/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Utils/CMakeFiles/obj.MLIRX86VectorUtils.dir/X86VectorUtils.cpp.o
[5191/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaProfileCompliance.cpp.o
[5192/8465] Building CXX object tools/mlir/test/lib/Conversion/FuncToLLVM/CMakeFiles/MLIRTestFuncToLLVM.dir/TestConvertCallOp.cpp.o
[5193/8465] Building CXX object tools/mlir/test/lib/Dialect/Bufferization/CMakeFiles/MLIRBufferizationTestPasses.dir/TestTensorLikeAndBufferLike.cpp.o
[5194/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/TransformOps/CMakeFiles/obj.MLIRX86VectorTransformOps.dir/X86VectorTransformOps.cpp.o
[5195/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/VectorContractToFMA.cpp.o
[5196/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/VectorContractBF16ToFMA.cpp.o
[5197/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUVectorLinearize.cpp.o
[5198/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSgToWiDistributeExperimental.cpp.o
[5199/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUPeepHoleOptimizer.cpp.o
[5200/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUBlocking.cpp.o
[5201/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSubgroupDistribute.cpp.o
[5202/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUPropagateLayout.cpp.o
[5203/8465] Building CXX object tools/mlir/test/lib/Dialect/Arith/CMakeFiles/MLIRArithTestPasses.dir/TestEmulateWideInt.cpp.o
[5204/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/IR/CMakeFiles/obj.MLIRXeGPUDialect.dir/XeGPUDialect.cpp.o
[5205/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/TransformOps/CMakeFiles/obj.MLIRXeGPUTransformOps.dir/XeGPUTransformOps.cpp.o
[5206/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Utils/CMakeFiles/obj.MLIRXeGPUUtils.dir/XeGPUUtils.cpp.o
[5207/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUWgToSgDistribute.cpp.o
[5208/8465] Building CXX object tools/mlir/lib/Dialect/Vector/IR/CMakeFiles/obj.MLIRVectorDialect.dir/VectorOps.cpp.o
[5209/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRNVVMDialect.dir/IR/NVVMDialect.cpp.o
[5210/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVDialect.cpp.o
[5211/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRLLVMDialect.dir/IR/LLVMDialect.cpp.o
[5212/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVOpDefinition.cpp.o
[5213/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRROCDLDialect.dir/IR/ROCDLDialect.cpp.o

```

</details>

https://github.com/llvm/llvm-project/pull/179039

More information about the Mlir-commits mailing list