polly/test/CodeGen/whole-scop-non-affine-subregion.ll

   1 ; RUN: opt %loadPolly \
   2 ; RUN: -polly-codegen -S < %s | FileCheck %s
   3
   4 ; CHECK: polly.start
   5 ;    int /* pure */ g()
   6 ;    void f(int *A) {
   7 ;      if (g())
   8 ;        *A = *A + 1;
   9 ;      else
  10 ;        *A = *A - 1;
  11 ;    }
  12 ;
  13 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  14
  15 define void @f(ptr %A) {
  16 entry:
  17   br label %entry.split
  18
  19 entry.split:
  20   %call = call i32 @g()
  21   %cmp = icmp eq i32 %call, 0
  22   br i1 %cmp, label %if.then, label %if.else
  23
  24 if.then:                                          ; preds = %entry
  25   %tmp1 = load i32, ptr %A, align 4
  26   %add = add nsw i32 %tmp1, 1
  27   store i32 %add, ptr %A, align 4
  28   br label %if.end
  29
  30 if.else:                                          ; preds = %entry
  31   %tmp2 = load i32, ptr %A, align 4
  32   %sub = add nsw i32 %tmp2, -1
  33   store i32 %sub, ptr %A, align 4
  34   br label %if.end
  35
  36 if.end:                                           ; preds = %if.else, %if.then
  37   ret void
  38 }
  39
  40 declare i32 @g() #0
  41
  42 attributes #0 = { nounwind readnone }