polly/test/MaximalStaticExpansion/load_after_store_same_statement.ll

   1 ; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb "-passes=scop(print<polly-mse>)" -disable-output < %s | FileCheck %s
   2 ; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb "-passes=scop(print<polly-mse>)" -pass-remarks-analysis="polly-mse" -disable-output < %s 2>&1 | FileCheck %s --check-prefix=MSE
   3 ;
   4 ; Verify that the expansion of an array with load after store in a same statement is not done.
   5 ;
   6 ; Original source code :
   7 ;
   8 ; #define Ni 2000
   9 ; #define Nj 3000
  10 ;
  11 ; void mse(double A[Ni], double B[Nj], double C[Nj], double D[Nj]) {
  12 ;   int i,j;
  13 ;   for (i = 0; i < Ni; i++) {
  14 ;     for (int j = 0; j<Nj; j++) {
  15 ;       B[j] = j;
  16 ;       C[j] = B[j];
  17 ;     }
  18 ;   }
  19 ; }
  20 ;
  21 ; Check that C is expanded
  22 ;
  23 ; CHECK: i64 MemRef_C_Stmt_for_body4_expanded[10000][10000]; // Element size 8
  24 ; CHECK: new: { Stmt_for_body4[i0, i1] -> MemRef_C_Stmt_for_body4_expanded[i0, i1] };
  25 ;
  26 ; Check that B is not expanded
  27 ;
  28 ; CHECK-NOT: double MemRef_B_Stmt_for_body4_expanded[10000][10000]; // Element size 8
  29 ; MSE: MemRef_B has read after write to the same element in same statement. The dependences found during analysis may be wrong because Polly is not able to handle such case for now.
  30 ;
  31 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  32 target triple = "x86_64-unknown-linux-gnu"
  33
  34 define void @mse(ptr %A, ptr %B, ptr %C, ptr %D) {
  35 entry:
  36   br label %entry.split
  37
  38 entry.split:                                      ; preds = %entry
  39   br label %for.body
  40
  41 for.body:                                         ; preds = %entry.split, %for.inc9
  42   %i.02 = phi i32 [ 0, %entry.split ], [ %inc10, %for.inc9 ]
  43   br label %for.body4
  44
  45 for.body4:                                        ; preds = %for.body, %for.body4
  46   %indvars.iv = phi i64 [ 0, %for.body ], [ %indvars.iv.next, %for.body4 ]
  47   %0 = trunc i64 %indvars.iv to i32
  48   %conv = sitofp i32 %0 to double
  49   %arrayidx = getelementptr inbounds double, ptr %B, i64 %indvars.iv
  50   store double %conv, ptr %arrayidx, align 8
  51   %arrayidx6 = getelementptr inbounds double, ptr %B, i64 %indvars.iv
  52   %1 = load i64, ptr %arrayidx6, align 8
  53   %arrayidx8 = getelementptr inbounds double, ptr %C, i64 %indvars.iv
  54   store i64 %1, ptr %arrayidx8, align 8
  55   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  56   %exitcond = icmp ne i64 %indvars.iv.next, 10000
  57   br i1 %exitcond, label %for.body4, label %for.inc9
  58
  59 for.inc9:                                         ; preds = %for.body4
  60   %inc10 = add nuw nsw i32 %i.02, 1
  61   %exitcond3 = icmp ne i32 %inc10, 10000
  62   br i1 %exitcond3, label %for.body, label %for.end11
  63
  64 for.end11:                                        ; preds = %for.inc9
  65   ret void
  66 }