[llvm] [StructurizeCFG] Fix incorrect zero-cost hoisting in nested control flow (PR #183792)

[via llvm-commits]

github-actions[bot] wrote:

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

* 171176 tests passed
* 3031 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.CodeGen/AMDGPU/memintrinsic-unroll.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx1030 /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AMDGPU/memintrinsic-unroll.ll -o - | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AMDGPU/memintrinsic-unroll.ll
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx1030 /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AMDGPU/memintrinsic-unroll.ll -o -
# 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/llvm/test/CodeGen/AMDGPU/memintrinsic-unroll.ll
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AMDGPU/memintrinsic-unroll.ll:9866:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: v_add_nc_u32_e32 v1, 0x700, v1
# |               ^
# | <stdin>:1361:2: note: 'next' match was here
# |  v_add_nc_u32_e32 v1, 0x700, v1
# |  ^
# | <stdin>:1359:39: note: previous match ended here
# | ; %bb.4: ; %memmove_bwd_loop.preheader
# |                                       ^
# | <stdin>:1360:1: note: non-matching line after previous match is here
# |  v_add_nc_u32_e32 v0, 0x700, v0
# | ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AMDGPU/memintrinsic-unroll.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |         1356: .LBB8_3: ; %Flow18 
# |         1357:  s_andn2_saveexec_b32 s6, s6 
# |         1358:  s_cbranch_execz .LBB8_6 
# |         1359: ; %bb.4: ; %memmove_bwd_loop.preheader 
# |         1360:  v_add_nc_u32_e32 v0, 0x700, v0 
# |         1361:  v_add_nc_u32_e32 v1, 0x700, v1 
# | next:9866      !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  error: match on wrong line
# |         1362:  s_movk_i32 s4, 0xf800 
# |         1363:  s_mov_b32 s5, -1 
# |         1364: .LBB8_5: ; %memmove_bwd_loop 
# |         1365:  ; =>This Inner Loop Header: Depth=1 
# |         1366:  s_clause 0x3e 
# |            .
# |            .
# |            .
# | >>>>>>
# `-----------------------------
# 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/183792