1; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
2; RUN: opt %loadPolly -polly-codegen -analyze < %s
3;
4; void or(float *A, long n, long m) {
5;   for (long i = 0; i < 100; i++) {
6;     if (i < n || i < m || i > p)
7;       A[i] += i;
8;   }
9; }
10;
11; CHECK: Function: or
12; CHECK:   Stmt_if_then
13; CHECK:     Domain :=
14; CHECK:       [n, m, p] -> { Stmt_if_then[i0] : 0 <= i0 <= 99 and (i0 > p or i0 < m or i0 < n) };
15;
16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
17
18; Function Attrs: nounwind uwtable
19define void @or(float* nocapture %A, i64 %n, i64 %m, i64 %p) #0 {
20entry:
21  br label %for.body
22
23for.body:                                         ; preds = %for.inc, %entry
24  %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
25  %cmp1 = icmp slt i64 %i.03, %n
26  %cmp2 = icmp slt i64 %i.03, %m
27  %cmp3 = icmp sgt i64 %i.03, %p
28  %or.tmp = or i1 %cmp1, %cmp2
29  %or.cond = or i1 %or.tmp, %cmp3
30  br i1 %or.cond, label %if.then, label %for.inc
31
32if.then:                                          ; preds = %for.body
33  %conv = sitofp i64 %i.03 to float
34  %arrayidx = getelementptr inbounds float, float* %A, i64 %i.03
35  %0 = load float, float* %arrayidx, align 4
36  %add = fadd float %conv, %0
37  store float %add, float* %arrayidx, align 4
38  br label %for.inc
39
40for.inc:                                          ; preds = %if.then, %for.body
41  %inc = add nuw nsw i64 %i.03, 1
42  %exitcond = icmp eq i64 %inc, 100
43  br i1 %exitcond, label %for.end, label %for.body
44
45for.end:                                          ; preds = %for.inc
46  ret void
47}
48