[Mlir-commits] [mlir] [mlir][acc] Add data clause deduplication pattern for kernel env (PR #231965)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 4299 tests passed
* 464 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/OpenACC/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\OpenACC\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\OpenACC\canonicalize.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\OpenACC\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\OpenACC\canonicalize.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\OpenACC\canonicalize.mlir:395:11: error: CHECK: expected string not found in input
# | // CHECK: %[[TO:.*]] = acc.map_info varPtr(%[[VAR]] : memref<i32>) varType(i32) descKind(none) mapFlags(to) -> memref<i32>
# |           ^
# | <stdin>:255:60: note: scanning from here
# |  %0 = acc.copyin varPtr(%arg0 : memref<i32>) -> memref<i32>
# |                                                            ^
# | <stdin>:255:60: note: with "VAR" equal to "arg0"
# |  %0 = acc.copyin varPtr(%arg0 : memref<i32>) -> memref<i32>
# |                                                            ^
# | <stdin>:255:60: note: pattern attempts to capture variables: "TO"
# |  %0 = acc.copyin varPtr(%arg0 : memref<i32>) -> memref<i32>
# |                                                            ^
# | <stdin>:256:2: note: possible intended match here
# |  %1 = acc.map_info varPtr(%arg0 : memref<i32>) descKind(none) mapFlags(to) -> memref<i32>
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\OpenACC\canonicalize.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            250: } 
# |            251:  
# |            252: // ----- 
# |            253: module { 
# |            254:  func.func @kernel_environment_map_info(%arg0: memref<i32>) { 
# |            255:  %0 = acc.copyin varPtr(%arg0 : memref<i32>) -> memref<i32> 
# | check:395'0                                                               {   search range start (exclusive)
# | check:395'1                                                                   error: no match found in search range
# | check:395'2                                                                   with "VAR" equal to "arg0"
# | check:395'3                                                                   pattern attempts to capture variables: "TO"
# |            256:  %1 = acc.map_info varPtr(%arg0 : memref<i32>) descKind(none) mapFlags(to) -> memref<i32> 
# | check:395'4      ?                                                                                          possible intended match
# |            257:  %2 = acc.map_info varPtr(%arg0 : memref<i32>) descKind(none) mapFlags(from) -> memref<i32> 
# |            258:  acc.kernel_environment dataOperands(%0, %1, %2 : memref<i32>, memref<i32>, memref<i32>) { 
# |            259:  %3 = memref.load %1[] : memref<i32> 
# |            260:  %4 = memref.load %2[] : memref<i32> 
# |            261:  %5 = arith.addi %3, %4 : i32 
# |            262:  memref.store %5, %0[] : memref<i32> 
# |            263:  } 
# |            264:  acc.delete accPtr(%0 : memref<i32>) 
# |            265:  return 
# |            266:  } 
# |            267: } 
# |            268:  
# | check:395'5      } 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/231965