From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <botcazou@adacore.com>
Received: from mail-wr1-x42a.google.com (mail-wr1-x42a.google.com [IPv6:2a00:1450:4864:20::42a])
	by sourceware.org (Postfix) with ESMTPS id 37BDE3858C74
	for <gcc-patches@gcc.gnu.org>; Fri, 28 Oct 2022 17:58:48 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 37BDE3858C74
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com
Received: by mail-wr1-x42a.google.com with SMTP id k8so7624969wrh.1
        for <gcc-patches@gcc.gnu.org>; Fri, 28 Oct 2022 10:58:48 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=adacore.com; s=google;
        h=content-transfer-encoding:mime-version:references:in-reply-to
         :message-id:date:subject:cc:to:from:from:to:cc:subject:date
         :message-id:reply-to;
        bh=r+APuL6wU81sX0ktqgKBMLfyRpZGRnUuXAjtsgNtSDc=;
        b=Fl6pktOVmmiu4O6/KwqSvCCmoEZx1eRWHhO59mqh5h8yGVGQyse5qULlk5xTUOhPAn
         iTITreKeC47W33QzjN9j804b4oJqhCG0SA+U/sononVrGV2NkXlgl2SoKu5ikWQod5PC
         Zhcw6h5OkZoUjU310D51oXMleBKU3LirIXJKuDRxd81RtBZ7MqqgxETUrhkn0PFLJIc0
         pd0ek2OhRfomZFKciRlYbjDuy3o8n+JBdwvI9psglYNDWlG1K48xO+CP87ZoWduOvbUI
         hbT7IlJFDfogG3nJRRGk+QGQeTUv39Im1RIOr7WD5qIIWIQvVAh4Mb+vwkdGw56svMkj
         9t+g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20210112;
        h=content-transfer-encoding:mime-version:references:in-reply-to
         :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc
         :subject:date:message-id:reply-to;
        bh=r+APuL6wU81sX0ktqgKBMLfyRpZGRnUuXAjtsgNtSDc=;
        b=FJqvTrzJKEg2eAJZAEwpADm+D+KmPP6isaQVSSvnylsThWAjmQ4WYxkFz/z7RGPOC/
         G8ow33gZBf2FnMS8to7uUvN5E3sLCIlI36P9wbRe/xmGRUmms2Xpwl+zlPRyZ6PwBVMz
         jisPmqFmImBA835x8DBPg6mAArtyUGi9Esh8djyc4pqGZVkfDCBnf4yEXiTqgD3qBcew
         3ZxIJcyyt8P9EiFrlpKPWluBmxc0TGFM5y4YxSsDW0kmQtFiXpVRVYEAh7mSmUVztzT0
         hAgLy4wU2DWN5QeVjTdasEdv98GHWq5vkx7RSVp1/QkoHCbfbfUQPSEjrOC2G1axpPrK
         D0qw==
X-Gm-Message-State: ACrzQf11zrAPD13Kk0J9rorc/atAGLt8XShryMpNsJi27puAGbuS8TqL
	JgAiInkGAn/PX710gi/GowijMw==
X-Google-Smtp-Source: AMsMyM4ZH3NKKI/l+Qg+byyCQNbMS0l8kxaqwypyd3dt195JWtFSS04EhN/lcRETHrcb/vgIcmdeUQ==
X-Received: by 2002:a5d:52d0:0:b0:21e:4923:fa09 with SMTP id r16-20020a5d52d0000000b0021e4923fa09mr367619wrv.244.1666979926909;
        Fri, 28 Oct 2022 10:58:46 -0700 (PDT)
Received: from fomalhaut.localnet ([2a01:e0a:8d5:d990:e654:e8ff:fe8f:2ce6])
        by smtp.gmail.com with ESMTPSA id q8-20020adff948000000b0022ac1be009esm4159187wrr.16.2022.10.28.10.58.46
        (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
        Fri, 28 Oct 2022 10:58:46 -0700 (PDT)
From: Eric Botcazou <botcazou@adacore.com>
X-Google-Original-From: Eric Botcazou <ebotcazou@adacore.com>
To: "H.J. Lu" <hjl.tools@gmail.com>
Cc: gcc-patches@gcc.gnu.org, Uros Bizjak <ubizjak@gmail.com>
Subject: Re: [PATCH] x86: Replace ne:CCC/ne:CCO with UNSPEC_CC_NE in neg patterns
Date: Fri, 28 Oct 2022 19:58:45 +0200
Message-ID: <4448210.LvFx2qVVIh@fomalhaut>
In-Reply-To: <CAMe9rOpP6aAF8BT+p+dq=58rU9w1sV_AWkX3Ebe=AfXfDtgcEQ@mail.gmail.com>
References: <20221026185857.234023-1-hjl.tools@gmail.com> <4752529.GXAFRqVoOG@fomalhaut> <CAMe9rOpP6aAF8BT+p+dq=58rU9w1sV_AWkX3Ebe=AfXfDtgcEQ@mail.gmail.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 7Bit
Content-Type: text/plain; charset="us-ascii"
X-Spam-Status: No, score=-4.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,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: <gcc-patches.gcc.gnu.org>

> COMPARE may also set CC register to a constant when both operands are
> known constants.

No, a COMPARE is never evaluated alone, only the CC user may be evaluated.

-- 
Eric Botcazou