From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 81817 invoked by alias); 7 Oct 2016 08:42:17 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 81763 invoked by uid 89); 7 Oct 2016 08:42:14 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,SPF_PASS autolearn=ham version=3.3.2 spammy=aaaaa, Hx-languages-length:4255 X-HELO: mx2.suse.de Received: from mx2.suse.de (HELO mx2.suse.de) (195.135.220.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 07 Oct 2016 08:42:08 +0000 Received: from relay1.suse.de (charybdis-ext.suse.de [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id C4B37AC93 for ; Fri, 7 Oct 2016 08:42:06 +0000 (UTC) Subject: [PATCH 3/3] Test folding of str{n}{case}cmp and memchr (version 2) To: gcc-patches@gcc.gnu.org References: <8871f5ae1f3151e1de62622d4f918d24d693a48b.1471416736.git.mliska@suse.cz> <8713f2ee-ff9c-13b9-db4e-40e832fee1a4@suse.cz> From: =?UTF-8?Q?Martin_Li=c5=a1ka?= Message-ID: <41c75b89-8d37-11eb-fa4d-f50e099fe17b@suse.cz> Date: Fri, 07 Oct 2016 08:42:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2 MIME-Version: 1.0 In-Reply-To: <8713f2ee-ff9c-13b9-db4e-40e832fee1a4@suse.cz> Content-Type: multipart/mixed; boundary="------------B6AF802F1A2D70CDDB46B931" X-IsSubscribed: yes X-SW-Source: 2016-10/txt/msg00457.txt.bz2 This is a multi-part message in MIME format. --------------B6AF802F1A2D70CDDB46B931 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Content-length: 148 Resending second iteration of the patch. Patch can bootstrap on ppc64le-redhat-linux and survives regression tests. Ready to be installed? Martin --------------B6AF802F1A2D70CDDB46B931 Content-Type: text/x-patch; name="0003-Test-folding-of-str-n-case-cmp-and-memchr-v3.patch" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename*0="0003-Test-folding-of-str-n-case-cmp-and-memchr-v3.patch" Content-length: 4189 >From c3df272d22c3a08e19d82c95a95b2fd3e232657c 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 str{n}{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 | 100 +++++++++++++++++++++++ 1 file changed, 100 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..8f7c025 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding.c @@ -0,0 +1,100 @@ +/* { 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 (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 (); + + /* 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 (); + + /* STRCASECMP. */ + if (__builtin_strcasecmp ("aaaaa", "aaaaa") != 0) + __builtin_abort (); + if (__builtin_strcasecmp ("aaaaa", "") <= 0) + __builtin_abort (); + if (__builtin_strcasecmp ("", "aaaaa") >= 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 (); + 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 ("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 --------------B6AF802F1A2D70CDDB46B931--