[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 18:03:29 PDT 2025
llvm-ci wrote:
LLVM Buildbot has detected a new failure on builder `ppc64le-flang-rhel-clang` running on `ppc64le-flang-rhel-test` while building `mlir` at step 5 "build-unified-tree".
Full details are available at: https://lab.llvm.org/buildbot/#/builders/157/builds/26001
<details>
<summary>Here is the relevant piece of the build log for the reference</summary>
```
Step 5 (build-unified-tree) failure: build (failure)
...
18.991 [289/12/6489] Linking CXX executable tools/flang/unittests/Evaluate/expression.test
19.015 [289/11/6490] Linking CXX executable bin/llvm-extract
19.177 [289/10/6491] Linking CXX executable bin/diagtool
19.228 [289/9/6492] Linking CXX executable bin/clang-installapi
19.263 [289/8/6493] Linking CXX executable bin/clang-diff
19.288 [289/7/6494] Linking CXX executable bin/clang-refactor
19.300 [289/6/6495] Linking CXX shared module lib/CheckerOptionHandlingAnalyzerPlugin.so
19.397 [289/5/6496] Linking CXX shared module lib/SampleAnalyzerPlugin.so
19.445 [289/4/6497] Linking CXX shared module lib/CheckerDependencyHandlingAnalyzerPlugin.so
21.906 [289/3/6498] 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 /home/buildbots/llvm-external-buildbots/clang.19.1.7/bin/clang++ -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/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/build/tools/mlir/lib/Dialect/Affine/IR -I/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR -I/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/build/tools/mlir/include -I/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/include -I/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/build/include -I/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/llvm/include -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 -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Werror=mismatched-tags -Werror=global-constructors -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/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp
/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:18: error: member reference type 'mlir::AffineMap' is not a pointer
1392 | assert(mapOrSet->getNumInputs() == numOperands &&
| ~~~~~~~~^
/usr/include/assert.h:90:27: note: expanded from macro 'assert'
90 | (static_cast <bool> (expr) \
| ^~~~
/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1443:3: note: in instantiation of function template specialization 'legalizeDemotedDims<mlir::AffineMap>' requested here
1443 | legalizeDemotedDims<MapOrSet>(*mapOrSet, *operands);
| ^
/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1510:3: note: in instantiation of function template specialization 'canonicalizeMapOrSetAndOperands<mlir::AffineMap>' requested here
1510 | canonicalizeMapOrSetAndOperands<AffineMap>(map, operands);
| ^
/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:18: note: did you mean to use '.' instead?
1392 | assert(mapOrSet->getNumInputs() == numOperands &&
| ^~
| .
/usr/include/assert.h:90:27: note: expanded from macro 'assert'
90 | (static_cast <bool> (expr) \
| ^
/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:18: error: member reference type 'mlir::AffineMap' is not a pointer
1425 | assert(mapOrSet->getNumInputs() == operands.size() &&
| ~~~~~~~~^
/usr/include/assert.h:90:27: note: expanded from macro 'assert'
90 | (static_cast <bool> (expr) \
| ^~~~
/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1425:18: note: did you mean to use '.' instead?
1425 | assert(mapOrSet->getNumInputs() == operands.size() &&
| ^~
| .
/usr/include/assert.h:90:27: note: expanded from macro 'assert'
90 | (static_cast <bool> (expr) \
| ^
/home/buildbots/llvm-external-buildbots/workers/ppc64le-flang-rhel-test/ppc64le-flang-rhel-clang-build/llvm-project/mlir/lib/Dialect/Affine/IR/AffineOps.cpp:1392:18: error: member reference type 'mlir::IntegerSet' is not a pointer
1392 | assert(mapOrSet->getNumInputs() == numOperands &&
| ~~~~~~~~^
/usr/include/assert.h:90:27: note: expanded from macro 'assert'
90 | (static_cast <bool> (expr) \
```
</details>
https://github.com/llvm/llvm-project/pull/128289
More information about the Mlir-commits
mailing list