[Mlir-commits] [mlir] [mlir][Interfaces] Allow integer types for `ValueBoundsOpInterface` (PR #196082)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 3715 tests passed
* 422 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### MLIR
<details>
<summary>MLIR.Dialect/Arith/value-bounds-op-interface-impl.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir -pass-pipeline='builtin.module(func.func(test-affine-reify-value-bounds))' -verify-diagnostics      -verify-diagnostics -split-input-file | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir' '-pass-pipeline=builtin.module(func.func(test-affine-reify-value-bounds))' -verify-diagnostics -verify-diagnostics -split-input-file
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir'
# note: command had no output on stdout or stderr
# RUN: at line 4
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir -pass-pipeline='builtin.module(func.func(test-affine-reify-value-bounds{use-arith-ops}))'      -verify-diagnostics -split-input-file |  c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir --check-prefix=CHECK-ARITH
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir' '-pass-pipeline=builtin.module(func.func(test-affine-reify-value-bounds{use-arith-ops}))' -verify-diagnostics -split-input-file
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir' --check-prefix=CHECK-ARITH
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir:69:17: error: CHECK-ARITH: expected string not found in input
# | // CHECK-ARITH: %[[c7_reified:.*]] = arith.constant 7 : index
# |                 ^
# | <stdin>:41:44: note: scanning from here
# |  %1 = arith.index_cast %arg0 : i32 to index
# |                                            ^
# | <stdin>:51:2: note: possible intended match here
# |  %c5 = arith.constant 5 : index
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\value-bounds-op-interface-impl.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |            36: module { 
# |            37:  func.func @arith_muli_integer(%arg0: i32) -> index { 
# |            38:  %c7_i32 = arith.constant 7 : i32 
# |            39:  %0 = arith.muli %arg0, %c7_i32 : i32 
# |            40:  %c7 = arith.constant 7 : index 
# |            41:  %1 = arith.index_cast %arg0 : i32 to index 
# | check:69'0                                                X error: no match found
# |            42:  %2 = arith.muli %1, %c7 : index 
# | check:69'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            43:  return %2 : index 
# | check:69'0     ~~~~~~~~~~~~~~~~~~~
# |            44:  } 
# | check:69'0     ~~~
# |            45: } 
# | check:69'0     ~~
# |            46:  
# | check:69'0     ~
# |            47: // ----- 
# | check:69'0     ~~~~~~~~~
# |            48: // ----- 
# | check:69'0     ~~~~~~~~~
# |            49: module { 
# | check:69'0     ~~~~~~~~~
# |            50:  func.func @arith_floordivsi(%arg0: index) -> index { 
# | check:69'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            51:  %c5 = arith.constant 5 : index 
# | check:69'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:69'1      ?                               possible intended match
# |            52:  %0 = arith.floordivsi %arg0, %c5 : index 
# | check:69'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            53:  %c5_0 = arith.constant 5 : index 
# | check:69'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            54:  %1 = arith.divsi %arg0, %c5_0 : index 
# | check:69'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            55:  return %1 : index 
# | check:69'0     ~~~~~~~~~~~~~~~~~~~
# |            56:  } 
# | check:69'0     ~~~
# |             .
# |             .
# |             .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</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/196082