[Mlir-commits] [mlir] [mlir] Use wouldOpBeTriviallyDead in LivenessAnalysis (PR #174362)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 7277 tests passed
* 598 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Transforms/remove-dead-values.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/Transforms/remove-dead-values.mlir -remove-dead-values -split-input-file -verify-diagnostics | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Transforms/remove-dead-values.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/Transforms/remove-dead-values.mlir -remove-dead-values -split-input-file -verify-diagnostics
# 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/Transforms/remove-dead-values.mlir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Transforms/remove-dead-values.mlir:398:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func.func private @clean_region_branch_op_erase_it() {
# |                 ^
# | <stdin>:99:35: note: scanning from here
# |  func.func @main() -> (i32, i32) {
# |                                   ^
# | <stdin>:174:2: note: possible intended match here
# |  func.func private @clean_region_branch_op_erase_it(%arg0: i1) {
# |  ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Transforms/remove-dead-values.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |             94: module { 
# |             95:  func.func private @clean_func_op_dont_remove_return_values() -> (i32, i32) { 
# |             96:  %c0_i32 = arith.constant 0 : i32 
# |             97:  return %c0_i32, %c0_i32 : i32, i32 
# |             98:  } 
# |             99:  func.func @main() -> (i32, i32) { 
# | label:398'0                                       X error: no match found
# |            100:  %0:2 = call @clean_func_op_dont_remove_return_values() : () -> (i32, i32) 
# | label:398'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            101:  %1:2 = call @clean_func_op_dont_remove_return_values() : () -> (i32, i32) 
# | label:398'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            102:  return %0#0, %1#1 : i32, i32 
# | label:398'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            103:  } 
# | label:398'0     ~~~
# |            104: } 
# | label:398'0     ~~
# |              .
# |              .
# |              .
# |            169:  } 
# | label:398'0     ~~~
# |            170: } 
# | label:398'0     ~~
# |            171:  
# | label:398'0     ~
# |            172: // ----- 
# | label:398'0     ~~~~~~~~~
# |            173: module { 
# | label:398'0     ~~~~~~~~~
# |            174:  func.func private @clean_region_branch_op_erase_it(%arg0: i1) { 
# | label:398'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:398'1      ?                                                                possible intended match
# |            175:  return 
# | label:398'0     ~~~~~~~~
# |            176:  } 
# | label:398'0     ~~~
# |            177:  func.func @main(%arg0: i32, %arg1: i1) { 
# | label:398'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            178:  call @clean_region_branch_op_erase_it(%arg1) : (i1) -> () 
# | label:398'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            179:  return 
# | label:398'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/174362