46 lines · plain
1; RUN: opt -passes=loop-idiom -S <%s | FileCheck %s2 3define void @memcpy_fixed_vec(ptr noalias %a, ptr noalias %b) local_unnamed_addr #1 {4; CHECK-LABEL: @memcpy_fixed_vec(5; CHECK: entry:6; CHECK: memcpy7; CHECK: vector.body8entry:9 br label %vector.body10 11vector.body: ; preds = %vector.body, %entry12 %index = phi i64 [ 0, %entry ], [ %index.next, %vector.body ]13 %0 = getelementptr inbounds i64, ptr %a, i64 %index14 %wide.load = load <2 x i64>, ptr %0, align 815 %1 = getelementptr inbounds i64, ptr %b, i64 %index16 store <2 x i64> %wide.load, ptr %1, align 817 %index.next = add nuw nsw i64 %index, 218 %2 = icmp eq i64 %index.next, 102419 br i1 %2, label %for.cond.cleanup, label %vector.body20 21for.cond.cleanup: ; preds = %vector.body22 ret void23}24 25define void @memcpy_scalable_vec(ptr noalias %a, ptr noalias %b) local_unnamed_addr #1 {26; CHECK-LABEL: @memcpy_scalable_vec(27; CHECK: entry:28; CHECK-NOT: memcpy29; CHECK: vector.body30entry:31 br label %vector.body32 33vector.body: ; preds = %vector.body, %entry34 %index = phi i64 [ 0, %entry ], [ %index.next, %vector.body ]35 %0 = getelementptr inbounds <vscale x 2 x i64>, ptr %a, i64 %index36 %wide.load = load <vscale x 2 x i64>, ptr %0, align 1637 %1 = getelementptr inbounds <vscale x 2 x i64>, ptr %b, i64 %index38 store <vscale x 2 x i64> %wide.load, ptr %1, align 1639 %index.next = add nuw nsw i64 %index, 140 %2 = icmp eq i64 %index.next, 102441 br i1 %2, label %for.cond.cleanup, label %vector.body42 43for.cond.cleanup: ; preds = %vector.body44 ret void45}46