polly/test/ScopInfo/constant_start_integer.ll

   1 ; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s
   2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   3
   4 ; void foo(float *input) {
   5 ;   for (int j = 0; j < 8; j++) {
   6 ;     //SCoP begin
   7 ;     for (int i = 0; i < 63; i++) {
   8 ;       float x = input[j * 64 + i + 1];
   9 ;       input[j * 64 + i + 0] = x * x;
  10 ;     }
  11 ;   }
  12 ; }
  13
  14 ; CHECK  p0: {0,+,256}<%for.cond1.preheader>
  15 ; CHECK-NOT: p1
  16
  17 ; CHECK: ReadAccess
  18 ; CHECK:   [p_0] -> { Stmt_for_body3[i0] -> MemRef_input[1 + 64p_0 + i0] };
  19 ; CHECK: MustWriteAccess
  20 ; CHECK:   [p_0] -> { Stmt_for_body3[i0] -> MemRef_input[64p_0 + i0] };
  21
  22 define void @foo(ptr nocapture %input) {
  23 entry:
  24   br label %for.cond1.preheader
  25
  26 for.cond1.preheader:                              ; preds = %for.inc10, %entry
  27   %j.021 = phi i64 [ 0, %entry ], [ %inc11, %for.inc10 ]
  28   %mul = shl nsw i64 %j.021, 6
  29   br label %for.body3
  30
  31 for.body3:                                        ; preds = %for.body3, %for.cond1.preheader
  32   %i.020 = phi i64 [ 0, %for.cond1.preheader ], [ %inc, %for.body3 ]
  33   %add = add nsw i64 %i.020, %mul
  34   %add4 = add nsw i64 %add, 1
  35   %arrayidx = getelementptr inbounds float, ptr %input, i64 %add4
  36   %0 = load float, ptr %arrayidx, align 8
  37   %mul5 = fmul float %0, %0
  38   %arrayidx9 = getelementptr inbounds float, ptr %input, i64 %add
  39   store float %mul5, ptr %arrayidx9, align 8
  40   %inc = add nsw i64 %i.020, 1
  41   %exitcond = icmp eq i64 %inc, 63
  42   br i1 %exitcond, label %for.inc10, label %for.body3
  43
  44 for.inc10:                                        ; preds = %for.body3
  45   %inc11 = add nsw i64 %j.021, 1
  46   %exitcond22 = icmp eq i64 %inc11, 8
  47   fence seq_cst
  48   br i1 %exitcond22, label %for.end12, label %for.cond1.preheader
  49
  50 for.end12:                                        ; preds = %for.inc10
  51   ret void
  52 }