polly/test/ForwardOpTree/noforward_selfrefphi.ll

   1 ; RUN: opt %loadPolly -polly-optree-normalize-phi=true -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines
   2 ;
   3 ; Contains a self-referencing PHINode that would require a
   4 ; transitive closure to handle.
   5 ;
   6 ; for (int j = 0; j < n; j += 1) {
   7 ;   double phi = 0.0;
   8 ;   for (int i = 0; i < m; i += 1)
   9 ;     phi = phi;
  10 ;   A[j] = phi;
  11 ; }
  12 ;
  13 define void @func(i32 %n, i32 %m, ptr noalias nonnull %A) {
  14 entry:
  15   br label %for
  16
  17 for:
  18   %j = phi i32 [0, %entry], [%j.inc, %inc]
  19   %j.cmp = icmp slt i32 %j, %n
  20   br i1 %j.cmp, label %for.preheader, label %exit
  21
  22   for.preheader:
  23     br label %for.inner
  24
  25   for.inner:
  26     %i = phi i32 [0, %for.preheader], [%i.inc, %for.inner]
  27     %phi = phi double [0.0, %for.preheader], [%phi, %for.inner]
  28     %i.inc = add nuw nsw i32 %i, 1
  29     %i.cmp = icmp slt i32 %i.inc, %m
  30     br i1 %i.cmp, label %for.inner, label %for.exit
  31
  32   for.exit:
  33     %A_idx = getelementptr inbounds double, ptr %A, i32 %j
  34     store double %phi, ptr %A_idx
  35     br label %inc
  36
  37 inc:
  38   %j.inc = add nuw nsw i32 %j, 1
  39   br label %for
  40
  41 exit:
  42   br label %return
  43
  44 return:
  45   ret void
  46 }
  47
  48
  49 ; CHECK: ForwardOpTree executed, but did not modify anything