[Mlir-commits] [mlir] [MLIR] Refactor DCE helper to expose worklist entry-point, and use this helper in CSE (PR #195636)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 7936 tests passed
* 611 tests skipped
* 1 test failed

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

### Flang
<details>
<summary>Flang.Fir/affine-promotion.fir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 3
fir-opt --split-input-file --promote-to-affine --affine-loop-invariant-code-motion --cse /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/affine-promotion.fir | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/affine-promotion.fir
# executed command: fir-opt --split-input-file --promote-to-affine --affine-loop-invariant-code-motion --cse /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/affine-promotion.fir
# 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/flang/test/Fir/affine-promotion.fir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/affine-promotion.fir:126:11: error: CHECK: expected string not found in input
# | // CHECK: %[[VAL_13:.*]] = arith.subi %[[VAL_12]], %[[VAL_4]] : index
# |           ^
# | <stdin>:53:43: note: scanning from here
# |  affine.for %arg2 = %c1 to #map()[%c100] {
# |                                           ^
# | <stdin>:53:43: note: with "VAL_12" equal to "arg2"
# |  affine.for %arg2 = %c1 to #map()[%c100] {
# |                                           ^
# | <stdin>:53:43: note: with "VAL_4" equal to "c2"
# |  affine.for %arg2 = %c1 to #map()[%c100] {
# |                                           ^
# | <stdin>:55:24: note: possible intended match here
# |  %2 = affine.apply #map1(%arg2)[%c1, %c100, %c1]
# |                        ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/affine-promotion.fir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |             48:  } 
# |             49:  affine.for %arg2 = %c1 to #map()[%c100] { 
# |             50:  %2 = affine.apply #map1(%arg2)[%c1, %c100, %c1] 
# |             51:  affine.store %arg1, %1[%2] : memref<?xf32> 
# |             52:  } 
# |             53:  affine.for %arg2 = %c1 to #map()[%c100] { 
# | check:126'0                                               X error: no match found
# | check:126'1                                                 with "VAL_12" equal to "arg2"
# | check:126'2                                                 with "VAL_4" equal to "c2"
# |             54:  affine.if #set(%arg2) { 
# | check:126'0     ~~~~~~~~~~~~~~~~~~~~~~~~~
# |             55:  %2 = affine.apply #map1(%arg2)[%c1, %c100, %c1] 
# | check:126'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:126'3                            ?                          possible intended match
# |             56:  affine.store %arg1, %1[%2] : memref<?xf32> 
# | check:126'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             57:  } 
# | check:126'0     ~~~
# |             58:  } 
# | check:126'0     ~~~
# |             59:  return 
# | check:126'0     ~~~~~~~~
# |             60:  } 
# | check:126'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/195636