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