Test folding of str{n}{case}cmp and memchr

	* gcc.dg/tree-ssa/builtins-folding-generic.c: New test.
	* gcc.dg/tree-ssa/builtins-folding-gimple.c: Likewise.
	* gcc.dg/tree-ssa/builtins-folding-gimple-ub.c: Likewise.

From-SVN: r241161

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 93ca24f..51a521d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2016-10-14  Martin Liska  <mliska@suse.cz>
+
+       * gcc.dg/tree-ssa/builtins-folding-generic.c: New test.
+       * gcc.dg/tree-ssa/builtins-folding-gimple.c: Likewise.
+       * gcc.dg/tree-ssa/builtins-folding-gimple-ub.c: Likewise.
+
 2016-10-14  Uros Bizjak  <ubizjak@gmail.com>
 
        * gcc.dg/torture/pr77937-1.c: Move -O3 to dg-options.

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 (file)
index 0000000..175feff
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-generic.c
@@ -0,0 +1,76 @@
+/* { dg-do run } */
+/* { dg-options "-O1 -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-ub.c b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-ub.c
new file mode 100644 (file)
index 0000000..df0ede2
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-ub.c
@@ -0,0 +1,23 @@
+/* { dg-do compile } */
+/* { dg-options "-O1 -fdump-tree-optimized" } */
+
+char *buffer1;
+char *buffer2;
+
+#define SIZE 1000
+
+int
+main (void)
+{
+  const char* const foo1 = "hello world";
+
+  /* MEMCHR.  */
+  if (__builtin_memchr ("", 'x', 1000)) /* Not folded away.  */
+    __builtin_abort ();
+  if (__builtin_memchr (foo1, 'x', 1000)) /* Not folded away.  */
+    __builtin_abort ();
+
+  return 0;
+}
+
+/* { dg-final { scan-tree-dump-times "__builtin_memchr" 2 "optimized" } } */

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 (file)
index 0000000..283bd1c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple.c
@@ -0,0 +1,161 @@
+/* { dg-do run } */
+/* { dg-options "-O1 -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);
+
+  char x = 'x';
+  char o = 'o';
+  char w = 'w';
+  char d = 'd';
+  char e = 'e';
+  char null = '\0';
+
+  int zero = 0;
+  int one = 0;
+
+  /* MEMCHR.  */
+  if (__builtin_memchr (foo1, x, 11))
+    __builtin_abort ();
+  if (__builtin_memchr (buffer1, x, zero) != 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, null, 11))
+    __builtin_abort ();
+  if (__builtin_memchr (foo1, null, 12) != foo1 + 11)
+    __builtin_abort ();
+
+  __builtin_memchr (foo1, x, 11);
+  __builtin_memchr (buffer1, x, zero);
+  __builtin_memchr (foo1, w, 2);
+  __builtin_memchr (foo1, e, 5);
+
+  /* MEMCHR with side effects.  */
+  const char *const s1 = "hello world";
+  const char *s2 = s1;
+  if (__builtin_memchr (++s2, 'x', 0) != 0 || s2 != s1+1)
+    __builtin_abort();
+
+  char c = 'x';
+  if (__builtin_memchr (s2, ++c, 0) != 0 || c != 'y')
+    __builtin_abort();
+
+  const char *aaaaa = "aaaaa";
+  const char *hello = "hello";
+  const char *empty = "";
+  const char *ab = "ab";
+  const char *ba = "ba";
+  const char *aac = "aac";
+  const char *aab = "aab";
+
+  /* STRCMP.  */
+  if (__builtin_strcmp (hello, aaaaa) <= 0)
+    __builtin_abort ();
+  if (__builtin_strcmp (aaaaa, aaaaa) != 0)
+    __builtin_abort ();
+  if (__builtin_strcmp (aaaaa, empty) <= 0)
+    __builtin_abort ();
+  if (__builtin_strcmp (empty, aaaaa) >= 0)
+    __builtin_abort ();
+  if (__builtin_strcmp (ab, ba) >= 0)
+    __builtin_abort ();
+
+  __builtin_strcmp (hello, aaaaa);
+  __builtin_strcmp (aaaaa, aaaaa);
+  __builtin_strcmp (aaaaa, empty);
+  __builtin_strcmp (empty, aaaaa);
+  __builtin_strcmp (ab, ba);
+
+  /* STRNCMP.  */
+  if (__builtin_strncmp (hello, aaaaa, zero) != 0)
+    __builtin_abort ();
+  if (__builtin_strncmp (aaaaa, aaaaa, 100) != 0)
+    __builtin_abort ();
+  if (__builtin_strncmp (aaaaa, empty, 100) <= 0)
+    __builtin_abort ();
+  if (__builtin_strncmp (empty, 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, zero);
+  __builtin_strncmp (aaaaa, aaaaa, 100);
+  __builtin_strncmp (aaaaa, empty, 100);
+  __builtin_strncmp (empty, aaaaa, 100);
+  __builtin_strncmp (ab, ba, 1);
+  __builtin_strncmp (aab, aac, 2);
+  __builtin_strncmp (buffer1, buffer2, zero);
+  __builtin_strncmp (buffer1, buffer2, one);
+  __builtin_strncmp (empty, buffer2, 1);
+  __builtin_strncmp (buffer1, empty, 1);
+
+  s2 = s1;
+  const char *s3 = s1+4;
+  if (__builtin_strncmp (++s2, ++s3+2, 0) != 0 || s2 != s1+1 || s3 != s1+5)
+    __builtin_abort();
+
+  /* STRCASECMP.  */
+  if (__builtin_strcasecmp (aaaaa, aaaaa) != 0)
+    __builtin_abort ();
+  if (__builtin_strcasecmp (aaaaa, empty) <= 0)
+    __builtin_abort ();
+  if (__builtin_strcasecmp (empty, aaaaa) >= 0)
+    __builtin_abort ();
+
+  /* STRNCASECMP.  */
+  if (__builtin_strncasecmp (hello, aaaaa, zero) != 0)
+    __builtin_abort ();
+  if (__builtin_strncasecmp (aaaaa, aaaaa, 100) != 0)
+    __builtin_abort ();
+  if (__builtin_strncasecmp (aaaaa, empty, 100) <= 0)
+    __builtin_abort ();
+  if (__builtin_strncasecmp (empty, 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 */
+
+  /* STRNCASECMP with side effects.  */
+  s2 = s1;
+  s3 = s1+4;
+  if (__builtin_strncasecmp (++s2, ++s3+2, 0) != 0 || s2 != s1+1 || s3 != s1+5)
+    __builtin_abort();
+
+  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" } } */