test/CodeGen/PowerPC/sms-phi.ll

   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
   5 define dso_local void @sha512() #0 {
   6 ;CHECK: prolog:
   7 ;CHECK:        %16:g8rc = ADD8 %21:g8rc, %20:g8rc
   8 ;CHECK: epilog:
   9 ;CHECK:        %23:g8rc_and_g8rc_nox0 = PHI %5:g8rc_and_g8rc_nox0, %bb.3, %18:g8rc_and_g8rc_nox0, %bb.4
  10 ;CHECK-NEXT:   %24:g8rc = PHI %6:g8rc, %bb.3, %16:g8rc, %bb.4
  11 ;CHECK-NEXT:   %25:g8rc = PHI %6:g8rc, %bb.3, %19:g8rc, %bb.4
  12   br label %1
  13
  14 1:                                                ; 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], [80 x i64]* null, i64 0, i64 %2
  19   %6 = load i64, i64* %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
  29 14:                                               ; preds = %1
  30   %15 = add i64 %4, 0
  31   store i64 %15, i64* undef, align 8
  32   ret void
  33 }
  34