test/CodeGen/PowerPC/p8-isel-sched.ll

   1 ; RUN: llc -verify-machineinstrs -mcpu=pwr8 < %s | FileCheck %s
   2 ; RUN: llc -verify-machineinstrs -mcpu=pwr8 -ppc-gen-isel=false < %s | FileCheck --check-prefix=CHECK-NO-ISEL %s
   3 target datalayout = "E-m:e-i64:64-n32:64"
   4 target triple = "powerpc64-unknown-linux-gnu"
   5
   6 ; Function Attrs: nounwind
   7 define void @foo(i32* nocapture %r1, i32* nocapture %r2, i32* nocapture %r3, i32* nocapture %r4, i32 signext %a, i32 signext %b, i32 signext %c, i32 signext %d) #0 {
   8 entry:
   9   %tobool = icmp ne i32 %a, 0
  10   %cond = select i1 %tobool, i32 %b, i32 %c
  11   store i32 %cond, i32* %r1, align 4
  12   %cond5 = select i1 %tobool, i32 %b, i32 %d
  13   store i32 %cond5, i32* %r2, align 4
  14   %add = add nsw i32 %b, 1
  15   %sub = add nsw i32 %d, -2
  16   %cond10 = select i1 %tobool, i32 %add, i32 %sub
  17   store i32 %cond10, i32* %r3, align 4
  18   %add13 = add nsw i32 %b, 3
  19   %sub15 = add nsw i32 %d, -5
  20   %cond17 = select i1 %tobool, i32 %add13, i32 %sub15
  21   store i32 %cond17, i32* %r4, align 4
  22   ret void
  23 }
  24
  25 ; Make sure that we don't schedule all of the isels together, they should be
  26 ; intermixed with the adds because each isel starts a new dispatch group.
  27 ; CHECK-LABEL: @foo
  28 ; CHECK-NO-ISEL-LABEL: @foo
  29 ; CHECK: isel
  30 ; CHECK-NO-ISEL: bc 12, 2, [[TRUE:.LBB[0-9]+]]
  31 ; CHECK-NO-ISEL: b [[SUCCESSOR:.LBB[0-9]+]]
  32 ; CHECK-NO-ISEL: [[TRUE]]
  33 ; CHECK-NO-ISEL-NEXT: addi {{[0-9]+}}, {{[0-9]+}}, 0
  34 ; CHECK: addi
  35 ; CHECK: isel
  36 ; CHECK-NO-ISEL: bc 12, 2, [[TRUE:.LBB[0-9]+]]
  37 ; CHECK-NO-ISEL: ori 10, 11, 0
  38 ; CHECK-NO-ISEL-NEXT: b [[SUCCESSOR:.LBB[0-9]+]]
  39 ; CHECK-NO-ISEL: [[TRUE]]
  40 ; CHECK: blr
  41
  42 attributes #0 = { nounwind }