polly/test/Simplify/notredundant_region_loop.ll

   1 ; RUN: opt %loadPolly -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-allow-nonaffine-loops -polly-simplify -analyze < %s | FileCheck %s -match-full-lines
   2 ;
   3 ; Do not remove the store in region_entry. It can be executed multiple times
   4 ; due to being part of a non-affine loop.
   5 ;
   6 define void @notredundant_region_loop(i32 %n, double* noalias nonnull %A) {
   7 entry:
   8   br label %for
   9
  10 for:
  11   %j = phi i32 [0, %entry], [%j.inc, %inc]
  12   %j.cmp = icmp slt i32 %j, %n
  13   br i1 %j.cmp, label %body, label %exit
  14
  15
  16     body:
  17       %val = fadd double 21.0, 21.0
  18       br label %region_entry
  19
  20     region_entry:
  21       store double %val, double* %A
  22       %sqr = mul i32 %j, %j
  23       %cmp = icmp eq i32 %sqr, 42
  24       br i1 %cmp, label %region_true, label %region_exit
  25
  26     region_true:
  27       store double 0.0, double* %A
  28       br label %region_entry
  29
  30     region_exit:
  31       br label %inc
  32
  33
  34 inc:
  35   %j.inc = add nuw nsw i32 %j, 1
  36   br label %for
  37
  38 exit:
  39   br label %return
  40
  41 return:
  42   ret void
  43 }
  44
  45
  46 ; CHECK: SCoP could not be simplified