[Mlir-commits] [mlir] [mlir][affine] Add ValueBounds-based simplification for delinearize(linearize) pairs (PR #187245)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

The build failed before running any tests. Click on a failure below to see the details.

<details>
<summary>tools/mlir/lib/Dialect/Affine/Transforms/CMakeFiles/obj.MLIRAffineTransforms.dir/SimplifyAffineWithBounds.cpp.o</summary>

```
FAILED: tools/mlir/lib/Dialect/Affine/Transforms/CMakeFiles/obj.MLIRAffineTransforms.dir/SimplifyAffineWithBounds.cpp.o
sccache /opt/llvm/bin/clang++ -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GLIBCXX_USE_CXX11_ABI=1 -D_GNU_SOURCE -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/mlir/lib/Dialect/Affine/Transforms -I/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/mlir/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include -gmlt -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror -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 -Wundef -Werror=mismatched-tags -Werror=global-constructors -O3 -DNDEBUG -std=c++17 -UNDEBUG -fno-exceptions -funwind-tables -fno-rtti -MD -MT tools/mlir/lib/Dialect/Affine/Transforms/CMakeFiles/obj.MLIRAffineTransforms.dir/SimplifyAffineWithBounds.cpp.o -MF tools/mlir/lib/Dialect/Affine/Transforms/CMakeFiles/obj.MLIRAffineTransforms.dir/SimplifyAffineWithBounds.cpp.o.d -o tools/mlir/lib/Dialect/Affine/Transforms/CMakeFiles/obj.MLIRAffineTransforms.dir/SimplifyAffineWithBounds.cpp.o -c /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp:356:7: error: reference to 'impl' is ambiguous
356 |     : impl::SimplifyAffineWithBoundsBase<SimplifyAffineWithBoundsPass> {
|       ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/SymbolTable.h:491:11: note: candidate found by name lookup is 'mlir::impl'
491 | namespace impl {
|           ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/mlir/include/mlir/Dialect/Affine/Transforms/Passes.h.inc:1350:11: note: candidate found by name lookup is 'mlir::affine::impl'
1350 | namespace impl {
|           ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp:356:13: error: unknown template name 'SimplifyAffineWithBoundsBase'
356 |     : impl::SimplifyAffineWithBoundsBase<SimplifyAffineWithBoundsPass> {
|             ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp:357:25: error: only virtual member functions can be marked 'override'
357 |   void runOnOperation() override {
|                         ^~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp:358:33: error: use of undeclared identifier 'getContext'
358 |     RewritePatternSet patterns(&getContext());
|                                 ^~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp:362:60: error: use of undeclared identifier 'getContext'
362 |                                                           &getContext());
|                                                            ^~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp:364:58: error: use of undeclared identifier 'getContext'
364 |                                                         &getContext());
|                                                          ^~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp:366:38: error: use of undeclared identifier 'getOperation'; did you mean 'Operation'?
366 |     if (failed(applyPatternsGreedily(getOperation(), std::move(patterns))))
|                                      ^~~~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Pass/PassInstrumentation.h:18:7: note: 'Operation' declared here
18 | class Operation;
|       ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Affine/Transforms/SimplifyAffineWithBounds.cpp:367:14: error: use of undeclared identifier 'signalPassFailure'
367 |       return signalPassFailure();
|              ^~~~~~~~~~~~~~~~~
8 errors generated.
```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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