[Mlir-commits] [mlir] [MLIR][Affine] Fix affine.apply verifier and add functionality to demote invalid symbols to dims (PR #128289)

LLVM Continuous Integration llvmlistbot at llvm.org
Tue Apr 22 16:44:17 PDT 2025 

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `mlir-s390x-linux` running on `systemz-1` while building `mlir` at step 5 "build-unified-tree".

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

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

```
Step 5 (build-unified-tree) failure: build (failure)
...
51.418 [1078/4/3746] Building CXX object tools/mlir/lib/Target/SPIRV/Serialization/CMakeFiles/obj.MLIRSPIRVSerialization.dir/Serialization.cpp.o
51.423 [1077/4/3747] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRExport.dir/TypeToLLVM.cpp.o
51.463 [1076/4/3748] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRImport.dir/DebugImporter.cpp.o
51.467 [1075/4/3749] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRExport.dir/ModuleTranslation.cpp.o
51.470 [1074/4/3750] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRExport.dir/DebugTranslation.cpp.o
51.504 [1073/4/3751] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRExport.dir/Dialect/OpenMPCommon.cpp.o
51.508 [1072/4/3752] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRExport.dir/LoopAnnotationTranslation.cpp.o
51.513 [1071/4/3753] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRImport.dir/DataLayoutImporter.cpp.o
51.543 [1070/4/3754] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRImport.dir/TypeFromLLVM.cpp.o
51.549 [1069/4/3755] Building CXX object tools/mlir/lib/Dialect/Affine/IR/CMakeFiles/obj.MLIRAffineDialect.dir/AffineOps.cpp.o
FAILED: tools/mlir/lib/Dialect/Affine/IR/CMakeFiles/obj.MLIRAffineDialect.dir/AffineOps.cpp.o 
CCACHE_CPP2=yes CCACHE_HASHDIR=yes /usr/bin/ccache /usr/bin/c++ -DGTEST_HAS_RTTI=0 -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/uweigand/sandbox/buildbot/mlir-s390x-linux/build/tools/mlir/lib/Dialect/Affine/IR -I/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR -I/home/uweigand/sandbox/buildbot/mlir-s390x-linux/build/tools/mlir/include -I/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/include -I/home/uweigand/sandbox/buildbot/mlir-s390x-linux/build/include -I/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/llvm/include -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-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  -fno-exceptions -funwind-tables -fno-rtti -UNDEBUG -std=c++17 -MD -MT tools/mlir/lib/Dialect/Affine/IR/CMakeFiles/obj.MLIRAffineDialect.dir/AffineOps.cpp.o -MF tools/mlir/lib/Dialect/Affine/IR/CMakeFiles/obj.MLIRAffineDialect.dir/AffineOps.cpp.o.d -o tools/mlir/lib/Dialect/Affine/IR/CMakeFiles/obj.MLIRAffineDialect.dir/AffineOps.cpp.o -c /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp
In file included from /usr/include/c++/11/cassert:44,
                 from /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/include/mlir/Analysis/Presburger/Matrix.h:21,
                 from /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/include/mlir/Analysis/Presburger/IntegerRelation.h:19,
                 from /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/include/mlir/Analysis/FlatLinearValueConstraints.h:12,
                 from /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/include/mlir/Interfaces/ValueBoundsOpInterface.h:12,
                 from /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:21:
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp: In instantiation of 'void legalizeDemotedDims(MapOrSet&, llvm::SmallVectorImpl<mlir::Value>&) [with MapOrSet = mlir::AffineMap]':
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1443:32:   required from 'void canonicalizeMapOrSetAndOperands(MapOrSet*, llvm::SmallVectorImpl<mlir::Value>*) [with MapOrSet = mlir::AffineMap]'
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1510:45:   required from here
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:10: error: base operand of '->' has non-pointer type 'mlir::AffineMap'
 1392 |   assert(mapOrSet->getNumInputs() == numOperands &&
      |          ^~~~~~~~
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:10: error: base operand of '->' has non-pointer type 'mlir::AffineMap'
 1425 |   assert(mapOrSet->getNumInputs() == operands.size() &&
      |          ^~~~~~~~
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp: In instantiation of 'void legalizeDemotedDims(MapOrSet&, llvm::SmallVectorImpl<mlir::Value>&) [with MapOrSet = mlir::IntegerSet]':
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1443:32:   required from 'void canonicalizeMapOrSetAndOperands(MapOrSet*, llvm::SmallVectorImpl<mlir::Value>*) [with MapOrSet = mlir::IntegerSet]'
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1515:46:   required from here
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:10: error: base operand of '->' has non-pointer type 'mlir::IntegerSet'
 1392 |   assert(mapOrSet->getNumInputs() == numOperands &&
      |          ^~~~~~~~
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:10: error: base operand of '->' has non-pointer type 'mlir::IntegerSet'
 1425 |   assert(mapOrSet->getNumInputs() == operands.size() &&
      |          ^~~~~~~~
51.551 [1069/3/3756] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRImport.dir/LoopAnnotationImporter.cpp.o
51.553 [1069/2/3757] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRTargetLLVMIRImport.dir/LLVMImportInterface.cpp.o
51.575 [1069/1/3758] Building CXX object tools/mlir/lib/Target/LLVMIR/CMakeFiles/obj.MLIRFromLLVMIRTranslationRegistration.dir/ConvertFromLLVMIR.cpp.o
ninja: build stopped: subcommand failed.

```

</details>

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

More information about the Mlir-commits mailing list