[Mlir-commits] [mlir] [MLIR][MemRef] Extend narrow-type emulation for dynamic offsets (PR #196945)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 3724 tests passed
* 426 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/MemRef/emulate-narrow-type.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --test-emulate-narrow-int="memref-load-bitwidth=8" --cse --verify-diagnostics --split-input-file C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MemRef\emulate-narrow-type.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MemRef\emulate-narrow-type.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --test-emulate-narrow-int=memref-load-bitwidth=8 --cse --verify-diagnostics --split-input-file 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MemRef\emulate-narrow-type.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MemRef\emulate-narrow-type.mlir:376:27: error: unexpected error: expected result type with size = 12 instead of 13 in dim = 0
# |     %reinterpret_cast_0 = memref.reinterpret_cast %0 to offset: [8], sizes: [25], strides: [1] : memref<5x5xi4> to memref<25xi4, strided<[1], offset:8>>
# |                           ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MemRef\emulate-narrow-type.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MemRef\emulate-narrow-type.mlir:382:11: error: CHECK: expected string not found in input
# | // CHECK: func @reinterpret_cast_memref_load_1D(
# |           ^
# | <stdin>:186:61: note: scanning from here
# | #map1 = affine_map<()[s0] -> (s0 * 4 - (s0 floordiv 2) * 8)>
# |                                                             ^
# | <stdin>:268:7: note: possible intended match here
# |  func.func @rank_zero_memref_store(%arg0: i4) {
# |       ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\MemRef\emulate-narrow-type.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            181: } 
# |            182:  
# |            183: // ----- 
# |            184: // ----- 
# |            185: #map = affine_map<()[s0] -> (s0 floordiv 2)> 
# |            186: #map1 = affine_map<()[s0] -> (s0 * 4 - (s0 floordiv 2) * 8)> 
# | check:382'0                                                                 X error: no match found
# |            187: module { 
# | check:382'0     ~~~~~~~~~
# |            188:  func.func @memref_alloca_load_i4(%arg0: index) -> i4 { 
# | check:382'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            189:  %alloca = memref.alloca() : memref<3xi8> 
# | check:382'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            190:  %0 = affine.apply #map()[%arg0] 
# | check:382'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            191:  %1 = memref.load %alloca[%0] : memref<3xi8> 
# | check:382'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            263:  } 
# | check:382'0     ~~~
# |            264: } 
# | check:382'0     ~~
# |            265:  
# | check:382'0     ~
# |            266: // ----- 
# | check:382'0     ~~~~~~~~~
# |            267: module { 
# | check:382'0     ~~~~~~~~~
# |            268:  func.func @rank_zero_memref_store(%arg0: i4) { 
# | check:382'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:382'1           ?                                          possible intended match
# |            269:  %alloc = memref.alloc() : memref<i8> 
# |            270:  %0 = arith.extui %arg0 : i4 to i8 
# |            271:  memref.store %0, %alloc[] : memref<i8> 
# |            272:  return 
# |            273:  } 
# |              .
# |              .
# |              .
# | >>>>>>
# `-----------------------------
# 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/196945