1; RUN: opt %loadPolly -polly-reschedule=0 -polly-loopfusion-greedy=1 -polly-postopts=0 -polly-print-opt-isl -disable-output < %s | FileCheck %s
2; RUN: opt %loadPolly -polly-reschedule=1 -polly-loopfusion-greedy=1 -polly-postopts=0 -polly-print-opt-isl -disable-output < %s | FileCheck %s
3
4define void @func(i32 %n, double* noalias nonnull %A) {
5entry:
6  br label %for1
7
8for1:
9  %j1 = phi i32 [0, %entry], [%j1.inc, %inc1]
10  %j1.cmp = icmp slt i32 %j1, %n
11  br i1 %j1.cmp, label %body1, label %exit1
12
13    body1:
14      %arrayidx1 = getelementptr inbounds double, double* %A, i32 %j1
15      store double 21.0, double* %arrayidx1
16      br label %inc1
17
18inc1:
19  %j1.inc = add nuw nsw i32 %j1, 1
20  br label %for1
21
22exit1:
23  br label %for2
24
25for2:
26  %j2 = phi i32 [0, %exit1], [%j2.inc, %inc2]
27  %j2.cmp = icmp slt i32 %j2, %n
28  br i1 %j2.cmp, label %body2, label %exit2
29
30    body2:
31      %arrayidx2 = getelementptr inbounds double, double* %A, i32 %j2
32      store double 42.0, double* %arrayidx2
33      br label %inc2
34
35inc2:
36  %j2.inc = add nuw nsw i32 %j2, 1
37  br label %for2
38
39exit2:
40  br label %return
41
42return:
43  ret void
44}
45
46
47; CHECK:      Calculated schedule:
48; CHECK-NEXT: domain: "[n] -> { Stmt_body2[i0] : 0 <= i0 < n; Stmt_body1[i0] : 0 <= i0 < n }"
49; CHECK-NEXT: child:
50; CHECK-NEXT:   schedule: "[n] -> [{ Stmt_body2[i0] -> [(i0)]; Stmt_body1[i0] -> [(i0)] }]"
51; CHECK-NEXT:   child:
52; CHECK-NEXT:     sequence:
53; CHECK-NEXT:     - filter: "[n] -> { Stmt_body1[i0] }"
54; CHECK-NEXT:     - filter: "[n] -> { Stmt_body2[i0] }"
55