Third iteration of tests, where I added both GENERIC and GIMPLE folding
tests.
Martin
>From ac9020c31a6f5291c896a90aae594dd564420d95 Mon Sep 17 00:00:00 2001
From: marxin <mli...@suse.cz>
Date: Tue, 16 Aug 2016 15:56:01 +0200
Subject: [PATCH 5/5] Test folding of str{n}{case}cmp and memchr
gcc/testsuite/ChangeLog:
2016-08-16 Martin Liska <mli...@suse.cz>
* gcc.dg/tree-ssa/builtins-folding-generic.c: New test.
* gcc.dg/tree-ssa/builtins-folding-gimple.c: New test.
---
.../gcc.dg/tree-ssa/builtins-folding-generic.c | 76 +++++++++++++
.../gcc.dg/tree-ssa/builtins-folding-gimple.c | 126 +++++++++++++++++++++
2 files changed, 202 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-generic.c
create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple.c
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-generic.c b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-generic.c
new file mode 100644
index 0000000..387be83
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-generic.c
@@ -0,0 +1,76 @@
+/* { dg-do run } */
+/* { dg-options "-O2 -fdump-tree-original" } */
+
+char *buffer1;
+char *buffer2;
+
+#define SIZE 1000
+
+int
+main (void)
+{
+ const char* const foo1 = "hello world";
+
+ buffer1 = __builtin_malloc (SIZE);
+ __builtin_strcpy (buffer1, foo1);
+ buffer2 = __builtin_malloc (SIZE);
+ __builtin_strcpy (buffer2, foo1);
+
+ /* MEMCHR. */
+ if (__builtin_memchr ("hello world", 'x', 11))
+ __builtin_abort ();
+ if (__builtin_memchr ("hello world", 'x', 0) != 0)
+ __builtin_abort ();
+ if (__builtin_memchr ("hello world", 'w', 2))
+ __builtin_abort ();
+ if (__builtin_memchr ("hello world", 'd', 10))
+ __builtin_abort ();
+ if (__builtin_memchr ("hello world", '\0', 11))
+ __builtin_abort ();
+
+ /* STRCMP. */
+ if (__builtin_strcmp ("hello", "aaaaa") <= 0)
+ __builtin_abort ();
+ if (__builtin_strcmp ("aaaaa", "aaaaa") != 0)
+ __builtin_abort ();
+ if (__builtin_strcmp ("aaaaa", "") <= 0)
+ __builtin_abort ();
+ if (__builtin_strcmp ("", "aaaaa") >= 0)
+ __builtin_abort ();
+ if (__builtin_strcmp ("ab", "ba") >= 0)
+ __builtin_abort ();
+
+ /* STRNCMP. */
+ if (__builtin_strncmp ("hello", "aaaaa", 0) != 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("aaaaa", "aaaaa", 100) != 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("aaaaa", "", 100) <= 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("", "aaaaa", 100) >= 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("ab", "ba", 1) >= 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("aab", "aac", 2) != 0)
+ __builtin_abort ();
+
+ /* STRCASECMP. */
+ if (__builtin_strcasecmp ("aaaaa", "aaaaa") != 0)
+ __builtin_abort ();
+
+ /* STRNCASECMP. */
+ if (__builtin_strncasecmp ("hello", "aaaaa", 0) != 0)
+ __builtin_abort ();
+ if (__builtin_strncasecmp ("aaaaa", "aaaaa", 100) != 0)
+ __builtin_abort ();
+ if (__builtin_strncasecmp ("aab", "aac", 2) != 0)
+ __builtin_abort ();
+
+ return 0;
+}
+
+/* { dg-final { scan-tree-dump-not "__builtin_strcmp" "original" } } */
+/* { dg-final { scan-tree-dump-not "__builtin_strcasecmp" "original" } } */
+/* { dg-final { scan-tree-dump-not "__builtin_strncmp" "original" } } */
+/* { dg-final { scan-tree-dump-not "__builtin_strncasecmp" "original" } } */
+/* { dg-final { scan-tree-dump-not "__builtin_memchr" "original" } } */
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple.c b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple.c
new file mode 100644
index 0000000..8a917bf
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple.c
@@ -0,0 +1,126 @@
+/* { dg-do run } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+char *buffer1;
+char *buffer2;
+
+#define SIZE 1000
+
+int
+main (void)
+{
+ const char* const foo1 = "hello world";
+
+ buffer1 = __builtin_malloc (SIZE);
+ __builtin_strcpy (buffer1, foo1);
+ buffer2 = __builtin_malloc (SIZE);
+ __builtin_strcpy (buffer2, foo1);
+
+ /* MEMCHR. */
+ if (__builtin_memchr ("", 'x', 1000))
+ __builtin_abort ();
+ if (__builtin_memchr (foo1, 'x', 1000))
+ __builtin_abort ();
+ if (__builtin_memchr (foo1, 'x', 11))
+ __builtin_abort ();
+ if (__builtin_memchr (buffer1, 'x', 0) != 0)
+ __builtin_abort ();
+ if (__builtin_memchr (foo1, 'o', 11) != foo1 + 4)
+ __builtin_abort ();
+ if (__builtin_memchr (foo1, 'w', 2))
+ __builtin_abort ();
+ if (__builtin_memchr (foo1 + 5, 'o', 6) != foo1 + 7)
+ __builtin_abort ();
+ if (__builtin_memchr (foo1, 'd', 11) != foo1 + 10)
+ __builtin_abort ();
+ if (__builtin_memchr (foo1, 'd', 10))
+ __builtin_abort ();
+ if (__builtin_memchr (foo1, '\0', 11))
+ __builtin_abort ();
+ if (__builtin_memchr (foo1, '\0', 12) != foo1 + 11)
+ __builtin_abort ();
+
+ __builtin_memchr (foo1, 'x', 11);
+ __builtin_memchr (buffer1, 'x', 0);
+ __builtin_memchr (foo1, 'w', 2);
+ __builtin_memchr (foo1, 'e', 5);
+
+ /* STRCMP. */
+ if (__builtin_strcmp ("hello", "aaaaa") <= 0)
+ __builtin_abort ();
+ if (__builtin_strcmp ("aaaaa", "aaaaa") != 0)
+ __builtin_abort ();
+ if (__builtin_strcmp ("aaaaa", "") <= 0)
+ __builtin_abort ();
+ if (__builtin_strcmp ("", "aaaaa") >= 0)
+ __builtin_abort ();
+ if (__builtin_strcmp ("ab", "ba") >= 0)
+ __builtin_abort ();
+
+ __builtin_strcmp ("hello", "aaaaa");
+ __builtin_strcmp ("aaaaa", "aaaaa");
+ __builtin_strcmp ("aaaaa", "");
+ __builtin_strcmp ("", "aaaaa");
+ __builtin_strcmp ("ab", "ba");
+
+ /* STRNCMP. */
+ if (__builtin_strncmp ("hello", "aaaaa", 0) != 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("aaaaa", "aaaaa", 100) != 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("aaaaa", "", 100) <= 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("", "aaaaa", 100) >= 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("ab", "ba", 1) >= 0)
+ __builtin_abort ();
+ if (__builtin_strncmp ("aab", "aac", 2) != 0)
+ __builtin_abort ();
+ if (__builtin_strncmp (buffer1, buffer2, 1) != 0)
+ __builtin_abort (); /* not folded away */
+
+ __builtin_strncmp ("hello", "aaaaa", 0);
+ __builtin_strncmp ("aaaaa", "aaaaa", 100);
+ __builtin_strncmp ("aaaaa", "", 100);
+ __builtin_strncmp ("", "aaaaa", 100);
+ __builtin_strncmp ("ab", "ba", 1);
+ __builtin_strncmp ("aab", "aac", 2);
+ __builtin_strncmp (buffer1, buffer2, 0);
+ __builtin_strncmp (buffer1, buffer2, 1);
+ __builtin_strncmp ("", buffer2, 1);
+ __builtin_strncmp (buffer1, "", 1);
+
+ /* STRCASECMP. */
+ if (__builtin_strcasecmp ("aaaaa", "aaaaa") != 0)
+ __builtin_abort ();
+ if (__builtin_strcasecmp ("aaaaa", "") <= 0)
+ __builtin_abort ();
+ if (__builtin_strcasecmp ("", "aaaaa") >= 0)
+ __builtin_abort ();
+
+ /* STRNCASECMP. */
+ if (__builtin_strncasecmp ("hello", "aaaaa", 0) != 0)
+ __builtin_abort ();
+ if (__builtin_strncasecmp ("aaaaa", "aaaaa", 100) != 0)
+ __builtin_abort ();
+ if (__builtin_strncasecmp ("aaaaa", "", 100) <= 0)
+ __builtin_abort ();
+ if (__builtin_strncasecmp ("", "aaaaa", 100) >= 0)
+ __builtin_abort ();
+ if (__builtin_strncasecmp ("aab", "aac", 2) != 0)
+ __builtin_abort ();
+ if (__builtin_strncasecmp ("ab", "ba", 1) >= 0) /* not folded away */
+ __builtin_abort (); /* not folded away */
+ if (__builtin_strncasecmp (buffer1, buffer2, 1) != 0) /* not folded away */
+ __builtin_abort (); /* not folded away */
+ if (__builtin_strncasecmp (buffer1, buffer2, 100) != 0) /* not folded away */
+ __builtin_abort (); /* not folded away */
+
+ return 0;
+}
+
+/* { dg-final { scan-tree-dump-not "__builtin_strcmp" "optimized" } } */
+/* { dg-final { scan-tree-dump-not "__builtin_strcasecmp" "optimized" } } */
+/* { dg-final { scan-tree-dump-not "__builtin_strncmp" "optimized" } } */
+/* { dg-final { scan-tree-dump-not "__builtin_memchr" "optimized" } } */
+/* { dg-final { scan-tree-dump-times "__builtin_strncasecmp" 3 "optimized" } } */
--
2.9.2
