[Mlir-commits] [mlir] [mlir][arith] fold valid int2fp2int round trips for canonicalizations (PR #233860)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 4329 tests passed
* 466 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/Arith/canonicalize.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\canonicalize.mlir -canonicalize="test-convergence" --split-input-file | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\canonicalize.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\canonicalize.mlir' -canonicalize=test-convergence --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\canonicalize.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\canonicalize.mlir:4305:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: @invalid_int_fp_roundtrip_exponent(
# |                 ^
# | <stdin>:1976:44: note: scanning from here
# |  func.func @int_fp_roundtrip_other_formats(%arg0: i12, %arg1: i53, %arg2: i3) -> (i12, i53, i3) {
# |                                            ^
# | <stdin>:1983:4: note: possible intended match here
# |  func.func @int_fp_roundtrip_exponent(%arg0: i4) -> (i4, i4) {
# |    ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Arith\canonicalize.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |               .
# |               .
# |               .
# |            1971:  func.func @int_fp_roundtrip_unsigned_boundary(%arg0: i24, %arg1: i25) -> (i24, i25) { 
# |            1972:  %0 = arith.uitofp %arg1 : i25 to f32 
# |            1973:  %1 = arith.fptoui %0 : f32 to i25 
# |            1974:  return %arg0, %1 : i24, i25 
# |            1975:  } 
# |            1976:  func.func @int_fp_roundtrip_other_formats(%arg0: i12, %arg1: i53, %arg2: i3) -> (i12, i53, i3) { 
# | label:4305'0                                               {                                                         search range start (exclusive)
# | label:4305'1                                                                                                         error: no match found in search range
# |            1977:  return %arg0, %arg1, %arg2 : i12, i53, i3 
# |            1978:  } 
# |            1979: } 
# |            1980:  
# |            1981: // ----- 
# |            1982: module { 
# |            1983:  func.func @int_fp_roundtrip_exponent(%arg0: i4) -> (i4, i4) { 
# | label:4305'2        ?                                                             possible intended match
# |            1984:  %0 = arith.sitofp %arg0 : i4 to f6E2M3FN 
# |            1985:  %1 = arith.fptosi %0 : f6E2M3FN to i4 
# |            1986:  %2 = arith.uitofp %arg0 : i4 to f6E2M3FN 
# |            1987:  %3 = arith.fptoui %2 : f6E2M3FN to i4 
# |            1988:  return %1, %3 : i4, i4 
# |               .
# |               .
# |               .
# |            2648:  %0 = arith.subi %arg0, %arg1 : tensor<?xi32> 
# |            2649:  %1 = arith.subi %0, %arg0 : tensor<?xi32> 
# |            2650:  return %1 : tensor<?xi32> 
# |            2651:  } 
# |            2652: } 
# |            2653:  
# | label:4305'3      } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# 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/233860