92 lines · plain
1; RUN: llc -mtriple=hexagon -no-phi-elim-live-out-early-exit < %s | FileCheck %s2; Check that we remove the compare and induction variable instructions3; after generating hardware loops.4; Bug 6685.5 6; CHECK-LABEL: f0:7; CHECK: loop08; CHECK-NOT: r{{[0-9]+}} = add(r{{[0-9]+}},#-1)9; CHECK-NOT: cmp.eq10; CHECK: endloop011 12define i32 @f0(ptr nocapture %a0, i32 %a1) #0 {13b0:14 %v0 = icmp sgt i32 %a1, 015 br i1 %v0, label %b1, label %b416 17b1: ; preds = %b018 br label %b219 20b2: ; preds = %b2, %b121 %v1 = phi i32 [ %v5, %b2 ], [ 0, %b1 ]22 %v2 = phi ptr [ %v8, %b2 ], [ %a0, %b1 ]23 %v3 = phi i32 [ %v6, %b2 ], [ 0, %b1 ]24 %v4 = load i32, ptr %v2, align 425 %v5 = add nsw i32 %v4, %v126 %v6 = add nsw i32 %v3, 127 %v7 = icmp eq i32 %v6, %a128 %v8 = getelementptr i32, ptr %v2, i32 129 br i1 %v7, label %b3, label %b230 31b3: ; preds = %b232 br label %b433 34b4: ; preds = %b3, %b035 %v9 = phi i32 [ 0, %b0 ], [ %v5, %b3 ]36 ret i32 %v937}38 39; This test checks that that initial loop count value is removed.40; CHECK-LABEL: f1:41; CHECK-NOT: ={{.}}#4042; CHECK: loop043; CHECK-NOT: r{{[0-9]+}} = add(r{{[0-9]+}},#-1)44; CHECK-NOT: cmp.eq45; CHECK: endloop046 47define i32 @f1(ptr nocapture %a0) #0 {48b0:49 br label %b150 51b1: ; preds = %b1, %b052 %v0 = phi i32 [ 0, %b0 ], [ %v4, %b1 ]53 %v1 = phi ptr [ %a0, %b0 ], [ %v7, %b1 ]54 %v2 = phi i32 [ 0, %b0 ], [ %v5, %b1 ]55 %v3 = load i32, ptr %v1, align 456 %v4 = add nsw i32 %v3, %v057 %v5 = add nsw i32 %v2, 158 %v6 = icmp eq i32 %v5, 4059 %v7 = getelementptr i32, ptr %v1, i32 160 br i1 %v6, label %b2, label %b161 62b2: ; preds = %b163 ret i32 %v464}65 66; This test checks that we don't remove the induction variable since it's used.67; CHECK-LABEL: f2:68; CHECK: loop069; CHECK: r{{[0-9]+}} = add(r{{[0-9]+}},#1)70; CHECK-NOT: cmp.eq71; CHECK: endloop072 73define i32 @f2(ptr nocapture %a0) #1 {74b0:75 br label %b176 77b1: ; preds = %b1, %b078 %v0 = phi ptr [ %a0, %b0 ], [ %v4, %b1 ]79 %v1 = phi i32 [ 0, %b0 ], [ %v2, %b1 ]80 store i32 %v1, ptr %v0, align 481 %v2 = add nsw i32 %v1, 182 %v3 = icmp eq i32 %v2, 4083 %v4 = getelementptr i32, ptr %v0, i32 184 br i1 %v3, label %b2, label %b185 86b2: ; preds = %b187 ret i32 088}89 90attributes #0 = { nounwind readonly "target-cpu"="hexagonv5" }91attributes #1 = { nounwind "target-cpu"="hexagonv5" }92