llvm/test/Analysis/LoopAccessAnalysis/backward-dep-different-types.ll

   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
  11 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
  12 target 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
  20 define void @f() {
  21 entry:
  22   %a = load ptr, ptr @A, align 8
  23   %b = load ptr, ptr @B, align 8
  24   br label %for.body
  25
  26 for.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
  46 for.end:                                          ; preds = %for.body
  47   ret void
  48 }