66 lines · plain
1; RUN: opt -passes='print<access-info>' -disable-output < %s 2>&1 | FileCheck %s2 3; Analyze this loop:4; for (i = 0; i < n; i++)5; A[i + 1] = A[i] * B[i] * C[i];6 7target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"8target triple = "x86_64-apple-macosx10.10.0"9 10; CHECK: Report: unsafe dependent memory operations in loop11; CHECK-NEXT: Backward loop carried data dependence.12; CHECK-NEXT: Dependences:13; CHECK-NEXT: Backward:14; CHECK-NEXT: %loadA = load i16, ptr %arrayidxA, align 2 ->15; CHECK-NEXT: store i16 %mul1, ptr %arrayidxA_plus_2, align 216; CHECK: Run-time memory checks:17; CHECK-NEXT: 0:18; CHECK-NEXT: Comparing group19; CHECK-NEXT: %arrayidxA = getelementptr inbounds i16, ptr %a, i64 %storemerge320; CHECK-NEXT: %arrayidxA_plus_2 = getelementptr inbounds i16, ptr %a, i64 %add21; CHECK-NEXT: Against group22; CHECK-NEXT: %arrayidxB = getelementptr inbounds i16, ptr %b, i64 %storemerge323; CHECK-NEXT: 1:24; CHECK-NEXT: Comparing group25; CHECK-NEXT: %arrayidxA = getelementptr inbounds i16, ptr %a, i64 %storemerge326; CHECK-NEXT: %arrayidxA_plus_2 = getelementptr inbounds i16, ptr %a, i64 %add27; CHECK-NEXT: Against group28; CHECK-NEXT: %arrayidxC = getelementptr inbounds i16, ptr %c, i64 %storemerge329 30@B = common global ptr null, align 831@A = common global ptr null, align 832@C = common global ptr null, align 833 34define void @f() {35entry:36 %a = load ptr, ptr @A, align 837 %b = load ptr, ptr @B, align 838 %c = load ptr, ptr @C, align 839 br label %for.body40 41for.body: ; preds = %for.body, %entry42 %storemerge3 = phi i64 [ 0, %entry ], [ %add, %for.body ]43 44 %arrayidxA = getelementptr inbounds i16, ptr %a, i64 %storemerge345 %loadA = load i16, ptr %arrayidxA, align 246 47 %arrayidxB = getelementptr inbounds i16, ptr %b, i64 %storemerge348 %loadB = load i16, ptr %arrayidxB, align 249 50 %arrayidxC = getelementptr inbounds i16, ptr %c, i64 %storemerge351 %loadC = load i16, ptr %arrayidxC, align 252 53 %mul = mul i16 %loadB, %loadA54 %mul1 = mul i16 %mul, %loadC55 56 %add = add nuw nsw i64 %storemerge3, 157 %arrayidxA_plus_2 = getelementptr inbounds i16, ptr %a, i64 %add58 store i16 %mul1, ptr %arrayidxA_plus_2, align 259 60 %exitcond = icmp eq i64 %add, 2061 br i1 %exitcond, label %for.end, label %for.body62 63for.end: ; preds = %for.body64 ret void65}66