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

Sun Feb 1 23:43:55 PST 2026

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `mlir-nvidia` running on `mlir-nvidia` while building `mlir` at step 6 "build-check-mlir-build-only".

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

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

```
Step 6 (build-check-mlir-build-only) failure: build (failure)
...
856.854 [1267/16/4411] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorUnroll.cpp.o
857.743 [1266/16/4412] Building CXX object tools/mlir/lib/Dialect/Vector/Transforms/CMakeFiles/obj.MLIRVectorTransforms.dir/VectorTransforms.cpp.o
858.625 [1265/16/4413] Building CXX object tools/mlir/lib/Dialect/X86Vector/Utils/CMakeFiles/obj.MLIRX86VectorUtils.dir/X86VectorUtils.cpp.o
861.391 [1264/16/4414] Building CXX object tools/mlir/lib/Dialect/X86Vector/Transforms/CMakeFiles/obj.MLIRX86VectorTransforms.dir/VectorContractToFMA.cpp.o
864.698 [1263/16/4415] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUVectorLinearize.cpp.o
865.030 [1262/16/4416] Building CXX object tools/mlir/lib/Dialect/X86Vector/IR/CMakeFiles/obj.MLIRX86VectorDialect.dir/X86VectorDialect.cpp.o
868.609 [1261/16/4417] Building CXX object tools/mlir/lib/Dialect/X86Vector/TransformOps/CMakeFiles/obj.MLIRX86VectorTransformOps.dir/X86VectorTransformOps.cpp.o
868.701 [1260/16/4418] Linking CXX shared library lib/libMLIRExecutionProgressOpInterface.so.23.0git
868.709 [1259/16/4419] Creating library symlink lib/libMLIRExecutionProgressOpInterface.so
868.859 [1258/16/4420] Linking CXX shared library lib/libMLIRUBDialect.so.23.0git
FAILED: lib/libMLIRUBDialect.so.23.0git 
: && /usr/bin/clang++ -fPIC -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Werror=mismatched-tags -Werror=global-constructors -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete -fuse-ld=lld -Wl,--color-diagnostics   -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:/vol/worker/mlir-nvidia/mlir-nvidia/llvm.obj/lib:"  lib/libMLIRExecutionProgressOpInterface.so.23.0git  lib/libMLIRIR.so.23.0git  lib/libMLIRSupport.so.23.0git  lib/libLLVMSupport.so.23.0git  -Wl,-rpath-link,/vol/worker/mlir-nvidia/mlir-nvidia/llvm.obj/lib && :
ld.lld: error: undefined symbol: mlir::wouldOpBeTriviallyDead(mlir::Operation*)
>>> referenced by UBOps.cpp
>>>               tools/mlir/lib/Dialect/UB/IR/CMakeFiles/obj.MLIRUBDialect.dir/UBOps.cpp.o:((anonymous namespace)::EraseInfiniteRegionBranchLoop::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const)

ld.lld: error: undefined symbol: mlir::isGuaranteedToLoopInfinitely(mlir::RegionBranchOpInterface)
>>> referenced by UBOps.cpp
>>>               tools/mlir/lib/Dialect/UB/IR/CMakeFiles/obj.MLIRUBDialect.dir/UBOps.cpp.o:((anonymous namespace)::EraseInfiniteRegionBranchLoop::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const)
clang: error: linker command failed with exit code 1 (use -v to see invocation)
869.183 [1258/15/4421] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUBlocking.cpp.o
871.880 [1258/14/4422] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSgToWiDistributeExperimental.cpp.o
873.384 [1258/13/4423] Building CXX object tools/mlir/lib/Dialect/Vector/TransformOps/CMakeFiles/obj.MLIRVectorTransformOps.dir/VectorTransformOps.cpp.o
875.824 [1258/12/4424] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUPropagateLayout.cpp.o
878.227 [1258/11/4425] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUPeepHoleOptimizer.cpp.o
878.908 [1258/10/4426] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUWgToSgDistribute.cpp.o
880.601 [1258/9/4427] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUSubgroupDistribute.cpp.o
881.614 [1258/8/4428] Building CXX object tools/mlir/lib/Dialect/XeGPU/Transforms/CMakeFiles/obj.MLIRXeGPUTransforms.dir/XeGPUUnroll.cpp.o
881.917 [1258/7/4429] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVDialect.cpp.o
882.116 [1258/6/4430] Building CXX object tools/mlir/lib/Dialect/XeGPU/Utils/CMakeFiles/obj.MLIRXeGPUUtils.dir/XeGPUUtils.cpp.o
882.411 [1258/5/4431] Building CXX object tools/mlir/lib/Dialect/SPIRV/IR/CMakeFiles/obj.MLIRSPIRVDialect.dir/SPIRVOpDefinition.cpp.o
882.617 [1258/4/4432] Building CXX object tools/mlir/lib/Dialect/Tosa/CMakeFiles/obj.MLIRTosaDialect.dir/IR/TosaOps.cpp.o
884.001 [1258/3/4433] Building CXX object tools/mlir/lib/Dialect/Vector/IR/CMakeFiles/obj.MLIRVectorDialect.dir/VectorOps.cpp.o
888.487 [1258/2/4434] Building CXX object tools/mlir/lib/Dialect/XeGPU/TransformOps/CMakeFiles/obj.MLIRXeGPUTransformOps.dir/XeGPUTransformOps.cpp.o
889.509 [1258/1/4435] Building CXX object tools/mlir/lib/Dialect/XeGPU/IR/CMakeFiles/obj.MLIRXeGPUDialect.dir/XeGPUOps.cpp.o
ninja: build stopped: subcommand failed.

```

</details>

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