xref: /llvm-project/llvm/test/CodeGen/AArch64/GlobalISel/phi-with-empty-type.ll (revision 0ff3d729f92b3878d48eb1179649d7bb5feecd02)
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4
2; RUN: llc < %s -O0 -global-isel -mtriple=aarch64 -stop-after=irtranslator | FileCheck %s
3
4
5%zero = type [0 x i8]
6
7define %zero @test(%zero %x, %zero %y) {
8  ; CHECK-LABEL: name: test
9  ; CHECK: bb.1.b1:
10  ; CHECK-NEXT:   successors: %bb.3(0x40000000), %bb.2(0x40000000)
11  ; CHECK-NEXT: {{  $}}
12  ; CHECK-NEXT:   [[DEF:%[0-9]+]]:_(s1) = G_IMPLICIT_DEF
13  ; CHECK-NEXT:   G_BRCOND [[DEF]](s1), %bb.3
14  ; CHECK-NEXT:   G_BR %bb.2
15  ; CHECK-NEXT: {{  $}}
16  ; CHECK-NEXT: bb.2.b2:
17  ; CHECK-NEXT:   successors: %bb.3(0x80000000)
18  ; CHECK-NEXT: {{  $}}
19  ; CHECK-NEXT:   G_BR %bb.3
20  ; CHECK-NEXT: {{  $}}
21  ; CHECK-NEXT: bb.3.end:
22  ; CHECK-NEXT:   RET_ReallyLR
23b1:
24  br i1 undef, label %end, label %b2
25
26b2:
27  br label %end
28
29end:
30  %z = phi %zero [ %y, %b1 ], [ %x, %b2 ]
31  ret %zero %z
32}
33