polly/test/ScopInfo/isl_trip_count_01.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
   2 ;
   3 ; CHECK: [M, N] -> { Stmt_while_body[i0] : i0 > 0 and 4i0 <= -M + N; Stmt_while_body[0] };
   4 ;
   5 ;   void f(int *A, int N, int M) {
   6 ;     int i = 0;
   7 ;     while (M <= N) {
   8 ;       A[i++] = 1;
   9 ;       M += 4;
  10 ;     }
  11 ;   }
  12 ;
  13 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
  14
  15 define void @f(ptr nocapture %A, i32 %N, i32 %M) {
  16 entry:
  17   %cmp3 = icmp sgt i32 %M, %N
  18   br i1 %cmp3, label %while.end, label %while.body.preheader
  19
  20 while.body.preheader:
  21   br label %while.body
  22
  23 while.body:
  24   %i.05 = phi i32 [ %inc, %while.body ], [ 0, %while.body.preheader ]
  25   %M.addr.04 = phi i32 [ %add, %while.body ], [ %M, %while.body.preheader ]
  26   %inc = add nuw nsw i32 %i.05, 1
  27   %arrayidx = getelementptr inbounds i32, ptr %A, i32 %i.05
  28   store i32 1, ptr %arrayidx, align 4
  29   %add = add nsw i32 %M.addr.04, 4
  30   %cmp = icmp sgt i32 %add, %N
  31   br i1 %cmp, label %while.end.loopexit, label %while.body
  32
  33 while.end.loopexit:
  34   br label %while.end
  35
  36 while.end:
  37   ret void
  38 }