polly/test/ScopInfo/user_context.ll

   1 ; RUN: opt %loadNPMPolly                                      '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s
   2 ; RUN: opt %loadNPMPolly -polly-context='[N] -> {: N = 1024}' '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=CTX
   3 ; RUN: opt %loadNPMPolly -polly-context='[N,M] -> {: 1 = 0}'  '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s
   4 ; RUN: opt %loadNPMPolly -polly-context='[] -> {: 1 = 0}'     '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s
   5
   6 ; void f(int a[], int N) {
   7 ;   int i;
   8 ;   for (i = 0; i < N; ++i)
   9 ;     a[i] = i;
  10 ; }
  11
  12 ; CHECK:      Context:
  13 ; CHECK-NEXT: [N] -> {  : -9223372036854775808 <= N <= 9223372036854775807 }
  14
  15 ; CTX:      Context:
  16 ; CTX-NEXT: [N] -> {  : N = 1024 }
  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 i64, ptr %a, i64 %i
  27   store i64 %i, ptr %scevgep
  28   %i.inc = add nsw i64 %i, 1
  29   %exitcond = icmp eq i64 %i.inc, %N
  30   br i1 %exitcond, label %return, label %bb
  31
  32 return:                                           ; preds = %bb, %entry
  33   ret void
  34 }
  35