1 ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
3 ; CHECK: Invalid Context:
4 ; CHECK: [N] -> { : N >= 129 }
6 ; void foo(float *A, long N) {
7 ; for (long i = 0; i < N; i++)
8 ; if ((signed char)i < 100)
11 define void @foo(float* %A, i64 %N) {
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
21 %tmp3 = trunc i64 %i.0 to i8
22 %tmp4 = icmp slt i8 %tmp3, 100
23 br i1 %tmp4, label %bb5, label %bb10
26 %tmp6 = sitofp i64 %i.0 to float
27 %tmp7 = getelementptr inbounds float, float* %A, i64 %i.0
28 %tmp8 = load float, float* %tmp7, align 4
29 %tmp9 = fadd float %tmp8, %tmp6
30 store float %tmp9, float* %tmp7, align 4
33 bb10: ; preds = %bb5, %bb2
37 %tmp12 = add nuw nsw i64 %i.0, 1