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

llvmlistbot at llvm.org llvmlistbot at llvm.org
Mon May 4 04:51:35 PDT 2026


github-actions[bot] wrote:

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

* 3679 tests passed
* 421 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/Transform/test-pattern-application.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\Transform\test-pattern-application.mlir --transform-interpreter -allow-unregistered-dialect --split-input-file --verify-diagnostics | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\test-pattern-application.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\test-pattern-application.mlir' --transform-interpreter -allow-unregistered-dialect --split-input-file --verify-diagnostics
# .---command stderr------------
# | PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
# | Stack dump:
# | 0.	Program arguments: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\mlir-opt.exe C:\\_work\\llvm-project\\llvm-project\\mlir\\test\\Dialect\\Transform\\test-pattern-application.mlir --transform-interpreter -allow-unregistered-dialect --split-input-file --verify-diagnostics
# | Exception Code: 0xC0000005
# |  #0 0x00007ff7ad1f3552 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x2a73552)
# |  #1 0x00007ff7ad1f63f1 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x2a763f1)
# |  #2 0x00007ff7ad11291a mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x299291a)
# |  #3 0x00007ff7ad1106d4 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x29906d4)
# |  #4 0x00007ff7ad1f48a5 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x2a748a5)
# |  #5 0x00007ff7ad1f2612 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x2a72612)
# |  #6 0x00007ff7ad94dcea mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x31cdcea)
# |  #7 0x00007ff7ac5aa62c mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x1e2a62c)
# |  #8 0x00007ff7ac5aa10c mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x1e2a10c)
# |  #9 0x00007ff7ac5a9dc6 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x1e29dc6)
# | #10 0x00007ff7ad90a548 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x318a548)
# | #11 0x00007ff7ad95c8e7 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x31dc8e7)
# | #12 0x00007ff7ad9605e7 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x31e05e7)
# | #13 0x00007ff7ac5cd716 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x1e4d716)
# | #14 0x00007ff7ad90a548 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x318a548)
# | #15 0x00007ff7ad915bcb mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3195bcb)
# | #16 0x00007ff7ae87f726 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x40ff726)
# | #17 0x00007ff7ad05613e mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x28d613e)
# | #18 0x00007ff7aab1f4f7 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x39f4f7)
# | #19 0x00007ff7aab1fe26 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x39fe26)
# | #20 0x00007ff7aab25dae (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3a5dae)
# | #21 0x00007ff7aab258f5 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3a58f5)
# | #22 0x00007ff7aa790873 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x10873)
# | #23 0x00007ff7aa78f8e0 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0xf8e0)
# | #24 0x00007ff7aab0fc00 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x38fc00)
# | #25 0x00007ff7aab0f869 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x38f869)
# | #26 0x00007ff7aa7838de (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x38de)
# | #27 0x00007ff7aa783d3e (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3d3e)
# | #28 0x00007ff7aa7840f4 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x40f4)
# | #29 0x00007ff7aa781455 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x1455)
# | #30 0x00007ff7b2acc710 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x834c710)
# | #31 0x00007ff8b8af4cb0 (C:\Windows\System32\KERNEL32.DLL+0x14cb0)
# | #32 0x00007ff8c8bdedcb (C:\Windows\SYSTEM32\ntdll.dll+0x7edcb)
# `-----------------------------
# error: command failed with exit status: 0xc0000005
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\test-pattern-application.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\test-pattern-application.mlir:281:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func @non_isolated_apply_patterns_cse_changed_resets()
# |                 ^
# | <stdin>:171:38: note: scanning from here
# |  func.func @canonicalization_and_cse(%arg0: memref<5xf32>) {
# |                                      ^
# | <stdin>:178:2: note: possible intended match here
# |  transform.apply_patterns.canonicalization
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\test-pattern-application.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            166: } 
# |            167:  
# |            168: // ----- 
# |            169: // ----- 
# |            170: module { 
# |            171:  func.func @canonicalization_and_cse(%arg0: memref<5xf32>) { 
# | label:281'0                                          X~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# |            172:  return 
# | label:281'0     ~~~~~~~~
# |            173:  } 
# | label:281'0     ~~~
# |            174:  module attributes {transform.with_named_sequence} { 
# | label:281'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            175:  transform.named_sequence @__transform_main(%arg0: !transform.any_op) { 
# | label:281'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            176:  %0 = transform.structured.match ops{["func.func"]} in %arg0 : (!transform.any_op) -> !transform.any_op 
# | label:281'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            177:  transform.apply_patterns to %0 { 
# | label:281'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            178:  transform.apply_patterns.canonicalization 
# | label:281'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:281'1      ?                                          possible intended match
# |            179:  } {apply_cse} : !transform.any_op 
# | label:281'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            180:  transform.yield  
# | label:281'0     ~~~~~~~~~~~~~~~~~~
# |            181:  } 
# | label:281'0     ~~~
# |            182:  } 
# | label:281'0     ~~~
# |            183: } 
# | label:281'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


More information about the Mlir-commits mailing list