polly/test/ScopInfo/wraping_signed_expr_7.ll

   1 ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
   2 ;
   3 ; CHECK:    Invalid Context:
   4 ; CHECK:        [N] -> {  : N >= 129 }
   5 ;
   6 ;    void foo(float *A, long N) {
   7 ;      for (long i = 0; i < N;)
   8 ;        if ((signed char)i++ < 100)
   9 ;          A[i] += i;
  10 ;    }
  11 define void @foo(float* %A, i64 %N) {
  12 bb:
  13   br label %bb1
  14
  15 bb1:                                              ; preds = %bb11, %bb
  16   %i.0 = phi i64 [ 0, %bb ], [ %tmp12, %bb11 ]
  17   %tmp = icmp slt i64 %i.0, %N
  18   br i1 %tmp, label %bb2, label %bb13
  19
  20 bb2:                                              ; preds = %bb1
  21   %tmp12 = add nuw nsw i64 %i.0, 1
  22   %tmp3 = trunc i64 %i.0 to i8
  23   %tmp4 = icmp slt i8 %tmp3, 100
  24   br i1 %tmp4, label %bb5, label %bb10
  25
  26 bb5:                                              ; preds = %bb2
  27   %tmp6 = sitofp i64 %i.0 to float
  28   %tmp7 = getelementptr inbounds float, float* %A, i64 %i.0
  29   %tmp8 = load float, float* %tmp7, align 4
  30   %tmp9 = fadd float %tmp8, %tmp6
  31   store float %tmp9, float* %tmp7, align 4
  32   br label %bb10
  33
  34 bb10:                                             ; preds = %bb5, %bb2
  35   br label %bb11
  36
  37 bb11:                                             ; preds = %bb10
  38   br label %bb1
  39
  40 bb13:                                             ; preds = %bb1
  41   ret void
  42 }