xref: /llvm-project/polly/test/ScopDetect/more-than-one-loop.ll (revision e1f056f692d869708c1898d9d65a69ac5584a0ed)
1; RUN: opt %loadNPMPolly -polly-process-unprofitable=false '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s
2; RUN: opt %loadNPMPolly -polly-process-unprofitable=true '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s
3
4; CHECK: Valid Region for Scop:
5
6;    void foo(float *A, float *B, long N) {
7;      if (N > 100)
8;        for (long i = 0; i < 100; i++)
9;          A[i] += i;
10;      else
11;        for (long i = 0; i < 100; i++)
12;          B[i] += i;
13;    }
14;
15target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
16
17define void @foo(ptr %A, ptr %B, i64 %N) {
18entry:
19  br label %bb
20
21bb:
22  %tmp = icmp sgt i64 %N, 100
23  br i1 %tmp, label %bb2, label %bb12
24
25bb2:                                              ; preds = %bb
26  br label %bb3
27
28bb3:                                              ; preds = %bb9, %bb2
29  %i.0 = phi i64 [ 0, %bb2 ], [ %tmp10, %bb9 ]
30  %exitcond = icmp ne i64 %i.0, 100
31  br i1 %exitcond, label %bb4, label %bb11
32
33bb4:                                              ; preds = %bb3
34  %tmp5 = sitofp i64 %i.0 to float
35  %tmp6 = getelementptr inbounds float, ptr %A, i64 %i.0
36  %tmp7 = load float, ptr %tmp6, align 4
37  %tmp8 = fadd float %tmp7, %tmp5
38  store float %tmp8, ptr %tmp6, align 4
39  br label %bb9
40
41bb9:                                              ; preds = %bb4
42  %tmp10 = add nsw i64 %i.0, 1
43  br label %bb3
44
45bb11:                                             ; preds = %bb3
46  br label %bb22
47
48bb12:                                             ; preds = %bb
49  br label %bb13
50
51bb13:                                             ; preds = %bb19, %bb12
52  %i1.0 = phi i64 [ 0, %bb12 ], [ %tmp20, %bb19 ]
53  %exitcond1 = icmp ne i64 %i1.0, 100
54  br i1 %exitcond1, label %bb14, label %bb21
55
56bb14:                                             ; preds = %bb13
57  %tmp15 = sitofp i64 %i1.0 to float
58  %tmp16 = getelementptr inbounds float, ptr %B, i64 %i1.0
59  %tmp17 = load float, ptr %tmp16, align 4
60  %tmp18 = fadd float %tmp17, %tmp15
61  store float %tmp18, ptr %tmp16, align 4
62  br label %bb19
63
64bb19:                                             ; preds = %bb14
65  %tmp20 = add nsw i64 %i1.0, 1
66  br label %bb13
67
68bb21:                                             ; preds = %bb13
69  br label %bb22
70
71bb22:                                             ; preds = %bb21, %bb11
72  ret void
73}
74