From patchwork Fri Apr 25 21:52:33 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 884440 Delivered-To: patch@linaro.org Received: by 2002:a5d:474d:0:b0:38f:210b:807b with SMTP id o13csp4176816wrs; Fri, 25 Apr 2025 14:55:43 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCUAM1Js3Aj8Ne5E+p7iURhaLwp9NYiuYPjV0nrl2bW2iOHKN55TLaYuTTRHQL55mwsmwfBclw==@linaro.org X-Google-Smtp-Source: AGHT+IHd9Ck1Xmu1ALrrunU1ByRoWmnwxLUNHs0lclc6tZZKEeAM9/b3pS14dkrRSeYxgczkIY0E X-Received: by 2002:a05:620a:244b:b0:7c5:9553:d4e2 with SMTP id af79cd13be357-7c96146d32dmr566782185a.24.1745618143441; Fri, 25 Apr 2025 14:55:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1745618143; cv=none; d=google.com; s=arc-20240605; b=GZVmTl5aCzaaHUvqmLXp8XrFH/dKZefd/8+fkyP3rfPyIlfpYr/Hd7bG8yx4ZyJ0bg dX5c6M+zIYpCt7c7VZMRCWe5xAUwg0R3dKR9YeGH7H79WCOpYapU0jv9M/fpVVNXxHJo kZ4P0hKVhzYREhgv98PdeVvV0AazpXntGguqy1SO6uJfAoavNMUgt1odU7qgIVeqJ3Gh Gij29Yp4t3DCQfq8O3VI1d1/xHjeeZDzWELbzXQ80bdHhcri1CPhxv8UsRqXSaf2Co3G BIippqy/15IHjlMsOADj+MWC6MR8iNYQMudBbbVRqG1OOzFROiJPKWRb+IkiyQCMKQ7g J9Bg== 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=+Ts14z2jiwf3lxG64Ck5rNycenfCdM+STE01W/oP8+I=; fh=kQadAhxV42GJ3cd2VUw1RyURv/zJQGvmUdF7iLEVTtc=; b=iFqSVdKxtRzmTgJU1AT11yE5IOk8cxITmnrL2d0V/S/ZLpyQLw05YAXIYyEy5ReH9W 84/h1azYMJ6fbKsdeXnnZMgNylYCo6wPYFaSAtA5Zz6JrW7ky88rN3ubqjTYzqtwTIv5 lSuSaDWV3vHB/kYAaV1+dsHRTwgAt9T5AKZSlPemrbUwesNnepOkyVvDOFOPFZeKzqy5 mosvtAGlsVmJTcsGr96Fd0rrZqnU/YnmKUA3mEIxqnr7SWBFEes6NXKSmjc2SYjnHb7B giWEn70j30L8MByuwezy5q0HSE3Kqf29wL7f3bSd0lkGaEwX0xrAXmNA7rxWk6yBohDW aTiw==; dara=google.com ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=iRFWCLAD; 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: Received: from lists.gnu.org (lists.gnu.org. [209.51.188.17]) by mx.google.com with ESMTPS id af79cd13be357-7c958d85e1fsi437067485a.211.2025.04.25.14.55.43 for (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Fri, 25 Apr 2025 14:55:43 -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=iRFWCLAD; 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 ) id 1u8R0w-0007Tq-J9; Fri, 25 Apr 2025 17:55:18 -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 ) id 1u8R0r-0007MG-8w for qemu-devel@nongnu.org; Fri, 25 Apr 2025 17:55:13 -0400 Received: from mail-pf1-x433.google.com ([2607:f8b0:4864:20::433]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1u8R0p-0000Wv-0j for qemu-devel@nongnu.org; Fri, 25 Apr 2025 17:55:12 -0400 Received: by mail-pf1-x433.google.com with SMTP id d2e1a72fcca58-736c277331eso3825006b3a.1 for ; Fri, 25 Apr 2025 14:55:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1745618109; x=1746222909; 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=+Ts14z2jiwf3lxG64Ck5rNycenfCdM+STE01W/oP8+I=; b=iRFWCLADGUMgThxTNcv2ctfzgF5lCxhGb+xTbN2WlztgU7YIqMnid4SCr9yj2yNJjZ 3oZMM8wzIiagRg/uVGyYJezuTCBt0rp2utsK4XzFKv4XFOhTJERHAGLIkvIyVDf8qmhM BMaSGXQAwD9c/YGo17pnHINHudFfkG/rqKpnfWOfJKohKQQRI1mjQ8Py6cwmV1583MQi /hQ3bzMs7V5zM8NHHgYdqi1liiAVn9yKiwdhZAJIoWIrByH1jofPFJV1awW78QfZDk4r yrK30y8QtO0uyChLQXEMdi17IqdvNuCrlN/gWNQvRHPi9P86olfjMEQSi6QODPyphQ+v QNDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1745618109; x=1746222909; 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=+Ts14z2jiwf3lxG64Ck5rNycenfCdM+STE01W/oP8+I=; b=j3poM/pT1hYR0cseAz2Qy3z+FihCRAo/jGdcHIrxyzI+DhMHT0ijzWx5YovO0wDyEq jLEZ/ysl116mfA5Us8q0kHwSv46QGH7wJMmLoGTFxd0TUCx+McKCGQXYSarpGCLjuAnZ L+k+zSKSuH6zgeUipz/kdXmESyKb6KPynfcCzepbXYhjJ8iXHxKDHnC4BC4IEnkUmMVM 5H9pfV6WH8I0Pb3Tta9eOFPSXf77PwSV2b/YHSLIFY8rGweYPl5dwW579lI6GMYorZU3 XxpDAFec+YQq7hWNh0R9PV+i3LLspSlOK94ROyFKc3SBuQaICAspAbRrj249VJTjOyvB oW9w== X-Gm-Message-State: AOJu0Yz+NN96n3wg9tlROtAQ9atJXDaSVv1wc9iA3RP1nAcMmQ9xKD3U Di6WIZv5MhhDjiilFs4ZGNgIv2f4oLNWp0XV6Qsx8DZQFJL4eYuN/ceV7qGqpH1biGEfbZSK8MC a X-Gm-Gg: ASbGnctlmwpIT+tA4pcMnU5H8GS6RewpJe7372jjz5PNC8Kg2CU5aWGBuTjDs+E0Wc8 C7EHUrQ77+80r+07KDUd8qutzt2fgQEgml/tRbNxuU+Xjju0XeSm6Kk34MHqKCCvTaJZWS/McwK Wb+s5h40iZdtnIZSJz9R5moVhDNL0UtF34fik794Cf2MRDqmiyCHhJFm4ALlyBQ99mk7Gl7ADqe alLnt5kSutJWpm6pnifMSa0Y5LXmtlcCE9NOG+dsoFf1NC1LOtYWgUIyZD4aIcp8zVMTRyu/IUp LqVVSl2ft5qAUBXadDMmFq8SxlWM0/sZlGriBNTd2eB8jsHslbIvlz2+xO3Bj8gtWvf+dy7jJKc = X-Received: by 2002:a05:6a00:6c98:b0:737:cd8:2484 with SMTP id d2e1a72fcca58-73e267e25dfmr12819860b3a.6.1745618109481; Fri, 25 Apr 2025 14:55:09 -0700 (PDT) Received: from stoup.. (71-212-47-143.tukw.qwest.net. [71.212.47.143]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-73e259414b0sm3664392b3a.48.2025.04.25.14.55.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 25 Apr 2025 14:55:09 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Cc: =?utf-8?q?Philippe_Mathieu-Daud=C3=A9?= Subject: [PULL 019/159] tcg/optimize: Fold orc with immediate to or Date: Fri, 25 Apr 2025 14:52:33 -0700 Message-ID: <20250425215454.886111-20-richard.henderson@linaro.org> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250425215454.886111-1-richard.henderson@linaro.org> References: <20250425215454.886111-1-richard.henderson@linaro.org> MIME-Version: 1.0 Received-SPF: pass client-ip=2607:f8b0:4864:20::433; envelope-from=richard.henderson@linaro.org; helo=mail-pf1-x433.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: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: qemu-devel-bounces+patch=linaro.org@nongnu.org Reviewed-by: Philippe Mathieu-Daudé Signed-off-by: Richard Henderson --- tcg/optimize.c | 25 +++++++++++++++++++++++-- 1 file changed, 23 insertions(+), 2 deletions(-) diff --git a/tcg/optimize.c b/tcg/optimize.c index 7d5f7af223..684b1099d0 100644 --- a/tcg/optimize.c +++ b/tcg/optimize.c @@ -2143,6 +2143,7 @@ static bool fold_or(OptContext *ctx, TCGOp *op) static bool fold_orc(OptContext *ctx, TCGOp *op) { uint64_t s_mask; + TempOptInfo *t1, *t2; if (fold_const2(ctx, op) || fold_xx_to_i(ctx, op, -1) || @@ -2151,8 +2152,28 @@ static bool fold_orc(OptContext *ctx, TCGOp *op) return true; } - s_mask = arg_info(op->args[1])->s_mask - & arg_info(op->args[2])->s_mask; + t2 = arg_info(op->args[2]); + if (ti_is_const(t2)) { + /* Fold orc r,x,i to or r,x,~i. */ + switch (ctx->type) { + case TCG_TYPE_I32: + case TCG_TYPE_I64: + op->opc = INDEX_op_or; + break; + case TCG_TYPE_V64: + case TCG_TYPE_V128: + case TCG_TYPE_V256: + op->opc = INDEX_op_or_vec; + break; + default: + g_assert_not_reached(); + } + op->args[2] = arg_new_constant(ctx, ~ti_const_val(t2)); + return fold_or(ctx, op); + } + + t1 = arg_info(op->args[1]); + s_mask = t1->s_mask & t2->s_mask; return fold_masks_s(ctx, op, s_mask); }