6 /* transform info memcpy(test + strlen(test), "ab", 2), gcc(+), icc(-) */
7 char *test_strcat(void) {
8 static char test[10] = "ab";
9 return strcat(test, "bc");
12 /* evaluate, gcc(+), icc(-) */
13 char *test_strchr(void) {
14 return strchr("abc", 'b');
17 /* evaluate, gcc(+), icc(-) */
18 char *test_strrchr(void) {
19 return strrchr("abc", 'b');
22 /* evaluate into 0, gcc(+) , icc(-)*/
23 int test_strcmp1(const char *s) {
27 /* transform info -(*s), gcc(+), icc(-) */
28 int test_strcmp2(const char *s) {
32 /* transform info *s, gcc(+), icc(-) */
33 int test_strcmp3(const char *s) {
37 /* evaluate, gcc(+), icc(-) */
38 int test_strcmp4(void) {
39 return strcmp("ab", "cd");
42 /* evaluate into 0, gcc(+), icc(-) */
43 int test_strncmp1(const char *s, int len) {
44 return strncmp(s, s, len);
47 /* transform info -(*s), gcc(+), icc(-) */
48 int test_strncmp2(const char *s) {
49 return strncmp("", s, 1);
52 /* transform info *s, gcc(+), icc(-) */
53 int test_strncmp3(const char *s) {
54 return strncmp(s, "", 1);
57 /* evaluate, gcc(+) */
58 int test_strncmp4(void) {
59 return strncmp("ab", "cd", 2);
62 /* transform into *s = '\0', s, gcc(+), icc(-) */
63 char *test_strcpy1(char *s) {
67 /* transform into memcpy(s, c, len(c)+1), gcc(+), icc(-) */
68 char *test_strcpy2(char *s) {
69 return strcpy(s, "ab");
72 /* evaluate, gcc(+), icc(+) */
73 int test_strlen(void) {
77 /* transform into d, gcc(+), icc(+) */
78 void *test_memcpy1(void *d, void *s) {
79 return memcpy(d, s, 0);
82 /* transform into *(char *)d = *(char *)s, d, gcc(+), icc(+) */
83 void *test_memcpy2(void *d, void *s) {
84 return memcpy(d, s, 1);
87 /* transform into *(short *)d = *(short *)s, d, gcc(+), icc(+) */
88 void *test_memcpy3(short *d, short *s) {
89 return memcpy(d, s, 2);
92 /* transform into *(int *)d = *(int *)s, d, gcc(+), icc(+) */
93 void *test_memcpy4(int *d, int *s) {
94 return memcpy(d, s, 4);
97 /* transform into *(long long *)d = *(long long *)s, d, gcc(+), icc(+) */
98 void *test_memcpy5(long long *d, long long *s) {
99 return memcpy(d, s, 8);
102 /* transform into d, gcc(+), icc(+) */
103 void *test_memset1(void *d, int C) {
104 return memset(d, C, 0);
107 /* transform into *(char *)d = (char)C, d, gcc(+), icc(+) */
108 void *test_memset2(void *d, int C) {
109 return memset(d, C, 1);
112 /* transform into *(short *)d = (short)((char)C * 0x0101), d, gcc(+), icc(+) */
113 void *test_memset3(short *d, int C) {
114 return memset(d, C, 2);
117 /* transform into *(int *)d = (int)((char)C * 0x01010101), d, gcc(+), icc(+) */
118 void *test_memset4(int *d, int C) {
119 return memset(d, C, 4);
122 /* transform into *(long long *)d = (long long)((char)C) * 0x0101010101010101, d, gcc(+), icc(+) */
123 void *test_memset5(long long *d, int C) {
124 return memset(d, C, 8);
127 /* evaluate into 1.0, gcc(+), icc(-) */
128 double test_pow1(double a) {
132 /* evaluate into 1.0, gcc(+), icc(+) */
133 double test_pow2(double a) {
137 /* transform into sqrt(a), gcc(-), icc(+) */
138 double test_pow3(double a) {
142 /* evaluate into a, gcc(+), icc(+) */
143 double test_pow4(double a) {
147 /* evaluate into 1.0/a. gcc(+), icc(+) */
148 double test_pow5(double a) {
152 /* transform into putchar, gcc(+), icc(-) */
153 void test_printf1() {
157 /* transform into putchar(c), gcc(+), icc(+) */
158 void test_printf2(char c) {
162 /* transform into puts(s), gcc(+), icc(-) */
163 void test_printf3(char *s) {
167 /* transform into fwrite(s,strlen(s),f), gcc(+) OR fputs(s, f), icc(+) */
168 void test_fprintf1(FILE *f) {
172 /* transform into fputc(c,f), gcc(+), icc(+) */
173 void test_fprintf2(FILE *f, char c) {
177 /* transform into fputs(s,file), gcc(+), icc(+) */
178 void test_fprintf3(FILE *f, char *s) {
182 /* transform into memcpy(d,s,strlen(s)+1,1), gcc(+), icc(-) */
183 void test_sprintf1(char *d) {
187 /* transform into d[0] = c; d[1] = '\0';, gcc(-), icc(-) */
188 void test_sprintf2(char *d, char c) {
192 /* transform into memcpy(d, s, strlen(s)+1, 1)), gcc(-), icc(-) */
193 void test_sprintf3(char *d, char *s) {
197 /* transform fwrite(s,1,strlen(s),F), gcc(+), icc(-) */
198 void test_fputs(FILE *f) {
202 /* evaluate to 0, gcc(-), icc(-) */
203 int test_fwrite1(FILE *f, char *s, int l) {
204 return fwrite(s, 0, l, f);
207 /* evaluate to 0, gcc(-), icc(-) */
208 int test_fwrite2(FILE *f, char *s, int l) {
209 return fwrite(s, l, 0, f);
212 /* transform into fputc(s[0],F) if this is usefull ..., gcc(-), icc(-) */
213 int test_fwrite3(FILE *f, char *s, int l) {
214 return fwrite(s,1,1,f);
217 /* transform into cos(x), gcc(+), icc(-) */
218 double test_cos(double x) {
222 /* transform into cosf(x), gcc(+), icc(-) */
223 float test_cosf(float x) {
227 /* transform into cosl(x), gcc(+), icc(-) */
228 long double test_cosl(long double x) {
232 /* evaluate into 0.0, gcc(+), icc(+) */
233 double test_sqrt1() {
237 /* evaluate into 1.0, gcc(+), icc(+) */
238 double test_sqrt2() {
242 /* evaluate, gcc(+), icc(+) */
243 double test_sqrt3() {
247 /* transform exit(3) into a return 3, gcc(-), icc(-) */