test/ScopInfo/aliasing_many_parameters_not_all_involved.ll

   1 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -polly-code-generator=isl -polly-rtc-max-parameters=8 -analyze < %s | FileCheck %s --check-prefix=MAX8
   2 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -polly-code-generator=isl -polly-rtc-max-parameters=7 -analyze < %s | FileCheck %s --check-prefix=MAX7
   3 ;
   4 ; Check that we allow this SCoP even though it has 10 parameters involved in posisbly aliasing accesses.
   5 ; However, only 7 are involved in accesses through B, 8 through C and none in accesses through A.
   6 ;
   7 ; MAX8:       Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'for.cond => for.end' in function 'jd':
   8 ; MAX8-NEXT:  Function: jd
   9
  10 ; MAX7:       Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'for.cond => for.end' in function 'jd':
  11 ; MAX7-NEXT:  Invalid Scop!
  12 ;
  13 ;    void jd(int *A, int *B, int *C, long p1, long p2, long p3, long p4, long p5,
  14 ;            long p6, long p7, long p8, long p9, long p10) {
  15 ;      for (int i = 0; i < 1024; i++)
  16 ;        A[i] = B[p1] - B[p2] + B[-p3] - B[p4] + B[p5] - B[-p6] + B[p7] - C[p3] +
  17 ;               C[-p4] - C[p5] + C[p6] - C[-p7] + C[p8] - C[p9] + C[-p10];
  18 ;    }
  19 ;
  20 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  21
  22 define void @jd(i32* %A, i32* %B, i32* %C, i64 %p1, i64 %p2, i64 %p3, i64 %p4, i64 %p5, i64 %p6, i64 %p7, i64 %p8, i64 %p9, i64 %p10) {
  23 entry:
  24   br label %for.cond
  25
  26 for.cond:                                         ; preds = %for.inc, %entry
  27   %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
  28   %exitcond = icmp ne i64 %indvars.iv, 1024
  29   br i1 %exitcond, label %for.body, label %for.end
  30
  31 for.body:                                         ; preds = %for.cond
  32   %arrayidx = getelementptr inbounds i32, i32* %B, i64 %p1
  33   %tmp = load i32* %arrayidx, align 4
  34   %arrayidx1 = getelementptr inbounds i32, i32* %B, i64 %p2
  35   %tmp1 = load i32* %arrayidx1, align 4
  36   %sub = sub nsw i32 %tmp, %tmp1
  37   %sub2 = sub nsw i64 0, %p3
  38   %arrayidx3 = getelementptr inbounds i32, i32* %B, i64 %sub2
  39   %tmp2 = load i32* %arrayidx3, align 4
  40   %add = add nsw i32 %sub, %tmp2
  41   %arrayidx4 = getelementptr inbounds i32, i32* %B, i64 %p4
  42   %tmp3 = load i32* %arrayidx4, align 4
  43   %sub5 = sub nsw i32 %add, %tmp3
  44   %arrayidx6 = getelementptr inbounds i32, i32* %B, i64 %p5
  45   %tmp4 = load i32* %arrayidx6, align 4
  46   %add7 = add nsw i32 %sub5, %tmp4
  47   %sub8 = sub nsw i64 0, %p6
  48   %arrayidx9 = getelementptr inbounds i32, i32* %B, i64 %sub8
  49   %tmp5 = load i32* %arrayidx9, align 4
  50   %sub10 = sub nsw i32 %add7, %tmp5
  51   %arrayidx11 = getelementptr inbounds i32, i32* %B, i64 %p7
  52   %tmp6 = load i32* %arrayidx11, align 4
  53   %add12 = add nsw i32 %sub10, %tmp6
  54   %arrayidx13 = getelementptr inbounds i32, i32* %C, i64 %p3
  55   %tmp7 = load i32* %arrayidx13, align 4
  56   %sub14 = sub nsw i32 %add12, %tmp7
  57   %sub15 = sub nsw i64 0, %p4
  58   %arrayidx16 = getelementptr inbounds i32, i32* %C, i64 %sub15
  59   %tmp8 = load i32* %arrayidx16, align 4
  60   %add17 = add nsw i32 %sub14, %tmp8
  61   %arrayidx18 = getelementptr inbounds i32, i32* %C, i64 %p5
  62   %tmp9 = load i32* %arrayidx18, align 4
  63   %sub19 = sub nsw i32 %add17, %tmp9
  64   %arrayidx20 = getelementptr inbounds i32, i32* %C, i64 %p6
  65   %tmp10 = load i32* %arrayidx20, align 4
  66   %add21 = add nsw i32 %sub19, %tmp10
  67   %sub22 = sub nsw i64 0, %p7
  68   %arrayidx23 = getelementptr inbounds i32, i32* %C, i64 %sub22
  69   %tmp11 = load i32* %arrayidx23, align 4
  70   %sub24 = sub nsw i32 %add21, %tmp11
  71   %arrayidx25 = getelementptr inbounds i32, i32* %C, i64 %p8
  72   %tmp12 = load i32* %arrayidx25, align 4
  73   %add26 = add nsw i32 %sub24, %tmp12
  74   %arrayidx27 = getelementptr inbounds i32, i32* %C, i64 %p9
  75   %tmp13 = load i32* %arrayidx27, align 4
  76   %sub28 = sub nsw i32 %add26, %tmp13
  77   %sub29 = sub nsw i64 0, %p10
  78   %arrayidx30 = getelementptr inbounds i32, i32* %C, i64 %sub29
  79   %tmp14 = load i32* %arrayidx30, align 4
  80   %add31 = add nsw i32 %sub28, %tmp14
  81   %arrayidx32 = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
  82   store i32 %add31, i32* %arrayidx32, align 4
  83   br label %for.inc
  84
  85 for.inc:                                          ; preds = %for.body
  86   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  87   br label %for.cond
  88
  89 for.end:                                          ; preds = %for.cond
  90   ret void
  91 }