1; RUN: opt -passes='print<access-info>' -disable-output < %s 2>&1 | FileCheck %s 2 3; In this loop just because we access A through different types (int, float) 4; we still have a dependence cycle: 5; 6; for (i = 0; i < n; i++) { 7; A_float = (float *) A; 8; A_float[i + 1] = A[i] * B[i]; 9; } 10 11target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 12target triple = "x86_64-apple-macosx10.10.0" 13 14; CHECK: Report: unsafe dependent memory operations in loop 15; CHECK-NOT: Memory dependences are safe 16 17@B = common global ptr null, align 8 18@A = common global ptr null, align 8 19 20define void @f() { 21entry: 22 %a = load ptr, ptr @A, align 8 23 %b = load ptr, ptr @B, align 8 24 br label %for.body 25 26for.body: ; preds = %for.body, %entry 27 %storemerge3 = phi i64 [ 0, %entry ], [ %add, %for.body ] 28 29 %arrayidxA = getelementptr inbounds i32, ptr %a, i64 %storemerge3 30 %loadA = load i32, ptr %arrayidxA, align 2 31 32 %arrayidxB = getelementptr inbounds i32, ptr %b, i64 %storemerge3 33 %loadB = load i32, ptr %arrayidxB, align 2 34 35 %mul = mul i32 %loadB, %loadA 36 37 %add = add nuw nsw i64 %storemerge3, 1 38 39 %arrayidxA_plus_2 = getelementptr inbounds float, ptr %a, i64 %add 40 %mul_float = sitofp i32 %mul to float 41 store float %mul_float, ptr %arrayidxA_plus_2, align 2 42 43 %exitcond = icmp eq i64 %add, 20 44 br i1 %exitcond, label %for.end, label %for.body 45 46for.end: ; preds = %for.body 47 ret void 48} 49