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

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 7444 tests passed
* 600 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
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/UB/canonicalize.mlir -canonicalize="test-convergence" --split-input-file | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/UB/canonicalize.mlir
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/UB/canonicalize.mlir
# .---command stderr------------
# | /home/gha/actions-runner/_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: /home/gha/actions-runner/_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