[Mlir-commits] [mlir] [mlir][affine] Add store sinking transformation for AffineIfOp (PR #213531)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 8645 tests passed
* 636 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/Affine/scalrep.mlir</summary>

```
Exit Code: 2

Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt -allow-unregistered-dialect /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Affine/scalrep.mlir -affine-scalrep | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Affine/scalrep.mlir
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt -allow-unregistered-dialect /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Affine/scalrep.mlir -affine-scalrep
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Affine/scalrep.mlir:1046:3: error: operand #0 does not dominate this use
# |   affine.if #set(%N) {
# |   ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Affine/scalrep.mlir:1046:3: note: see current operation: 
# | %0 = "affine.if"(%arg16) <{condition = affine_set<(d0) : (d0 - 1 >= 0)>}> ({
# |   "affine.yield"(%arg14) : (f32) -> ()
# | }, {
# |   "affine.yield"(%arg15) : (f32) -> ()
# | }) : (index) -> f32
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Affine/scalrep.mlir:1043:1: note: operand defined as a block argument (block #0 in a child region)
# | func.func @sink_stores_both_branches(%mem: memref<10xf32>, %arg0: f32, %arg1: f32, %arg2: f32, %N: index) {
# | ^
# `-----------------------------
# error: command failed with exit status: 1
# 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/Dialect/Affine/scalrep.mlir
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line:  /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Affine/scalrep.mlir
# `-----------------------------
# error: command failed with exit status: 2

--

```
</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/213531