Message ID | 20250603080908.559594-28-richard.henderson@linaro.org |
---|---|
State | New |
Headers | show
Delivered-To: patch@linaro.org Received: by 2002:adf:a2d4:0:b0:3a4:ee3f:8f15 with SMTP id t20csp180400wra; Tue, 3 Jun 2025 01:14:11 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCUjCrlO86HLWmJXe4ESxiSNXqfUc+eGikWTM4J+0hJcsG1rFOa8KCLFLg/8FfReDSlUA7s9RQ==@linaro.org X-Google-Smtp-Source: AGHT+IFkjeyhyoAqAfTdzUe1HKVUg0JHuy7KEbnp2LW2l/25UNDxWBEDo03DMc2PJWtSSeHvs3hU X-Received: by 2002:ad4:5cc3:0:b0:6fa:c0f8:4e11 with SMTP id 6a1803df08f44-6fad1a795b8mr193885356d6.26.1748938451776; Tue, 03 Jun 2025 01:14:11 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1748938451; cv=none; d=google.com; s=arc-20240605; b=dr1MGieoEiwQ693P0Fbi2U2rDtUFKIwYhHeHHVpBfpYXT2nppk7tFFgodRwqDnZ5eB g0F5H3vk/qO0PK3Q6h4LDT2v6PO2J23NKP3i0ILIDgetcJXBIiWdklxoPy9FcVZbKW+1 v8nH7/XPnKcbKyIyoN9rpN5EWhDi/BXHLfDetNc8MY2052Wu4UKae3z+k0V95WxGZN60 OgogCSP/eMTVF4EkZhuLyc1qPS77OeTAd10csu8aeipQiFGPBCWfd4+6SboYKzOPpIzt qeiWE7gqpF1Gde8GBQjmy6uyC0Bp9SleaazEe6ewdDi03XsoT+ApTPDKd8/ov6S2J6ah f7BA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=sender:errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature; bh=J2GrhITiUEId9uURHoQBm+QSLG5+mucUTsm7cNKS9ak=; fh=3mEp7FusppN5Drq2PN08R8D/9xXM9YdbtG5TkJxJBiE=; b=Ryuk4HVu2NpXRTy0iS4PyeKrsWrNbI8OgiDlkFoY/LK9NpsjXPtZMbQnqd/OcbZIfI WKPLpFQAQP6ALH/AZdjUg1tWpQqWR6yqdoKmLxGrbjR1NEtZWspcdoOchMVDMzTw+PCj juiEHxxis0wOwCe9PvdZZz08UCCtzeP9EiHHjndeUBw+Ws7DgTuZWFSnV9iBzlgs3+EG xaZPp6NcE5byjvhVH8U9cuBOkU5gBY0YOh4j8/ZHnyu6OxXs6SOA4nxZw7I1Cg+IJnKi 7jfhMUx5Fvx+p0g1eDOaEPuXgtKtR31XFyYfxQzxrbySVdjUudtXTlbiN5mF2+1rxNY1 N8eQ==; dara=google.com ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=SuVz+V2r; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom="qemu-devel-bounces+patch=linaro.org@nongnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org; dara=neutral header.i=@linaro.org Return-Path: <qemu-devel-bounces+patch=linaro.org@nongnu.org> Received: from lists.gnu.org (lists.gnu.org. [209.51.188.17]) by mx.google.com with ESMTPS id 6a1803df08f44-6fac6dca9a1si117714306d6.105.2025.06.03.01.14.11 for <patch@linaro.org> (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Tue, 03 Jun 2025 01:14:11 -0700 (PDT) Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; Authentication-Results: mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=SuVz+V2r; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom="qemu-devel-bounces+patch=linaro.org@nongnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org; dara=neutral header.i=@linaro.org Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from <qemu-devel-bounces@nongnu.org>) id 1uMMkp-000116-WC; Tue, 03 Jun 2025 04:12:16 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <richard.henderson@linaro.org>) id 1uMMkj-0000n0-KP for qemu-devel@nongnu.org; Tue, 03 Jun 2025 04:12:09 -0400 Received: from mail-wm1-x331.google.com ([2a00:1450:4864:20::331]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <richard.henderson@linaro.org>) id 1uMMkh-0005vx-FH for qemu-devel@nongnu.org; Tue, 03 Jun 2025 04:12:09 -0400 Received: by mail-wm1-x331.google.com with SMTP id 5b1f17b1804b1-451ebd3d149so921445e9.2 for <qemu-devel@nongnu.org>; Tue, 03 Jun 2025 01:12:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1748938324; x=1749543124; darn=nongnu.org; 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=J2GrhITiUEId9uURHoQBm+QSLG5+mucUTsm7cNKS9ak=; b=SuVz+V2rwvo9LZbAfbsmdl/7RqYNDgE5avjMCe9LAzQnj1fUwB4D0h9C2o3OVpBCUX nn/dlBwiWu5CYkvPVPUqFXfp31T5o5lcZMWjMlLvtA9HJkw6lcfmSzUxHnREFDExOB/h uIcTTD7eFfs7Kt2yuZTmxgLIEThzqzpQ52+pp3w6/X5Yj+gi5nf0b23lGS4F5UKTo9UB ECakS5HTAlXigJ46vzziXCyuJWgR0pqdOjOttRAcM0Zf7bk/dEhI3hRYq/51ORPQsBlj obLTfI9U8tXxkXIV0qyyI8/ZMwUUDM8Mt8QPjt0Hj+jhtTPu3JC0IR32tbC70lZ0FuAy +ybg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1748938324; x=1749543124; 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=J2GrhITiUEId9uURHoQBm+QSLG5+mucUTsm7cNKS9ak=; b=Em81QcLi9dSlR2UT4HXR8OjjKmKxK0HNVTBeHjmwq9PoieXCztDrRHJ1vUZ6AWikef tAit3SY3W7cXojb8wxp7f8lAN1FEs1oCWKYhF6jOKwZYC/JZQn/9w0dH70k3o9VhNmbQ cjZ5T2dUVZDaZn9fopLZA173mQ5a0GggT6Yp9/DIinCFx5RMKplpIE58U/OD7C/898LT r9v5DOeJJwUHvzZyhFpHxDV5Crla0xm/Buly9mMBIdRV2BU3Nwl5h+UcMPqAUEVs5Br6 bJvDwUjc3fRyleubmAOzF+1gjA5pJCL7cSGC53ui6KmyoY7Ane2/OMOcyiSDTZdMWkhz cLbA== X-Gm-Message-State: AOJu0Yxd6iQuVyz6FfED7bIRk3Vf/O36L1mHy7jZFmbBOpH5cLlAFdZK /XapzeCgbXfJ+PNyXHaUbGxegA7SVyCmrKcRtxFpV8uoqqJp8G+1FCzv8o/hn85UwUOC4/7RKeY 7+bWHjNg= X-Gm-Gg: ASbGncs9ZDhxjeng77Vpt4iOYybMQbgpVdovjVVBBZ0hXDuP8PPUBtsoS3VhmiUNRHn 5RkvMyjoD8eWBgp3ObZZsbYN+3DcXO/K+XZlv9XGN8Fq1FfAfTmJSyoEjLnGEQ1cTHbZ3plt0qj 49+WsUFsISkgPM9Il8rqLR6Qbt9JRfpy2RoBvcclWMJc1jaSIomCxetyBDBiEq7vOd4pFpslOiM Igaz2L1CcWFrXH0A2GWoAU/mGWLsZ5Cg7dm9U0xBfOA8I2TxeDXLLGqt4s93++LxSm1omMW7TbV e07U+WKJAgvG+ELDJkkRbWnqsMNLAdw8+EnQpSLzbp4Nonm1OHc5OeW6NIExqfZxUZrbwdr7mOn 1uKpjv5jC8+0C X-Received: by 2002:a05:6000:250e:b0:3a3:7cbd:39b1 with SMTP id ffacd0b85a97d-3a4fe17c35emr9371624f8f.24.1748938324630; Tue, 03 Jun 2025 01:12:04 -0700 (PDT) Received: from stoup.lan (host-80-41-64-133.as13285.net. [80.41.64.133]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3a4f009ff7asm17668852f8f.90.2025.06.03.01.11.57 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 03 Jun 2025 01:12:04 -0700 (PDT) From: Richard Henderson <richard.henderson@linaro.org> To: qemu-devel@nongnu.org Cc: pbonzini@redhat.com Subject: [PATCH v2 27/27] tcg/optimize: Simplify fold_eqv constant checks Date: Tue, 3 Jun 2025 09:09:08 +0100 Message-ID: <20250603080908.559594-28-richard.henderson@linaro.org> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250603080908.559594-1-richard.henderson@linaro.org> References: <20250603080908.559594-1-richard.henderson@linaro.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::331; envelope-from=richard.henderson@linaro.org; helo=mail-wm1-x331.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: <qemu-devel.nongnu.org> List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>, <mailto:qemu-devel-request@nongnu.org?subject=unsubscribe> List-Archive: <https://lists.nongnu.org/archive/html/qemu-devel> List-Post: <mailto:qemu-devel@nongnu.org> List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help> List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>, <mailto:qemu-devel-request@nongnu.org?subject=subscribe> Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: qemu-devel-bounces+patch=linaro.org@nongnu.org |
Series |
tcg/optimize: Track and use known 1's
|
expand
|
diff --git a/tcg/optimize.c b/tcg/optimize.c index a48ddd9171..62a128bc9b 100644 --- a/tcg/optimize.c +++ b/tcg/optimize.c @@ -1948,9 +1948,7 @@ static bool fold_eqv(OptContext *ctx, TCGOp *op) uint64_t z_mask, o_mask, s_mask; TempOptInfo *t1, *t2; - if (fold_const2_commutative(ctx, op) || - fold_xi_to_x(ctx, op, -1) || - fold_xi_to_not(ctx, op, 0)) { + if (fold_const2_commutative(ctx, op)) { return true; }
Both cases are handled by fold_xor after conversion. Signed-off-by: Richard Henderson <richard.henderson@linaro.org> --- tcg/optimize.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-)