1 // RUN: %clang_cc1 -emit-llvm -o %t %s
2 // RUN: not grep __builtin %t
3 // RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-darwin-apple | FileCheck %s
5 int printf(const char *, ...);
7 void p(char *str
, int x
) {
8 printf("%s: %d\n", str
, x
);
10 void q(char *str
, double x
) {
11 printf("%s: %f\n", str
, x
);
13 void r(char *str
, void *ptr
) {
14 printf("%s: %p\n", str
, ptr
);
21 #define P(n,args) p(#n #args, __builtin_##n args)
22 #define Q(n,args) q(#n #args, __builtin_##n args)
23 #define R(n,args) r(#n #args, __builtin_##n args)
24 #define V(n,args) p(#n #args, (__builtin_##n args, 0))
25 P(types_compatible_p
, (int, float));
26 P(choose_expr
, (0, 10, 20));
27 P(constant_p
, (sizeof(10)));
28 P(expect
, (N
== 12, 0));
31 V(prefetch
, (&N
, 1, 0));
42 P(fpclassify
, (0, 1, 2, 3, 4, 1.0));
43 P(fpclassify
, (0, 1, 2, 3, 4, 1.0f
));
44 P(fpclassify
, (0, 1, 2, 3, 4, 1.0l));
46 // P(isinf_sign, (1.0));
57 P(isgreater
, (1., 2.));
58 P(isgreaterequal
, (1., 2.));
60 P(islessequal
, (1., 2.));
61 P(islessgreater
, (1., 2.));
62 P(isunordered
, (1., 2.));
66 // Bitwise & Numeric Functions
90 int a
, b
, n
= random(); // Avoid optimizing out.
91 char s0
[10], s1
[] = "Hello";
94 V(strncat
, (s0
, s1
, n
));
95 V(strchr
, (s0
, s1
[0]));
96 V(strrchr
, (s0
, s1
[0]));
98 V(strncpy
, (s0
, s1
, n
));
100 // Object size checking
101 V(__memset_chk
, (s0
, 0, sizeof s0
, n
));
102 V(__memcpy_chk
, (s0
, s1
, sizeof s0
, n
));
103 V(__memmove_chk
, (s0
, s1
, sizeof s0
, n
));
104 V(__mempcpy_chk
, (s0
, s1
, sizeof s0
, n
));
105 V(__strncpy_chk
, (s0
, s1
, sizeof s0
, n
));
106 V(__strcpy_chk
, (s0
, s1
, n
));
108 V(__strcat_chk
, (s0
, s1
, n
));
109 P(object_size
, (s0
, 0));
110 P(object_size
, (s0
, 1));
111 P(object_size
, (s0
, 2));
112 P(object_size
, (s0
, 3));
119 // V(clear_cache, (&N, &N+1));
121 R(extract_return_addr
, (&N
));
130 __builtin_strcat(0, 0);
133 // CHECK: define void @bar(
139 // LLVM's hex representation of float constants is really unfortunate;
140 // basically it does a float-to-double "conversion" and then prints the
141 // hex form of that. That gives us wierd artifacts like exponents
142 // that aren't numerically similar to the original exponent and
143 // significand bit-patterns that are offset by three bits (because
144 // the exponent was expanded from 8 bits to 11).
146 // 0xAE98 == 1010111010011000
147 // 0x15D3 == 1010111010011
149 f
= __builtin_huge_valf(); // CHECK: float 0x7FF0000000000000
150 d
= __builtin_huge_val(); // CHECK: double 0x7FF0000000000000
151 ld
= __builtin_huge_vall(); // CHECK: x86_fp80 0xK7FFF8000000000000000
152 f
= __builtin_nanf(""); // CHECK: float 0x7FF8000000000000
153 d
= __builtin_nan(""); // CHECK: double 0x7FF8000000000000
154 ld
= __builtin_nanl(""); // CHECK: x86_fp80 0xK7FFFC000000000000000
155 f
= __builtin_nanf("0xAE98"); // CHECK: float 0x7FF815D300000000
156 d
= __builtin_nan("0xAE98"); // CHECK: double 0x7FF800000000AE98
157 ld
= __builtin_nanl("0xAE98"); // CHECK: x86_fp80 0xK7FFFC00000000000AE98
158 f
= __builtin_nansf(""); // CHECK: float 0x7FF4000000000000
159 d
= __builtin_nans(""); // CHECK: double 0x7FF4000000000000
160 ld
= __builtin_nansl(""); // CHECK: x86_fp80 0xK7FFFA000000000000000
161 f
= __builtin_nansf("0xAE98"); // CHECK: float 0x7FF015D300000000
162 d
= __builtin_nans("0xAE98"); // CHECK: double 0x7FF000000000AE98
163 ld
= __builtin_nansl("0xAE98");// CHECK: x86_fp80 0xK7FFF800000000000AE98
169 // CHECK: define void @test_float_builtins
170 void test_float_builtins(float F
, double D
, long double LD
) {
172 res
= __builtin_isinf(F
);
173 // CHECK: call float @fabsf(float
174 // CHECK: fcmp oeq float {{.*}}, 0x7FF0000000000000
176 res
= __builtin_isinf(D
);
177 // CHECK: call double @fabs(double
178 // CHECK: fcmp oeq double {{.*}}, 0x7FF0000000000000
180 res
= __builtin_isinf(LD
);
181 // CHECK: call x86_fp80 @fabsl(x86_fp80
182 // CHECK: fcmp oeq x86_fp80 {{.*}}, 0xK7FFF8000000000000000
184 res
= __builtin_isfinite(F
);
185 // CHECK: fcmp oeq float
186 // CHECK: call float @fabsf
187 // CHECK: fcmp une float {{.*}}, 0x7FF0000000000000
190 res
= __builtin_isnormal(F
);
191 // CHECK: fcmp oeq float
192 // CHECK: call float @fabsf
193 // CHECK: fcmp ult float {{.*}}, 0x7FF0000000000000
194 // CHECK: fcmp uge float {{.*}}, 0x3810000000000000
199 // CHECK: define void @test_builtin_longjmp
200 void test_builtin_longjmp(void **buffer
) {
201 // CHECK: [[BITCAST:%.*]] = bitcast
202 // CHECK-NEXT: call void @llvm.eh.sjlj.longjmp(i8* [[BITCAST]])
203 __builtin_longjmp(buffer
, 1);
204 // CHECK-NEXT: unreachable