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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
// RUN: %clang_cc1 -S -O3 -fno-builtin -o - %s | FileCheck %s
// rdar://10551066
typedef __SIZE_TYPE__ size_t;
double ceil(double x);
double copysign(double,double);
double cos(double x);
double fabs(double x);
double floor(double x);
char *strcat(char *s1, const char *s2);
char *strncat(char *s1, const char *s2, size_t n);
char *strchr(const char *s, int c);
char *strrchr(const char *s, int c);
int strcmp(const char *s1, const char *s2);
int strncmp(const char *s1, const char *s2, size_t n);
char *strcpy(char *s1, const char *s2);
char *stpcpy(char *s1, const char *s2);
char *strncpy(char *s1, const char *s2, size_t n);
size_t strlen(const char *s);
char *strpbrk(const char *s1, const char *s2);
size_t strspn(const char *s1, const char *s2);
double strtod(const char *nptr, char **endptr);
float strtof(const char *nptr, char **endptr);
long double strtold(const char *nptr, char **endptr);
long int strtol(const char *nptr, char **endptr, int base);
long long int strtoll(const char *nptr, char **endptr, int base);
unsigned long int strtoul(const char *nptr, char **endptr, int base);
unsigned long long int strtoull(const char *nptr, char **endptr, int base);
double t1(double x) { return ceil(x); }
// CHECK: t1
// CHECK: ceil
double t2(double x, double y) { return copysign(x,y); }
// CHECK: t2
// CHECK: copysign
double t3(double x) { return cos(x); }
// CHECK: t3
// CHECK: cos
double t4(double x) { return fabs(x); }
// CHECK: t4
// CHECK: fabs
double t5(double x) { return floor(x); }
// CHECK: t5
// CHECK: floor
char *t6(char *x) { return strcat(x, ""); }
// CHECK: t6
// CHECK: strcat
char *t7(char *x) { return strncat(x, "", 1); }
// CHECK: t7
// CHECK: strncat
char *t8(void) { return strchr("hello, world", 'w'); }
// CHECK: t8
// CHECK: strchr
char *t9(void) { return strrchr("hello, world", 'w'); }
// CHECK: t9
// CHECK: strrchr
int t10(void) { return strcmp("foo", "bar"); }
// CHECK: t10
// CHECK: strcmp
int t11(void) { return strncmp("foo", "bar", 3); }
// CHECK: t11
// CHECK: strncmp
char *t12(char *x) { return strcpy(x, "foo"); }
// CHECK: t12
// CHECK: strcpy
char *t13(char *x) { return stpcpy(x, "foo"); }
// CHECK: t13
// CHECK: stpcpy
char *t14(char *x) { return strncpy(x, "foo", 3); }
// CHECK: t14
// CHECK: strncpy
size_t t15(void) { return strlen("foo"); }
// CHECK: t15
// CHECK: strlen
char *t16(char *x) { return strpbrk(x, ""); }
// CHECK: t16
// CHECK: strpbrk
size_t t17(char *x) { return strspn(x, ""); }
// CHECK: t17
// CHECK: strspn
double t18(char **x) { return strtod("123.4", x); }
// CHECK: t18
// CHECK: strtod
float t19(char **x) { return strtof("123.4", x); }
// CHECK: t19
// CHECK: strtof
long double t20(char **x) { return strtold("123.4", x); }
// CHECK: t20
// CHECK: strtold
long int t21(char **x) { return strtol("1234", x, 10); }
// CHECK: t21
// CHECK: strtol
long int t22(char **x) { return strtoll("1234", x, 10); }
// CHECK: t22
// CHECK: strtoll
long int t23(char **x) { return strtoul("1234", x, 10); }
// CHECK: t23
// CHECK: strtoul
long int t24(char **x) { return strtoull("1234", x, 10); }
// CHECK: t24
// CHECK: strtoull
|
