polly/test/ScopInfo/simple_loop_unsigned.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
   2
   3 ; void f(int a[], unsigned N) {
   4 ;   unsigned i;
   5 ;   do {
   6 ;     a[i] = i;
   7 ;   } while (++i <= N);
   8 ; }
   9
  10 ; CHECK:      Assumed Context:
  11 ; CHECK-NEXT: [N] -> {  :  }
  12 ; CHECK-NEXT: Invalid Context:
  13 ; CHECK-NEXT: [N] -> {  : false }
  14 ;
  15 ; CHECK:              Domain :=
  16 ; CHECK-NEXT:             [N] -> { Stmt_bb[i0] : 0 <= i0 < N; Stmt_bb[0] : N = 0 };
  17
  18 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
  19
  20 define void @f(ptr nocapture %a, i64 %N) nounwind {
  21 entry:
  22   br label %bb
  23
  24 bb:                                               ; preds = %bb, %entry
  25   %i = phi i64 [ 0, %entry ], [ %i.inc, %bb ]
  26   %scevgep = getelementptr inbounds i64, ptr %a, i64 %i
  27   store i64 %i, ptr %scevgep
  28   %i.inc = add nsw i64 %i, 1
  29   %exitcond = icmp uge i64 %i.inc, %N
  30   br i1 %exitcond, label %return, label %bb
  31
  32 return:                                           ; preds = %bb, %entry
  33   ret void
  34 }