From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2153) id 9CF6038543AF; Fri, 13 Jan 2023 16:39:26 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9CF6038543AF DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1673627966; bh=3jWvrpcZugriBz9Ub2/9JlcidnrgkVgjF6Le0YQfMfg=; h=From:To:Subject:Date:From; b=LFf+ASSwDfrgsKBKoCtHM3YfYTB9z9r/x96FeQAPHZ7w2kJDYPPQIfHpoLXzaiIVT 296uS9YZQBus+aUXjAsg47Zs9Ai5Cw5EuaR29S1UZY7CiaCS77sBIAXuH0oBXUjewo BILFJA06Wka2CD98z8Hmd1ELpKnIIabrUByAMc7M= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jakub Jelinek To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-5150] testsuite: Add another testcase from PR107131 X-Act-Checkin: gcc X-Git-Author: Jakub Jelinek X-Git-Refname: refs/heads/master X-Git-Oldrev: 2356557148193f729b12a6e63b086fd5068e9623 X-Git-Newrev: 254cf9552ffb1693f0bc74f6d25601dafafbc144 Message-Id: <20230113163926.9CF6038543AF@sourceware.org> Date: Fri, 13 Jan 2023 16:39:26 +0000 (GMT) List-Id: https://gcc.gnu.org/g:254cf9552ffb1693f0bc74f6d25601dafafbc144 commit r13-5150-g254cf9552ffb1693f0bc74f6d25601dafafbc144 Author: Jakub Jelinek Date: Fri Jan 13 17:37:52 2023 +0100 testsuite: Add another testcase from PR107131 This one is hand reduced to problematic code from optimized dump that used to be miscompiled during combine starting with r12-303 and fixed with r13-3530 aka PR107172 fix. 2023-01-13 Jakub Jelinek PR target/107131 * gcc.c-torture/execute/pr107131.c: New test. Diff: --- gcc/testsuite/gcc.c-torture/execute/pr107131.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gcc/testsuite/gcc.c-torture/execute/pr107131.c b/gcc/testsuite/gcc.c-torture/execute/pr107131.c new file mode 100644 index 00000000000..d4259f141ba --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr107131.c @@ -0,0 +1,18 @@ +/* PR target/107131 */ + +__attribute__((noipa)) unsigned long long +foo (unsigned char o) +{ + unsigned long long t1 = -(long long) (o == 0); + unsigned long long t2 = -(long long) (t1 > 10439075533421201520ULL); + unsigned long long t3 = -(long long) (t1 <= t2); + return t3; +} + +int +main () +{ + if (foo (0) != -1ULL) + __builtin_abort (); + return 0; +}