polly/test/ScopInfo/no-scalar-deps-in-non-affine-subregion.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
   2 ;
   3 ; Check that we do not generate any scalar dependences regarding x. It is
   4 ; defined and used on the non-affine subregion only, thus we do not need
   5 ; to represent the definition and uses in the model.
   6 ;
   7 ; CHECK:          Stmt_bb2__TO__bb11
   8 ; CHECK-NOT:        [Scalar: 1]
   9 ; CHECK-NOT:        MemRef_x
  10 ;
  11 ;    void f(int *A) {
  12 ;      int x;
  13 ;      for (int i = 0; i < 1024; i++) {
  14 ;        if (A[i]) {
  15 ;          if (i > 512)
  16 ;            x = 1;
  17 ;          else
  18 ;            x = 2;
  19 ;          A[i] = x;
  20 ;        }
  21 ;      }
  22 ;    }
  23 ;
  24 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  25
  26 define void @f(ptr %A) {
  27 bb:
  28   br label %bb1
  29
  30 bb1:                                              ; preds = %bb12, %bb
  31   %indvars.iv = phi i64 [ %indvars.iv.next, %bb12 ], [ 0, %bb ]
  32   %exitcond = icmp ne i64 %indvars.iv, 1024
  33   br i1 %exitcond, label %bb2, label %bb13
  34
  35 bb2:                                              ; preds = %bb1
  36   %tmp = getelementptr inbounds i32, ptr %A, i64 %indvars.iv
  37   %tmp3 = load i32,  ptr %tmp, align 4
  38   %tmp4 = icmp eq i32 %tmp3, 0
  39   br i1 %tmp4, label %bb11, label %bb5
  40
  41 bb5:                                              ; preds = %bb2
  42   %tmp6 = icmp sgt i64 %indvars.iv, 512
  43   br i1 %tmp6, label %bb7, label %bb8
  44
  45 bb7:                                              ; preds = %bb5
  46   br label %bb9
  47
  48 bb8:                                              ; preds = %bb5
  49   br label %bb9
  50
  51 bb9:                                              ; preds = %bb8, %bb7
  52   %x.0 = phi i32 [ 1, %bb7 ], [ 2, %bb8 ]
  53   %tmp10 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv
  54   store i32 %x.0, ptr %tmp10, align 4
  55   br label %bb11
  56
  57 bb11:                                             ; preds = %bb2, %bb9
  58   br label %bb12
  59
  60 bb12:                                             ; preds = %bb11
  61   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  62   br label %bb1
  63
  64 bb13:                                             ; preds = %bb1
  65   ret void
  66 }