1 // RUN: %clang_cc1 -S -emit-llvm -fno-builtin -o - %s | FileCheck --check-prefixes=GLOBAL,CHECK %s
2 // RUN: %clang_cc1 -S -emit-llvm -fno-builtin-ceil -fno-builtin-copysign -fno-builtin-cos \
3 // RUN:  -fno-builtin-fabs -fno-builtin-floor -fno-builtin-strcat -fno-builtin-strncat \
4 // RUN:  -fno-builtin-strchr -fno-builtin-strrchr -fno-builtin-strcmp -fno-builtin-strncmp \
5 // RUN:  -fno-builtin-strcpy -fno-builtin-stpcpy -fno-builtin-strncpy -fno-builtin-strlen \
6 // RUN:  -fno-builtin-strpbrk -fno-builtin-strspn -fno-builtin-strtod -fno-builtin-strtof \
7 // RUN:  -fno-builtin-strtold -fno-builtin-strtol -fno-builtin-strtoll -fno-builtin-strtoul \
8 // RUN:  -fno-builtin-strtoull -fno-builtin-fread -fno-builtin-fwrite -fno-builtin-fopen \
9 // RUN:  -o - %s | FileCheck --check-prefixes=INDIVIDUAL,CHECK %s
10 // RUN: %clang_cc1 -S -O3 -fno-builtin -o - %s | FileCheck --check-prefix=ASM %s
11 // RUN: %clang_cc1 -S -O3 -fno-builtin-ceil -o - %s | FileCheck --check-prefix=ASM-INDIV %s
12 
13 // rdar://10551066
14 
15 typedef __SIZE_TYPE__ size_t;
16 typedef struct FILE FILE;
17 
18 double ceil(double x);
19 double copysign(double,double);
20 double cos(double x);
21 double fabs(double x);
22 double floor(double x);
23 char *strcat(char *s1, const char *s2);
24 char *strncat(char *s1, const char *s2, size_t n);
25 char *strchr(const char *s, int c);
26 char *strrchr(const char *s, int c);
27 int strcmp(const char *s1, const char *s2);
28 int strncmp(const char *s1, const char *s2, size_t n);
29 char *strcpy(char *s1, const char *s2);
30 char *stpcpy(char *s1, const char *s2);
31 char *strncpy(char *s1, const char *s2, size_t n);
32 size_t strlen(const char *s);
33 char *strpbrk(const char *s1, const char *s2);
34 size_t strspn(const char *s1, const char *s2);
35 double strtod(const char *nptr, char **endptr);
36 float strtof(const char *nptr, char **endptr);
37 long double strtold(const char *nptr, char **endptr);
38 long int strtol(const char *nptr, char **endptr, int base);
39 long long int strtoll(const char *nptr, char **endptr, int base);
40 unsigned long int strtoul(const char *nptr, char **endptr, int base);
41 unsigned long long int strtoull(const char *nptr, char **endptr, int base);
42 size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream);
43 size_t fwrite(const void *ptr, size_t size, size_t nmemb,
44               FILE *stream);
45 FILE *fopen(const char *path, const char *mode);
46 
t1(double x)47 double t1(double x) { return ceil(x); }
48 // CHECK-LABEL: t1
49 // CHECK: call{{.*}}@ceil{{.*}} [[ATTR:#[0-9]+]]
50 
51 // ASM: t1
52 // ASM: ceil
53 
54 // ASM-INDIV: t1
55 // ASM-INDIV: ceil
56 
t2(double x,double y)57 double t2(double x, double y) { return copysign(x,y); }
58 // CHECK-LABEL: t2
59 // CHECK: call{{.*}}@copysign{{.*}} #2
60 
t3(double x)61 double t3(double x) { return cos(x); }
62 // CHECK-LABEL: t3
63 // CHECK: call{{.*}}@cos{{.*}} #2
64 
t4(double x)65 double t4(double x) { return fabs(x); }
66 // CHECK-LABEL: t4
67 // CHECK: call{{.*}}@fabs{{.*}} #2
68 
t5(double x)69 double t5(double x) { return floor(x); }
70 // CHECK-LABEL: t5
71 // CHECK: call{{.*}}@floor{{.*}} #2
72 
t6(char * x)73 char *t6(char *x) { return strcat(x, ""); }
74 // CHECK-LABEL: t6
75 // CHECK: call{{.*}}@strcat{{.*}} #2
76 
t7(char * x)77 char *t7(char *x) { return strncat(x, "", 1); }
78 // CHECK-LABEL: t7
79 // CHECK: call{{.*}}@strncat{{.*}} #2
80 
t8(void)81 char *t8(void) { return strchr("hello, world", 'w'); }
82 // CHECK-LABEL: t8
83 // CHECK: call{{.*}}@strchr{{.*}} #2
84 
t9(void)85 char *t9(void) { return strrchr("hello, world", 'w'); }
86 // CHECK-LABEL: t9
87 // CHECK: call{{.*}}@strrchr{{.*}} #2
88 
t10(void)89 int t10(void) { return strcmp("foo", "bar"); }
90 // CHECK-LABEL: t10
91 // CHECK: call{{.*}}@strcmp{{.*}} #2
92 
t11(void)93 int t11(void) { return strncmp("foo", "bar", 3); }
94 // CHECK-LABEL: t11
95 // CHECK: call{{.*}}@strncmp{{.*}} #2
96 
t12(char * x)97 char *t12(char *x) { return strcpy(x, "foo"); }
98 // CHECK-LABEL: t12
99 // CHECK: call{{.*}}@strcpy{{.*}} #2
100 
t13(char * x)101 char *t13(char *x) { return stpcpy(x, "foo"); }
102 // CHECK-LABEL: t13
103 // CHECK: call{{.*}}@stpcpy{{.*}} #2
104 
t14(char * x)105 char *t14(char *x) { return strncpy(x, "foo", 3); }
106 // CHECK-LABEL: t14
107 // CHECK: call{{.*}}@strncpy{{.*}} #2
108 
t15(void)109 size_t t15(void) { return strlen("foo"); }
110 // CHECK-LABEL: t15
111 // CHECK: call{{.*}}@strlen{{.*}} #2
112 
t16(char * x)113 char *t16(char *x) { return strpbrk(x, ""); }
114 // CHECK-LABEL: t16
115 // CHECK: call{{.*}}@strpbrk{{.*}} #2
116 
t17(char * x)117 size_t t17(char *x) { return strspn(x, ""); }
118 // CHECK-LABEL: t17
119 // CHECK: call{{.*}}@strspn{{.*}} #2
120 
t18(char ** x)121 double t18(char **x) { return strtod("123.4", x); }
122 // CHECK-LABEL: t18
123 // CHECK: call{{.*}}@strtod{{.*}} #2
124 
t19(char ** x)125 float t19(char **x) { return strtof("123.4", x); }
126 // CHECK-LABEL: t19
127 // CHECK: call{{.*}}@strtof{{.*}} #2
128 
t20(char ** x)129 long double t20(char **x) { return strtold("123.4", x); }
130 // CHECK-LABEL: t20
131 // CHECK: call{{.*}}@strtold{{.*}} #2
132 
t21(char ** x)133 long int t21(char **x) { return strtol("1234", x, 10); }
134 // CHECK-LABEL: t21
135 // CHECK: call{{.*}}@strtol{{.*}} #2
136 
t22(char ** x)137 long int t22(char **x) { return strtoll("1234", x, 10); }
138 // CHECK-LABEL: t22
139 // CHECK: call{{.*}}@strtoll{{.*}} #2
140 
t23(char ** x)141 long int t23(char **x) { return strtoul("1234", x, 10); }
142 // CHECK-LABEL: t23
143 // CHECK: call{{.*}}@strtoul{{.*}} #2
144 
t24(char ** x)145 long int t24(char **x) { return strtoull("1234", x, 10); }
146 // CHECK-LABEL: t24
147 // CHECK: call{{.*}}@strtoull{{.*}} #2
148 
t25(FILE * fp,int * buf)149 void t25(FILE *fp, int *buf) {
150   size_t x = fwrite(buf, sizeof(int), 10, fp);
151   size_t y = fread(buf, sizeof(int), 10, fp);
152 }
153 // CHECK-LABEL: t25
154 // CHECK: call{{.*}}@fwrite{{.*}} #2
155 // CHECK: call{{.*}}@fread{{.*}} #2
156 
t26(const char * path,const char * mode)157 FILE *t26(const char *path, const char *mode) {
158   return fopen(path, mode);
159 }
160 // CHECK-LABEL: t26
161 // CHECK: call{{.*}}@fopen{{.*}} #2
162 
163 // GLOBAL: #2 = { nobuiltin "no-builtins" }
164 // INDIVIDUAL: #2 = { nobuiltin "no-builtin-ceil" "no-builtin-copysign" "no-builtin-cos" "no-builtin-fabs" "no-builtin-floor" "no-builtin-fopen" "no-builtin-fread" "no-builtin-fwrite" "no-builtin-stpcpy" "no-builtin-strcat" "no-builtin-strchr" "no-builtin-strcmp" "no-builtin-strcpy" "no-builtin-strlen" "no-builtin-strncat" "no-builtin-strncmp" "no-builtin-strncpy" "no-builtin-strpbrk" "no-builtin-strrchr" "no-builtin-strspn" "no-builtin-strtod" "no-builtin-strtof" "no-builtin-strtol" "no-builtin-strtold" "no-builtin-strtoll" "no-builtin-strtoul" "no-builtin-strtoull" }
165