[Mlir-commits] [mlir] [MLIR] Add `IntegerDivisibilityAnalysis` and `InferIntDivisibilityOpInterface` (PR #197728)

LLVM Continuous Integration llvmlistbot at llvm.org
Fri May 15 18:47:48 PDT 2026 

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `flang-aarch64-sharedlibs` running on `linaro-flang-aarch64-sharedlibs` while building `mlir` at step 5 "build-unified-tree".

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

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

```
Step 5 (build-unified-tree) failure: build (failure)
...
617.960 [3536/79/4813] Building CXX object tools/mlir/lib/Conversion/ConvertToEmitC/CMakeFiles/obj.MLIRConvertToEmitC.dir/ConvertToEmitCPass.cpp.o
619.056 [3536/78/4814] Building CXX object tools/mlir/lib/Conversion/BufferizationToMemRef/CMakeFiles/obj.MLIRBufferizationToMemRef.dir/BufferizationToMemRef.cpp.o
619.929 [3536/77/4815] Building CXX object tools/mlir/lib/Conversion/GPUCommon/CMakeFiles/obj.MLIRGPUToGPURuntimeTransforms.dir/AttrToSPIRVConverter.cpp.o
620.394 [3536/76/4816] Building CXX object tools/mlir/lib/Conversion/MathToEmitC/CMakeFiles/obj.MLIRMathToEmitC.dir/MathToEmitCPass.cpp.o
620.669 [3536/75/4817] Building CXX object tools/mlir/lib/Conversion/FuncToEmitC/CMakeFiles/obj.MLIRFuncToEmitC.dir/FuncToEmitCPass.cpp.o
620.937 [3536/74/4818] Building CXX object tools/mlir/lib/Conversion/MemRefToEmitC/CMakeFiles/obj.MLIRMemRefToEmitC.dir/MemRefToEmitCPass.cpp.o
620.975 [3536/73/4819] Building CXX object tools/mlir/lib/Conversion/ArithCommon/CMakeFiles/obj.MLIRArithAttrToLLVMConversion.dir/AttrToLLVMConverter.cpp.o
621.004 [3536/72/4820] Building CXX object tools/mlir/lib/Conversion/MathToEmitC/CMakeFiles/obj.MLIRMathToEmitC.dir/MathToEmitC.cpp.o
621.542 [3508/99/4821] Linking CXX shared library lib/libMLIRConvertToLLVMInterface.so.23.0git
621.542 [3508/98/4822] Linking CXX shared library lib/libMLIRAnalysis.so.23.0git
FAILED: lib/libMLIRAnalysis.so.23.0git 
: && /usr/local/bin/c++ -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 -Xclang -fno-pch-timestamp -Wundef -Werror=mismatched-tags -Werror=global-constructors -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/tcwg-buildbot/worker/flang-aarch64-sharedlibs/build/./lib  -Wl,--gc-sections -shared -Wl,-soname,libMLIRAnalysis.so.23.0git -o lib/libMLIRAnalysis.so.23.0git tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/AliasAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/CallGraph.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlowFramework.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataLayoutAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/FlatLinearValueConstraints.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/Liveness.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/CFGLoopInfo.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/SliceAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/SliceWalk.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/TopologicalSortUtils.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/AliasAnalysis/LocalAliasAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/ConstantPropagationAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/DeadCodeAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/DenseAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/IntegerDivisibilityAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/IntegerRangeAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/LivenessAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/SparseAnalysis.cpp.o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/StridedMetadataRangeAnalysis.cpp.o  -Wl,-rpath,"\$ORIGIN/../lib:/home/tcwg-buildbot/worker/flang-aarch64-sharedlibs/build/lib:"  lib/libMLIRDataLayoutInterfaces.so.23.0git  lib/libMLIRInferIntDivisibilityOpInterface.so.23.0git  lib/libMLIRInferStridedMetadataInterface.so.23.0git  lib/libMLIRInferTypeOpInterface.so.23.0git  lib/libMLIRLoopLikeInterface.so.23.0git  lib/libMLIRPresburger.so.23.0git  lib/libMLIRSideEffectInterfaces.so.23.0git  lib/libMLIRViewLikeInterface.so.23.0git  lib/libMLIRInferIntRangeInterface.so.23.0git  lib/libMLIRControlFlowInterfaces.so.23.0git  lib/libMLIRFunctionInterfaces.so.23.0git  lib/libMLIRCallInterfaces.so.23.0git  lib/libMLIRIR.so.23.0git  lib/libMLIRSupport.so.23.0git  lib/libLLVMSupport.so.23.0git  -Wl,-rpath-link,/home/tcwg-buildbot/worker/flang-aarch64-sharedlibs/build/lib && :
/usr/bin/ld: tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/IntegerDivisibilityAnalysis.cpp.o: in function `mlir::dataflow::IntegerDivisibilityAnalysis::visitNonControlFlowArguments(mlir::Operation*, mlir::RegionSuccessor const&, mlir::ValueRange, llvm::ArrayRef<mlir::dataflow::IntegerDivisibilityLattice*>)':
IntegerDivisibilityAnalysis.cpp:(.text._ZN4mlir8dataflow27IntegerDivisibilityAnalysis28visitNonControlFlowArgumentsEPNS_9OperationERKNS_15RegionSuccessorENS_10ValueRangeEN4llvm8ArrayRefIPNS0_26IntegerDivisibilityLatticeEEE+0x144): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: IntegerDivisibilityAnalysis.cpp:(.text._ZN4mlir8dataflow27IntegerDivisibilityAnalysis28visitNonControlFlowArgumentsEPNS_9OperationERKNS_15RegionSuccessorENS_10ValueRangeEN4llvm8ArrayRefIPNS0_26IntegerDivisibilityLatticeEEE+0x158): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: IntegerDivisibilityAnalysis.cpp:(.text._ZN4mlir8dataflow27IntegerDivisibilityAnalysis28visitNonControlFlowArgumentsEPNS_9OperationERKNS_15RegionSuccessorENS_10ValueRangeEN4llvm8ArrayRefIPNS0_26IntegerDivisibilityLatticeEEE+0x16c): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: IntegerDivisibilityAnalysis.cpp:(.text._ZN4mlir8dataflow27IntegerDivisibilityAnalysis28visitNonControlFlowArgumentsEPNS_9OperationERKNS_15RegionSuccessorENS_10ValueRangeEN4llvm8ArrayRefIPNS0_26IntegerDivisibilityLatticeEEE+0x180): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: IntegerDivisibilityAnalysis.cpp:(.text._ZN4mlir8dataflow27IntegerDivisibilityAnalysis28visitNonControlFlowArgumentsEPNS_9OperationERKNS_15RegionSuccessorENS_10ValueRangeEN4llvm8ArrayRefIPNS0_26IntegerDivisibilityLatticeEEE+0x248): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/IntegerDivisibilityAnalysis.cpp.o:IntegerDivisibilityAnalysis.cpp:(.text._ZN4mlir8dataflow27IntegerDivisibilityAnalysis28visitNonControlFlowArgumentsEPNS_9OperationERKNS_15RegionSuccessorENS_10ValueRangeEN4llvm8ArrayRefIPNS0_26IntegerDivisibilityLatticeEEE+0x260): more undefined references to `mlir::getConstantIntValue(mlir::OpFoldResult)' follow
clang++: error: linker command failed with exit code 1 (use -v to see invocation)
621.833 [3508/97/4823] Building CXX object tools/mlir/lib/Conversion/MemRefToEmitC/CMakeFiles/obj.MLIRMemRefToEmitC.dir/MemRefToEmitC.cpp.o
623.003 [3508/96/4824] Building CXX object tools/mlir/lib/Conversion/ComplexToLibm/CMakeFiles/obj.MLIRComplexToLibm.dir/ComplexToLibm.cpp.o
624.385 [3508/95/4825] Building CXX object tools/clang/lib/CodeGen/CMakeFiles/obj.clangCodeGen.dir/CGDecl.cpp.o
624.896 [3508/94/4826] Building CXX object tools/mlir/lib/Conversion/LLVMCommon/CMakeFiles/obj.MLIRLLVMCommonConversion.dir/StructBuilder.cpp.o
625.119 [3508/93/4827] Building CXX object tools/mlir/lib/Conversion/LLVMCommon/CMakeFiles/obj.MLIRLLVMCommonConversion.dir/TypeConverter.cpp.o
625.465 [3508/92/4828] Building CXX object tools/clang/lib/Sema/CMakeFiles/obj.clangSema.dir/SemaType.cpp.o
625.518 [3508/91/4829] Building CXX object tools/mlir/lib/CMakeFiles/obj.MLIRRegisterAllExtensions.dir/RegisterAllExtensions.cpp.o
626.067 [3508/90/4830] Building CXX object tools/mlir/lib/Conversion/LLVMCommon/CMakeFiles/obj.MLIRLLVMCommonConversion.dir/ConversionTarget.cpp.o
627.934 [3508/89/4831] Building CXX object tools/clang/lib/Sema/CMakeFiles/obj.clangSema.dir/SemaExpr.cpp.o
628.817 [3508/88/4832] Building CXX object tools/mlir/lib/Conversion/LLVMCommon/CMakeFiles/obj.MLIRLLVMCommonConversion.dir/MemRefBuilder.cpp.o
629.611 [3508/87/4833] Building CXX object tools/clang/lib/CodeGen/CMakeFiles/obj.clangCodeGen.dir/CGExpr.cpp.o
630.276 [3508/86/4834] Building CXX object tools/mlir/lib/Conversion/LLVMCommon/CMakeFiles/obj.MLIRLLVMCommonConversion.dir/LowerFunctionDiscardablesToLLVM.cpp.o
630.318 [3508/85/4835] Building CXX object tools/clang/lib/Sema/CMakeFiles/obj.clangSema.dir/SemaSYCL.cpp.o
630.696 [3508/84/4836] Building CXX object tools/mlir/lib/Conversion/PDLToPDLInterp/CMakeFiles/obj.MLIRPDLToPDLInterp.dir/Predicate.cpp.o
631.030 [3508/83/4837] Building CXX object tools/mlir/lib/Conversion/ComplexCommon/CMakeFiles/obj.MLIRComplexDivisionConversion.dir/DivisionConverter.cpp.o
631.174 [3508/82/4838] Building CXX object tools/mlir/lib/Conversion/ComplexToLLVM/CMakeFiles/obj.MLIRComplexToLLVM.dir/ComplexToLLVM.cpp.o
631.348 [3508/81/4839] Building CXX object tools/mlir/lib/Conversion/LLVMCommon/CMakeFiles/obj.MLIRLLVMCommonConversion.dir/VectorPattern.cpp.o
631.645 [3508/80/4840] Building CXX object tools/mlir/lib/Conversion/PDLToPDLInterp/CMakeFiles/obj.MLIRPDLToPDLInterp.dir/RootOrdering.cpp.o
631.772 [3508/79/4841] Building CXX object tools/mlir/lib/Conversion/LLVMCommon/CMakeFiles/obj.MLIRLLVMCommonConversion.dir/Pattern.cpp.o
632.385 [3508/78/4842] Building CXX object tools/mlir/lib/Conversion/LLVMCommon/CMakeFiles/obj.MLIRLLVMCommonConversion.dir/PrintCallHelper.cpp.o
633.498 [3508/77/4843] Building CXX object tools/mlir/lib/Conversion/GPUCommon/CMakeFiles/obj.MLIRGPUToGPURuntimeTransforms.dir/IndexIntrinsicsOpLowering.cpp.o
633.504 [3508/76/4844] Building CXX object tools/mlir/lib/Conversion/ControlFlowToLLVM/CMakeFiles/obj.MLIRControlFlowToLLVM.dir/ControlFlowToLLVM.cpp.o
635.647 [3508/75/4845] Building CXX object tools/mlir/lib/Conversion/ConvertToLLVM/CMakeFiles/obj.MLIRConvertToLLVMPass.dir/ConvertToLLVMPass.cpp.o
636.260 [3508/74/4846] Building CXX object tools/clang/lib/CodeGen/CMakeFiles/obj.clangCodeGen.dir/CGCall.cpp.o
636.474 [3508/73/4847] Building CXX object tools/mlir/lib/Conversion/SPIRVCommon/CMakeFiles/obj.MLIRSPIRVAttrToLLVMConversion.dir/AttrToLLVMConverter.cpp.o
636.689 [3508/72/4848] Building CXX object tools/mlir/lib/Conversion/ReconcileUnrealizedCasts/CMakeFiles/obj.MLIRReconcileUnrealizedCasts.dir/ReconcileUnrealizedCasts.cpp.o
636.809 [3508/71/4849] Building CXX object tools/mlir/lib/Conversion/ControlFlowToSPIRV/CMakeFiles/obj.MLIRControlFlowToSPIRV.dir/ControlFlowToSPIRV.cpp.o
637.485 [3508/70/4850] Building CXX object tools/clang/lib/Sema/CMakeFiles/obj.clangSema.dir/SemaTemplateDeductionGuide.cpp.o
638.265 [3508/69/4851] Building CXX object tools/mlir/lib/Conversion/ComplexToSPIRV/CMakeFiles/obj.MLIRComplexToSPIRV.dir/ComplexToSPIRV.cpp.o

```

</details>

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

More information about the Mlir-commits mailing list