polly/test/ScopInfo/simple_loop_unsigned_3.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
   2
   3 ; CHECK:      Assumed Context:
   4 ; CHECK-NEXT: [N] -> { : }
   5 ;
   6 ; CHECK:              Domain :=
   7 ; CHECK-NEXT:             [N] -> { Stmt_bb[0] };
   8
   9 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"
  10
  11 define void @f(ptr nocapture %a, i64 %N) nounwind {
  12 entry:
  13   br label %bb
  14
  15 bb:                                               ; preds = %bb, %entry
  16   %i = phi i64 [ 1000, %entry ], [ %i.dec, %bb ]
  17   %scevgep = getelementptr inbounds i64, ptr %a, i64 %i
  18   store i64 %i, ptr %scevgep
  19   %i.dec = add nsw i64 %i, -1
  20   %sub = sub nsw i64 %N, %i
  21   %exitcond = icmp ult i64 %sub, 0
  22   br i1 %exitcond, label %bb, label %return
  23
  24 return:                                           ; preds = %bb, %entry
  25   ret void
  26 }