1; RUN: opt %loadPolly -basic-aa -polly-detect -analyze < %s | FileCheck %s
2;
3; CHECK: Valid Region for Scop: for.cond => for.end
4;
5;    #include "math.h"
6;
7;    void jd(int *restrict A, float *restrict B) {
8;      for (int i = 0; i < 1024; i++) {
9;        A[i] = pow(ceil(log10(sqrt(i))), floor(log2(i)));
10;        B[i] = fabs(log(sin(i)) + exp2(cos(i))) + exp(i);
11;      }
12;    }
13;
14; ModuleID = '/home/johannes/repos/polly/test/ScopDetect/intrinsics.ll'
15target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
16
17; Function Attrs: nounwind uwtable
18define void @jd(i32* noalias %A, float* noalias %B) #0 {
19entry:
20  br label %for.cond
21
22for.cond:                                         ; preds = %for.inc, %entry
23  %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
24  %exitcond = icmp ne i64 %indvars.iv, 1024
25  br i1 %exitcond, label %for.body, label %for.end
26
27for.body:                                         ; preds = %for.cond
28  %tmp = trunc i64 %indvars.iv to i32
29  %conv = sitofp i32 %tmp to double
30  %tmp1 = call double @llvm.sqrt.f64(double %conv)
31  %call = call double @__log10_finite(double %tmp1) #2
32  %call1 = call double @ceil(double %call) #2
33  %tmp2 = trunc i64 %indvars.iv to i32
34  %conv2 = sitofp i32 %tmp2 to double
35  %call3 = call double @__log2_finite(double %conv2) #2
36  %call4 = call double @floor(double %call3) #2
37  %tmp3 = call double @llvm.pow.f64(double %call1, double %call4)
38  %conv5 = fptosi double %tmp3 to i32
39  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
40  store i32 %conv5, i32* %arrayidx, align 4
41  %tmp4 = trunc i64 %indvars.iv to i32
42  %conv6 = sitofp i32 %tmp4 to double
43  %call7 = call double @sin(double %conv6) #2
44  %call8 = call double @__log_finite(double %call7) #2
45  %tmp5 = trunc i64 %indvars.iv to i32
46  %conv9 = sitofp i32 %tmp5 to double
47  %call10 = call double @cos(double %conv9) #2
48  %call11 = call double @__exp2_finite(double %call10) #2
49  %add = fadd fast double %call8, %call11
50  %call12 = call double @fabs(double %add) #2
51  %tmp6 = trunc i64 %indvars.iv to i32
52  %conv13 = sitofp i32 %tmp6 to double
53  %call14 = call double @__exp_finite(double %conv13) #2
54  %add15 = fadd fast double %call12, %call14
55  %conv16 = fptrunc double %add15 to float
56  %arrayidx18 = getelementptr inbounds float, float* %B, i64 %indvars.iv
57  store float %conv16, float* %arrayidx18, align 4
58  br label %for.inc
59
60for.inc:                                          ; preds = %for.body
61  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
62  br label %for.cond
63
64for.end:                                          ; preds = %for.cond
65  ret void
66}
67
68; Function Attrs: nounwind readnone
69declare double @ceil(double) #1
70
71; Function Attrs: nounwind readnone
72declare double @__log10_finite(double) #1
73
74; Function Attrs: nounwind readnone
75declare double @llvm.sqrt.f64(double) #2
76
77; Function Attrs: nounwind readnone
78declare double @floor(double) #1
79
80; Function Attrs: nounwind readnone
81declare double @__log2_finite(double) #1
82
83; Function Attrs: nounwind readnone
84declare double @llvm.pow.f64(double, double) #2
85
86; Function Attrs: nounwind readnone
87declare double @fabs(double) #1
88
89; Function Attrs: nounwind readnone
90declare double @__log_finite(double) #1
91
92; Function Attrs: nounwind readnone
93declare double @sin(double) #1
94
95; Function Attrs: nounwind readnone
96declare double @__exp2_finite(double) #1
97
98; Function Attrs: nounwind readnone
99declare double @cos(double) #1
100
101; Function Attrs: nounwind readnone
102declare double @__exp_finite(double) #1
103
104attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="true" "no-nans-fp-math"="true" "stack-protector-buffer-size"="8" "unsafe-fp-math"="true" "use-soft-float"="false" }
105attributes #1 = { nounwind readnone "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="true" "no-nans-fp-math"="true" "stack-protector-buffer-size"="8" "unsafe-fp-math"="true" "use-soft-float"="false" }
106attributes #2 = { nounwind readnone }
107