[flang-commits] [flang] [flang][mem2reg] promote memory slots through declares (PR #196975)

[via flang-commits]

github-actions[bot] wrote:

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

* 4375 tests passed
* 207 tests skipped
* 1 test failed

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

### Flang
<details>
<summary>Flang.Fir/mem2reg.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
fir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/mem2reg.mlir --allow-unregistered-dialect --mem2reg --split-input-file | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/mem2reg.mlir
# executed command: fir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/mem2reg.mlir --allow-unregistered-dialect --mem2reg --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/flang/test/Fir/mem2reg.mlir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/mem2reg.mlir:307:11: error: CHECK: expected string not found in input
# | // CHECK: %[[I32:.*]] = fir.bitcast %[[ARG0]] : (f32) -> i32
# |           ^
# | <stdin>:171:53: note: scanning from here
# |  fir.declare_value %arg0 {uniq_name = "_QFEx"} : f32
# |                                                     ^
# | <stdin>:171:53: note: with "ARG0" equal to "arg0"
# |  fir.declare_value %arg0 {uniq_name = "_QFEx"} : f32
# |                                                     ^
# | <stdin>:172:2: note: possible intended match here
# |  %5 = fir.bitcast %3 : (i32) -> f32
# |  ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Fir/mem2reg.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            166:  %0 = fir.undefined i32 
# |            167:  %1 = fir.bitcast %0 : (i32) -> f32 
# |            168:  %2 = fir.bitcast %0 : (i32) -> f32 
# |            169:  %3 = fir.bitcast %arg0 : (f32) -> i32 
# |            170:  %4 = fir.bitcast %0 : (i32) -> f32 
# |            171:  fir.declare_value %arg0 {uniq_name = "_QFEx"} : f32 
# | check:307'0                                                         X error: no match found
# | check:307'1                                                           with "ARG0" equal to "arg0"
# |            172:  %5 = fir.bitcast %3 : (i32) -> f32 
# | check:307'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:307'2      ?                                   possible intended match
# |            173:  return %5 : f32 
# | check:307'0     ~~~~~~~~~~~~~~~~~
# |            174:  } 
# | check:307'0     ~~~
# |            175: } 
# | check:307'0     ~~
# |            176:  
# | check:307'0     ~
# |            177: // ----- 
# | check:307'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/196975