blob: 9d1f42a4b14b188081404d332e1106c43458fe99 [file] [log] [blame]
; 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)