xref: /llvm-project/llvm/test/CodeGen/PowerPC/sms-phi.ll (revision 5403c59c608c08c8ecd4303763f08eb046eb5e4d)
1; REQUIRES: asserts
2; RUN: llc < %s -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs\
3; RUN:       -mcpu=pwr9 --ppc-enable-pipeliner -debug-only=pipeliner 2>&1 \
4; RUN:       >/dev/null | FileCheck %s
5define dso_local void @sha512() #0 {
6;CHECK: prolog:
7;CHECK:        %{{[0-9]+}}:g8rc = ADD8 %{{[0-9]+}}:g8rc, %{{[0-9]+}}:g8rc
8;CHECK: epilog:
9;CHECK:        %{{[0-9]+}}:g8rc_and_g8rc_nox0 = PHI %{{[0-9]+}}:g8rc_and_g8rc_nox0, %bb.3, %{{[0-9]+}}:g8rc_and_g8rc_nox0, %bb.4
10;CHECK-NEXT:   %{{[0-9]+}}:g8rc = PHI %{{[0-9]+}}:g8rc, %bb.3, %{{[0-9]+}}:g8rc, %bb.4
11;CHECK-NEXT:   %{{[0-9]+}}:g8rc = PHI %{{[0-9]+}}:g8rc, %bb.3, %{{[0-9]+}}:g8rc, %bb.4
12  br label %1
13
141:                                                ; preds = %1, %0
15  %2 = phi i64 [ 0, %0 ], [ %12, %1 ]
16  %3 = phi i64 [ undef, %0 ], [ %11, %1 ]
17  %4 = phi i64 [ undef, %0 ], [ %3, %1 ]
18  %5 = getelementptr inbounds [80 x i64], ptr null, i64 0, i64 %2
19  %6 = load i64, ptr %5, align 8
20  %7 = add i64 0, %6
21  %8 = and i64 %3, %4
22  %9 = or i64 0, %8
23  %10 = add i64 0, %9
24  %11 = add i64 %10, %7
25  %12 = add nuw nsw i64 %2, 1
26  %13 = icmp eq i64 %12, 80
27  br i1 %13, label %14, label %1
28
2914:                                               ; preds = %1
30  %15 = add i64 %4, 0
31  store i64 %15, ptr undef, align 8
32  ret void
33}
34
35