polly/test/Support/pipelineposition.ll

   1 ; RUN: opt %loadNPMPolly -O3 -polly -polly-position=early                    -disable-output -debug-only=polly-scops < %s 2>&1 | FileCheck %s --check-prefix=NOINLINE
   2 ; RUN: opt %loadNPMPolly -O3 -polly -polly-position=early -polly-run-inliner -disable-output -debug-only=polly-scops < %s 2>&1 | FileCheck %s --check-prefix=INLINED1
   3 ; RUN: opt %loadNPMPolly -O3 -polly -polly-position=before-vectorizer        -disable-output -debug-only=polly-scops < %s 2>&1 | FileCheck %s --check-prefix=INLINED3
   4 ;
   5 ; REQUIRES: asserts
   6 ;
   7 ; void callee(int n, double A[], int i) {
   8 ;   for (int j = 0; j < n; j += 1)
   9 ;     A[i+j] = 42.0;
  10 ; }
  11 ;
  12 ; void caller(int n, double A[]) {
  13 ;   for (int i = 0; i < n; i += 1)
  14 ;     callee(n, A, i);
  15 ; }
  16
  17
  18 define internal void @callee(i32 %n, ptr noalias nonnull %A, i32 %i) {
  19 entry:
  20   br label %for
  21
  22 for:
  23   %j = phi i32 [0, %entry], [%j.inc, %inc]
  24   %j.cmp = icmp slt i32 %j, %n
  25   br i1 %j.cmp, label %body, label %exit
  26
  27     body:
  28       %idx = add i32 %i, %j
  29       %arrayidx = getelementptr inbounds double, ptr %A, i32 %idx
  30       store double 42.0, ptr %arrayidx
  31       br label %inc
  32
  33 inc:
  34   %j.inc = add nuw nsw i32 %j, 1
  35   br label %for
  36
  37 exit:
  38   br label %return
  39
  40 return:
  41   ret void
  42 }
  43
  44
  45 define void @caller(i32 %n, ptr noalias nonnull %A) {
  46 entry:
  47   br label %for
  48
  49 for:
  50   %i = phi i32 [0, %entry], [%j.inc, %inc]
  51   %i.cmp = icmp slt i32 %i, %n
  52   br i1 %i.cmp, label %body, label %exit
  53
  54     body:
  55       call void @callee(i32 %n, ptr %A, i32 %i)
  56       br label %inc
  57
  58 inc:
  59   %j.inc = add nuw nsw i32 %i, 1
  60   br label %for
  61
  62 exit:
  63   br label %return
  64
  65 return:
  66   ret void
  67 }
  68
  69
  70 ; NOINLINE-LABEL: Function: callee
  71 ; NOINLINE:       Schedule :=
  72 ; NOINLINE-NEXT:    [n, i] -> { Stmt_body[i0] -> [i0] };
  73
  74 ; INLINED1-LABEL: Function: caller
  75 ; INLINED1:       Schedule :=
  76 ; INLINED1-NEXT:    [n] -> { Stmt_body_i[i0, i1] -> [i0, i1] };
  77
  78 ; INLINED2-LABEL: Function: caller
  79 ; INLINED2:       Schedule :=
  80 ; INLINED2-NEXT:    [n] -> { Stmt_polly_loop_header_i_us_us[i0, i1] -> [i0, 1, i1] };
  81
  82 ; INLINED3-LABEL: Function: caller
  83 ; INLINED3:       Schedule :=
  84 ; INLINED3-NEXT:    [n] -> { Stmt_body_i_us[i0, i1] -> [i0, i1] };