[Mlir-commits] [mlir] [mlir][UB] Erase ops that precede `ub.unreachable` (PR #179104)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 3444 tests passed
* 413 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/UB/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\UB\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\UB\canonicalize.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\UB\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\UB\canonicalize.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\UB\canonicalize.mlir:23:16: error: CHECK-NEXT: is not on the line after the previous match
# | // CHECK-NEXT: ub.unreachable
# |                ^
# | <stdin>:19:2: note: 'next' match was here
# |  ub.unreachable
# |  ^
# | <stdin>:17:3: note: previous match ended here
# |  } {mustProgress = false}
# |   ^
# | <stdin>:18:1: note: non-matching line after previous match is here
# |  vector.print %arg0 : i32
# | ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\UB\canonicalize.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |          .
# |          .
# |          .
# |         14:  vector.print %arg0 : i32 
# |         15:  scf.for %arg1 = %c3 to %c4 step %c0 { 
# |         16:  vector.print %arg0 : i32 
# |         17:  } {mustProgress = false} 
# |         18:  vector.print %arg0 : i32 
# |         19:  ub.unreachable 
# | next:23      !~~~~~~~~~~~~~  error: match on wrong line
# |         20:  } 
# |         21: } 
# |         22:  
# | >>>>>>
# `-----------------------------
# 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/179104