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