test/ScopInfo/nonaffine-buildMemoryAccess.ll

   1 ; RUN: opt %loadPolly -polly-allow-nonaffine-loops -polly-scops -analyze < %s | FileCheck %s
   2 ;
   3 ; CHECK:      Domain :=
   4 ; CHECK-NEXT:   { Stmt_while_cond_i__TO__while_end_i[] };
   5 ;
   6 define i32 @func(i32 %param0, i32 %param1, i64* %param2) #3 {
   7
   8 entry:
   9   %var0 = alloca i32
  10   %var1 = alloca i32
  11   br label %while.cond.i
  12
  13 while.cond.i:                                     ; preds = %while.cond.i.backedge, %entry
  14   %var2 = phi i32 [ %param0, %entry ], [ %var3, %while.cond.i.backedge ]
  15   %var3 = add nsw i32 %var2, 1
  16   %var4 = icmp slt i32 %var2, -1
  17   br i1 %var4, label %while.cond.i.backedge, label %if.end.i1.i
  18
  19 if.end.i1.i:                                    ; preds = %while.cond.i
  20   %var5 = sdiv i32 %var3, 64
  21   %var6 = icmp sgt i32 %param1, %var5
  22   br i1 %var6, label %exit1.i, label %while.cond.i.backedge
  23
  24 exit1.i:                          ; preds = %if.end.i1.i
  25   %var7 = srem i32 %var3, 64
  26   %var8 = sext i32 %var5 to i64
  27   %var9 = getelementptr inbounds i64, i64* %param2, i64 %var8
  28   %var10 = load i64, i64* %var9, align 8
  29   %var11 = zext i32 %var7 to i64
  30   %var12 = shl i64 1, %var11
  31   %var13 = and i64 %var10, %var12
  32   %var14 = icmp eq i64 %var13, 0
  33   store i32 %var2, i32* %var1
  34   store i32 %var3, i32* %var0
  35   br i1 %var14, label %while.cond.i.backedge, label %while.end.i
  36
  37 while.cond.i.backedge:                            ; preds = %exit1.i, %while.cond.i, %if.end.i1.i
  38   br label %while.cond.i
  39
  40 while.end.i:
  41   %var15 = load i32, i32* %var0
  42   %var16 = load i32, i32* %var1
  43   %var17 = add i32 %var15, %var16
  44   ret i32 %var17
  45 }