84 lines · plain
1# RUN: llc --verify-machineinstrs -mtriple=aarch64 -o - %s -run-pass pipeliner -aarch64-enable-pipeliner -pipeliner-enable-copytophi=0 -debug-only=pipeliner 2>&1 | FileCheck %s2# REQUIRES: asserts3 4# Compare and branch instructions are not supported now.5# CHECK: Unable to analyzeLoop, can NOT pipeline Loop6 7# (if supported) An acceptable loop by pipeliner: TBB == ExitBB, FBB == LoopBB, Compare and branch8# CHECK(if supported): Schedule Found? 19 10--- |11 define dso_local void @func(ptr noalias nocapture noundef writeonly %a, ptr nocapture noundef readonly %b, i32 noundef %n) local_unnamed_addr #0 {12 entry:13 %or.cond = icmp ult i32 %n, 214 br i1 %or.cond, label %for.end, label %for.body.preheader15 16 for.body.preheader: ; preds = %entry17 %i.07 = add i32 %n, -118 %0 = sext i32 %i.07 to i6419 br label %for.body20 21 for.body: ; preds = %for.body.preheader, %for.body22 %indvars.iv = phi i64 [ %0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]23 %1 = shl nsw i64 %indvars.iv, 224 %scevgep = getelementptr i8, ptr %b, i64 %125 %2 = load float, ptr %scevgep, align 426 %add = fadd float %2, 1.000000e+0027 %3 = shl nsw i64 %indvars.iv, 228 %scevgep11 = getelementptr i8, ptr %a, i64 %329 store float %add, ptr %scevgep11, align 430 %indvars.iv.next = add nsw i64 %indvars.iv, -131 %4 = add i64 %indvars.iv, -132 %5 = and i64 %4, 429496729533 %tobool.not = icmp eq i64 %5, 034 br i1 %tobool.not, label %for.end, label %for.body35 36 for.end: ; preds = %for.body, %entry37 ret void38 }39 40...41---42name: func43tracksRegLiveness: true44liveins:45 - { reg: '$x0', virtual-reg: '%3' }46 - { reg: '$x1', virtual-reg: '%4' }47 - { reg: '$w2', virtual-reg: '%5' }48body: |49 bb.0.entry:50 liveins: $x0, $x1, $w251 52 %5:gpr32common = COPY $w253 %4:gpr64common = COPY $x154 %3:gpr64common = COPY $x055 dead $wzr = SUBSWri %5, 2, 0, implicit-def $nzcv56 Bcc 3, %bb.3, implicit $nzcv57 B %bb.158 59 bb.1.for.body.preheader:60 %7:gpr32common = SUBWri %5, 1, 061 %9:gpr64all = IMPLICIT_DEF62 %8:gpr64 = SUBREG_TO_REG 0, killed %7, %subreg.sub_3263 %10:gpr64 = SBFMXri killed %8, 0, 3164 %0:gpr64all = COPY %1065 %12:fpr32 = FMOVSi 11266 67 bb.2.for.body:68 successors: %bb.3(0x04000000), %bb.2(0x7c000000)69 70 %1:gpr64common = PHI %0, %bb.1, %2, %bb.271 %11:fpr32 = LDRSroX %4, %1, 0, 1 :: (load (s32) from %ir.scevgep)72 %13:fpr32 = nofpexcept FADDSrr killed %11, %12, implicit $fpcr73 STRSroX killed %13, %3, %1, 0, 1 :: (store (s32) into %ir.scevgep11)74 %14:gpr64common = SUBXri %1, 1, 075 %2:gpr64all = COPY %1476 %15:gpr32 = COPY %14.sub_3277 CBZW killed %15, %bb.378 B %bb.279 80 bb.3.for.end:81 RET_ReallyLR82 83...84