test/ScopInfo/phi_scalar_simple_1.ll

   1 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -polly-model-phi-nodes -disable-polly-intra-scop-scalar-to-array -analyze < %s | FileCheck %s
   2 ;
   3 ;    int jd(int *restrict A, int x, int N) {
   4 ;      for (int i = 1; i < N; i++)
   5 ;        for (int j = 3; j < N; j++)
   6 ;          x += A[i];
   7 ;      return x;
   8 ;    }
   9 ;
  10 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  11
  12 define i32 @jd(i32* noalias %A, i32 %x, i32 %N) {
  13 entry:
  14   %tmp = sext i32 %N to i64
  15   br label %for.cond
  16
  17 for.cond:                                         ; preds = %for.inc4, %entry
  18 ; CHECK: Stmt_for_cond
  19 ; CHECK:       ReadAccess := [Reduction Type: NONE] [Scalar: 1]
  20 ; CHECK:           [N] -> { Stmt_for_cond[i0] -> MemRef_x_addr_0[] };
  21 ; CHECK:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  22 ; CHECK:           [N] -> { Stmt_for_cond[i0] -> MemRef_x_addr_0[] };
  23   %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc4 ], [ 1, %entry ]
  24   %x.addr.0 = phi i32 [ %x, %entry ], [ %x.addr.1.lcssa, %for.inc4 ]
  25   %cmp = icmp slt i64 %indvars.iv, %tmp
  26   br i1 %cmp, label %for.body, label %for.end6
  27
  28 for.body:                                         ; preds = %for.cond
  29 ; CHECK: Stmt_for_body
  30 ; CHECK:       ReadAccess :=  [Reduction Type: NONE] [Scalar: 1]
  31 ; CHECK:           [N] -> { Stmt_for_body[i0] -> MemRef_x_addr_0[] };
  32 ; CHECK:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  33 ; CHECK:           [N] -> { Stmt_for_body[i0] -> MemRef_x_addr_1[] };
  34   br label %for.cond1
  35
  36 for.cond1:                                        ; preds = %for.inc, %for.body
  37 ; CHECK: Stmt_for_cond1
  38 ; CHECK:       ReadAccess := [Reduction Type: NONE] [Scalar: 1]
  39 ; CHECK:           [N] -> { Stmt_for_cond1[i0, i1] -> MemRef_x_addr_1[] };
  40 ; CHECK:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  41 ; CHECK:           [N] -> { Stmt_for_cond1[i0, i1] -> MemRef_x_addr_1[] };
  42 ; CHECK:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  43 ; CHECK:           [N] -> { Stmt_for_cond1[i0, i1] -> MemRef_x_addr_1_lcssa[] };
  44   %x.addr.1 = phi i32 [ %x.addr.0, %for.body ], [ %add, %for.inc ]
  45   %j.0 = phi i32 [ 3, %for.body ], [ %inc, %for.inc ]
  46   %exitcond = icmp ne i32 %j.0, %N
  47   br i1 %exitcond, label %for.body3, label %for.end
  48
  49 for.body3:                                        ; preds = %for.cond1
  50   br label %for.inc
  51
  52 for.inc:                                          ; preds = %for.body3
  53 ; CHECK: Stmt_for_inc
  54 ; CHECK:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  55 ; CHECK:           [N] -> { Stmt_for_inc[i0, i1] -> MemRef_x_addr_1[] };
  56 ; CHECK:       ReadAccess := [Reduction Type: NONE] [Scalar: 1]
  57 ; CHECK:           [N] -> { Stmt_for_inc[i0, i1] -> MemRef_x_addr_1[] };
  58 ; CHECK:       ReadAccess := [Reduction Type: NONE] [Scalar: 0]
  59 ; CHECK:           [N] -> { Stmt_for_inc[i0, i1] -> MemRef_A[1 + i0] };
  60   %arrayidx = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
  61   %tmp1 = load i32* %arrayidx, align 4
  62   %add = add nsw i32 %x.addr.1, %tmp1
  63   %inc = add nsw i32 %j.0, 1
  64   br label %for.cond1
  65
  66 for.end:                                          ; preds = %for.cond1
  67 ; CHECK: Stmt_for_end
  68 ; CHECK:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  69 ; CHECK:           [N] -> { Stmt_for_end[i0] -> MemRef_x_addr_1_lcssa[] };
  70 ; CHECK:       ReadAccess := [Reduction Type: NONE] [Scalar: 1]
  71 ; CHECK:           [N] -> { Stmt_for_end[i0] -> MemRef_x_addr_1_lcssa[] };
  72   %x.addr.1.lcssa = phi i32 [ %x.addr.1, %for.cond1 ]
  73   br label %for.inc4
  74
  75 for.inc4:                                         ; preds = %for.end
  76 ; CHECK: Stmt_for_inc4
  77 ; CHECK:       ReadAccess := [Reduction Type: NONE] [Scalar: 1]
  78 ; CHECK:           [N] -> { Stmt_for_inc4[i0] -> MemRef_x_addr_1_lcssa[] };
  79 ; CHECK:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  80 ; CHECK:           [N] -> { Stmt_for_inc4[i0] -> MemRef_x_addr_0[] };
  81   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  82   br label %for.cond
  83
  84 for.end6:                                         ; preds = %for.cond
  85   ret i32 %x.addr.0
  86 }