From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf1-x434.google.com (mail-pf1-x434.google.com [IPv6:2607:f8b0:4864:20::434]) by sourceware.org (Postfix) with ESMTPS id EABCF3858D32 for ; Tue, 5 Sep 2023 07:21:20 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org EABCF3858D32 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-x434.google.com with SMTP id d2e1a72fcca58-68a410316a2so1225742b3a.0 for ; Tue, 05 Sep 2023 00:21:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1693898480; x=1694503280; darn=gcc.gnu.org; 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=RrhIBNt1AS2peMQqTeSyer+sPgrCponuhi1QZEOqB+g=; b=bPk0GJo5oUlGZjo8NYGAtfh2+DNCTWL25v//s6ZyrKWNSY+GGPoq09q/0uw4Rg6i0p ev6Y/b95RxKs9Dt2gGO1C2IYDMnbaDbRgOD7Gu89ldStDnFKTmVO5qu25HkccJY0LAkO 784JMoyg5ygH+tZ4J0wdL96rB4T2lUFypSDOyEXC3OaGTAO60FvDCAXcL229F7Q9qU1p kBnqDdIIbe4JsTaPxdizPLH7/WVMCtSsrFk3YbUxqu5OwMQoK+ogPCzlKNFg8CmlVNfS Z5a2ElspOj2WZulSXy15lEvBWSnZDOSRha0tpK9sGNqHcKkKHisjqCEd2hsEkBersAdl yZCA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693898480; x=1694503280; 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=RrhIBNt1AS2peMQqTeSyer+sPgrCponuhi1QZEOqB+g=; b=CgeuTzfUiethhOHi5HS8yztaRinP645uuFB34a5NmONe/LP5PxOr1U3qEJSfvj2DlO YaRG4t8kfGY89nMcjrubgyXg4w7MXMgOd5P3EfeEYRipzholVwo+lz20gyLuhvMeYX+P Ut3ZrS4QoakqctPXT+AAybPpNSuaag7LxrMdOUTVt/b7W5MNKTO2wjpcXJdWBWdz3TQe 1NgL/MoObn3EedzzbV8/QpzqAX65FNlM06kH14rpzc/O4S26l1/c7XTW508Y/Txfng0V K9a7ZRGxTb33X6HqeAwg+1qCdjGU/VYN52B7+w0d6VhjfokrOac2UIgIy0J7QLQSUZSY LYmA== X-Gm-Message-State: AOJu0YwdBFvx0H/zM6Mikf//8nC2vvosYnjhvEXCOSMz8IOPl3C07D2U jAPL2BAX3POd0F/2wAEscVc= X-Google-Smtp-Source: AGHT+IHNIVWTVZrIoG5d9EpT2czg7o79xZhr9gB76H7mTkW1Jmtss2GJlxwo0NTY3GWGc3xmi2zhqA== X-Received: by 2002:a05:6a21:788a:b0:14c:d5d8:9fed with SMTP id bf10-20020a056a21788a00b0014cd5d89fedmr12316898pzc.54.1693898479922; Tue, 05 Sep 2023 00:21:19 -0700 (PDT) Received: from [172.31.0.109] ([136.36.130.248]) by smtp.gmail.com with ESMTPSA id iy4-20020a170903130400b001bf5e24b2a8sm8615686plb.174.2023.09.05.00.21.17 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 05 Sep 2023 00:21:19 -0700 (PDT) Message-ID: <54a5a8bc-baff-4957-bfaf-46c16250fe27@gmail.com> Date: Tue, 5 Sep 2023 01:21:14 -0600 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH] MATCH: Add pattern for `(x | y) & (x & z)` Content-Language: en-US To: Andrew Pinski , gcc-patches@gcc.gnu.org References: <20230903204947.918766-1-apinski@marvell.com> From: Jeff Law In-Reply-To: <20230903204947.918766-1-apinski@marvell.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit 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,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP 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 9/3/23 14:49, Andrew Pinski via Gcc-patches wrote: > Like the pattern already there for `(x | y) & x`, > this adds a simple pattern to optimize `(x | y) & (x & z)` > to just `x & z`. > > OK? Bootstrapped and tested on x86-64-linux-gnu with no regressions. > > gcc/ChangeLog: > > PR tree-optimization/103536 > * match.pd (`(x | y) & (x & z)`, > `(x & y) | (x | z)`): New patterns. > > gcc/testsuite/ChangeLog: > > PR tree-optimization/103536 > * gcc.dg/tree-ssa/andor-6.c: New test. > * gcc.dg/tree-ssa/andor-bool-1.c: New test. OK. jeff