polly/test/Support/dumpfunction.ll

   1 ; New pass manager
   2 ; RUN: opt %loadNPMPolly -O3 -polly -polly-position=before-vectorizer -polly-dump-before --disable-output %s
   3 ; RUN: FileCheck --input-file=dumpfunction-callee-before.ll --check-prefix=CHECK --check-prefix=CALLEE %s
   4 ; RUN: FileCheck --input-file=dumpfunction-caller-before.ll --check-prefix=CHECK --check-prefix=CALLER %s
   5 ;
   6 ; RUN: opt %loadNPMPolly -O3 -polly -polly-position=before-vectorizer -polly-dump-after --disable-output %s
   7 ; RUN: FileCheck --input-file=dumpfunction-callee-after.ll --check-prefix=CHECK --check-prefix=CALLEE %s
   8 ; RUN: FileCheck --input-file=dumpfunction-caller-after.ll --check-prefix=CHECK --check-prefix=CALLER %s
   9
  10 ; void callee(int n, double A[], int i) {
  11 ;   for (int j = 0; j < n; j += 1)
  12 ;     A[i+j] = 42.0;
  13 ; }
  14 ;
  15 ; void caller(int n, double A[]) {
  16 ;   for (int i = 0; i < n; i += 1)
  17 ;     callee(n, A, i);
  18 ; }
  19
  20
  21 %unrelated_type = type { i32 }
  22
  23 define internal void @callee(i32 %n, ptr noalias nonnull %A, i32 %i) #0 {
  24 entry:
  25   br label %for
  26
  27 for:
  28   %j = phi i32 [0, %entry], [%j.inc, %inc]
  29   %j.cmp = icmp slt i32 %j, %n
  30   br i1 %j.cmp, label %body, label %exit
  31
  32     body:
  33       %idx = add i32 %i, %j
  34       %arrayidx = getelementptr inbounds double, ptr %A, i32 %idx
  35       store double 42.0, ptr %arrayidx
  36       br label %inc
  37
  38 inc:
  39   %j.inc = add nuw nsw i32 %j, 1
  40   br label %for
  41
  42 exit:
  43   br label %return
  44
  45 return:
  46   ret void
  47 }
  48
  49
  50 define void @caller(i32 %n, ptr noalias nonnull %A) #0 {
  51 entry:
  52   br label %for
  53
  54 for:
  55   %i = phi i32 [0, %entry], [%j.inc, %inc]
  56   %i.cmp = icmp slt i32 %i, %n
  57   br i1 %i.cmp, label %body, label %exit
  58
  59     body:
  60       call void @callee(i32 %n, ptr %A, i32 %i)
  61       br label %inc
  62
  63 inc:
  64   %j.inc = add nuw nsw i32 %i, 1
  65   br label %for
  66
  67 exit:
  68   br label %return
  69
  70 return:
  71   ret void
  72 }
  73
  74
  75 declare void @unrelated_decl()
  76
  77
  78 attributes #0 = { noinline }
  79
  80 !llvm.ident = !{!8}
  81 !8 = !{!"xyxxy"}
  82
  83
  84 ; CHECK-NOT: unrelated_type
  85
  86 ; CALLEE-LABEL: @callee(
  87 ; CALLEE-NOT: @caller
  88 ; CALLEE-NOT: @unrelated_decl
  89
  90 ; CALLER-NOT: define {{.*}} @callee(
  91 ; CALLER-LABEL: @caller(
  92
  93 ; CHECK-NOT: @unrelated_decl
  94 ; CHECK: xyxxy