polly/test/Simplify/pass_existence.ll

   1 ; RUN: opt %loadPolly -polly-simplify -analyze < %s | FileCheck %s
   2 ;
   3 ; Simple test for the existence of the Simplify pass.
   4 ;
   5 ; for (int j = 0; j < n; j += 1)
   6 ;   A[0] = 0.0;
   7 ;
   8 define void @func(i32 %n, double* noalias nonnull %A) {
   9 entry:
  10   br label %for
  11
  12 for:
  13   %j = phi i32 [0, %entry], [%j.inc, %inc]
  14   %j.cmp = icmp slt i32 %j, %n
  15   br i1 %j.cmp, label %body, label %exit
  16
  17     body:
  18       store double 0.0, double* %A
  19       br label %inc
  20
  21 inc:
  22   %j.inc = add nuw nsw i32 %j, 1
  23   br label %for
  24
  25 exit:
  26   br label %return
  27
  28 return:
  29   ret void
  30 }
  31
  32
  33 ; CHECK: SCoP could not be simplified