Mercurial > hg > CbC > CbC_llvm

annotate clang/test/CodeGen/libcalls.c @ 207:2e18cbf3894f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -fmath-errno -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-YES %s
anatofuz
parents:
diff changeset
2 // RUN: %clang_cc1 -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-NO %s
anatofuz
parents:
diff changeset
3 // RUN: %clang_cc1 -menable-unsafe-fp-math -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-FAST %s
anatofuz
parents:
diff changeset
4
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
5 // CHECK-YES-LABEL: define{{.*}} void @test_sqrt
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
6 // CHECK-NO-LABEL: define{{.*}} void @test_sqrt
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
7 // CHECK-FAST-LABEL: define{{.*}} void @test_sqrt
150
anatofuz
parents:
diff changeset
8 void test_sqrt(float a0, double a1, long double a2) {
anatofuz
parents:
diff changeset
9 // CHECK-YES: call float @sqrtf
anatofuz
parents:
diff changeset
10 // CHECK-NO: call float @llvm.sqrt.f32(float
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
11 // CHECK-FAST: call reassoc nsz arcp afn float @llvm.sqrt.f32(float
150
anatofuz
parents:
diff changeset
12 float l0 = sqrtf(a0);
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 // CHECK-YES: call double @sqrt
anatofuz
parents:
diff changeset
15 // CHECK-NO: call double @llvm.sqrt.f64(double
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
16 // CHECK-FAST: call reassoc nsz arcp afn double @llvm.sqrt.f64(double
150
anatofuz
parents:
diff changeset
17 double l1 = sqrt(a1);
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 // CHECK-YES: call x86_fp80 @sqrtl
anatofuz
parents:
diff changeset
20 // CHECK-NO: call x86_fp80 @llvm.sqrt.f80(x86_fp80
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
21 // CHECK-FAST: call reassoc nsz arcp afn x86_fp80 @llvm.sqrt.f80(x86_fp80
150
anatofuz
parents:
diff changeset
22 long double l2 = sqrtl(a2);
anatofuz
parents:
diff changeset
23 }
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 // CHECK-YES: declare float @sqrtf(float)
anatofuz
parents:
diff changeset
26 // CHECK-YES: declare double @sqrt(double)
anatofuz
parents:
diff changeset
27 // CHECK-YES: declare x86_fp80 @sqrtl(x86_fp80)
anatofuz
parents:
diff changeset
28 // CHECK-NO: declare float @llvm.sqrt.f32(float)
anatofuz
parents:
diff changeset
29 // CHECK-NO: declare double @llvm.sqrt.f64(double)
anatofuz
parents:
diff changeset
30 // CHECK-NO: declare x86_fp80 @llvm.sqrt.f80(x86_fp80)
anatofuz
parents:
diff changeset
31 // CHECK-FAST: declare float @llvm.sqrt.f32(float)
anatofuz
parents:
diff changeset
32 // CHECK-FAST: declare double @llvm.sqrt.f64(double)
anatofuz
parents:
diff changeset
33 // CHECK-FAST: declare x86_fp80 @llvm.sqrt.f80(x86_fp80)
anatofuz
parents:
diff changeset
34
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
35 // CHECK-YES-LABEL: define{{.*}} void @test_pow
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
36 // CHECK-NO-LABEL: define{{.*}} void @test_pow
150
anatofuz
parents:
diff changeset
37 void test_pow(float a0, double a1, long double a2) {
anatofuz
parents:
diff changeset
38 // CHECK-YES: call float @powf
anatofuz
parents:
diff changeset
39 // CHECK-NO: call float @llvm.pow.f32
anatofuz
parents:
diff changeset
40 float l0 = powf(a0, a0);
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 // CHECK-YES: call double @pow
anatofuz
parents:
diff changeset
43 // CHECK-NO: call double @llvm.pow.f64
anatofuz
parents:
diff changeset
44 double l1 = pow(a1, a1);
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 // CHECK-YES: call x86_fp80 @powl
anatofuz
parents:
diff changeset
47 // CHECK-NO: call x86_fp80 @llvm.pow.f80
anatofuz
parents:
diff changeset
48 long double l2 = powl(a2, a2);
anatofuz
parents:
diff changeset
49 }
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 // CHECK-YES: declare float @powf(float, float)
anatofuz
parents:
diff changeset
52 // CHECK-YES: declare double @pow(double, double)
anatofuz
parents:
diff changeset
53 // CHECK-YES: declare x86_fp80 @powl(x86_fp80, x86_fp80)
anatofuz
parents:
diff changeset
54 // CHECK-NO: declare float @llvm.pow.f32(float, float) [[NUW_RNI:#[0-9]+]]
anatofuz
parents:
diff changeset
55 // CHECK-NO: declare double @llvm.pow.f64(double, double) [[NUW_RNI]]
anatofuz
parents:
diff changeset
56 // CHECK-NO: declare x86_fp80 @llvm.pow.f80(x86_fp80, x86_fp80) [[NUW_RNI]]
anatofuz
parents:
diff changeset
57
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
58 // CHECK-YES-LABEL: define{{.*}} void @test_fma
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
59 // CHECK-NO-LABEL: define{{.*}} void @test_fma
150
anatofuz
parents:
diff changeset
60 void test_fma(float a0, double a1, long double a2) {
anatofuz
parents:
diff changeset
61 // CHECK-YES: call float @fmaf
anatofuz
parents:
diff changeset
62 // CHECK-NO: call float @llvm.fma.f32
anatofuz
parents:
diff changeset
63 float l0 = fmaf(a0, a0, a0);
anatofuz
parents:
diff changeset
64
anatofuz
parents:
diff changeset
65 // CHECK-YES: call double @fma
anatofuz
parents:
diff changeset
66 // CHECK-NO: call double @llvm.fma.f64
anatofuz
parents:
diff changeset
67 double l1 = fma(a1, a1, a1);
anatofuz
parents:
diff changeset
68
anatofuz
parents:
diff changeset
69 // CHECK-YES: call x86_fp80 @fmal
anatofuz
parents:
diff changeset
70 // CHECK-NO: call x86_fp80 @llvm.fma.f80
anatofuz
parents:
diff changeset
71 long double l2 = fmal(a2, a2, a2);
anatofuz
parents:
diff changeset
72 }
anatofuz
parents:
diff changeset
73
anatofuz
parents:
diff changeset
74 // CHECK-YES: declare float @fmaf(float, float, float)
anatofuz
parents:
diff changeset
75 // CHECK-YES: declare double @fma(double, double, double)
anatofuz
parents:
diff changeset
76 // CHECK-YES: declare x86_fp80 @fmal(x86_fp80, x86_fp80, x86_fp80)
anatofuz
parents:
diff changeset
77 // CHECK-NO: declare float @llvm.fma.f32(float, float, float) [[NUW_RN2:#[0-9]+]]
anatofuz
parents:
diff changeset
78 // CHECK-NO: declare double @llvm.fma.f64(double, double, double) [[NUW_RN2]]
anatofuz
parents:
diff changeset
79 // CHECK-NO: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[NUW_RN2]]
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 // Just checking to make sure these library functions are marked readnone
anatofuz
parents:
diff changeset
82 void test_builtins(double d, float f, long double ld) {
anatofuz
parents:
diff changeset
83 // CHECK-NO: @test_builtins
anatofuz
parents:
diff changeset
84 // CHECK-YES: @test_builtins
anatofuz
parents:
diff changeset
85 double atan_ = atan(d);
anatofuz
parents:
diff changeset
86 long double atanl_ = atanl(ld);
anatofuz
parents:
diff changeset
87 float atanf_ = atanf(f);
anatofuz
parents:
diff changeset
88 // CHECK-NO: declare double @atan(double) [[NUW_RN:#[0-9]+]]
anatofuz
parents:
diff changeset
89 // CHECK-NO: declare x86_fp80 @atanl(x86_fp80) [[NUW_RN]]
anatofuz
parents:
diff changeset
90 // CHECK-NO: declare float @atanf(float) [[NUW_RN]]
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
91 // CHECK-YES: declare double @atan(double) [[NUW:#[0-9]+]]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
92 // CHECK-YES: declare x86_fp80 @atanl(x86_fp80) [[NUW]]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
93 // CHECK-YES: declare float @atanf(float) [[NUW]]
150
anatofuz
parents:
diff changeset
94
anatofuz
parents:
diff changeset
95 double atan2_ = atan2(d, 2);
anatofuz
parents:
diff changeset
96 long double atan2l_ = atan2l(ld, ld);
anatofuz
parents:
diff changeset
97 float atan2f_ = atan2f(f, f);
anatofuz
parents:
diff changeset
98 // CHECK-NO: declare double @atan2(double, double) [[NUW_RN]]
anatofuz
parents:
diff changeset
99 // CHECK-NO: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW_RN]]
anatofuz
parents:
diff changeset
100 // CHECK-NO: declare float @atan2f(float, float) [[NUW_RN]]
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
101 // CHECK-YES: declare double @atan2(double, double) [[NUW]]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
102 // CHECK-YES: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW]]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
103 // CHECK-YES: declare float @atan2f(float, float) [[NUW]]
150
anatofuz
parents:
diff changeset
104
anatofuz
parents:
diff changeset
105 double exp_ = exp(d);
anatofuz
parents:
diff changeset
106 long double expl_ = expl(ld);
anatofuz
parents:
diff changeset
107 float expf_ = expf(f);
anatofuz
parents:
diff changeset
108 // CHECK-NO: declare double @llvm.exp.f64(double) [[NUW_RNI]]
anatofuz
parents:
diff changeset
109 // CHECK-NO: declare x86_fp80 @llvm.exp.f80(x86_fp80) [[NUW_RNI]]
anatofuz
parents:
diff changeset
110 // CHECK-NO: declare float @llvm.exp.f32(float) [[NUW_RNI]]
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
111 // CHECK-YES: declare double @exp(double) [[NUW]]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
112 // CHECK-YES: declare x86_fp80 @expl(x86_fp80) [[NUW]]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
113 // CHECK-YES: declare float @expf(float) [[NUW]]
150
anatofuz
parents:
diff changeset
114
anatofuz
parents:
diff changeset
115 double log_ = log(d);
anatofuz
parents:
diff changeset
116 long double logl_ = logl(ld);
anatofuz
parents:
diff changeset
117 float logf_ = logf(f);
anatofuz
parents:
diff changeset
118 // CHECK-NO: declare double @llvm.log.f64(double) [[NUW_RNI]]
anatofuz
parents:
diff changeset
119 // CHECK-NO: declare x86_fp80 @llvm.log.f80(x86_fp80) [[NUW_RNI]]
anatofuz
parents:
diff changeset
120 // CHECK-NO: declare float @llvm.log.f32(float) [[NUW_RNI]]
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
121 // CHECK-YES: declare double @log(double) [[NUW]]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
122 // CHECK-YES: declare x86_fp80 @logl(x86_fp80) [[NUW]]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
123 // CHECK-YES: declare float @logf(float) [[NUW]]
150
anatofuz
parents:
diff changeset
124 }
anatofuz
parents:
diff changeset
125
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
126 // CHECK-YES: attributes [[NUW]] = { nounwind "frame-pointer"="none" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-features"="+cx8,+x87" }
150
anatofuz
parents:
diff changeset
127 // CHECK-NO-DAG: attributes [[NUW_RN]] = { nounwind readnone{{.*}} }
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
128 // CHECK-NO-DAG: attributes [[NUW_RNI]] = { nofree nosync nounwind readnone speculatable willreturn }