From 42ea652d00fec821514d34b2af81f2a9e11b248c Mon Sep 17 00:00:00 2001 From: marxin 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 * 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