[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:24 PDT 2025 

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `openmp-offload-sles-build-only` running on `rocm-worker-hw-04-sles` while building `mlir` at step 5 "compile-openmp".

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

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

```
Step 5 (compile-openmp) failure: build (failure)
...
                  ^
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/clang/include/clang/Basic/PointerAuthOptions.h:74:58: warning: ‘clang::PointerAuthSchema::SelectedAuthenticationMode’ is too small to hold all values of ‘enum class clang::PointerAuthenticationMode’
   PointerAuthenticationMode SelectedAuthenticationMode : 2;
                                                          ^
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/clang/include/clang/Basic/PointerAuthOptions.h:75:39: warning: ‘clang::PointerAuthSchema::DiscriminationKind’ is too small to hold all values of ‘enum class clang::PointerAuthSchema::Discrimination’
   Discrimination DiscriminationKind : 2;
                                       ^
14.841 [1697/32/5430] Building CXX object tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/obj.clangStaticAnalyzerCore.dir/APSIntType.cpp.o
14.851 [1696/32/5431] Building CXX object tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/obj.clangStaticAnalyzerCore.dir/BlockCounter.cpp.o
14.868 [1695/32/5432] 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 -Itools/mlir/lib/Dialect/Affine/IR -I/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR -Itools/mlir/include -I/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include -Iinclude -I/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/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-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  -fno-exceptions -funwind-tables -fno-rtti -UNDEBUG -std=c++1z -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/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR/AffineOps.cpp
In file included from /usr/include/c++/7/cassert:44:0,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/Analysis/Presburger/Matrix.h:21,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/Analysis/Presburger/IntegerRelation.h:19,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/Analysis/FlatLinearValueConstraints.h:12,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/Interfaces/ValueBoundsOpInterface.h:12,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:21:
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR/AffineOps.cpp: In instantiation of ‘void legalizeDemotedDims(MapOrSet&, llvm::SmallVectorImpl<mlir::Value>&) [with MapOrSet = mlir::AffineMap]’:
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/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/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1510:59:   required from here
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/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/builds/openmp-offload-sles-build/llvm.src/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/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR/AffineOps.cpp: In instantiation of ‘void legalizeDemotedDims(MapOrSet&, llvm::SmallVectorImpl<mlir::Value>&) [with MapOrSet = mlir::IntegerSet]’:
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/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/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1515:60:   required from here
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/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/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:10: error: base operand of ‘->’ has non-pointer type ‘mlir::IntegerSet’
   assert(mapOrSet->getNumInputs() == operands.size() &&
          ^
In file included from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/llvm/include/llvm/ADT/iterator.h:12:0,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/llvm/include/llvm/ADT/STLExtras.h:24,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/IR/Visitors.h:17,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/IR/AffineExpr.h:17,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/IR/AffineMap.h:17,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/Dialect/Affine/IR/AffineMemoryOpInterfaces.h:16,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/include/mlir/Dialect/Affine/IR/AffineOps.h:17,
                 from /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:9:
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/llvm/include/llvm/ADT/iterator_range.h:65:13: warning: ‘IteratorT llvm::iterator_range<IteratorT>::end() const [with IteratorT = llvm::mapped_iterator<llvm::detail::SafeIntIterator<unsigned int, false>, mlir::affine::makeComposedFoldedMultiResultAffineApply(mlir::OpBuilder&, mlir::Location, mlir::AffineMap, llvm::ArrayRef<mlir::OpFoldResult>)::<lambda(unsigned int)>, mlir::OpFoldResult>]’ used but never defined
   IteratorT end() const { return end_iterator; }
             ^~~
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/llvm/include/llvm/ADT/iterator_range.h:64:13: warning: ‘IteratorT llvm::iterator_range<IteratorT>::begin() const [with IteratorT = llvm::mapped_iterator<llvm::detail::SafeIntIterator<unsigned int, false>, mlir::affine::makeComposedFoldedMultiResultAffineApply(mlir::OpBuilder&, mlir::Location, mlir::AffineMap, llvm::ArrayRef<mlir::OpFoldResult>)::<lambda(unsigned int)>, mlir::OpFoldResult>]’ used but never defined
   IteratorT begin() const { return begin_iterator; }

```

</details>

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

More information about the Mlir-commits mailing list