[Mlir-commits] [mlir] [MLIR][Arith] Add canonicalization rules for int-to-float of integer extension (PR #185386)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 3530 tests passed
* 415 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/Arith/emulate-wide-int-canonicalization.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --arith-emulate-wide-int="widest-int-supported=32" --canonicalize C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\emulate-wide-int-canonicalization.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\emulate-wide-int-canonicalization.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --arith-emulate-wide-int=widest-int-supported=32 --canonicalize 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\emulate-wide-int-canonicalization.mlir'
# 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\emulate-wide-int-canonicalization.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\emulate-wide-int-canonicalization.mlir:7:16: error: CHECK-NEXT: expected string not found in input
# | // CHECK-NEXT: [[EXT:%.+]] = arith.extui [[ARG]] : i16 to i32
# |                ^
# | <stdin>:2:50: note: scanning from here
# |  func.func @uitofp_i16_ext_f64(%arg0: i16) -> f64 {
# |                                                  ^
# | <stdin>:2:50: note: with "ARG" equal to "%arg0"
# |  func.func @uitofp_i16_ext_f64(%arg0: i16) -> f64 {
# |                                                  ^
# | <stdin>:3:2: note: possible intended match here
# |  %0 = arith.uitofp %arg0 : i16 to f64
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\emulate-wide-int-canonicalization.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |           1: module { 
# |           2:  func.func @uitofp_i16_ext_f64(%arg0: i16) -> f64 { 
# | next:7'0                                                      X~~ error: no match found
# | next:7'1                                                          with "ARG" equal to "%arg0"
# |           3:  %0 = arith.uitofp %arg0 : i16 to f64 
# | next:7'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:7'2      ?                                     possible intended match
# |           4:  return %0 : f64 
# | next:7'0     ~~~~~~~~~~~~~~~~~
# |           5:  } 
# | next:7'0     ~~~
# |           6: } 
# | next:7'0     ~~
# |           7:  
# | next:7'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/185386