[{"id":3683217,"web_url":"http://patchwork.ozlabs.org/comment/3683217/","msgid":"<CALvbMcCic=OsX46kror8OvXHyR9H1J5vvYfvOXpTcNOSPo-UZA@mail.gmail.com>","list_archive_url":null,"date":"2026-04-28T08:00:29","subject":"Re: [PATCH v2] match.pd: x != CST1 ? x + CST2 : CST3 -> x + CST2\n [PR112659, PR122996]","submitter":{"id":91428,"url":"http://patchwork.ozlabs.org/api/people/91428/","name":"Andrew Pinski","email":"andrew.pinski@oss.qualcomm.com"},"content":"On Mon, Apr 27, 2026 at 4:01 PM Netanel Komm <netanelkomm@gmail.com> wrote:\n>\n> This patch extends the conditional addition simplification introduced\n> in PR 122996 to handle a third constant and uniform vectors. This also\n> resolves the missing vector addition fold noted in PR 112659.\n>\n> It simplifies x != CST1 ? x + CST2 : CST3 into x + CST2 when\n> CST1 + CST2 == CST3.\n>\n> Bootstrapped and regression tested on x86_64-pc-linux-gnu.\n>\n>         PR tree-optimization/112659\n>         PR tree-optimization/122996\n>\n> gcc/ChangeLog:\n>\n>         * match.pd: Extend conditional addition pattern to handle\n>         a third constant and uniform vectors.\n>\n> gcc/testsuite/ChangeLog:\n>\n>         * g++.dg/tree-ssa/cond-add-vec-1.C: New test (positive cases).\n>         * g++.dg/tree-ssa/cond-add-vec-2.C: New test (negative cases).\n>         * gcc.dg/tree-ssa/cond-add-1.c: New test (positive cases).\n>         * gcc.dg/tree-ssa/cond-add-2.c: New test (negative cases).\n> ---\n> Changes in v2:\n>  - Checked for a vector conditional expression in forwprop1 instead of optimized\n>  to avoid architecture specific differences caused by the vector lowering pass.\n>  - Split the test files into positive and negative files.\n>  - Added another negative test case for the scalar version.\n>\n>  gcc/match.pd                                  | 19 +++++++---\n>  .../g++.dg/tree-ssa/cond-add-vec-1.C          | 36 +++++++++++++++++++\n>  .../g++.dg/tree-ssa/cond-add-vec-2.C          | 20 +++++++++++\n>  gcc/testsuite/gcc.dg/tree-ssa/cond-add-1.c    | 24 +++++++++++++\n>  gcc/testsuite/gcc.dg/tree-ssa/cond-add-2.c    | 11 ++++++\n>  5 files changed, 105 insertions(+), 5 deletions(-)\n>  create mode 100644 gcc/testsuite/g++.dg/tree-ssa/cond-add-vec-1.C\n>  create mode 100644 gcc/testsuite/g++.dg/tree-ssa/cond-add-vec-2.C\n>  create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/cond-add-1.c\n>  create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/cond-add-2.c\n>\n> diff --git a/gcc/match.pd b/gcc/match.pd\n> index cb3a558a07d..8cdb6ddcba3 100644\n> --- a/gcc/match.pd\n> +++ b/gcc/match.pd\n> @@ -5251,11 +5251,20 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)\n>         && expr_no_side_effects_p (@1))\n>     @2)))\n>\n> -/* x != CST1 ? x + CST2 : 0 -> x + CST2 when CST1 == -CST2.  */\n> -(simplify\n> - (cond (ne @0 INTEGER_CST@2) (plus@1 @0 INTEGER_CST@3) integer_zerop)\n> - (if (wi::to_wide (@2) == -wi::to_wide (@3))\n> -  @1))\n> +/* x != CST1 ? x + CST2 : CST3 -> x + CST2 when CST1 + CST2 == CST3.\n> + * This handles both scalars and uniform vectors. */\n\nSmall formating nit, no * there. And two spaces after the `.` before the `*/`.\n\n> +(for cnd (cond vec_cond)\n> + (simplify\n> +  (cnd (ne @0 uniform_integer_cst_p@1)\n> +       (plus@2 @0 uniform_integer_cst_p@3)\n> +       uniform_integer_cst_p@4)\n> +  (with {\n> +    tree cst1 = uniform_integer_cst_p (@1);\n> +    tree cst2 = uniform_integer_cst_p (@3);\n> +    tree cst3 = uniform_integer_cst_p (@4);\n> +  }\n> +  (if (wi::to_wide (cst1) + wi::to_wide (cst2) == wi::to_wide (cst3))\n> +   @2))))\n>\n>  /* Simplifications of shift and rotates.  */\n>\n> diff --git a/gcc/testsuite/g++.dg/tree-ssa/cond-add-vec-1.C b/gcc/testsuite/g++.dg/tree-ssa/cond-add-vec-1.C\n> new file mode 100644\n> index 00000000000..3faed2a91bb\n> --- /dev/null\n> +++ b/gcc/testsuite/g++.dg/tree-ssa/cond-add-vec-1.C\n> @@ -0,0 +1,36 @@\n> +/* { dg-do compile } */\n> +/* { dg-options \"-O2 -fdump-tree-forwprop1\" } */\n\nThis test needs now -Wno-psabi.\n\n> +\n> +#define vector4 __attribute__((vector_size(4*sizeof(int))))\n> +#define vector4_u8 __attribute__((vector_size(4*sizeof(unsigned char))))\n> +#define vector4_u32 __attribute__((vector_size(4*sizeof(unsigned int))))\n> +#define vector2_u64 __attribute__((vector_size(2*sizeof(unsigned long))))\n> +\n> +void unopt(vector4 int *v) {\n> +  vector4 int t = *v;\n> +  vector4 int t1 = t + 8;\n> +  *v = (t != -8) ? (t1) : (vector4 int){0, 0, 0, 0};\n> +}\n> +\n> +vector2_u64 unsigned long f1 (vector2_u64 unsigned long x) {\n> +  return x != (vector2_u64 unsigned long){5, 5}\n> +        ? x + (vector2_u64 unsigned long){10, 10}\n> +        : (vector2_u64 unsigned long){15, 15};\n> +}\n> +\n> +vector4_u32 unsigned int f2 (vector4_u32 unsigned int x)\n> +{\n> +  return x != (vector4_u32 unsigned int){20, 20, 20, 20}\n> +        ? x - (vector4_u32 unsigned int){5, 5, 5, 5}\n> +        : (vector4_u32 unsigned int){15, 15, 15, 15};\n> +}\n> +\n> +vector4_u8 unsigned char\n> +f3 (vector4_u8 unsigned char x)\n> +{\n> +  return x != (vector4_u8 unsigned char){100, 100, 100, 100}\n> +        ? x + (vector4_u8 unsigned char){166, 166, 166, 166}\n> +        : (vector4_u8 unsigned char){10, 10, 10, 10};\n> +}\n> +\n> +/* { dg-final { scan-tree-dump-not \"VEC_COND_EXPR\" \"forwprop1\" } } */\n> diff --git a/gcc/testsuite/g++.dg/tree-ssa/cond-add-vec-2.C b/gcc/testsuite/g++.dg/tree-ssa/cond-add-vec-2.C\n> new file mode 100644\n> index 00000000000..5da12183327\n> --- /dev/null\n> +++ b/gcc/testsuite/g++.dg/tree-ssa/cond-add-vec-2.C\n> @@ -0,0 +1,20 @@\n> +/* { dg-do compile } */\n> +/* { dg-options \"-O2 -fdump-tree-forwprop1\" } */\nLikewise.\n\nOtherwise ok.\nI pushed this with the small update to these 2 testcases and the comment fix.\n\nThanks,\nAndrea\n\n> +\n> +#define vector4 __attribute__((vector_size(4*sizeof(int))))\n> +#define vector2_u64 __attribute__((vector_size(2*sizeof(unsigned long))))\n> +\n> +vector4 int g1 (vector4 int x) {\n> +  vector4 int cst1 = {5, 1};\n> +  vector4 int cst2 = {10, 2};\n> +  vector4 int cst3 = {15, 3};\n> +  return x != cst1 ? x + cst2 : cst3;\n> +}\n> +\n> +vector2_u64 unsigned long g2 (vector2_u64 unsigned long x) {\n> +  return x != (vector2_u64 unsigned long){10, 10}\n> +        ? x + (vector2_u64 unsigned long){20, 20}\n> +        : (vector2_u64 unsigned long){40, 40};\n> +}\n> +\n> +/* { dg-final { scan-tree-dump-times \"VEC_COND_EXPR\" 2 \"forwprop1\" } } */\n> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/cond-add-1.c b/gcc/testsuite/gcc.dg/tree-ssa/cond-add-1.c\n> new file mode 100644\n> index 00000000000..e4e4fc8db3e\n> --- /dev/null\n> +++ b/gcc/testsuite/gcc.dg/tree-ssa/cond-add-1.c\n> @@ -0,0 +1,24 @@\n> +/* { dg-do compile } */\n> +/* { dg-options \"-O2 -fdump-tree-optimized\" } */\n> +\n> +typedef unsigned char u8;\n> +typedef unsigned short u16;\n> +typedef unsigned int u32;\n> +typedef unsigned long u64;\n> +\n> +u64 f1 (u64 x) { return x != 5 ? x + 10 : 15; }\n> +\n> +u32 f2 (u32 x) { return x != 20 ? x - 5 : 15; }\n> +\n> +u16 f3 (u16 x) { return x == 100 ? 150 : x + 50; }\n> +\n> +u8  f4 (u8 x)  { return x != 250 ? x + 2 : 252; }\n> +\n> +u8  f5 (u8 x) {\n> +  if (x == 100)\n> +    return 10;\n> +  else\n> +    return x + 166;\n> +}\n> +\n> +/* { dg-final { scan-tree-dump-not \"if \" \"optimized\" } } */\n> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/cond-add-2.c b/gcc/testsuite/gcc.dg/tree-ssa/cond-add-2.c\n> new file mode 100644\n> index 00000000000..c855ec36556\n> --- /dev/null\n> +++ b/gcc/testsuite/gcc.dg/tree-ssa/cond-add-2.c\n> @@ -0,0 +1,11 @@\n> +/* { dg-do compile } */\n> +/* { dg-options \"-O2 -fdump-tree-optimized\" } */\n> +\n> +typedef unsigned int u32;\n> +typedef unsigned long u64;\n> +\n> +u64 g1 (u64 x) { return x != 10 ? x + 20 : 40; }\n> +\n> +u32 g2 (u32 x) { return x == 100 ? 10 : x + 166; }\n> +\n> +/* { dg-final { scan-tree-dump-times \"if \" 2 \"optimized\" } } */\n> --\n> 2.30.2\n>","headers":{"Return-Path":"<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=SjOkPZJK;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=oss.qualcomm.com header.i=@oss.qualcomm.com\n header.a=rsa-sha256 header.s=google header.b=FJvV5GzB;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=SjOkPZJK;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=oss.qualcomm.com header.i=@oss.qualcomm.com\n header.a=rsa-sha256 header.s=google header.b=FJvV5GzB","sourceware.org; dmarc=none (p=none dis=none)\n header.from=oss.qualcomm.com","sourceware.org;\n spf=pass smtp.mailfrom=oss.qualcomm.com","server2.sourceware.org;\n arc=pass smtp.remote-ip=205.220.168.131"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g4Xv01M6Qz1yHv\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 28 Apr 2026 18:01:16 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 17BAD4B99F61\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 28 Apr 2026 08:01:14 +0000 (GMT)","from mx0a-0031df01.pphosted.com (mx0a-0031df01.pphosted.com\n [205.220.168.131])\n by sourceware.org (Postfix) with ESMTPS id E74AB4BAD14F\n for <gcc-patches@gcc.gnu.org>; Tue, 28 Apr 2026 08:00:43 +0000 (GMT)","from pps.filterd (m0279862.ppops.net [127.0.0.1])\n by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 63S3vYvm2111892\n for <gcc-patches@gcc.gnu.org>; Tue, 28 Apr 2026 08:00:42 GMT","from mail-dy1-f198.google.com (mail-dy1-f198.google.com\n [74.125.82.198])\n by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4dtdmbjgjy-1\n (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT)\n for <gcc-patches@gcc.gnu.org>; Tue, 28 Apr 2026 08:00:42 +0000 (GMT)","by mail-dy1-f198.google.com with SMTP id\n 5a478bee46e88-2eaf70f3b5fso3262367eec.0\n for <gcc-patches@gcc.gnu.org>; Tue, 28 Apr 2026 01:00:42 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 17BAD4B99F61","OpenDKIM Filter v2.11.0 sourceware.org E74AB4BAD14F"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org E74AB4BAD14F","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org E74AB4BAD14F","ARC-Seal":["i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1777363244; cv=pass;\n b=ImR7aTRFLsxq40ASbyWinhtyd6PEkEMHRrirlgxGv9pLgflYBpaI42bPUHxBUO3Pf+sLDWq30U1e/yb2O6b9KV8xmiweIgeQYEqPEvZ5N+9UQ+VKjmnVtzbo3fHKxu39MmnvsvzOyIMLy93t2C1uGDpGh3h6afI83D05HVIKOD4=","i=1; a=rsa-sha256; t=1777363242; cv=none;\n d=google.com; s=arc-20240605;\n b=QklEKezi2G2Wop5BGbg6gwKOR8j2RrQxNPNLpl8Znhm1nZE+nPKYicjwmr2GrK+Wir\n rRkSRAeBILt2eFZvk4hG6m9fEElzG5/dH2PWrxmt6KQfmqPjB6fsqYL6he5FeNDxtyRQ\n qi4HCWK8muSzEPGRwMfUL5dAo4RR7MRNYgQiIxDwzZezXRHSjfuWdtgsLLtCqt7Mozuh\n sMzeR0IZIbH1J3M+L6w7//FBmEk+nDCmJSOAww6kW/VNl3AHDQPK/KwN/dncXaggG+A4\n VOCJNKPlDq4gyn8WC2A7ybsi/OvIogENIrOOWewlhU4gdl2AYy7w4kZmtkwPydT+D3Sz\n D8AA=="],"ARC-Message-Signature":["i=2; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777363244; c=relaxed/simple;\n bh=MugcM6ThumCyGu2HQ5MVTGFsGbxmjm1gnmWSuBCuqT4=;\n h=DKIM-Signature:DKIM-Signature:MIME-Version:From:Date:Message-ID:\n Subject:To;\n b=x1ctzKb9HILTtjbjZgJhalctlhpxY3JYVEmdnWhnTcf/dZf9wgTfewc12tfvQAwhHUm1JPW2DbTtOi3ck+GjcYZBoGlJHcXVu24jhnXJg9JWIw8ZgzgHpYVPBDZcJCYdnUEE927i0PFPdd+J/53WWtpuaf/Lx21+gOwG/7/qbEk=","i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com;\n s=arc-20240605;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:dkim-signature;\n bh=whMdVEvjcS70gxD4ItLU8ewtIseFp+TTcBdH5JZaaGc=;\n fh=APniw1iy4bdRCUgTL1xo0ev+7/vKjrKkU4f4Pv9tnQ4=;\n b=Rgf3W8Ebuo479M/Wjx6ko0yR0wRDYPI8vxBdnZ88va4xP97UBrWvJWwWwVU2SNA59s\n 4HT3knlz/sqS1nhubWNshRRn9kj4resnv7Gl9GXgiNeFh3kbrDOPMV3spx8UFZAVho0j\n msq+3XTqR1FwvtJQgWLYosTaiIKeEmQz0dFwlOoP102i7C6k4Uh7nJlLpLGBlof1KsgX\n XSs4YofWSe7X76HLrNG0WswlG2ZwVPmFQ9gsBmixbWpw2NgwDnTVk/AgcdTnOzeXSLog\n qoGaJOZMARvSmZpEmcQflZiky2dsDvTnKhLCFa2tDx9Yx8PDW08mNM99jPOhif+WofmM\n Uu7w==; darn=gcc.gnu.org"],"ARC-Authentication-Results":["i=2; server2.sourceware.org","i=1; mx.google.com; arc=none"],"DKIM-Signature":["v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h=\n cc:content-transfer-encoding:content-type:date:from:in-reply-to\n :message-id:mime-version:references:subject:to; s=qcppdkim1; bh=\n whMdVEvjcS70gxD4ItLU8ewtIseFp+TTcBdH5JZaaGc=; b=SjOkPZJKTsrJ/Ys+\n 0x0515WX3AZSKxdtWfmN35MzStsoASr14QY/+9bXM84p3Xj23qjY/2d0H/7C14FO\n y/nbqitmnaiflzqaeJhOfVbZ7rnUrpv5XqmgGaMzJySADW17mh3MxjVgUJC+ynZr\n 546TTkUGY77Wt2c6m7CzdNJLC/wahV2lYCOFHCoON3eOFX+ZtZ+65OfCnPCWjjVr\n Pzl6llbj54c3jKcZXCdNnO5F7zof0IqpqnNGTOSmw0w0qbuW5oy8JnCxyBQb1l5c\n CqKLSOOY8I1Q86Hcgkm8NqmH6YrNUQV+wjN7+bKaGurd6gRt6P/SJkKMbJdQFMQI\n MfQo1A==","v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=oss.qualcomm.com; s=google; t=1777363242; x=1777968042; darn=gcc.gnu.org;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:from:to:cc:subject:date\n :message-id:reply-to;\n bh=whMdVEvjcS70gxD4ItLU8ewtIseFp+TTcBdH5JZaaGc=;\n b=FJvV5GzBG24giElGfecf6I8bRremUQL0GbbQUMw51UEQ3Hbf69kC36PZUc9oBqxrWt\n Tess7MrEA+fbdbvXY2NywUHumYPFKtWL+l3pVg43t28q/f+LHeCtP8XzuAbXWVCNHDZU\n PiWcnZyWZzbPA1I6MVE/079ybsDw31wiMUIRzbsGt2BxMPwvPl3nu37MzXQVwbOiwV5O\n 8lHYkNXzsTSe4e2ABEbCXhWvebpoxBcIGm0MItRd/UbX0HlCBlTgMXuJKNZSxbYCEtIh\n rt3XhGdeNqSpetdqyP7E5z+zdJdFHpKCF+g9DZEVEXxvaywkUxPb8zid7Wjavox8YMzK\n 7KPg=="],"X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1777363242; x=1777968042;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:x-gm-gg:x-gm-message-state:from\n :to:cc:subject:date:message-id:reply-to;\n bh=whMdVEvjcS70gxD4ItLU8ewtIseFp+TTcBdH5JZaaGc=;\n b=hDuR1yoJmkWPXKGgfAbK+Giii9SEO+uU/rPxV5LJUcHcfn60vjBzB4zptOv1teVz4E\n pj43SuRBe5FMSDTw4LeOQ1qiBolvJ+IqdRGo+ZCrL+UW56NpPe9SRg5RBZUSCn7Yg7lZ\n fzPeF4C7N5U0GVM6VpRnLIplPjmnnL+5l5SHay2PXi1nXlwPySXl90rHuMqtLMNs1PGD\n GfTXZvoFzxEKdMEFoDazPXPg0b/SZGuje0gZ+/GjFdMO6uI4AHA98bP1jiaeOxgGdPp7\n craf9fT92WK4ZK5njhK+yGRMupJtmlXWf2mVwa84PnKAmqQ7rLFjV7fGY7kjbQ/iyTrj\n 9TLg==","X-Gm-Message-State":"AOJu0YxdhiIw5sI5JQ98dgfGMJu20nFqgNwNQinmXG/vKwV3khah80yj\n 5QcemAo1pGwTZ4e1MOw4eOTnDF3yEGM9bBCdiiTUG3gjoX7t8hPZ+YSP+hKTNANQzmK3nhLEloR\n i5WE6wGENsJkxwmht5LE9xEIybrJsDORd4kb5RH2IdcoOZNQW6FR1vxwOlvKHrOn/YDXyKDWKp3\n VxHHQ/nfNZv/V7jP2GjlAz2Bb4+MQKTp08tMUwNXgtthM=","X-Gm-Gg":"AeBDieuhKFsJi6y1THr+skkVvTNwamPhvKvwz2mwAM9MF/Fi+ZNOKD18MWojw1+6QwX\n SAXYDyjUFiFMTpVyTHXqNsWgimDTSuOuXtsmSreAIJKpWCEOhtqQxDAGEbSVGXZybXZPdWQIZlU\n ZRfiAf1tIdYnc54CRNsyw/3q4cgmRsA0yEfq9p+uKJBKaN6OkU3ZrCZMcZjBMquZn213UL6M+6m\n U03jeMWs6H5hfo=","X-Received":["by 2002:a05:7300:30c7:b0:2de:aafb:feff with SMTP id\n 5a478bee46e88-2ed09fa311fmr902725eec.2.1777363241341;\n Tue, 28 Apr 2026 01:00:41 -0700 (PDT)","by 2002:a05:7300:30c7:b0:2de:aafb:feff with SMTP id\n 5a478bee46e88-2ed09fa311fmr902699eec.2.1777363240571; Tue, 28 Apr 2026\n 01:00:40 -0700 (PDT)"],"MIME-Version":"1.0","References":"\n <CALvbMcD5Tf-FajKwb48CgRJVCVzA83X50ORyiRTbutnFQdNFJw@mail.gmail.com>\n <20260427225937.5450-1-netanelkomm@gmail.com>","In-Reply-To":"<20260427225937.5450-1-netanelkomm@gmail.com>","From":"Andrew Pinski <andrew.pinski@oss.qualcomm.com>","Date":"Tue, 28 Apr 2026 01:00:29 -0700","X-Gm-Features":"AVHnY4IjN3xA5hL5YFIIIR1ICTaaeEgvbZslj141lMcUWlTWBrDCycYQYLBM-vE","Message-ID":"\n <CALvbMcCic=OsX46kror8OvXHyR9H1J5vvYfvOXpTcNOSPo-UZA@mail.gmail.com>","Subject":"Re: [PATCH v2] match.pd: x != CST1 ? x + CST2 : CST3 -> x + CST2\n [PR112659, PR122996]","To":"Netanel Komm <netanelkomm@gmail.com>","Cc":"gcc-patches@gcc.gnu.org","Content-Type":"text/plain; charset=\"UTF-8\"","Content-Transfer-Encoding":"quoted-printable","X-Proofpoint-GUID":"ZRlp4zySeJ7OJkPpi74ZToyk6bNuWEqr","X-Authority-Analysis":"v=2.4 cv=PcrPQChd c=1 sm=1 tr=0 ts=69f0692a cx=c_pps\n a=wEP8DlPgTf/vqF+yE6f9lg==:117 a=IkcTkHD0fZMA:10 a=A5OVakUREuEA:10\n a=s4-Qcg_JpJYA:10 a=VkNPw1HP01LnGYTKEx00:22 a=u7WPNUs3qKkmUXheDGA7:22\n a=_K5XuSEh1TEqbUxoQ0s3:22 a=pGLkceISAAAA:8 a=F4aZgT1Mi1eIHQrwZrcA:9\n a=QEXdDO2ut3YA:10 a=bBxd6f-gb0O0v-kibOvt:22","X-Proofpoint-ORIG-GUID":"ZRlp4zySeJ7OJkPpi74ZToyk6bNuWEqr","X-Proofpoint-Spam-Details-Enc":"AW1haW4tMjYwNDI4MDA3MiBTYWx0ZWRfX7pEvE1f7/OU2\n j+4YggIU+RqMf2rBG69ki+HEZY2asICyJuDKQ3jVfkl2wDbS0LerJ10Y7JUwpg0hhAN14HXPEyD\n URC5+DANAoy0eKgr/Rxn8lAuTarJZFQHQ+HrqOpyW1JPRdf61zA08jRy880a4QrEo3elVGr+h53\n /Em05Rx5ssUdreE0QycXhTNsViDMo8p1AeLPI5/K9uVCRai3UhMIWclDjpYSZ4XBMFNzx2NZAsn\n 2ClEdNRaufta62zSpgEmf7kaeXnMkdD0Kik/Bd81iSNw+gCOBNMnZP+MEAWDsojs0GzARMozuA0\n JpUd55jtq3LavgbsDHkiFUM1PNNbbwWKVIIqDUnFvXSXyEeysDODUefTcrdaUAftv5Ll92fSCS+\n BdgyyaCUUXefugkXUp68BCgRd4hRmsgTWBcx66vaMfpQFTlXdLLP5Trjb4t5ARoVBCVUTG8h9K5\n eEqfif+XV4iyKvxaTqg==","X-Proofpoint-Virus-Version":"vendor=baseguard\n engine=ICAP:2.0.293,Aquarius:18.0.1143,Hydra:6.1.51,FMLib:17.12.100.49\n definitions=2026-04-28_02,2026-04-21_02,2025-10-01_01","X-Proofpoint-Spam-Details":"rule=outbound_notspam policy=outbound score=0\n impostorscore=0 spamscore=0 lowpriorityscore=0 suspectscore=0 clxscore=1015\n malwarescore=0 adultscore=0 priorityscore=1501 bulkscore=0 phishscore=0\n classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0\n reason=mlx scancount=1 engine=8.22.0-2604200000 definitions=main-2604280072","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list <gcc-patches.gcc.gnu.org>","List-Unsubscribe":"<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>","List-Archive":"<https://gcc.gnu.org/pipermail/gcc-patches/>","List-Post":"<mailto:gcc-patches@gcc.gnu.org>","List-Help":"<mailto:gcc-patches-request@gcc.gnu.org?subject=help>","List-Subscribe":"<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"}}]