1 // RUN: %clang_cc1 -triple x86_64-linux -ffp-exception-behavior=strict -w -S -o - -emit-llvm %s | FileCheck %s
2 
3 // Test codegen of constrained math builtins.
4 
5 void foo(double *d, float f, float *fp, long double *l, int *i, const char *c) {
6   f = __builtin_fmod(f,f);    f = __builtin_fmodf(f,f);   f =  __builtin_fmodl(f,f);
7 
8 // CHECK: declare double @llvm.experimental.constrained.frem.f64(double, double, metadata, metadata)
9 // CHECK: declare float @llvm.experimental.constrained.frem.f32(float, float, metadata, metadata)
10 // CHECK: declare x86_fp80 @llvm.experimental.constrained.frem.f80(x86_fp80, x86_fp80, metadata, metadata)
11 
12   __builtin_pow(f,f);        __builtin_powf(f,f);       __builtin_powl(f,f);
13 
14 // CHECK: declare double @llvm.experimental.constrained.pow.f64(double, double, metadata, metadata)
15 // CHECK: declare float @llvm.experimental.constrained.pow.f32(float, float, metadata, metadata)
16 // CHECK: declare x86_fp80 @llvm.experimental.constrained.pow.f80(x86_fp80, x86_fp80, metadata, metadata)
17 
18   __builtin_powi(f,f);        __builtin_powif(f,f);       __builtin_powil(f,f);
19 
20 // CHECK: declare double @llvm.experimental.constrained.powi.f64(double, i32, metadata, metadata)
21 // CHECK: declare float @llvm.experimental.constrained.powi.f32(float, i32, metadata, metadata)
22 // CHECK: declare x86_fp80 @llvm.experimental.constrained.powi.f80(x86_fp80, i32, metadata, metadata)
23 
24   __builtin_ceil(f);       __builtin_ceilf(f);      __builtin_ceill(f);
25 
26 // CHECK: declare double @llvm.experimental.constrained.ceil.f64(double, metadata)
27 // CHECK: declare float @llvm.experimental.constrained.ceil.f32(float, metadata)
28 // CHECK: declare x86_fp80 @llvm.experimental.constrained.ceil.f80(x86_fp80, metadata)
29 
30   __builtin_cos(f);        __builtin_cosf(f);       __builtin_cosl(f);
31 
32 // CHECK: declare double @llvm.experimental.constrained.cos.f64(double, metadata, metadata)
33 // CHECK: declare float @llvm.experimental.constrained.cos.f32(float, metadata, metadata)
34 // CHECK: declare x86_fp80 @llvm.experimental.constrained.cos.f80(x86_fp80, metadata, metadata)
35 
36   __builtin_exp(f);        __builtin_expf(f);       __builtin_expl(f);
37 
38 // CHECK: declare double @llvm.experimental.constrained.exp.f64(double, metadata, metadata)
39 // CHECK: declare float @llvm.experimental.constrained.exp.f32(float, metadata, metadata)
40 // CHECK: declare x86_fp80 @llvm.experimental.constrained.exp.f80(x86_fp80, metadata, metadata)
41 
42   __builtin_exp2(f);       __builtin_exp2f(f);      __builtin_exp2l(f);
43 
44 // CHECK: declare double @llvm.experimental.constrained.exp2.f64(double, metadata, metadata)
45 // CHECK: declare float @llvm.experimental.constrained.exp2.f32(float, metadata, metadata)
46 // CHECK: declare x86_fp80 @llvm.experimental.constrained.exp2.f80(x86_fp80, metadata, metadata)
47 
48   __builtin_floor(f);      __builtin_floorf(f);     __builtin_floorl(f);
49 
50 // CHECK: declare double @llvm.experimental.constrained.floor.f64(double, metadata)
51 // CHECK: declare float @llvm.experimental.constrained.floor.f32(float, metadata)
52 // CHECK: declare x86_fp80 @llvm.experimental.constrained.floor.f80(x86_fp80, metadata)
53 
54   __builtin_fma(f,f,f);        __builtin_fmaf(f,f,f);       __builtin_fmal(f,f,f);
55 
56 // CHECK: declare double @llvm.experimental.constrained.fma.f64(double, double, double, metadata, metadata)
57 // CHECK: declare float @llvm.experimental.constrained.fma.f32(float, float, float, metadata, metadata)
58 // CHECK: declare x86_fp80 @llvm.experimental.constrained.fma.f80(x86_fp80, x86_fp80, x86_fp80, metadata, metadata)
59 
60   __builtin_fmax(f,f);       __builtin_fmaxf(f,f);      __builtin_fmaxl(f,f);
61 
62 // CHECK: declare double @llvm.experimental.constrained.maxnum.f64(double, double, metadata)
63 // CHECK: declare float @llvm.experimental.constrained.maxnum.f32(float, float, metadata)
64 // CHECK: declare x86_fp80 @llvm.experimental.constrained.maxnum.f80(x86_fp80, x86_fp80, metadata)
65 
66   __builtin_fmin(f,f);       __builtin_fminf(f,f);      __builtin_fminl(f,f);
67 
68 // CHECK: declare double @llvm.experimental.constrained.minnum.f64(double, double, metadata)
69 // CHECK: declare float @llvm.experimental.constrained.minnum.f32(float, float, metadata)
70 // CHECK: declare x86_fp80 @llvm.experimental.constrained.minnum.f80(x86_fp80, x86_fp80, metadata)
71 
72   __builtin_llrint(f);     __builtin_llrintf(f);    __builtin_llrintl(f);
73 
74 // CHECK: declare i64 @llvm.experimental.constrained.llrint.i64.f64(double, metadata, metadata)
75 // CHECK: declare i64 @llvm.experimental.constrained.llrint.i64.f32(float, metadata, metadata)
76 // CHECK: declare i64 @llvm.experimental.constrained.llrint.i64.f80(x86_fp80, metadata, metadata)
77 
78   __builtin_llround(f);    __builtin_llroundf(f);   __builtin_llroundl(f);
79 
80 // CHECK: declare i64 @llvm.experimental.constrained.llround.i64.f64(double, metadata)
81 // CHECK: declare i64 @llvm.experimental.constrained.llround.i64.f32(float, metadata)
82 // CHECK: declare i64 @llvm.experimental.constrained.llround.i64.f80(x86_fp80, metadata)
83 
84   __builtin_log(f);        __builtin_logf(f);       __builtin_logl(f);
85 
86 // CHECK: declare double @llvm.experimental.constrained.log.f64(double, metadata, metadata)
87 // CHECK: declare float @llvm.experimental.constrained.log.f32(float, metadata, metadata)
88 // CHECK: declare x86_fp80 @llvm.experimental.constrained.log.f80(x86_fp80, metadata, metadata)
89 
90   __builtin_log10(f);      __builtin_log10f(f);     __builtin_log10l(f);
91 
92 // CHECK: declare double @llvm.experimental.constrained.log10.f64(double, metadata, metadata)
93 // CHECK: declare float @llvm.experimental.constrained.log10.f32(float, metadata, metadata)
94 // CHECK: declare x86_fp80 @llvm.experimental.constrained.log10.f80(x86_fp80, metadata, metadata)
95 
96   __builtin_log2(f);       __builtin_log2f(f);      __builtin_log2l(f);
97 
98 // CHECK: declare double @llvm.experimental.constrained.log2.f64(double, metadata, metadata)
99 // CHECK: declare float @llvm.experimental.constrained.log2.f32(float, metadata, metadata)
100 // CHECK: declare x86_fp80 @llvm.experimental.constrained.log2.f80(x86_fp80, metadata, metadata)
101 
102   __builtin_lrint(f);      __builtin_lrintf(f);     __builtin_lrintl(f);
103 
104 // CHECK: declare i64 @llvm.experimental.constrained.lrint.i64.f64(double, metadata, metadata)
105 // CHECK: declare i64 @llvm.experimental.constrained.lrint.i64.f32(float, metadata, metadata)
106 // CHECK: declare i64 @llvm.experimental.constrained.lrint.i64.f80(x86_fp80, metadata, metadata)
107 
108   __builtin_lround(f);     __builtin_lroundf(f);    __builtin_lroundl(f);
109 
110 // CHECK: declare i64 @llvm.experimental.constrained.lround.i64.f64(double, metadata)
111 // CHECK: declare i64 @llvm.experimental.constrained.lround.i64.f32(float, metadata)
112 // CHECK: declare i64 @llvm.experimental.constrained.lround.i64.f80(x86_fp80, metadata)
113 
114   __builtin_nearbyint(f);  __builtin_nearbyintf(f); __builtin_nearbyintl(f);
115 
116 // CHECK: declare double @llvm.experimental.constrained.nearbyint.f64(double, metadata, metadata)
117 // CHECK: declare float @llvm.experimental.constrained.nearbyint.f32(float, metadata, metadata)
118 // CHECK: declare x86_fp80 @llvm.experimental.constrained.nearbyint.f80(x86_fp80, metadata, metadata)
119 
120   __builtin_rint(f);       __builtin_rintf(f);      __builtin_rintl(f);
121 
122 // CHECK: declare double @llvm.experimental.constrained.rint.f64(double, metadata, metadata)
123 // CHECK: declare float @llvm.experimental.constrained.rint.f32(float, metadata, metadata)
124 // CHECK: declare x86_fp80 @llvm.experimental.constrained.rint.f80(x86_fp80, metadata, metadata)
125 
126   __builtin_round(f);      __builtin_roundf(f);     __builtin_roundl(f);
127 
128 // CHECK: declare double @llvm.experimental.constrained.round.f64(double, metadata)
129 // CHECK: declare float @llvm.experimental.constrained.round.f32(float, metadata)
130 // CHECK: declare x86_fp80 @llvm.experimental.constrained.round.f80(x86_fp80, metadata)
131 
132   __builtin_sin(f);        __builtin_sinf(f);       __builtin_sinl(f);
133 
134 // CHECK: declare double @llvm.experimental.constrained.sin.f64(double, metadata, metadata)
135 // CHECK: declare float @llvm.experimental.constrained.sin.f32(float, metadata, metadata)
136 // CHECK: declare x86_fp80 @llvm.experimental.constrained.sin.f80(x86_fp80, metadata, metadata)
137 
138   __builtin_sqrt(f);       __builtin_sqrtf(f);      __builtin_sqrtl(f);
139 
140 // CHECK: declare double @llvm.experimental.constrained.sqrt.f64(double, metadata, metadata)
141 // CHECK: declare float @llvm.experimental.constrained.sqrt.f32(float, metadata, metadata)
142 // CHECK: declare x86_fp80 @llvm.experimental.constrained.sqrt.f80(x86_fp80, metadata, metadata)
143 
144   __builtin_trunc(f);      __builtin_truncf(f);     __builtin_truncl(f);
145 
146 // CHECK: declare double @llvm.experimental.constrained.trunc.f64(double, metadata)
147 // CHECK: declare float @llvm.experimental.constrained.trunc.f32(float, metadata)
148 // CHECK: declare x86_fp80 @llvm.experimental.constrained.trunc.f80(x86_fp80, metadata)
149 };
150 
151 #pragma STDC FP_CONTRACT ON
152 void bar(float f) {
153   f * f + f;
154   (double)f * f - f;
155   (long double)-f * f + f;
156 
157 // CHECK: call float @llvm.experimental.constrained.fmuladd.f32
158 // CHECK: fneg
159 // CHECK: call double @llvm.experimental.constrained.fmuladd.f64
160 // CHECK: fneg
161 // CHECK: call x86_fp80 @llvm.experimental.constrained.fmuladd.f80
162 };
163