[llvm] [AMDGPU] Model structured control-flow lane masks as i1 (PR #209158)

[via llvm-commits]

github-actions[bot] wrote:

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

* 138415 tests passed
* 3521 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.CodeGen/Generic/GlobalISel/irtranslator-byte-type.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 6
c:\_work\llvm-project\llvm-project\build\bin\llc.exe -mtriple=aarch64-linux-gnu  -O0 -stop-after=irtranslator -global-isel C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll -o - 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll --check-prefix=AARCH64
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -mtriple=aarch64-linux-gnu -O0 -stop-after=irtranslator -global-isel 'C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll' -o -
# 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\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll' --check-prefix=AARCH64
# note: command had no output on stdout or stderr
# RUN: at line 7
c:\_work\llvm-project\llvm-project\build\bin\llc.exe -mtriple=amdgcn--mesa-mesa3d -O0 -stop-after=irtranslator -global-isel C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll -o - 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll --check-prefix=AMDGPU
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -mtriple=amdgcn--mesa-mesa3d -O0 -stop-after=irtranslator -global-isel 'C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll' -o -
# 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\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll' --check-prefix=AMDGPU
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll:163:17: error: AMDGPU-NEXT: expected string not found in input
# |  ; AMDGPU-NEXT: [[INT:%[0-9]+]]:_(i1), [[INT1:%[0-9]+]]:_(i64) = G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.amdgcn.if), [[XOR]](i1)
# |                 ^
# | <stdin>:681:27: note: scanning from here
# |  %13:_(i1) = G_XOR %0, %12
# |                           ^
# | <stdin>:681:27: note: with "XOR" equal to "%13"
# |  %13:_(i1) = G_XOR %0, %12
# |                           ^
# | <stdin>:681:27: note: pattern attempts to capture variables: "INT", "INT1"
# |  %13:_(i1) = G_XOR %0, %12
# |                           ^
# | <stdin>:682:2: note: possible intended match here
# |  %14:_(i1), %15:_(i1) = G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.amdgcn.if), %13(i1)
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\Generic\GlobalISel\irtranslator-byte-type.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |           676:  %11:_(i32) = COPY $vgpr0 
# |           677:  %0:_(i1) = G_TRUNC %11(i32) 
# |           678:  %1:_(i32) = COPY $vgpr1 
# |           679:  %2:_(i32) = COPY $vgpr2 
# |           680:  %12:_(i1) = G_CONSTANT i1 true 
# |           681:  %13:_(i1) = G_XOR %0, %12 
# | next:163'0                              {   search range start (exclusive)
# | next:163'1                                  error: no match found in search range
# | next:163'2                                  with "XOR" equal to "%13"
# | next:163'3                                  pattern attempts to capture variables: "INT", "INT1"
# |           682:  %14:_(i1), %15:_(i1) = G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.amdgcn.if), %13(i1) 
# | next:163'4      ?                                                                                       possible intended match
# |           683:  G_BRCOND %14(i1), %bb.4 
# |           684:  G_BR %bb.2 
# |           685:   
# |           686:  bb.2.Flow: 
# |           687:  successors: %bb.3(0x40000000), %bb.5(0x40000000) 
# |             .
# |             .
# |             .
# |           705:  G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.amdgcn.end.cf), %17(i1) 
# |           706:  $vgpr0 = COPY %18(i32) 
# |           707:  SI_RETURN implicit $vgpr0 
# |           708: ... 
# |           709: --- 
# |           710: name: byte_select 
# | next:163'5                      }  search range end (exclusive)
# |           711: alignment: 4 
# |           712: exposesReturnsTwice: false 
# |           713: legalized: false 
# |           714: regBankSelected: false 
# |           715: selected: false 
# |             .
# |             .
# |             .
# | >>>>>>
# `-----------------------------
# 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/209158