test/Isl/Ast/domain_bounded_only_with_context.ll

   1 ; RUN: opt %loadPolly -polly-ast -analyze < %s | FileCheck %s
   2
   3 ; CHECK:      {
   4 ; CHECK-NEXT:    if (p <= -1 || p >= 1)
   5 ; CHECK-NEXT:      Stmt_preheader();
   6 ; CHECK-NEXT:    for (int c0 = 0; c0 < 2 * p; c0 += 1)
   7 ; CHECK-NEXT:      Stmt_loop(c0);
   8 ; CHECK-NEXT:    if (p <= -1) {
   9 ; CHECK-NEXT:      for (int c0 = 0; c0 <= 2 * p + 255; c0 += 1)
  10 ; CHECK-NEXT:        Stmt_loop(c0);
  11 ; CHECK-NEXT:    } else if (p == 0) {
  12 ; CHECK-NEXT:      Stmt_side();
  13 ; CHECK-NEXT:    }
  14 ; CHECK-NEXT:  }
  15
  16 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
  17
  18 define void @zot(float* %A, i32 %arg) {
  19 bb:
  20   %p = ashr i32 %arg, 25
  21   %tmpEven = shl nsw i32 %p, 1
  22   %tmp3 = and i32 %tmpEven, 254
  23   br label %cond
  24
  25 cond:
  26   %tmpEvenTrunc = trunc i32 %tmpEven to i8
  27   %br.cmp = icmp eq i8 %tmpEvenTrunc, 0
  28   br i1 %br.cmp, label %side, label %preheader
  29
  30 preheader:
  31   store float 1.0, float* %A
  32   br label %loop
  33
  34 loop:
  35   %indvar = phi i32 [ %indvar.next, %loop ], [ 1, %preheader ]
  36   store float 1.0, float* %A
  37   %indvar.next = add nuw nsw i32 %indvar, 1
  38   %cmp = icmp eq i32 %indvar, %tmp3
  39   br i1 %cmp, label %exit, label %loop
  40
  41 side:
  42   store float 1.0, float* %A
  43   br label %ret
  44
  45 exit:
  46   br label %ret
  47
  48 ret:
  49   ret void
  50 }