| ; RUN: llc -march=hexagon -O3 < %s | FileCheck %s -check-prefix=BALIGN |
| ; BALIGN: .p2align{{.*}}5 |
| |
| ; The test for checking the alignment of 'for.body4.for.body4_crit_edge' basic block |
| |
| define dso_local void @foo(i32 %nCol, i32 %nRow, ptr nocapture %resMat) local_unnamed_addr { |
| entry: |
| %shl = shl i32 %nRow, 2 |
| %cmp36 = icmp sgt i32 %nRow, 0 |
| %0 = add i32 %nCol, -1 |
| %.inv = icmp slt i32 %0, 1 |
| %1 = select i1 %.inv, i32 1, i32 %nCol |
| br label %Outerloop |
| |
| Outerloop: ; preds = %for.end7, %entry |
| %r12.0 = phi i32 [ 0, %entry ], [ %inc8, %for.end7 ] |
| %r7_6.0 = phi i64 [ undef, %entry ], [ %r7_6.1.lcssa, %for.end7 ] |
| %r0i.0 = phi i32 [ undef, %entry ], [ %r0i.1.lcssa, %for.end7 ] |
| %r5.0 = phi ptr [ %resMat, %entry ], [ %r5.1.lcssa, %for.end7 ] |
| %r8.0 = phi i32 [ %shl, %entry ], [ %r8.1.lcssa, %for.end7 ] |
| br i1 %cmp36, label %for.body.lr.ph, label %for.end7 |
| |
| for.body.lr.ph: ; preds = %Outerloop |
| %cmp332 = icmp eq i32 %r12.0, 0 |
| %exitcond.peel = icmp eq i32 %r12.0, 1 |
| br label %for.body |
| |
| for.body: ; preds = %for.end, %for.body.lr.ph |
| %r8.141 = phi i32 [ %r8.0, %for.body.lr.ph ], [ %add, %for.end ] |
| %r5.140 = phi ptr [ %r5.0, %for.body.lr.ph ], [ %add.ptr, %for.end ] |
| %i.039 = phi i32 [ 0, %for.body.lr.ph ], [ %inc6, %for.end ] |
| %r0i.138 = phi i32 [ %r0i.0, %for.body.lr.ph ], [ %4, %for.end ] |
| %r7_6.137 = phi i64 [ %r7_6.0, %for.body.lr.ph ], [ %r7_6.2.lcssa, %for.end ] |
| %add = add nsw i32 %r8.141, %shl |
| br i1 %cmp332, label %for.end, label %for.body4.peel |
| |
| for.body4.peel: ; preds = %for.body |
| %r1i.0.in.peel = inttoptr i32 %r8.141 to ptr |
| %r1i.0.peel = load i32, ptr %r1i.0.in.peel, align 4 |
| %2 = tail call i64 @llvm.hexagon.M2.dpmpyss.nac.s0(i64 %r7_6.137, i32 %r1i.0.peel, i32 %r0i.138) |
| br i1 %exitcond.peel, label %for.end, label %for.body4.preheader.peel.newph |
| |
| for.body4.preheader.peel.newph: ; preds = %for.body4.peel |
| %r1i.0.in = inttoptr i32 %add to ptr |
| %r1i.0 = load i32, ptr %r1i.0.in, align 4 |
| br label %for.body4 |
| |
| for.body4: ; preds = %for.body4.for.body4_crit_edge, %for.body4.preheader.peel.newph |
| %inc.phi = phi i32 [ %inc.0, %for.body4.for.body4_crit_edge ], [ 2, %for.body4.preheader.peel.newph ] |
| %r7_6.233 = phi i64 [ %3, %for.body4.for.body4_crit_edge ], [ %2, %for.body4.preheader.peel.newph ] |
| %3 = tail call i64 @llvm.hexagon.M2.dpmpyss.nac.s0(i64 %r7_6.233, i32 %r1i.0, i32 %r0i.138) |
| %exitcond = icmp eq i32 %inc.phi, %r12.0 |
| br i1 %exitcond, label %for.end.loopexit, label %for.body4.for.body4_crit_edge |
| |
| for.body4.for.body4_crit_edge: ; preds = %for.body4 |
| %inc.0 = add nuw nsw i32 %inc.phi, 1 |
| br label %for.body4 |
| |
| for.end.loopexit: ; preds = %for.body4 |
| br label %for.end |
| |
| for.end: ; preds = %for.end.loopexit, %for.body4.peel, %for.body |
| %r7_6.2.lcssa = phi i64 [ %r7_6.137, %for.body ], [ %2, %for.body4.peel ], [ %3, %for.end.loopexit ] |
| %4 = tail call i32 @llvm.hexagon.S2.clbp(i64 %r7_6.2.lcssa) |
| store i32 %4, ptr %r5.140, align 4 |
| %add.ptr = getelementptr inbounds i8, ptr %r5.140, i32 undef |
| %inc6 = add nuw nsw i32 %i.039, 1 |
| %exitcond47 = icmp eq i32 %inc6, %nRow |
| br i1 %exitcond47, label %for.end7.loopexit, label %for.body |
| |
| for.end7.loopexit: ; preds = %for.end |
| br label %for.end7 |
| |
| for.end7: ; preds = %for.end7.loopexit, %Outerloop |
| %r7_6.1.lcssa = phi i64 [ %r7_6.0, %Outerloop ], [ %r7_6.2.lcssa, %for.end7.loopexit ] |
| %r0i.1.lcssa = phi i32 [ %r0i.0, %Outerloop ], [ %4, %for.end7.loopexit ] |
| %r5.1.lcssa = phi ptr [ %r5.0, %Outerloop ], [ %add.ptr, %for.end7.loopexit ] |
| %r8.1.lcssa = phi i32 [ %r8.0, %Outerloop ], [ %add, %for.end7.loopexit ] |
| %inc8 = add nuw i32 %r12.0, 1 |
| %exitcond48 = icmp eq i32 %inc8, %1 |
| br i1 %exitcond48, label %if.end, label %Outerloop |
| |
| if.end: ; preds = %for.end7 |
| ret void |
| } |
| |
| ; Function Attrs: nounwind readnone |
| declare i64 @llvm.hexagon.M2.dpmpyss.nac.s0(i64, i32, i32) |
| |
| ; Function Attrs: nounwind readnone |
| declare i32 @llvm.hexagon.S2.clbp(i64) |