[Mlir-commits] [mlir] [MLIR][Python] Handle errors in dialect conversion properly (PR #183320)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 3479 tests passed
* 414 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.python/rewrite.py</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
"C:/Python312/python.exe" C:\_work\llvm-project\llvm-project\mlir\test\python\rewrite.py 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\python\rewrite.py
# executed command: C:/Python312/python.exe 'C:\_work\llvm-project\llvm-project\mlir\test\python\rewrite.py'
# 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\python\rewrite.py'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\python\rewrite.py:319:11: error: CHECK: expected string not found in input
# |  # CHECK: failed to legalize unresolved materialization from ('!smt.int') to ('i64') that remained live after conversion
# |           ^
# | <stdin>:77:44: note: scanning from here
# | caught exception: partial conversion failed:
# |                                            ^
# | <stdin>:78:18: note: possible intended match here
# | error: "-":5:26: failed to legalize unresolved materialization from ('i64') to ('!smt.int') that remained live after conversion
# |                  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\python\rewrite.py
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |             72:  %3 = builtin.unrealized_conversion_cast %2 : !smt.int to i64 
# |             73:  return %3 : i64 
# |             74:  } 
# |             75: } 
# |             76:  
# |             77: caught exception: partial conversion failed: 
# | check:319'0                                                X~ error: no match found
# |             78: error: "-":5:26: failed to legalize unresolved materialization from ('i64') to ('!smt.int') that remained live after conversion 
# | check:319'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:319'1                      ?                                                                                                               possible intended match
# |             79:  note: "-":5:26: see current operation: %0 = "builtin.unrealized_conversion_cast"(%arg0) : (i64) -> !smt.int 
# | check:319'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             80:  note: "-":5:26: see existing live user here: %1 = smt.int.add %0, %c3 
# | check:319'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/183320