82 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# An unacceptable loop by pipeliner: The operand of the compare and branch is not defined in the loop5# CHECK: Unable to analyzeLoop, can NOT pipeline Loop6 7--- |8 define dso_local void @func(ptr noalias nocapture noundef writeonly %a, ptr nocapture noundef readonly %b, i32 noundef %n) local_unnamed_addr #0 {9 entry:10 %or.cond = icmp ult i32 %n, 211 br i1 %or.cond, label %for.end, label %for.body.preheader12 13 for.body.preheader: ; preds = %entry14 %i.07 = add i32 %n, -115 %0 = sext i32 %i.07 to i6416 br label %for.body17 18 for.body: ; preds = %for.body.preheader, %for.body19 %indvars.iv = phi i64 [ %0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]20 %1 = shl nsw i64 %indvars.iv, 221 %scevgep = getelementptr i8, ptr %b, i64 %122 %2 = load float, ptr %scevgep, align 423 %add = fadd float %2, 1.000000e+0024 %3 = shl nsw i64 %indvars.iv, 225 %scevgep11 = getelementptr i8, ptr %a, i64 %326 store float %add, ptr %scevgep11, align 427 %indvars.iv.next = add nsw i64 %indvars.iv, -128 %4 = add i64 %indvars.iv, -129 %5 = and i64 %4, 429496729530 %tobool.not = icmp eq i64 %5, 031 br i1 %tobool.not, label %for.end, label %for.body32 33 for.end: ; preds = %for.body, %entry34 ret void35 }36 37...38---39name: func40tracksRegLiveness: true41liveins:42 - { reg: '$x0', virtual-reg: '%3' }43 - { reg: '$x1', virtual-reg: '%4' }44 - { reg: '$w2', virtual-reg: '%5' }45body: |46 bb.0.entry:47 liveins: $x0, $x1, $w248 49 %5:gpr32common = COPY $w250 %4:gpr64common = COPY $x151 %3:gpr64common = COPY $x052 dead $wzr = SUBSWri %5, 2, 0, implicit-def $nzcv53 Bcc 3, %bb.3, implicit $nzcv54 B %bb.155 56 bb.1.for.body.preheader:57 %7:gpr32common = SUBWri %5, 1, 058 %9:gpr64all = IMPLICIT_DEF59 %8:gpr64 = SUBREG_TO_REG 0, killed %7, %subreg.sub_3260 %10:gpr64 = SBFMXri killed %8, 0, 3161 %0:gpr64all = COPY %1062 %12:fpr32 = FMOVSi 11263 %16:gpr32 = COPY %10.sub_3264 65 bb.2.for.body:66 successors: %bb.3(0x04000000), %bb.2(0x7c000000)67 68 %1:gpr64common = PHI %0, %bb.1, %2, %bb.269 %11:fpr32 = LDRSroX %4, %1, 0, 1 :: (load (s32) from %ir.scevgep)70 %13:fpr32 = nofpexcept FADDSrr killed %11, %12, implicit $fpcr71 STRSroX killed %13, %3, %1, 0, 1 :: (store (s32) into %ir.scevgep11)72 %14:gpr64common = SUBXri %1, 1, 073 %2:gpr64all = COPY %1474 %15:gpr32 = COPY %14.sub_3275 CBZW %16, %bb.376 B %bb.277 78 bb.3.for.end:79 RET_ReallyLR80 81...82