polly/test/PruneUnprofitable/prune_only_scalardeps.ll

   1 ; RUN: opt %loadPolly -polly-stmt-granularity=bb -polly-process-unprofitable=false -polly-unprofitable-scalar-accs=false -polly-prune-unprofitable -disable-output -stats < %s 2>&1 | FileCheck -match-full-lines %s
   2 ; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb -polly-process-unprofitable=false -polly-unprofitable-scalar-accs=false "-passes=scop(polly-prune-unprofitable)" -disable-output -stats < %s 2>&1 | FileCheck -match-full-lines %s
   3 ; REQUIRES: asserts
   4 ;
   5 ; Skip this SCoP for having scalar dependencies between all statements,
   6 ; but only after ScopInfo (because optimization passes using ScopInfo such
   7 ; as DeLICM might remove these scalar dependencies).
   8 ;
   9 ; double x = 0;
  10 ; for (int i = 0; i < n; i += 1)
  11 ;   for (int j = 0; j < m; j += 1) {
  12 ;      B[0] = x;
  13 ;      x = A[0];
  14 ;   }
  15 ; return x;
  16 ;
  17 define double @func(i32 %n, i32 %m, ptr noalias nonnull %A, ptr noalias nonnull %B) {
  18 entry:
  19   br label %outer.for
  20
  21 outer.for:
  22   %outer.phi = phi double [0.0, %entry], [%inner.phi, %outer.inc]
  23   %i = phi i32 [0, %entry], [%i.inc, %outer.inc]
  24   %i.cmp = icmp slt i32 %i, %n
  25   br i1 %i.cmp, label %inner.for, label %outer.exit
  26
  27     inner.for:
  28       %inner.phi = phi double [%outer.phi, %outer.for], [%load, %inner.inc]
  29       %j = phi i32 [0, %outer.for], [%j.inc, %inner.inc]
  30       %j.cmp = icmp slt i32 %j, %m
  31       br i1 %j.cmp, label %body, label %inner.exit
  32
  33         body:
  34           store double %inner.phi, ptr %B
  35           %load = load double, ptr %A
  36           br label %inner.inc
  37
  38     inner.inc:
  39       %j.inc = add nuw nsw i32 %j, 1
  40       br label %inner.for
  41
  42     inner.exit:
  43       br label %outer.inc
  44
  45 outer.inc:
  46   %i.inc = add nuw nsw i32 %i, 1
  47   br label %outer.for
  48
  49 outer.exit:
  50   br label %return
  51
  52 return:
  53   ret double %outer.phi
  54 }
  55
  56
  57 ; CHECK: 1 polly-prune-unprofitable - Number of pruned SCoPs because it they cannot be optimized in a significant way