polly/test/CodeGen/invariant_load_escaping_second_scop.ll

   1 ; RUN: opt %loadNPMPolly -passes=polly-codegen -polly-invariant-load-hoisting=true  -polly-process-unprofitable -S < %s | FileCheck %s
   2 ;
   3 ;    void fence(void);
   4 ;
   5 ;    void f(int *A, int *B) {
   6 ;      int i = 0;
   7 ;      int x = 0;
   8 ;
   9 ;      do {
  10 ;        x = *B;
  11 ; S:     A[i] += x;
  12 ;      } while (i++ < 100);
  13 ;
  14 ;      fence();
  15 ;
  16 ;      do {
  17 ; P:     A[i]++;
  18 ;      } while (i++ < x / 2);
  19 ;    }
  20 ;
  21 ; CHECK: polly.stmt.stmt.P:
  22 ; CHECK:   sext i32 %tmp.merge to i64
  23 ;
  24 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  25
  26 define void @f(ptr %A, ptr %B) {
  27 entry:
  28   br label %stmt.S
  29
  30 stmt.S:                                          ; preds = %do.cond, %entry
  31   %indvars.iv2 = phi i64 [ %indvars.iv.next3, %do.cond ], [ 0, %entry ]
  32   %tmp = load i32, ptr %B, align 4
  33   %arrayidx = getelementptr inbounds i32, ptr %A, i64 %indvars.iv2
  34   %tmp4 = load i32, ptr %arrayidx, align 4
  35   %add = add nsw i32 %tmp4, %tmp
  36   store i32 %add, ptr %arrayidx, align 4
  37   br label %do.cond
  38
  39 do.cond:                                          ; preds = %do.body
  40   %indvars.iv.next3 = add nuw nsw i64 %indvars.iv2, 1
  41   %exitcond = icmp ne i64 %indvars.iv.next3, 101
  42   br i1 %exitcond, label %stmt.S, label %do.end
  43
  44 do.end:                                           ; preds = %do.cond
  45   %tmp5 = trunc i64 101 to i32
  46   call void @fence() #2
  47   %tmp6 = sext i32 %tmp5 to i64
  48   br label %stmt.P
  49
  50 stmt.P:                                        ; preds = %do.cond.5, %do.end
  51   %indvars.iv = phi i64 [ %indvars.iv.next, %do.cond.5 ], [ %tmp6, %do.end ]
  52   %arrayidx3 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv
  53   %tmp7 = load i32, ptr %arrayidx3, align 4
  54   %inc4 = add nsw i32 %tmp7, 1
  55   store i32 %inc4, ptr %arrayidx3, align 4
  56   br label %do.cond.5
  57
  58 do.cond.5:                                        ; preds = %do.body.1
  59   %div = sdiv i32 %tmp, 2
  60   %tmp8 = sext i32 %div to i64
  61   %cmp7 = icmp slt i64 %indvars.iv, %tmp8
  62   %indvars.iv.next = add i64 %indvars.iv, 1
  63   br i1 %cmp7, label %stmt.P, label %do.end.8
  64
  65 do.end.8:                                         ; preds = %do.cond.5
  66   ret void
  67 }
  68
  69 declare void @fence()