test/ScopInfo/test-wrapping-in-condition.ll

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