polly/test/CodeGen/alias-check-multi-dim.ll

   1 ; RUN: opt %loadPolly -polly-codegen \
   2 ; RUN:     -S < %s | FileCheck %s
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 ; CHECK: sext i32 %indvar.init to i64
   6
   7 define void @foo(ptr %A, ptr %B, i32 %p, i32 %indvar.init) {
   8 preheader:
   9   br label %for.body
  10
  11 for.body:
  12   %indvar = phi i32 [ %indvar.next, %for.body ], [ %indvar.init, %preheader ]
  13   %tmp1 = load double, ptr %B
  14   store double undef, ptr %A
  15   %idxprom1329 = sext i32 %indvar to i64
  16   %B.ptr1 = getelementptr inbounds double, ptr %B, i64 %idxprom1329
  17   store double 0.000000e+00, ptr %B.ptr1
  18   %indvar.next = add nsw i32 %indvar, %p
  19   br i1 false, label %for.body, label %exit
  20
  21 exit:
  22   ret void
  23 }