[Mlir-commits] [mlir] [MLIR][Analysis] Fix incorrect RegionBranchOpInterface API usage in SliceWalk (PR #188758)

llvmlistbot at llvm.org llvmlistbot at llvm.org
Fri Aug 14 13:05:31 PDT 2026


github-actions[bot] wrote:

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

* 4030 tests passed
* 446 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Analysis/test-control-flow-predecessors.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --mlir-disable-threading -pass-pipeline="builtin.module(any(test-control-flow-predecessors))" C:\_work\llvm-project\llvm-project\mlir\test\Analysis\test-control-flow-predecessors.mlir 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Analysis\test-control-flow-predecessors.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' --mlir-disable-threading '-pass-pipeline=builtin.module(any(test-control-flow-predecessors))' 'C:\_work\llvm-project\llvm-project\mlir\test\Analysis\test-control-flow-predecessors.mlir'
# note: command had no output on stdout or stderr
# error: command failed with exit status: 0xc000001d
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Analysis\test-control-flow-predecessors.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Analysis\test-control-flow-predecessors.mlir:30:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: Control flow predecessors for '"test_loop_with_extra_result"'
# |                 ^
# | <stdin>:1:60: note: scanning from here
# | Control flow predecessors for '"test_scf_for_no_iter_args"':
# |                                                            ^
# | <stdin>:5:245: note: possible intended match here
# | 0. Program arguments: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\mlir-opt.exe --mlir-disable-threading -pass-pipeline=builtin.module(any(test-control-flow-predecessors)) C:\\_work\\llvm-project\\llvm-project\\mlir\\test\\Analysis\\test-control-flow-predecessors.mlir
# |                                                                                                                                                                                                                                                     ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Analysis\test-control-flow-predecessors.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             1: Control flow predecessors for '"test_scf_for_no_iter_args"': 
# | label:30'0                                                               {    search range start (exclusive)
# | label:30'1                                                                    error: no match found in search range
# |             2: Assertion failed: Index < size() && "invalid index for value range", file C:\_work\llvm-project\llvm-project\llvm\include\llvm/ADT/STLExtras.h, line 1249 
# |             3: PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug. 
# |             4: Stack dump: 
# |             5: 0. Program arguments: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\mlir-opt.exe --mlir-disable-threading -pass-pipeline=builtin.module(any(test-control-flow-predecessors)) C:\\_work\\llvm-project\\llvm-project\\mlir\\test\\Analysis\\test-control-flow-predecessors.mlir 
# | label:30'2                                                                                                                                                                                                                                                         ?                                possible intended match
# |             6: Exception Code: 0xC000001D 
# |             7:  #0 0x00007ff62b7d3576 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3933576) 
# |             8:  #1 0x00007ffc5e2fbb04 (C:\Windows\System32\ucrtbase.dll+0x7bb04) 
# |             9:  #2 0x00007ffc5e2fcad1 (C:\Windows\System32\ucrtbase.dll+0x7cad1) 
# |            10:  #3 0x00007ffc5e2fe4a1 (C:\Windows\System32\ucrtbase.dll+0x7e4a1) 
# |             .
# |             .
# |             .
# |            31: #24 0x00007ff627ea3b5e (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3b5e) 
# |            32: #25 0x00007ff627ea3f14 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3f14) 
# |            33: #26 0x00007ff627ea1455 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x1455) 
# |            34: #27 0x00007ff63058bde0 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x86ebde0) 
# |            35: #28 0x00007ffc67224cb0 (C:\Windows\System32\KERNEL32.DLL+0x14cb0) 
# |            36: #29 0x00007ffc730fedfb (C:\Windows\SYSTEM32\ntdll.dll+0x7edfb) 
# | label:30'3                                                                    } 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/188758


More information about the Mlir-commits mailing list