From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf1-x42b.google.com (mail-pf1-x42b.google.com [IPv6:2607:f8b0:4864:20::42b]) by sourceware.org (Postfix) with ESMTPS id B8A123858C54 for ; Wed, 7 Jun 2023 23:15:15 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B8A123858C54 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-pf1-x42b.google.com with SMTP id d2e1a72fcca58-655d1fc8ad8so2840609b3a.1 for ; Wed, 07 Jun 2023 16:15:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1686179715; x=1688771715; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=IrPucsBVzVbFa5st6IcdjPMpCPDC8PRJfaypaGmyrgQ=; b=euKNfEaZXMjF+4Dkg+YHoTtSqYfbiBN3OTq5tQc+gh30vWozj1lozH+06WZ5zL4e0z gmgflefyR7rwtdpsg30z0t/E7P4ynBUghrJJ5zSOm+Q077/vkrmRmX7Ncq2nB4BnpwAV fzRY5q0x9Lm7fyg5cglSWfCNnKsODwb7qoHi5HsMUZ/MaxGbHnJmt9WckcD5hSbid1s5 kjV0VDo7EXmGW4AgYf7/CLFqQ0ilRbyITBE7Djodjg2hGbSDL6gGI+6POaMoRTyXe73Q keMqoZesj2ZX1drz7uSXLI0mlj+Z/y77lGkecxCwnnXHyFqHJt4EuHByfQFciEAekCMR Sk8Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1686179715; x=1688771715; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=IrPucsBVzVbFa5st6IcdjPMpCPDC8PRJfaypaGmyrgQ=; b=l75amO964TGwOJHQ1z/qc/EBEmb4JIv9vsJ4SqOdVWvRKyB98TGemC4wnLahd4SLhg OuLMcdx7nrdE3GGh5xLydOkhB1nihsrDb0lVUbVWbE5iAr4Epl1+iXYldmWSeIyhvBck HbWRpJcHcrikXGQSWEM+nvijTTAvnHuE+7joYSmhmMLYt3Gj58iw8k+Qz7bOjiv49Dlb 3+YfqQX/G4NjGv3UagkFZ4s3rPfr4y7xyHdjxIXTBXpzpwmXuzlxi6kxyhsNslEqJUfB tDAQ6xv8NjWe/Ab5z7lnsJ1kxGXyGUOakoUaMAoCWK36pYfHd0ddreUHgX0uR2SObGAE gDRA== X-Gm-Message-State: AC+VfDzwOQAY1ShQQqvWA35bY0p6wDXSFvkMAaW0aMfdDsOsIh0mVEzo tHZgX7aOR8kiMNhBnF9ln1y12akGKD0= X-Google-Smtp-Source: ACHHUZ4pe19gX5ii3f+2GXvznSvse6DH1XjhsNKfrv6mr9e+BBbbwur99mpPuTXgMwR3Zqq7xQoELQ== X-Received: by 2002:a05:6a20:42a9:b0:115:617a:45 with SMTP id o41-20020a056a2042a900b00115617a0045mr2763808pzj.36.1686179714614; Wed, 07 Jun 2023 16:15:14 -0700 (PDT) Received: from [172.31.0.109] ([136.36.130.248]) by smtp.gmail.com with ESMTPSA id e16-20020aa78c50000000b0064d5b82f987sm9087501pfd.140.2023.06.07.16.15.13 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 07 Jun 2023 16:15:14 -0700 (PDT) Message-ID: <84c69e78-9d50-be56-1247-b7e82ee97ecf@gmail.com> Date: Wed, 7 Jun 2023 17:15:12 -0600 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.9.1 Subject: Re: [PATCH 3/3] Add Plus to the op list of `(zero_one == 0) ? y : z y` pattern Content-Language: en-US To: Andrew Pinski , gcc-patches@gcc.gnu.org References: <20230607213217.3052696-1-apinski@marvell.com> <20230607213217.3052696-3-apinski@marvell.com> From: Jeff Law In-Reply-To: <20230607213217.3052696-3-apinski@marvell.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-2.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 6/7/23 15:32, Andrew Pinski via Gcc-patches wrote: > This adds plus to the op list of `(zero_one == 0) ? y : z y` patterns > which currently has bit_ior and bit_xor. > This shows up now in GCC after the boolization work that Uroš has been doing. > > OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions. > > PR tree-optimization/97711 > PR tree-optimization/110155 > > gcc/ChangeLog: > > * match.pd ((zero_one == 0) ? y : z y): Add plus to the op. > ((zero_one != 0) ? z y : y): Likewise. > > gcc/testsuite/ChangeLog: > > * gcc.dg/tree-ssa/branchless-cond-add-2.c: New test. > * gcc.dg/tree-ssa/branchless-cond-add.c: New test. OK jeff