[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: Windows-->
# :window: Windows x64 Test Results

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

<details>
<summary>[code=1] tools/mlir/lib/Dialect/Affine/Transforms/CMakeFiles/obj.MLIRAffineTransforms.dir/SimplifyAffineWithBounds.cpp.obj</summary>

```
FAILED: [code=1] tools/mlir/lib/Dialect/Affine/Transforms/CMakeFiles/obj.MLIRAffineTransforms.dir/SimplifyAffineWithBounds.cpp.obj
sccache C:\clang\clang-msvc\bin\clang-cl.exe  /nologo -TP -DUNICODE -D_CRT_NONSTDC_NO_DEPRECATE -D_CRT_NONSTDC_NO_WARNINGS -D_CRT_SECURE_NO_DEPRECATE -D_CRT_SECURE_NO_WARNINGS -D_GLIBCXX_ASSERTIONS -D_HAS_EXCEPTIONS=0 -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D_SCL_SECURE_NO_DEPRECATE -D_SCL_SECURE_NO_WARNINGS -D_UNICODE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -IC:\_work\llvm-project\llvm-project\build\tools\mlir\lib\Dialect\Affine\Transforms -IC:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms -IC:\_work\llvm-project\llvm-project\build\tools\mlir\include -IC:\_work\llvm-project\llvm-project\mlir\include -IC:\_work\llvm-project\llvm-project\build\include -IC:\_work\llvm-project\llvm-project\llvm\include /DWIN32 /D_WINDOWS   /Zc:inline /Zc:__cplusplus /Oi /Brepro /bigobj /permissive- -Werror=unguarded-availability-new /W4  -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -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 /Gw -Wundef -Werror=mismatched-tags -Werror=global-constructors /O2 /Ob2  -std:c++17 -MD -UNDEBUG /EHs-c- /GR- /showIncludes /Fotools\mlir\lib\Dialect\Affine\Transforms\CMakeFiles\obj.MLIRAffineTransforms.dir\SimplifyAffineWithBounds.cpp.obj /Fdtools\mlir\lib\Dialect\Affine\Transforms\CMakeFiles\obj.MLIRAffineTransforms.dir\ -c -- C:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms\SimplifyAffineWithBounds.cpp
In file included from C:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms\SimplifyAffineWithBounds.cpp:14:
In file included from C:\_work\llvm-project\llvm-project\mlir\include\mlir/Dialect/Affine/IR/AffineOps.h:17:
In file included from C:\_work\llvm-project\llvm-project\mlir\include\mlir/Dialect/Affine/IR/AffineMemoryOpInterfaces.h:18:
In file included from C:\_work\llvm-project\llvm-project\mlir\include\mlir/IR/OpDefinition.h:22:
In file included from C:\_work\llvm-project\llvm-project\mlir\include\mlir/IR/Dialect.h:17:
In file included from C:\_work\llvm-project\llvm-project\mlir\include\mlir/IR/OperationSupport.h:19:
C:\_work\llvm-project\llvm-project\mlir\include\mlir/IR/BuiltinAttributes.h(346,14): warning: 'complex' is deprecated: warning STL4037: The effect of instantiating the template std::complex for any type other than float, double, or long double is unspecified. You can define _SILENCE_NONFLOATING_COMPLEX_DEPRECATION_WARNING to suppress this warning. [-Wdeprecated-declarations]
346 |       return {APFloat(*smt, value.real()), APFloat(*smt, value.imag())};
|              ^
C:\BuildTools\VC\Tools\MSVC\14.44.35207\include\complex(1333,5): note: 'complex' has been explicitly marked deprecated here
1333 |     _DEPRECATE_NONFLOATING_COMPLEX
|     ^
C:\BuildTools\VC\Tools\MSVC\14.44.35207\include\yvals_core.h(1413,7): note: expanded from macro '_DEPRECATE_NONFLOATING_COMPLEX'
1413 |     [[deprecated("warning STL4037: "                                                   \
|       ^
C:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms\SimplifyAffineWithBounds.cpp(356,7): error: reference to 'impl' is ambiguous
356 |     : impl::SimplifyAffineWithBoundsBase<SimplifyAffineWithBoundsPass> {
|       ^
C:\_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 {
|           ^
C:\_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 {
|           ^
C:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms\SimplifyAffineWithBounds.cpp(356,13): error: unknown template name 'SimplifyAffineWithBoundsBase'
356 |     : impl::SimplifyAffineWithBoundsBase<SimplifyAffineWithBoundsPass> {
|             ^
C:\_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 {
|                         ^~~~~~~~
C:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms\SimplifyAffineWithBounds.cpp(358,33): error: use of undeclared identifier 'getContext'
358 |     RewritePatternSet patterns(&getContext());
|                                 ^~~~~~~~~~
C:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms\SimplifyAffineWithBounds.cpp(362,60): error: use of undeclared identifier 'getContext'
362 |                                                           &getContext());
|                                                            ^~~~~~~~~~
C:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms\SimplifyAffineWithBounds.cpp(364,58): error: use of undeclared identifier 'getContext'
364 |                                                         &getContext());
|                                                          ^~~~~~~~~~
C:\_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))))
|                                      ^~~~~~~~~~~~
C:\_work\llvm-project\llvm-project\mlir\include\mlir/Pass/PassInstrumentation.h(18,7): note: 'Operation' declared here
18 | class Operation;
|       ^
C:\_work\llvm-project\llvm-project\mlir\lib\Dialect\Affine\Transforms\SimplifyAffineWithBounds.cpp(367,14): error: use of undeclared identifier 'signalPassFailure'
367 |       return signalPassFailure();
|              ^~~~~~~~~~~~~~~~~
1 warning and 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