polly/test/CodeGen/two-scops-in-row-invalidate-scevs.ll

   1 ; RUN: opt %loadNPMPolly -passes=polly-codegen -S < %s | FileCheck %s
   2 ;
   3 ; CHECK-LABEL: for.cond:
   4 ; CHECK:         %num.0 = phi i32 [ %add, %for.body15 ], [ 0, %for.cond.pre_entry_bb ]
   5 ; CHECK:         br i1 false, label %for.body15, label %for.end22
   6
   7 ; CHECK-LABEL: polly.merge_new_and_old:
   8 ; CHECK:         %num.0.merge = phi i32 [ %num.0.final_reload, %polly.exiting ], [ %num.0, %for.end22 ]
   9 ; CHECK:         br label %for.end44
  10
  11 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  12
  13 define void @func(ptr %p) {
  14 entry:
  15   %counters = alloca [64 x i32], align 16
  16   %lenCounters = alloca [17 x i32], align 16
  17   br label %for.cond
  18
  19 for.cond:                                       ; preds = %for.body15, %for.cond
  20   %num.0 = phi i32 [ 0, %entry ], [ %add, %for.body15 ]
  21   br i1 false, label %for.body15, label %for.end22
  22
  23 for.body15:                                       ; preds = %for.cond
  24   %0 = load i32, ptr %counters, align 4
  25   %add = add i32 %num.0, %0
  26   br label %for.cond
  27
  28 for.end22:                                        ; preds = %for.cond
  29   br label %for.end44
  30
  31 for.end44:                                        ; preds = %for.end22
  32   br i1 undef, label %if.then50, label %if.end67
  33
  34 if.then50:                                        ; preds = %for.end44
  35   br label %cleanup
  36
  37 if.end67:                                         ; preds = %for.end44
  38   br label %do.body
  39
  40 do.body:                                          ; preds = %cond.end109, %if.end67
  41   %e.0 = phi i32 [ 0, %if.end67 ], [ %inc128, %cond.end109 ]
  42   br label %cond.end109
  43
  44 cond.end109:                                      ; preds = %do.body
  45   %idxprom122 = zext i32 %e.0 to i64
  46   %arrayidx123 = getelementptr inbounds i32, ptr %p, i64 %idxprom122
  47   %inc128 = add i32 %e.0, 1
  48   %sub129 = sub i32 %num.0, %inc128
  49   %cmp130 = icmp ugt i32 %sub129, 1
  50   br i1 %cmp130, label %do.body, label %do.end
  51
  52 do.end:                                           ; preds = %cond.end109
  53   %1 = load i32, ptr %arrayidx123, align 4
  54   %arrayidx142 = getelementptr inbounds [17 x i32], ptr %lenCounters, i64 0, i64 1
  55   store i32 2, ptr %arrayidx142, align 4
  56   br label %for.cond201
  57
  58 for.cond201:                                      ; preds = %for.body204, %do.end
  59   br i1 undef, label %for.body204, label %for.end214
  60
  61 for.body204:                                      ; preds = %for.cond201
  62   br label %for.cond201
  63
  64 for.end214:                                       ; preds = %for.cond201
  65   br label %cleanup
  66
  67 cleanup:                                          ; preds = %for.end214, %if.then50
  68   ret void
  69 }