[3/3] Test folding of strn{case}cmp and memchr

From 42ea652d00fec821514d34b2af81f2a9e11b248c Mon Sep 17 00:00:00 2001
From: marxin <mliska@suse.cz>
Date: Tue, 16 Aug 2016 15:56:01 +0200
Subject: [PATCH 3/3] Test folding of strn{case}cmp and memchr

gcc/testsuite/ChangeLog:

2016-08-16  Martin Liska  <mliska@suse.cz>

	* gcc.dg/tree-ssa/builtins-folding.c: New test.
---
 gcc/testsuite/gcc.dg/tree-ssa/builtins-folding.c | 74 ++++++++++++++++++++++++
 1 file changed, 74 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/builtins-folding.c

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding.c b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding.c
new file mode 100644
index 0000000..48a86e3
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding.c
@@ -0,0 +1,74 @@ 
+/* { dg-do run } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+char *buffer1;
+char *buffer2;
+
+int
+main (void)
+{
+  const char* const foo1 = "hello world";
+
+  buffer1 = __builtin_malloc (1000);
+  __builtin_strcpy (buffer1, foo1);
+  buffer2 = __builtin_malloc (1000);
+  __builtin_strcpy (buffer2, foo1);
+
+  /* MEMCHR.  */
+  if (__builtin_memchr (foo1, 'x', 11))
+    __builtin_abort ();
+  if (__builtin_memchr (foo1, 'x', 100))
+    __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 ();
+
+  /* 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 (buffer1, buffer2, 1) != 0)
+    __builtin_abort (); /* not folded away */
+
+  /* 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 ("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_memchr" "optimized" } } */
+/* { dg-final { scan-tree-dump-not "__builtin_strncmp" "optimized" } } */
+/* { dg-final { scan-tree-dump-times "__builtin_strncasecmp" 3 "optimized" } } */
-- 
2.9.2