[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:43:38 PDT 2025
llvm-ci wrote:
LLVM Buildbot has detected a new failure on builder `amdgpu-offload-rhel-8-cmake-build-only` running on `rocm-docker-rhel-8` while building `mlir` at step 4 "annotate".
Full details are available at: https://lab.llvm.org/buildbot/#/builders/204/builds/7210
<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)
...
[5658/7779] Linking CXX shared library lib/libclangASTMatchers.so.21.0git
[5659/7779] Creating library symlink lib/libclangASTMatchers.so
[5660/7779] Linking CXX shared library lib/libLLVMSPIRVCodeGen.so.21.0git
[5661/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/DependencyGraph.cpp.o
[5662/7779] Creating library symlink lib/libLLVMSPIRVCodeGen.so
[5663/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/RewriteModernObjC.cpp.o
[5664/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/HeaderIncludeGen.cpp.o
[5665/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/TextDiagnostic.cpp.o
[5666/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/PrintPreprocessedOutput.cpp.o
[5667/7779] 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 /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/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/build/tools/mlir/lib/Dialect/Affine/IR -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/build/tools/mlir/include -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/build/include -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/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-noexcept-type -Wdelete-non-virtual-dtor -Wno-comment -Wno-misleading-indentation -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Wno-unused-but-set-parameter -Wno-deprecated-copy -O3 -DNDEBUG -std=c++17 -fno-exceptions -funwind-tables -fno-rtti -UNDEBUG -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/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp
In file included from /usr/include/c++/8/cassert:44,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include/mlir/Analysis/Presburger/Matrix.h:21,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include/mlir/Analysis/Presburger/IntegerRelation.h:19,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include/mlir/Analysis/FlatLinearValueConstraints.h:12,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include/mlir/Interfaces/ValueBoundsOpInterface.h:12,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:21:
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp: In instantiation of ‘void legalizeDemotedDims(MapOrSet&, llvm::SmallVectorImpl<mlir::Value>&) [with MapOrSet = mlir::AffineMap]’:
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/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/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1510:59: required from here
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:10: error: base operand of ‘->’ has non-pointer type ‘mlir::AffineMap’
assert(mapOrSet->getNumInputs() == numOperands &&
^~~~~~~~
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:10: error: base operand of ‘->’ has non-pointer type ‘mlir::AffineMap’
assert(mapOrSet->getNumInputs() == operands.size() &&
^~~~~~~~
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp: In instantiation of ‘void legalizeDemotedDims(MapOrSet&, llvm::SmallVectorImpl<mlir::Value>&) [with MapOrSet = mlir::IntegerSet]’:
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/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/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1515:60: required from here
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:10: error: base operand of ‘->’ has non-pointer type ‘mlir::IntegerSet’
assert(mapOrSet->getNumInputs() == numOperands &&
^~~~~~~~
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:10: error: base operand of ‘->’ has non-pointer type ‘mlir::IntegerSet’
assert(mapOrSet->getNumInputs() == operands.size() &&
^~~~~~~~
cc1plus: warning: unrecognized command line option ‘-Wno-deprecated-copy’
[5668/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/RewriteObjC.cpp.o
[5669/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/InclusionRewriter.cpp.o
[5670/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/VerifyDiagnosticConsumer.cpp.o
[5671/7779] Building CXX object tools/clang/lib/Serialization/CMakeFiles/obj.clangSerialization.dir/GeneratePCH.cpp.o
[5672/7779] Linking CXX shared library lib/libLLVMX86CodeGen.so.21.0git
[5673/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/HTMLPrint.cpp.o
[5674/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/RewriteMacros.cpp.o
[5675/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/ASTMerge.cpp.o
[5676/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/ChainedIncludesSource.cpp.o
In file included from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/clang/lib/Frontend/ChainedIncludesSource.cpp:23:
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/clang/include/clang/Serialization/ASTReader.h:246:16: warning: ‘virtual bool clang::ASTReaderListener::visitInputFile(llvm::StringRef, llvm::StringRef, bool, bool, bool)’ was hidden [-Woverloaded-virtual]
virtual bool visitInputFile(StringRef FilenameAsRequested, StringRef Filename,
Step 7 (build cmake config) failure: build cmake config (failure)
...
[5658/7779] Linking CXX shared library lib/libclangASTMatchers.so.21.0git
[5659/7779] Creating library symlink lib/libclangASTMatchers.so
[5660/7779] Linking CXX shared library lib/libLLVMSPIRVCodeGen.so.21.0git
[5661/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/DependencyGraph.cpp.o
[5662/7779] Creating library symlink lib/libLLVMSPIRVCodeGen.so
[5663/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/RewriteModernObjC.cpp.o
[5664/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/HeaderIncludeGen.cpp.o
[5665/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/TextDiagnostic.cpp.o
[5666/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/PrintPreprocessedOutput.cpp.o
[5667/7779] 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 /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/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/build/tools/mlir/lib/Dialect/Affine/IR -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/build/tools/mlir/include -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/build/include -I/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/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-noexcept-type -Wdelete-non-virtual-dtor -Wno-comment -Wno-misleading-indentation -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Wno-unused-but-set-parameter -Wno-deprecated-copy -O3 -DNDEBUG -std=c++17 -fno-exceptions -funwind-tables -fno-rtti -UNDEBUG -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/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp
In file included from /usr/include/c++/8/cassert:44,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include/mlir/Analysis/Presburger/Matrix.h:21,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include/mlir/Analysis/Presburger/IntegerRelation.h:19,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include/mlir/Analysis/FlatLinearValueConstraints.h:12,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/include/mlir/Interfaces/ValueBoundsOpInterface.h:12,
from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:21:
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp: In instantiation of ‘void legalizeDemotedDims(MapOrSet&, llvm::SmallVectorImpl<mlir::Value>&) [with MapOrSet = mlir::AffineMap]’:
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/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/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1510:59: required from here
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:10: error: base operand of ‘->’ has non-pointer type ‘mlir::AffineMap’
assert(mapOrSet->getNumInputs() == numOperands &&
^~~~~~~~
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:10: error: base operand of ‘->’ has non-pointer type ‘mlir::AffineMap’
assert(mapOrSet->getNumInputs() == operands.size() &&
^~~~~~~~
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp: In instantiation of ‘void legalizeDemotedDims(MapOrSet&, llvm::SmallVectorImpl<mlir::Value>&) [with MapOrSet = mlir::IntegerSet]’:
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/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/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1515:60: required from here
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:10: error: base operand of ‘->’ has non-pointer type ‘mlir::IntegerSet’
assert(mapOrSet->getNumInputs() == numOperands &&
^~~~~~~~
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:10: error: base operand of ‘->’ has non-pointer type ‘mlir::IntegerSet’
assert(mapOrSet->getNumInputs() == operands.size() &&
^~~~~~~~
cc1plus: warning: unrecognized command line option ‘-Wno-deprecated-copy’
[5668/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/RewriteObjC.cpp.o
[5669/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/InclusionRewriter.cpp.o
[5670/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/VerifyDiagnosticConsumer.cpp.o
[5671/7779] Building CXX object tools/clang/lib/Serialization/CMakeFiles/obj.clangSerialization.dir/GeneratePCH.cpp.o
[5672/7779] Linking CXX shared library lib/libLLVMX86CodeGen.so.21.0git
[5673/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/HTMLPrint.cpp.o
[5674/7779] Building CXX object tools/clang/lib/Frontend/Rewrite/CMakeFiles/obj.clangRewriteFrontend.dir/RewriteMacros.cpp.o
[5675/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/ASTMerge.cpp.o
[5676/7779] Building CXX object tools/clang/lib/Frontend/CMakeFiles/obj.clangFrontend.dir/ChainedIncludesSource.cpp.o
In file included from /home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/clang/lib/Frontend/ChainedIncludesSource.cpp:23:
/home/botworker/bbot/amdgpu-offload-rhel-8-cmake-build-only/llvm-project/clang/include/clang/Serialization/ASTReader.h:246:16: warning: ‘virtual bool clang::ASTReaderListener::visitInputFile(llvm::StringRef, llvm::StringRef, bool, bool, bool)’ was hidden [-Woverloaded-virtual]
virtual bool visitInputFile(StringRef FilenameAsRequested, StringRef Filename,
```
</details>
https://github.com/llvm/llvm-project/pull/128289
More information about the Mlir-commits
mailing list