45 lines · plain
1; RUN: opt -hexagon-loop-idiom -S < %s | FileCheck %s2; RUN: opt -p hexagon-loop-idiom -S < %s | FileCheck %s3 4; Make sure that we generate correct runtime checks.5 6; CHECK: b7.old:7; CHECK: [[LEN:%[0-9]+]] = shl nuw i32 %len, 38; CHECK: [[SRC:%[0-9]+]] = ptrtoint ptr %src to i329; CHECK: [[DST:%[0-9]+]] = ptrtoint ptr %dst to i3210; CHECK: [[ULT:%[0-9]+]] = icmp ult i32 [[DST]], [[SRC]]11; CHECK: [[SUB:%[0-9]+]] = sub i32 [[DST]], [[SRC]]12; CHECK: [[SLT:%[0-9]+]] = icmp sle i32 [[LEN]], [[SUB]]13; CHECK: [[CND:%[0-9]+]] = or i1 [[ULT]], [[SLT]]14; CHECK: br i1 [[CND]], label %b8.rtli, label %b8.rtli.ph15 16target datalayout = "e-m:e-p:32:32:32-a:0-n16:32-i64:64:64-i32:32:32-i16:16:16-i1:8:8-f32:32:32-f64:64:64-v32:32:32-v64:64:64-v512:512:512-v1024:1024:1024-v2048:2048:2048"17target triple = "hexagon"18 19define void @fred(ptr %dst, ptr %src, i32 %len) #0 {20b3:21 %v6 = icmp slt i32 0, %len22 br i1 %v6, label %b7, label %b1623 24b7: ; preds = %b325 br label %b826 27b8: ; preds = %b13, %b728 %v9 = phi i32 [ 0, %b7 ], [ %v14, %b13 ]29 %v10 = getelementptr inbounds i64, ptr %src, i32 %v930 %v11 = load i64, ptr %v10, align 831 %v12 = getelementptr inbounds i64, ptr %dst, i32 %v932 store i64 %v11, ptr %v12, align 833 br label %b1334 35b13: ; preds = %b836 %v14 = add nsw i32 %v9, 137 %v15 = icmp slt i32 %v14, %len38 br i1 %v15, label %b8, label %b1639 40b16: ; preds = %b13, %b341 ret void42}43 44attributes #0 = { noinline nounwind "target-cpu"="hexagonv60" }45