1; RUN: llc -march=hexagon -mcpu=hexagonv4 < %s | FileCheck %s 2; Check that we remove the compare and induction variable instructions 3; after generating hardware loops. 4; Bug 6685. 5 6; CHECK: loop0 7; CHECK-NOT: r{{[0-9]+}}{{.}}={{.}}add(r{{[0-9]+}},{{.}}#-1) 8; CHECK-NOT: cmp.eq 9; CHECK: endloop0 10 11define i32 @test1(i32* nocapture %b, i32 %n) nounwind readonly { 12entry: 13 %cmp1 = icmp sgt i32 %n, 0 14 br i1 %cmp1, label %for.body.preheader, label %for.end 15 16for.body.preheader: 17 br label %for.body 18 19for.body: ; preds = %for.body.preheader, %for.body 20 %sum.03 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ] 21 %arrayidx.phi = phi i32* [ %arrayidx.inc, %for.body ], [ %b, %for.body.preheader ] 22 %i.02 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ] 23 %0 = load i32* %arrayidx.phi, align 4 24 %add = add nsw i32 %0, %sum.03 25 %inc = add nsw i32 %i.02, 1 26 %exitcond = icmp eq i32 %inc, %n 27 %arrayidx.inc = getelementptr i32* %arrayidx.phi, i32 1 28 br i1 %exitcond, label %for.end.loopexit, label %for.body 29 30for.end.loopexit: 31 br label %for.end 32 33for.end: 34 %sum.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.end.loopexit ] 35 ret i32 %sum.0.lcssa 36} 37 38; This test checks that that initial loop count value is removed. 39; CHECK-NOT: ={{.}}#40 40; CHECK: loop0 41; CHECK-NOT: r{{[0-9]+}}{{.}}={{.}}add(r{{[0-9]+}},{{.}}#-1) 42; CHECK-NOT: cmp.eq 43; CHECK: endloop0 44 45define i32 @test2(i32* nocapture %b) nounwind readonly { 46entry: 47 br label %for.body 48 49for.body: 50 %sum.02 = phi i32 [ 0, %entry ], [ %add, %for.body ] 51 %arrayidx.phi = phi i32* [ %b, %entry ], [ %arrayidx.inc, %for.body ] 52 %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ] 53 %0 = load i32* %arrayidx.phi, align 4 54 %add = add nsw i32 %0, %sum.02 55 %inc = add nsw i32 %i.01, 1 56 %exitcond = icmp eq i32 %inc, 40 57 %arrayidx.inc = getelementptr i32* %arrayidx.phi, i32 1 58 br i1 %exitcond, label %for.end, label %for.body 59 60for.end: 61 ret i32 %add 62} 63 64; This test checks that we don't remove the induction variable since it's used. 65; CHECK: loop0 66; CHECK: r{{[0-9]+}}{{.}}={{.}}add(r{{[0-9]+}},{{.}}#1) 67; CHECK-NOT: cmp.eq 68; CHECK: endloop0 69define i32 @test3(i32* nocapture %b) nounwind { 70entry: 71 br label %for.body 72 73for.body: 74 %arrayidx.phi = phi i32* [ %b, %entry ], [ %arrayidx.inc, %for.body ] 75 %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ] 76 store i32 %i.01, i32* %arrayidx.phi, align 4 77 %inc = add nsw i32 %i.01, 1 78 %exitcond = icmp eq i32 %inc, 40 79 %arrayidx.inc = getelementptr i32* %arrayidx.phi, i32 1 80 br i1 %exitcond, label %for.end, label %for.body 81 82for.end: 83 ret i32 0 84} 85 86 87