124 lines · plain
1# RUN: llc -mcpu=pwr9 -mtriple powerpc64le-unknown-linux-gnu -start-before machine-scheduler -stop-after machine-scheduler -verify-machineinstrs %s -o - | FileCheck %s2# RUN: llc -mcpu=pwr9 -mtriple powerpc64le-unknown-linux-gnu -disable-ppc-sched-addi-load -start-before machine-scheduler -stop-after machine-scheduler \3# RUN: -verify-machineinstrs %s -o - | FileCheck --check-prefix=CHECK-DISABLE %s4# RUN: llc -mcpu=pwr8 -mtriple powerpc64le-unknown-linux-gnu -start-before machine-scheduler -stop-after machine-scheduler -verify-machineinstrs %s -o - | FileCheck --check-prefix=CHECK-P8 %s5 6# Test that if the scheduler moves the addi before the load.7--- |8 target datalayout = "e-m:e-i64:64-n32:64"9 10 define i64 @foo(ptr %p, ptr %q) {11 entry:12 br label %while.cond6.i13 14 while.cond6.i: 15 %n.0 = phi i64 [ 0, %entry ], [ %n.1, %while.cond6.i ]16 %conv = and i64 %n.0, 429496729517 %arrayidx = getelementptr inbounds i8, ptr %p, i64 %conv18 %0 = load i8, ptr %arrayidx, align 119 %arrayidx4 = getelementptr inbounds i8, ptr %q, i64 %conv20 %1 = load i8, ptr %arrayidx4, align 121 %cmp = icmp eq i8 %0, %122 %n.1 = add i64 %conv, 123 br i1 %cmp, label %while.cond6.i, label %while.end24 25 while.end: 26 ret i64 %n.027 }28 29...30---31name: foo32alignment: 1633exposesReturnsTwice: false34legalized: false35regBankSelected: false36selected: false37failedISel: false38tracksRegLiveness: true39hasWinCFI: false40registers: 41 - { id: 0, class: g8rc, preferred-register: '' }42 - { id: 1, class: g8rc, preferred-register: '' }43 - { id: 2, class: g8rc_and_g8rc_nox0, preferred-register: '' }44 - { id: 3, class: g8rc_and_g8rc_nox0, preferred-register: '' }45 - { id: 4, class: g8rc, preferred-register: '' }46 - { id: 5, class: g8rc_and_g8rc_nox0, preferred-register: '' }47 - { id: 6, class: gprc, preferred-register: '' }48 - { id: 7, class: gprc, preferred-register: '' }49 - { id: 8, class: crrc, preferred-register: '' }50 - { id: 9, class: g8rc, preferred-register: '' }51liveins: 52 - { reg: '$x3', virtual-reg: '%2' }53 - { reg: '$x4', virtual-reg: '%3' }54frameInfo: 55 isFrameAddressTaken: false56 isReturnAddressTaken: false57 hasStackMap: false58 hasPatchPoint: false59 stackSize: 060 offsetAdjustment: 061 maxAlignment: 062 adjustsStack: false63 hasCalls: false64 stackProtector: ''65 maxCallFrameSize: 429496729566 cvBytesOfCalleeSavedRegisters: 067 hasOpaqueSPAdjustment: false68 hasVAStart: false69 hasMustTailInVarArgFunc: false70 localFrameSize: 071 savePoint: []72 restorePoint: []73fixedStack: []74stack: []75constants: []76machineFunctionInfo: {}77body: |78 bb.0.entry:79 successors: %bb.1(0x80000000)80 liveins: $x3, $x481 82 %3:g8rc_and_g8rc_nox0 = COPY $x483 %2:g8rc_and_g8rc_nox0 = COPY $x384 %9:g8rc = LI8 085 86 bb.1.while.cond6.i:87 successors: %bb.1(0x7c000000), %bb.2(0x04000000)88 89 %0:g8rc = COPY %990 %5:g8rc_and_g8rc_nox0 = RLDICL %0, 0, 3291 %6:gprc = LBZX %2, %5 :: (load (s8) from %ir.arrayidx)92 %7:gprc = LBZX %3, %5 :: (load (s8) from %ir.arrayidx4)93 %9:g8rc = ADDI8 %5, 194 %8:crrc = CMPLW %6, %795 BCC 76, %8, %bb.196 B %bb.297 ; CHECK-LABEL: foo98 ; CHECK: %5:g8rc_and_g8rc_nox0 = RLDICL %0, 0, 3299 ; CHECK-NEXT: %9:g8rc = ADDI8 %5, 1100 ; CHECK-NEXT: %6:gprc = LBZX %2, %5 :: (load (s8) from %ir.arrayidx) 101 ; CHECK-NEXT: %7:gprc = LBZX %3, %5 :: (load (s8) from %ir.arrayidx4) 102 ; CHECK-NEXT: %8:crrc = CMPLW %6, %7 103 ; CHECK-NEXT: BCC 76, %8104 ; CHECK-DISABLE-LABEL: foo105 ; CHECK-DISABLE: %5:g8rc_and_g8rc_nox0 = RLDICL %0, 0, 32106 ; CHECK-DISABLE-NEXT: %6:gprc = LBZX %2, %5 :: (load (s8) from %ir.arrayidx) 107 ; CHECK-DISABLE-NEXT: %7:gprc = LBZX %3, %5 :: (load (s8) from %ir.arrayidx4) 108 ; CHECK-DISABLE-NEXT: %9:g8rc = ADDI8 %5, 1109 ; CHECK-DISABLE-NEXT: %8:crrc = CMPLW %6, %7 110 ; CHECK-DISABLE-NEXT: BCC 76, %8111 ; CHECK-P8-LABEL: foo112 ; CHECK-P8: %5:g8rc_and_g8rc_nox0 = RLDICL %0, 0, 32113 ; CHECK-P8-NEXT: %6:gprc = LBZX %2, %5 :: (load (s8) from %ir.arrayidx)114 ; CHECK-P8-NEXT: %7:gprc = LBZX %3, %5 :: (load (s8) from %ir.arrayidx4)115 ; CHECK-P8-NEXT: %9:g8rc = ADDI8 %5, 1116 ; CHECK-P8-NEXT: %8:crrc = CMPLW %6, %7117 ; CHECK-P8-NEXT: BCC 76, %8118 119 bb.2.while.end:120 $x3 = COPY %0121 BLR8 implicit $lr8, implicit $rm, implicit $x3122 123...124