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

LLVM Continuous Integration llvmlistbot at llvm.org
Sun Feb 1 23:43:18 PST 2026


llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `hip-third-party-libs-test` running on `ext_buildbot_hw_05-hip-docker` while building `mlir` at step 4 "annotate".

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

<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/hip-tpl.py --jobs=32' (failure)
...
[5903/8465] Building CXX object tools/mlir/lib/Dialect/NVGPU/TransformOps/CMakeFiles/obj.MLIRNVGPUTransformOps.dir/NVGPUTransformOps.cpp.o
[5904/8465] Linking CXX shared library lib/libMLIRAsyncDialect.so.23.0git
[5905/8465] Creating library symlink lib/libMLIRAsyncDialect.so
[5906/8465] Building CXX object tools/mlir/lib/Dialect/UB/IR/CMakeFiles/obj.MLIRUBDialect.dir/UBOps.cpp.o
[5907/8465] Linking CXX shared library lib/libMLIRFuncDialect.so.23.0git
[5908/8465] Creating library symlink lib/libMLIRFuncDialect.so
[5909/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRSubsetOpInterface.dir/SubsetOpInterface.cpp.o
[5910/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRTilingInterface.dir/TilingInterface.cpp.o
[5911/8465] Linking CXX shared library lib/libMLIREmitCDialect.so.23.0git
[5912/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/hip-third-party-libs-test/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/hip-third-party-libs-test/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/hip-third-party-libs-test/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
[5913/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRValueBoundsOpInterface.dir/ValueBoundsOpInterface.cpp.o
[5914/8465] Creating library symlink lib/libMLIREmitCDialect.so
[5915/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaDecomposeTransposeConv.cpp.o
[5916/8465] Linking CXX shared library lib/libMLIRSMT.so.23.0git
[5917/8465] Building CXX object tools/mlir/lib/Dialect/SparseTensor/Transforms/CMakeFiles/obj.MLIRSparseTensorTransforms.dir/SparseTensorPasses.cpp.o
[5918/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/LowerVectorBroadcast.cpp.o
[5919/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaMakeBroadcastable.cpp.o
[5920/8465] Building CXX object tools/mlir/lib/Dialect/Transform/TuneExtension/CMakeFiles/obj.MLIRTransformTuneExtension.dir/TuneExtensionOps.cpp.o
[5921/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/Transforms/CMakeFiles/obj.MLIRSPIRVTransforms.dir/LowerABIAttributesPass.cpp.o
[5922/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/SubsetOpInterfaceImpl.cpp.o
[5923/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaReduceTransposes.cpp.o
[5924/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/BufferizableOpInterfaceImpl.cpp.o
[5925/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/LowerVectorTranspose.cpp.o
[5926/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/CMakeFiles/obj.MLIRTosaDialect.dir/IR/TosaCanonicalizations.cpp.o
[5927/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/LowerVectorBitCast.cpp.o
[5928/8465] Building CXX object tools/mlir/lib/Dialect/SparseTensor/Pipelines/CMakeFiles/obj.MLIRSparseTensorPipelines.dir/SparseTensorPipelines.cpp.o
[5929/8465] Building CXX object tools/mlir/test/lib/Dialect/Bufferization/CMakeFiles/MLIRBufferizationTestPasses.dir/TestOneShotModuleBufferize.cpp.o
[5930/8465] Building CXX object tools/mlir/lib/Dialect/Tensor/TransformOps/CMakeFiles/obj.MLIRTensorTransformOps.dir/TensorTransformOps.cpp.o
[5931/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaInputShape.cpp.o
/home/botworker/bbot/hip-third-party-libs-test/llvm-project/mlir/lib/Dialect/Tosa/Transforms/TosaInputShape.cpp: In function ‘llvm::FailureOr<std::pair<long unsigned int, llvm::SmallVector<long int> > > {anonymous}::parseInputShape(mlir::Location, llvm::StringRef)’:
/home/botworker/bbot/hip-third-party-libs-test/llvm-project/mlir/lib/Dialect/Tosa/Transforms/TosaInputShape.cpp:50:49: warning: comparison of unsigned expression in ‘< 0’ is always false [-Wtype-limits]
   50 |   if (indexStr.getAsInteger(10, index) || index < 0) {
      |                                           ~~~~~~^~~
[5932/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorInsertExtractStridedSliceRewritePatterns.cpp.o
[5933/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorEmulateMaskedLoadStore.cpp.o
[5934/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/LowerVectorTransfer.cpp.o
[5935/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorMaskElimination.cpp.o
[5936/8465] Building CXX object tools/mlir/test/lib/Dialect/ArmSME/CMakeFiles/MLIRArmSMETestPasses.dir/TestLowerToArmSME.cpp.o
[5937/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorDropLeadUnitDim.cpp.o
[5938/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorLinearize.cpp.o
[5939/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Utils/CMakeFiles/obj.MLIRVectorUtils.dir/VectorUtils.cpp.o
[5940/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorEmulateNarrowType.cpp.o
[5941/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferOpTransforms.cpp.o
Step 7 (build cmake config) failure: build cmake config (failure)
...
[5903/8465] Building CXX object tools/mlir/lib/Dialect/NVGPU/TransformOps/CMakeFiles/obj.MLIRNVGPUTransformOps.dir/NVGPUTransformOps.cpp.o
[5904/8465] Linking CXX shared library lib/libMLIRAsyncDialect.so.23.0git
[5905/8465] Creating library symlink lib/libMLIRAsyncDialect.so
[5906/8465] Building CXX object tools/mlir/lib/Dialect/UB/IR/CMakeFiles/obj.MLIRUBDialect.dir/UBOps.cpp.o
[5907/8465] Linking CXX shared library lib/libMLIRFuncDialect.so.23.0git
[5908/8465] Creating library symlink lib/libMLIRFuncDialect.so
[5909/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRSubsetOpInterface.dir/SubsetOpInterface.cpp.o
[5910/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRTilingInterface.dir/TilingInterface.cpp.o
[5911/8465] Linking CXX shared library lib/libMLIREmitCDialect.so.23.0git
[5912/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/hip-third-party-libs-test/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/hip-third-party-libs-test/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/hip-third-party-libs-test/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
[5913/8465] Building CXX object tools/mlir/lib/Interfaces/CMakeFiles/obj.MLIRValueBoundsOpInterface.dir/ValueBoundsOpInterface.cpp.o
[5914/8465] Creating library symlink lib/libMLIREmitCDialect.so
[5915/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaDecomposeTransposeConv.cpp.o
[5916/8465] Linking CXX shared library lib/libMLIRSMT.so.23.0git
[5917/8465] Building CXX object tools/mlir/lib/Dialect/SparseTensor/Transforms/CMakeFiles/obj.MLIRSparseTensorTransforms.dir/SparseTensorPasses.cpp.o
[5918/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/LowerVectorBroadcast.cpp.o
[5919/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaMakeBroadcastable.cpp.o
[5920/8465] Building CXX object tools/mlir/lib/Dialect/Transform/TuneExtension/CMakeFiles/obj.MLIRTransformTuneExtension.dir/TuneExtensionOps.cpp.o
[5921/8465] Building CXX object tools/mlir/lib/Dialect/SPIRV/Transforms/CMakeFiles/obj.MLIRSPIRVTransforms.dir/LowerABIAttributesPass.cpp.o
[5922/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/SubsetOpInterfaceImpl.cpp.o
[5923/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaReduceTransposes.cpp.o
[5924/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/BufferizableOpInterfaceImpl.cpp.o
[5925/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/LowerVectorTranspose.cpp.o
[5926/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/CMakeFiles/obj.MLIRTosaDialect.dir/IR/TosaCanonicalizations.cpp.o
[5927/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/LowerVectorBitCast.cpp.o
[5928/8465] Building CXX object tools/mlir/lib/Dialect/SparseTensor/Pipelines/CMakeFiles/obj.MLIRSparseTensorPipelines.dir/SparseTensorPipelines.cpp.o
[5929/8465] Building CXX object tools/mlir/test/lib/Dialect/Bufferization/CMakeFiles/MLIRBufferizationTestPasses.dir/TestOneShotModuleBufferize.cpp.o
[5930/8465] Building CXX object tools/mlir/lib/Dialect/Tensor/TransformOps/CMakeFiles/obj.MLIRTensorTransformOps.dir/TensorTransformOps.cpp.o
[5931/8465] Building CXX object tools/mlir/lib/Dialect/Tosa/Transforms/CMakeFiles/obj.MLIRTosaTransforms.dir/TosaInputShape.cpp.o
/home/botworker/bbot/hip-third-party-libs-test/llvm-project/mlir/lib/Dialect/Tosa/Transforms/TosaInputShape.cpp: In function ‘llvm::FailureOr<std::pair<long unsigned int, llvm::SmallVector<long int> > > {anonymous}::parseInputShape(mlir::Location, llvm::StringRef)’:
/home/botworker/bbot/hip-third-party-libs-test/llvm-project/mlir/lib/Dialect/Tosa/Transforms/TosaInputShape.cpp:50:49: warning: comparison of unsigned expression in ‘< 0’ is always false [-Wtype-limits]
   50 |   if (indexStr.getAsInteger(10, index) || index < 0) {
      |                                           ~~~~~~^~~
[5932/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorInsertExtractStridedSliceRewritePatterns.cpp.o
[5933/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorEmulateMaskedLoadStore.cpp.o
[5934/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/LowerVectorTransfer.cpp.o
[5935/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorMaskElimination.cpp.o
[5936/8465] Building CXX object tools/mlir/test/lib/Dialect/ArmSME/CMakeFiles/MLIRArmSMETestPasses.dir/TestLowerToArmSME.cpp.o
[5937/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorDropLeadUnitDim.cpp.o
[5938/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorLinearize.cpp.o
[5939/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Utils/CMakeFiles/obj.MLIRVectorUtils.dir/VectorUtils.cpp.o
[5940/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorEmulateNarrowType.cpp.o
[5941/8465] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransferOpTransforms.cpp.o

```

</details>

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


More information about the Mlir-commits mailing list