testcase for rts library call optimization

[r16380]

diff --git a/ir/be/test/rtsopt.c b/ir/be/test/rtsopt.c
new file mode 100644 (file)
index 0000000..2599eac
--- /dev/null
+++ b/ir/be/test/rtsopt.c
@@ -0,0 +1,251 @@
+#include <math.h>
+#include <string.h>
+#include <stdlib.h>
+#include <stdio.h>
+
+/* transform info memcpy(test + strlen(test), "ab", 2), gcc(+), icc(-) */
+char *test_strcat(void) {
+       static char test[10] = "ab";
+       return strcat(test, "bc");
+}
+
+/* evaluate, gcc(+), icc(-) */
+char *test_strchr(void) {
+       return strchr("abc", 'b');
+}
+
+/* evaluate, gcc(+), icc(-) */
+char *test_strrchr(void) {
+       return strrchr("abc", 'b');
+}
+
+/* evaluate into 0, gcc(+) , icc(-)*/
+int test_strcmp1(const char *s) {
+       return strcmp(s, s);
+}
+
+/* transform info -(*s), gcc(+), icc(-) */
+int test_strcmp2(const char *s) {
+       return strcmp("", s);
+}
+
+/* transform info *s, gcc(+), icc(-) */
+int test_strcmp3(const char *s) {
+       return strcmp(s, "");
+}
+
+/* evaluate, gcc(+), icc(-)     */
+int test_strcmp4(void) {
+       return strcmp("ab", "cd");
+}
+
+/* evaluate into 0, gcc(+), icc(-) */
+int test_strncmp1(const char *s, int len) {
+       return strncmp(s, s, len);
+}
+
+/* transform info -(*s), gcc(+), icc(-) */
+int test_strncmp2(const char *s) {
+       return strncmp("", s, 1);
+}
+
+/* transform info *s, gcc(+), icc(-) */
+int test_strncmp3(const char *s) {
+       return strncmp(s, "", 1);
+}
+
+/* evaluate, gcc(+) */
+int test_strncmp4(void) {
+       return strncmp("ab", "cd", 2);
+}
+
+/* transform into *s = '\0', s, gcc(+), icc(-) */
+char *test_strcpy1(char *s) {
+       return strcpy(s, "");
+}
+
+/* transform into memcpy(s, c, len(c)+1), gcc(+), icc(-) */
+char *test_strcpy2(char *s) {
+       return strcpy(s, "ab");
+}
+
+/* evaluate, gcc(+), icc(+) */
+int test_strlen(void) {
+       return strlen("ab");
+}
+
+/* transform into d, gcc(+), icc(+) */
+void *test_memcpy1(void *d, void *s) {
+       return memcpy(d, s, 0);
+}
+
+/* transform into *(char *)d = *(char *)s, d, gcc(+), icc(+) */
+void *test_memcpy2(void *d, void *s) {
+       return memcpy(d, s, 1);
+}
+
+/* transform into *(short *)d = *(short *)s, d, gcc(+), icc(+) */
+void *test_memcpy3(short *d, short *s) {
+       return memcpy(d, s, 2);
+}
+
+/* transform into *(int *)d = *(int *)s, d, gcc(+), icc(+) */
+void *test_memcpy4(int *d, int *s) {
+       return memcpy(d, s, 4);
+}
+
+/* transform into *(long long *)d = *(long long *)s, d, gcc(+), icc(+) */
+void *test_memcpy5(long long *d, long long *s) {
+       return memcpy(d, s, 8);
+}
+
+/* transform into d, gcc(+), icc(+) */
+void *test_memset1(void *d, int C) {
+       return memset(d, C, 0);
+}
+
+/* transform into *(char *)d = (char)C, d, gcc(+), icc(+) */
+void *test_memset2(void *d, int C) {
+       return memset(d, C, 1);
+}
+
+/* transform into *(short *)d = (short)((char)C * 0x0101), d, gcc(+), icc(+) */
+void *test_memset3(short *d, int C) {
+       return memset(d, C, 2);
+}
+
+/* transform into *(int *)d = (int)((char)C * 0x01010101), d, gcc(+), icc(+) */
+void *test_memset4(int *d, int C) {
+       return memset(d, C, 4);
+}
+
+/* transform into *(long long *)d = (long long)((char)C) * 0x0101010101010101, d, gcc(+), icc(+) */
+void *test_memset5(long long *d, int C) {
+       return memset(d, C, 8);
+}
+
+/* evaluate into 1.0, gcc(+), icc(-) */
+double test_pow1(double a) {
+       return pow(1.0, a);
+}
+
+/* evaluate into 1.0, gcc(+), icc(+) */
+double test_pow2(double a) {
+       return pow(a, 0.0);
+}
+
+/* transform into sqrt(a), gcc(-), icc(+) */
+double test_pow3(double a) {
+       return pow(a, 0.5);
+}
+
+/* evaluate into a, gcc(+), icc(+) */
+double test_pow4(double a) {
+       return pow(a, 1.0);
+}
+
+/* evaluate into 1.0/a. gcc(+), icc(+) */
+double test_pow5(double a) {
+       return pow(a, -1.0);
+}
+
+/* transform into putchar, gcc(+), icc(-) */
+void test_printf1() {
+       printf("\n");
+}
+
+/* transform into putchar(c), gcc(+), icc(+) */
+void test_printf2(char c) {
+       printf("%c", c);
+}
+
+/* transform into puts(s), gcc(+), icc(-) */
+void test_printf3(char *s) {
+       printf("%s\n", s);
+}
+
+/* transform into fwrite(s,strlen(s),f), gcc(+) OR fputs(s, f), icc(+) */
+void test_fprintf1(FILE *f) {
+       fprintf(f, "ab");
+}
+
+/* transform into fputc(c,f), gcc(+), icc(+) */
+void test_fprintf2(FILE *f, char c) {
+       fprintf(f, "%c", c);
+}
+
+/* transform into fputs(s,file), gcc(+), icc(+) */
+void test_fprintf3(FILE *f, char *s) {
+       fprintf(f, "%s", s);
+}
+
+/* transform into memcpy(d,s,strlen(s)+1,1), gcc(+), icc(-) */
+void test_sprintf1(char *d) {
+       sprintf(d, "ab");
+}
+
+/* transform into d[0] = c; d[1] = '\0';, gcc(-), icc(-) */
+void test_sprintf2(char *d, char c) {
+       sprintf(d, "%c", c);
+}
+
+/* transform into memcpy(d, s, strlen(s)+1, 1)), gcc(-), icc(-) */
+void test_sprintf3(char *d, char *s) {
+       sprintf("%s", s);
+}
+
+/* transform fwrite(s,1,strlen(s),F), gcc(+), icc(-) */
+void test_fputs(FILE *f) {
+       fputs("abs", f);
+}
+
+/* evaluate to 0, gcc(-), icc(-) */
+int test_fwrite1(FILE *f, char *s, int l) {
+       return fwrite(s, 0, l, f);
+}
+
+/* evaluate to 0, gcc(-), icc(-) */
+int test_fwrite2(FILE *f, char *s, int l) {
+       return fwrite(s, l, 0, f);
+}
+
+/* transform into fputc(s[0],F) if this is usefull ..., gcc(-), icc(-) */
+int test_fwrite3(FILE *f, char *s, int l) {
+       return fwrite(s,1,1,f);
+}
+
+/* transform into cos(x), gcc(+), icc(-) */
+double test_cos(double x) {
+       return cos(-x);
+}
+
+/* transform into cosf(x), gcc(+), icc(-) */
+float test_cosf(float x) {
+       return cosf(-x);
+}
+
+/* transform into cosl(x), gcc(+), icc(-) */
+long double test_cosl(long double x) {
+       return cosl(-x);
+}
+
+/* evaluate into 0.0, gcc(+), icc(+) */
+double test_sqrt1() {
+       return sqrt(0.0);
+}
+
+/* evaluate into 1.0, gcc(+), icc(+) */
+double test_sqrt2() {
+       return sqrt(1.0);
+}
+
+/* evaluate, gcc(+), icc(+) */
+double test_sqrt3() {
+       return sqrt(7.345);
+}
+
+/* transform exit(3) into a return 3, gcc(-), icc(-) */
+int main() {
+       exit(3);
+       return 0;
+}