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

LLVM Continuous Integration llvmlistbot at llvm.org
Sun Feb 1 23:41:09 PST 2026 

llvm-ci wrote:

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

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

<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)
...
[5305/8465] Creating library symlink lib/libMLIRAnalysis.so
[5306/8465] Linking CXX shared library lib/libMLIREmitCDialect.so.23.0git
[5307/8465] Creating library symlink lib/libMLIREmitCDialect.so
[5308/8465] Linking CXX shared library lib/libMLIRFuncDialect.so.23.0git
[5309/8465] Creating library symlink lib/libMLIRFuncDialect.so
[5310/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferOpTransforms.cpp.o
[5311/8465] Creating library symlink lib/libMLIRExecutionProgressOpInterface.so
[5312/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRSubsetOpInterface.dir/SubsetOpInterface.cpp.o
[5313/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRTilingInterface.dir/TilingInterface.cpp.o
[5314/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-rhel-9-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-rhel-9-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-rhel-9-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+0x2d4): undefined reference to `mlir::wouldOpBeTriviallyDead(mlir::Operation*)'
/usr/bin/ld: UBOps.cpp:(.text._ZNK12_GLOBAL__N_129EraseInfiniteRegionBranchLoop15matchAndRewriteEPN4mlir9OperationERNS1_15PatternRewriterE+0x2f7): undefined reference to `mlir::isGuaranteedToLoopInfinitely(mlir::RegionBranchOpInterface)'
collect2: error: ld returned 1 exit status
[5315/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRValueBoundsOpInterface.dir/ValueBoundsOpInterface.cpp.o
[5316/8465] Linking CXX shared library lib/libMLIRSMT.so.23.0git
[5317/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Utils/CMakeFiles/obj.MLIRVectorUtils.dir/VectorUtils.cpp.o
[5318/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorUnroll.cpp.o
[5319/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorDistribute.cpp.o
[5320/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferSplitRewritePatterns.cpp.o
[5321/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Utils/CMakeFiles/obj.MLIRX86VectorUtils.dir/X86VectorUtils.cpp.o
[5322/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaProfileCompliance.cpp.o
[5323/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransforms.cpp.o
[5324/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/ShuffleVectorFMAOps.cpp.o
[5325/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/LegalizeForLLVMExport.cpp.o
[5326/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/AVXTranspose.cpp.o
[5327/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUFoldAliasOps.cpp.o
[5328/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/VectorContractToFMA.cpp.o
[5329/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/TransformOps/CMakeFiles/obj.MLIRX86VectorTransformOps.dir/X86VectorTransformOps.cpp.o
[5330/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUVectorLinearize.cpp.o
[5331/8465] Building CXX object tools/mlir/test/lib/Dialect/DLTI/CMakeFiles/MLIRDLTITestPasses.dir/TestDataLayoutQuery.cpp.o
[5332/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUBlocking.cpp.o
[5333/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSgToWiDistributeExperimental.cpp.o
[5334/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUPeepHoleOptimizer.cpp.o
[5335/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSubgroupDistribute.cpp.o
[5336/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Utils/CMakeFiles/obj.MLIRXeGPUUtils.dir/XeGPUUtils.cpp.o
[5337/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/IR/CMakeFiles/obj.MLIRXeGPUDialect.dir/XeGPUDialect.cpp.o
[5338/8465] Building CXX object tools/mlir/lib/Dialect/Vector/TransformOps/CMakeFiles/obj.MLIRVectorTransformOps.dir/VectorTransformOps.cpp.o
[5339/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/TransformOps/CMakeFiles/obj.MLIRXeGPUTransformOps.dir/XeGPUTransformOps.cpp.o
[5340/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/IR/CMakeFiles/obj.MLIRXeGPUDialect.dir/XeGPUOps.cpp.o
[5341/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRNVVMDialect.dir/IR/NVVMDialect.cpp.o
[5342/8465] Building CXX object tools/mlir/lib/Dialect/Vector/IR/CMakeFiles/obj.MLIRVectorDialect.dir/VectorOps.cpp.o
[5343/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/CMakeFiles/obj.MLIRTosaDialect.dir/IR/TosaOps.cpp.o
[5344/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVDialect.cpp.o
[5345/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRLLVMDialect.dir/IR/LLVMDialect.cpp.o
[5346/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVOpDefinition.cpp.o
[5347/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)
...
[5305/8465] Creating library symlink lib/libMLIRAnalysis.so
[5306/8465] Linking CXX shared library lib/libMLIREmitCDialect.so.23.0git
[5307/8465] Creating library symlink lib/libMLIREmitCDialect.so
[5308/8465] Linking CXX shared library lib/libMLIRFuncDialect.so.23.0git
[5309/8465] Creating library symlink lib/libMLIRFuncDialect.so
[5310/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferOpTransforms.cpp.o
[5311/8465] Creating library symlink lib/libMLIRExecutionProgressOpInterface.so
[5312/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRSubsetOpInterface.dir/SubsetOpInterface.cpp.o
[5313/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRTilingInterface.dir/TilingInterface.cpp.o
[5314/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-rhel-9-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-rhel-9-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-rhel-9-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+0x2d4): undefined reference to `mlir::wouldOpBeTriviallyDead(mlir::Operation*)'
/usr/bin/ld: UBOps.cpp:(.text._ZNK12_GLOBAL__N_129EraseInfiniteRegionBranchLoop15matchAndRewriteEPN4mlir9OperationERNS1_15PatternRewriterE+0x2f7): undefined reference to `mlir::isGuaranteedToLoopInfinitely(mlir::RegionBranchOpInterface)'
collect2: error: ld returned 1 exit status
[5315/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRValueBoundsOpInterface.dir/ValueBoundsOpInterface.cpp.o
[5316/8465] Linking CXX shared library lib/libMLIRSMT.so.23.0git
[5317/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Utils/CMakeFiles/obj.MLIRVectorUtils.dir/VectorUtils.cpp.o
[5318/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorUnroll.cpp.o
[5319/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorDistribute.cpp.o
[5320/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferSplitRewritePatterns.cpp.o
[5321/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Utils/CMakeFiles/obj.MLIRX86VectorUtils.dir/X86VectorUtils.cpp.o
[5322/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaProfileCompliance.cpp.o
[5323/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransforms.cpp.o
[5324/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/ShuffleVectorFMAOps.cpp.o
[5325/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/LegalizeForLLVMExport.cpp.o
[5326/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/AVXTranspose.cpp.o
[5327/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUFoldAliasOps.cpp.o
[5328/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/VectorContractToFMA.cpp.o
[5329/8465] Building CXX object tools/mlir/lib/Dialect/X86Vector/TransformOps/CMakeFiles/obj.MLIRX86VectorTransformOps.dir/X86VectorTransformOps.cpp.o
[5330/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUVectorLinearize.cpp.o
[5331/8465] Building CXX object tools/mlir/test/lib/Dialect/DLTI/CMakeFiles/MLIRDLTITestPasses.dir/TestDataLayoutQuery.cpp.o
[5332/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUBlocking.cpp.o
[5333/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSgToWiDistributeExperimental.cpp.o
[5334/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUPeepHoleOptimizer.cpp.o
[5335/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSubgroupDistribute.cpp.o
[5336/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/Utils/CMakeFiles/obj.MLIRXeGPUUtils.dir/XeGPUUtils.cpp.o
[5337/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/IR/CMakeFiles/obj.MLIRXeGPUDialect.dir/XeGPUDialect.cpp.o
[5338/8465] Building CXX object tools/mlir/lib/Dialect/Vector/TransformOps/CMakeFiles/obj.MLIRVectorTransformOps.dir/VectorTransformOps.cpp.o
[5339/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/TransformOps/CMakeFiles/obj.MLIRXeGPUTransformOps.dir/XeGPUTransformOps.cpp.o
[5340/8465] Building CXX object tools/mlir/lib/Dialect/XeGPU/IR/CMakeFiles/obj.MLIRXeGPUDialect.dir/XeGPUOps.cpp.o
[5341/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRNVVMDialect.dir/IR/NVVMDialect.cpp.o
[5342/8465] Building CXX object tools/mlir/lib/Dialect/Vector/IR/CMakeFiles/obj.MLIRVectorDialect.dir/VectorOps.cpp.o
[5343/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/CMakeFiles/obj.MLIRTosaDialect.dir/IR/TosaOps.cpp.o
[5344/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVDialect.cpp.o
[5345/8465] Building CXX object tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRLLVMDialect.dir/IR/LLVMDialect.cpp.o
[5346/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVOpDefinition.cpp.o
[5347/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