37 lines · plain
1; RUN: llc -mtriple=aarch64 -stop-after=loop-reduce < %s | FileCheck %s2 3declare void @foo(i64)4 5; Verify that redundant adds or geps aren't inserted by LSR.6; CHECK-LABEL: @bar(7define void @bar(ptr %A) {8entry:9 br label %while.cond10 11while.cond:12; CHECK-LABEL: while.cond:13; CHECK-NOT: add i64 %lsr.iv, 114; CHECK-LABEL: land.rhs:15; CHECK: getelementptr i8, ptr %lsr.iv, i64 -816; CHECK-NOT: getelementptr i8, ptr %lsr.iv, i64 -817; CHECK-NOT: add i64, %lsr.iv, 118 %indvars.iv28 = phi i64 [ %indvars.iv.next29, %land.rhs ], [ 50, %entry ]19 %cmp = icmp sgt i64 %indvars.iv28, 020 br i1 %cmp, label %land.rhs, label %while.end21 22land.rhs:23 %indvars.iv.next29 = add nsw i64 %indvars.iv28, -124 %arrayidx = getelementptr inbounds double, ptr %A, i64 %indvars.iv.next2925 %Aload = load double, ptr %arrayidx, align 826 %cmp1 = fcmp oeq double %Aload, 0.000000e+0027 br i1 %cmp1, label %while.cond, label %if.end28 29while.end:30 %indvars.iv28.lcssa = phi i64 [ %indvars.iv28, %while.cond ]31 tail call void @foo(i64 %indvars.iv28.lcssa)32 br label %if.end33 34if.end:35 ret void36}37