[Mlir-commits] [mlir] [mlir] Add missing materialization function diag for dialect convertion (PR #207689)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 8381 tests passed
* 630 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
/usr/bin/python3 /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/python/rewrite.py 2>&1 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/python/rewrite.py
# executed command: /usr/bin/python3 /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/python/rewrite.py
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/python/rewrite.py
# .---command stderr------------
# | /home/gha/actions-runner/_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
# |           ^
# | <stdin>:77:44: note: scanning from here
# | caught exception: partial conversion failed:
# |                                            ^
# | <stdin>:80:2: note: possible intended match here
# |  note: "-":5:26: require this materialization is here
# |  ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_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                                               {    search range start (exclusive)
# | check:319'1                                                    error: no match found in search range
# |             78: error: "-":5:26: miss target materialization function from ('i64') to ('!smt.int') 
# |             79:  note: "-":5:26: see current operation: %0 = "builtin.unrealized_conversion_cast"(%arg0) : (i64) -> !smt.int 
# |             80:  note: "-":5:26: require this materialization is here 
# | check:319'2      ?                                                      possible intended match
# |             81: <class 'mlir._mlir_libs._mlirDialectsSMT.IntType'> 
# |             82: !smt.int 
# |             83: None 
# | check:319'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/207689