Mercurial > hg > CbC > CbC_llvm

annotate clang/test/CodeGen/fpconstrained-cmp-double.c @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -ffp-exception-behavior=ignore -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=FCMP
anatofuz
parents:
diff changeset
2 // RUN: %clang_cc1 -ffp-exception-behavior=strict -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=EXCEPT
anatofuz
parents:
diff changeset
3 // RUN: %clang_cc1 -ffp-exception-behavior=maytrap -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=MAYTRAP
anatofuz
parents:
diff changeset
4 // RUN: %clang_cc1 -frounding-math -ffp-exception-behavior=ignore -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=IGNORE
anatofuz
parents:
diff changeset
5 // RUN: %clang_cc1 -frounding-math -ffp-exception-behavior=strict -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=EXCEPT
anatofuz
parents:
diff changeset
6 // RUN: %clang_cc1 -frounding-math -ffp-exception-behavior=maytrap -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=MAYTRAP
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 _Bool QuietEqual(double f1, double f2) {
anatofuz
parents:
diff changeset
9 // CHECK-LABEL: define {{.*}}i1 @QuietEqual(double %f1, double %f2)
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 // FCMP: fcmp oeq double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
12 // IGNORE: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"oeq", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
13 // EXCEPT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"oeq", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
14 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"oeq", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
15 return f1 == f2;
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 // CHECK: ret
anatofuz
parents:
diff changeset
18 }
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 _Bool QuietNotEqual(double f1, double f2) {
anatofuz
parents:
diff changeset
21 // CHECK-LABEL: define {{.*}}i1 @QuietNotEqual(double %f1, double %f2)
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 // FCMP: fcmp une double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
24 // IGNORE: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"une", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
25 // EXCEPT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"une", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
26 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"une", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
27 return f1 != f2;
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 // CHECK: ret
anatofuz
parents:
diff changeset
30 }
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 _Bool SignalingLess(double f1, double f2) {
anatofuz
parents:
diff changeset
33 // CHECK-LABEL: define {{.*}}i1 @SignalingLess(double %f1, double %f2)
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 // FCMP: fcmp olt double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
36 // IGNORE: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"olt", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
37 // EXCEPT: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"olt", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
38 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"olt", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
39 return f1 < f2;
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 // CHECK: ret
anatofuz
parents:
diff changeset
42 }
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 _Bool SignalingLessEqual(double f1, double f2) {
anatofuz
parents:
diff changeset
45 // CHECK-LABEL: define {{.*}}i1 @SignalingLessEqual(double %f1, double %f2)
anatofuz
parents:
diff changeset
46
anatofuz
parents:
diff changeset
47 // FCMP: fcmp ole double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
48 // IGNORE: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"ole", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
49 // EXCEPT: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"ole", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
50 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"ole", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
51 return f1 <= f2;
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 // CHECK: ret
anatofuz
parents:
diff changeset
54 }
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 _Bool SignalingGreater(double f1, double f2) {
anatofuz
parents:
diff changeset
57 // CHECK-LABEL: define {{.*}}i1 @SignalingGreater(double %f1, double %f2)
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 // FCMP: fcmp ogt double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
60 // IGNORE: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"ogt", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
61 // EXCEPT: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"ogt", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
62 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"ogt", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
63 return f1 > f2;
anatofuz
parents:
diff changeset
64
anatofuz
parents:
diff changeset
65 // CHECK: ret
anatofuz
parents:
diff changeset
66 }
anatofuz
parents:
diff changeset
67
anatofuz
parents:
diff changeset
68 _Bool SignalingGreaterEqual(double f1, double f2) {
anatofuz
parents:
diff changeset
69 // CHECK-LABEL: define {{.*}}i1 @SignalingGreaterEqual(double %f1, double %f2)
anatofuz
parents:
diff changeset
70
anatofuz
parents:
diff changeset
71 // FCMP: fcmp oge double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
72 // IGNORE: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"oge", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
73 // EXCEPT: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"oge", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
74 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmps.f64(double %{{.*}}, double %{{.*}}, metadata !"oge", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
75 return f1 >= f2;
anatofuz
parents:
diff changeset
76
anatofuz
parents:
diff changeset
77 // CHECK: ret
anatofuz
parents:
diff changeset
78 }
anatofuz
parents:
diff changeset
79
anatofuz
parents:
diff changeset
80 _Bool QuietLess(double f1, double f2) {
anatofuz
parents:
diff changeset
81 // CHECK-LABEL: define {{.*}}i1 @QuietLess(double %f1, double %f2)
anatofuz
parents:
diff changeset
82
anatofuz
parents:
diff changeset
83 // FCMP: fcmp olt double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
84 // IGNORE: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"olt", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
85 // EXCEPT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"olt", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
86 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"olt", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
87 return __builtin_isless(f1, f2);
anatofuz
parents:
diff changeset
88
anatofuz
parents:
diff changeset
89 // CHECK: ret
anatofuz
parents:
diff changeset
90 }
anatofuz
parents:
diff changeset
91
anatofuz
parents:
diff changeset
92 _Bool QuietLessEqual(double f1, double f2) {
anatofuz
parents:
diff changeset
93 // CHECK-LABEL: define {{.*}}i1 @QuietLessEqual(double %f1, double %f2)
anatofuz
parents:
diff changeset
94
anatofuz
parents:
diff changeset
95 // FCMP: fcmp ole double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
96 // IGNORE: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"ole", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
97 // EXCEPT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"ole", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
98 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"ole", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
99 return __builtin_islessequal(f1, f2);
anatofuz
parents:
diff changeset
100
anatofuz
parents:
diff changeset
101 // CHECK: ret
anatofuz
parents:
diff changeset
102 }
anatofuz
parents:
diff changeset
103
anatofuz
parents:
diff changeset
104 _Bool QuietGreater(double f1, double f2) {
anatofuz
parents:
diff changeset
105 // CHECK-LABEL: define {{.*}}i1 @QuietGreater(double %f1, double %f2)
anatofuz
parents:
diff changeset
106
anatofuz
parents:
diff changeset
107 // FCMP: fcmp ogt double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
108 // IGNORE: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"ogt", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
109 // EXCEPT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"ogt", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
110 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"ogt", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
111 return __builtin_isgreater(f1, f2);
anatofuz
parents:
diff changeset
112
anatofuz
parents:
diff changeset
113 // CHECK: ret
anatofuz
parents:
diff changeset
114 }
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 _Bool QuietGreaterEqual(double f1, double f2) {
anatofuz
parents:
diff changeset
117 // CHECK-LABEL: define {{.*}}i1 @QuietGreaterEqual(double %f1, double %f2)
anatofuz
parents:
diff changeset
118
anatofuz
parents:
diff changeset
119 // FCMP: fcmp oge double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
120 // IGNORE: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"oge", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
121 // EXCEPT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"oge", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
122 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"oge", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
123 return __builtin_isgreaterequal(f1, f2);
anatofuz
parents:
diff changeset
124
anatofuz
parents:
diff changeset
125 // CHECK: ret
anatofuz
parents:
diff changeset
126 }
anatofuz
parents:
diff changeset
127
anatofuz
parents:
diff changeset
128 _Bool QuietLessGreater(double f1, double f2) {
anatofuz
parents:
diff changeset
129 // CHECK-LABEL: define {{.*}}i1 @QuietLessGreater(double %f1, double %f2)
anatofuz
parents:
diff changeset
130
anatofuz
parents:
diff changeset
131 // FCMP: fcmp one double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
132 // IGNORE: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"one", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
133 // EXCEPT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"one", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
134 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"one", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
135 return __builtin_islessgreater(f1, f2);
anatofuz
parents:
diff changeset
136
anatofuz
parents:
diff changeset
137 // CHECK: ret
anatofuz
parents:
diff changeset
138 }
anatofuz
parents:
diff changeset
139
anatofuz
parents:
diff changeset
140 _Bool QuietUnordered(double f1, double f2) {
anatofuz
parents:
diff changeset
141 // CHECK-LABEL: define {{.*}}i1 @QuietUnordered(double %f1, double %f2)
anatofuz
parents:
diff changeset
142
anatofuz
parents:
diff changeset
143 // FCMP: fcmp uno double %{{.*}}, %{{.*}}
anatofuz
parents:
diff changeset
144 // IGNORE: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"uno", metadata !"fpexcept.ignore")
anatofuz
parents:
diff changeset
145 // EXCEPT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"uno", metadata !"fpexcept.strict")
anatofuz
parents:
diff changeset
146 // MAYTRAP: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double %{{.*}}, metadata !"uno", metadata !"fpexcept.maytrap")
anatofuz
parents:
diff changeset
147 return __builtin_isunordered(f1, f2);
anatofuz
parents:
diff changeset
148
anatofuz
parents:
diff changeset
149 // CHECK: ret
anatofuz
parents:
diff changeset
150 }
anatofuz
parents:
diff changeset
151