1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs\
3; RUN:       -mcpu=pwr9 --ppc-enable-pipeliner 2>&1 | FileCheck %s
4
5%0 = type { double, double, double, i32, i32 }
6declare i8* @malloc() local_unnamed_addr
7
8define void @phi3(i32*) local_unnamed_addr {
9; CHECK-LABEL: phi3:
10; CHECK:       # %bb.0:
11; CHECK-NEXT:    mflr 0
12; CHECK-NEXT:    .cfi_def_cfa_offset 64
13; CHECK-NEXT:    .cfi_offset lr, 16
14; CHECK-NEXT:    .cfi_offset r29, -24
15; CHECK-NEXT:    .cfi_offset r30, -16
16; CHECK-NEXT:    std 29, -24(1) # 8-byte Folded Spill
17; CHECK-NEXT:    std 30, -16(1) # 8-byte Folded Spill
18; CHECK-NEXT:    std 0, 16(1)
19; CHECK-NEXT:    stdu 1, -64(1)
20; CHECK-NEXT:    mr 30, 3
21; CHECK-NEXT:    bl malloc
22; CHECK-NEXT:    nop
23; CHECK-NEXT:    mr 29, 3
24; CHECK-NEXT:    bl malloc
25; CHECK-NEXT:    nop
26; CHECK-NEXT:    addi 7, 30, -4
27; CHECK-NEXT:    mtctr 3
28; CHECK-NEXT:    lwzu 8, 4(7)
29; CHECK-NEXT:    addi 4, 29, -8
30; CHECK-NEXT:    li 5, 0
31; CHECK-NEXT:    bdz .LBB0_5
32; CHECK-NEXT:  # %bb.1:
33; CHECK-NEXT:    extswsli 6, 5, 5
34; CHECK-NEXT:    add 5, 8, 5
35; CHECK-NEXT:    lwzu 8, 4(7)
36; CHECK-NEXT:    bdz .LBB0_4
37; CHECK-NEXT:  # %bb.2:
38; CHECK-NEXT:    add 6, 3, 6
39; CHECK-NEXT:    stdu 6, 8(4)
40; CHECK-NEXT:    extswsli 6, 5, 5
41; CHECK-NEXT:    add 5, 8, 5
42; CHECK-NEXT:    lwzu 8, 4(7)
43; CHECK-NEXT:    bdz .LBB0_4
44; CHECK-NEXT:    .p2align 5
45; CHECK-NEXT:  .LBB0_3: #
46; CHECK-NEXT:    add 9, 3, 6
47; CHECK-NEXT:    extswsli 6, 5, 5
48; CHECK-NEXT:    add 5, 8, 5
49; CHECK-NEXT:    lwzu 8, 4(7)
50; CHECK-NEXT:    stdu 9, 8(4)
51; CHECK-NEXT:    bdnz .LBB0_3
52; CHECK-NEXT:  .LBB0_4:
53; CHECK-NEXT:    add 6, 3, 6
54; CHECK-NEXT:    stdu 6, 8(4)
55; CHECK-NEXT:  .LBB0_5:
56; CHECK-NEXT:    extswsli 5, 5, 5
57; CHECK-NEXT:    add 3, 3, 5
58; CHECK-NEXT:    stdu 3, 8(4)
59; CHECK-NEXT:    addi 1, 1, 64
60; CHECK-NEXT:    ld 0, 16(1)
61; CHECK-NEXT:    mtlr 0
62; CHECK-NEXT:    ld 30, -16(1) # 8-byte Folded Reload
63; CHECK-NEXT:    ld 29, -24(1) # 8-byte Folded Reload
64; CHECK-NEXT:    blr
65  %2 = tail call noalias i8* @malloc()
66  %3 = bitcast i8* %2 to %0**
67  %4 = tail call noalias i8* @malloc()
68  %5 = bitcast i8* %4 to %0*
69  br label %6
70
716:                                                ; preds = %6, %1
72  %7 = phi i64 [ %16, %6 ], [ 0, %1 ]
73  %8 = phi i32 [ %15, %6 ], [ 0, %1 ]
74  %9 = phi i64 [ %17, %6 ], [ undef, %1 ]
75  %10 = sext i32 %8 to i64
76  %11 = getelementptr inbounds %0, %0* %5, i64 %10
77  %12 = getelementptr inbounds %0*, %0** %3, i64 %7
78  store %0* %11, %0** %12, align 8
79  %13 = getelementptr inbounds i32, i32* %0, i64 %7
80  %14 = load i32, i32* %13, align 4
81  %15 = add nsw i32 %14, %8
82  %16 = add nuw nsw i64 %7, 1
83  %17 = add i64 %9, -1
84  %18 = icmp eq i64 %17, 0
85  br i1 %18, label %19, label %6
86
8719:                                               ; preds = %6
88  ret void
89}
90