From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf1-x430.google.com (mail-pf1-x430.google.com [IPv6:2607:f8b0:4864:20::430]) by sourceware.org (Postfix) with ESMTPS id 9FF413858416 for ; Tue, 5 Sep 2023 07:12:37 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 9FF413858416 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-x430.google.com with SMTP id d2e1a72fcca58-68a3e943762so1790129b3a.1 for ; Tue, 05 Sep 2023 00:12:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1693897956; x=1694502756; 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=XqDlUzXcAelEW6NIwQzU5YlMrnnwW/pssE+3IBwGQ1s=; b=Vun0x2d1kaioEZ1lvDriCMvXv8yXBO0u+d8yj4Qdt+l6OCWFm9hGvVDnYvUzP8cCtP xxG2fSOsDYBtAlb2Q02Bkc/RWBSfpEFF4hkk+YuJBZvVaICLzcvapn+Ph1yKl11r1kCU BYYXBKBLImrHWvYH1iXKizW21/rItBEDxwVI+l3r6qp2u0Ia0xQVOF+xCJBH8zlXwF/X 3Tn1K0c4VVtWZsM5Y5VGzKKWkvM6FFqRWY7szezA5v223OgLWFzX9deZZhlRdRMVlUFg YCMrec9/KEpDTo/FrFnMvLNc6SItohUJb2Ygw9Hmk78iHy8cTgINISgFxjVbesOPzDn8 X7+A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693897956; x=1694502756; 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=XqDlUzXcAelEW6NIwQzU5YlMrnnwW/pssE+3IBwGQ1s=; b=Xzh3+ncdo2gG3aF7J2cPoibuLeGf91zayb8evosLOS6upd4mM0KzEJsgnmIB55+DS0 GPAFlstIi6v+DKYNps2ALPaNtP5OYjzM8mJvTjQgFoD4vp35XMP6CZUZ5eWxOg86goGf 7j9Fp1FW3XufCXYmMzBz8A/VB2CKAsEVDjIUsEcUMCjzp+mSeMP7FiSVQqIeHBt8Avg1 o53W9WRlMhi8YKS0kJAUZkqQxWpdwxkvrQILY7UzQvHUcq4EC02fUVbpJqqLUgJHdDp4 FS/LC0pl9ko22Y6M88HqGTusUWQoIpiWd8peqdB6y7dRtETR/d0G0HpVCxciDZVJpSDA AEkQ== X-Gm-Message-State: AOJu0Yy0l/CQ7y4AI80bLwYqIz/oDsdWZywDdq6MXHAPOd/wemXU2hsm gm/j9mkw3Oj5KQEOtFeVajPtQ+IESLnhYw== X-Google-Smtp-Source: AGHT+IEK2r+1Oon6NDGyn2rr5ldbinsJZTIOk8y44Fbh93ODbkD+LFX9JYs4+5NeMrj0Q3t1YV17BA== X-Received: by 2002:a05:6a20:d402:b0:148:6063:3273 with SMTP id il2-20020a056a20d40200b0014860633273mr12061508pzb.29.1693897956438; Tue, 05 Sep 2023 00:12:36 -0700 (PDT) Received: from [172.31.0.109] ([136.36.130.248]) by smtp.gmail.com with ESMTPSA id ey8-20020a056a0038c800b0068940ef39aesm8367538pfb.46.2023.09.05.00.12.34 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 05 Sep 2023 00:12:35 -0700 (PDT) Message-ID: <913b7359-30d6-4cee-895c-dbdff9454903@gmail.com> Date: Tue, 5 Sep 2023 01:12:30 -0600 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH] MATCH: Transform `(1 >> X) !=/== 0` into `X ==/!= 0` Content-Language: en-US To: Andrew Pinski , gcc-patches@gcc.gnu.org References: <20230903162554.908044-1-apinski@marvell.com> From: Jeff Law In-Reply-To: <20230903162554.908044-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 10:25, Andrew Pinski via Gcc-patches wrote: > We currently have a pattern for handling `(C >> X) & D == 0` > but if C is 1 and D is 1, the `& 1` might have been removed. > > gcc/ChangeLog: > > PR tree-optimization/105832 > * match.pd (`(1 >> X) != 0`): New pattern OK jeff