From patchwork Tue Apr 15 19:22:51 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 881223 Delivered-To: patch@linaro.org Received: by 2002:adf:f902:0:b0:38f:210b:807b with SMTP id b2csp623330wrr; Tue, 15 Apr 2025 12:28:02 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCUErOmlO+F/NY+8StUTwaNqvTuI9t/5Jy7NvWX0sfli+gM1GsdTHf9qM2jIHY5MKLsYQog9mw==@linaro.org X-Google-Smtp-Source: AGHT+IEYLhe+V3CsosSsf50w4KmmZNtPPVtxrHVhVs2lm+cgVFrKMxyqVyYoGxNOS/GUIV04TvN+ X-Received: by 2002:a05:622a:1997:b0:471:f5bd:d88f with SMTP id d75a77b69052e-47a077c4feamr63559281cf.16.1744745281835; Tue, 15 Apr 2025 12:28:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1744745281; cv=none; d=google.com; s=arc-20240605; b=Jw2DlQ9vXmjKIdRSNCpIXWixLBh3Uxp0/8uW6kYT5HD+VKkZfQ1OC1O0ounG378W0+ apjfA6PN4E6EGDF7LwNA0g+H2npgXGAx5HLfXyLl7xZx699GBNkiWupXCMPwII7JoxNT dX+LDcE7mLz8Lv4BGLaFnKMxNitS7l893t8CiqmRv2pLn2lFkVlj9VJeuFX+0XdsSfrs jhKDfNNAyYBkQT3L4g8XTRXV+zJQ6JwQL7c3DqaK1fhHjwxJh+7dXdzuJP567KG40DoX QbRFdpzu9xa75liJCcW/D8hJA/udReU+vDFsy1/HvdkyZjCrZqqI9VyEjwjig4RReD5Q 6ETg== 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=6XjUWPsCzB/zg9tkkwv/C9EVZ3N+WAko5Xk2ZrYZeQo=; fh=kQadAhxV42GJ3cd2VUw1RyURv/zJQGvmUdF7iLEVTtc=; b=heaP8cnX76q/rMfcbCgyP67/oxEEa0t/7RCMz9nzjMpUew5jYyVtjzZKASLCnD6SKw DIhOiFy7+qa8PV7NUB85Gt9jocatLSrnoEWuglNs10WvZpbSDpANVbj9lvw6EzfwkmQ3 c5kPVqG/vKXf8lLOOb9GL67wAs08KFkeGMCoT5WdSlXG0rZo0QEPFhcc/10zuLFivl0V 88VnQwvqIvWzzKqC/BB4xI98i3irBQS2rxsJZBGMp7U+JZZ9+8fLGO00b4eXh3Lqj2P1 J0lZjSbfpzeEKrNYMvZJX2AgdYGId0QB2P8Qfu3auWgg9IqIV+Qmu0T1NYS5u7MCalO1 +phw==; dara=google.com ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b="IMQi/eRP"; 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 d75a77b69052e-4796edea98asi116319701cf.540.2025.04.15.12.28.01 for (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Tue, 15 Apr 2025 12:28:01 -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="IMQi/eRP"; 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 1u4lwP-0001nG-Uw; Tue, 15 Apr 2025 15:27:30 -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 1u4luh-00005L-4i for qemu-devel@nongnu.org; Tue, 15 Apr 2025 15:25:43 -0400 Received: from mail-pf1-x430.google.com ([2607:f8b0:4864:20::430]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1u4luc-00080k-5x for qemu-devel@nongnu.org; Tue, 15 Apr 2025 15:25:41 -0400 Received: by mail-pf1-x430.google.com with SMTP id d2e1a72fcca58-7399838db7fso2929b3a.0 for ; Tue, 15 Apr 2025 12:25:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1744745135; x=1745349935; 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=6XjUWPsCzB/zg9tkkwv/C9EVZ3N+WAko5Xk2ZrYZeQo=; b=IMQi/eRPDmWTvOJW3lzrHTq1KYjyX7HSvo4OBY9RP7U8CvWOCsIZH87J4OWrJOLdWj /bUJ4KVXKdM8MAr4Ycj8AyVhDmElVL/wbF22vIJPQL1LrrP/ngsUCm4xu2XTiSNe7q4F 0hJIWmiriHDTIlv4e12QNJUxslj+Z6TR3jxFS1Am4hzccaAr2UY5ALxMo8N+NZpljOVJ D6pwCN/dbaO/BCCMJ3t4eUeU9MMlMA0Q3uOpplZHV+fStG+bSWKMrSKbErY7sxY4kzdm ulJGbteRt1hwuHAzLaxKMbxQQj73YP0e/ZwzEE47+YbjWCz8KTqgJU+dBXba2imqS0P4 Zagg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1744745135; x=1745349935; 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=6XjUWPsCzB/zg9tkkwv/C9EVZ3N+WAko5Xk2ZrYZeQo=; b=K3sLgLnMMuyNYO0znaTsf9QS8YRXEdmHpy+gRhtcZUYqCREJqFODl+p++zFj6m1fbH mkzjfBFDGo4t/95fYNbKcYuy85Dv4K1RyxH14aVOp9o3ICxapptf38xd9OcBvVYSrJ1j WUxs9LOuT5zcMsz1XkECYbdPSugdqT1C0FFwrkyEhRNVXc4NR8Mv7Y2OPY0VIRMGG/mi 5U85ixz1QyUfNkMiilKZSHjww2rDwbuvsfV/t0Jd4LKnlDBBzsJC1wWvtwJrSkeku42H XWDrvsObm6WvndV3KSZTiz41H5MTkkDJgIujG//HAqQrvJWIvg/mai9Qe5MGw4iJMb5z Ettg== X-Gm-Message-State: AOJu0YzNwCo6zucJHl7FkfkZ7Nfj2zJa6PkVe4tG3KVR/FjN9JI+8d/5 K2kIE9DJbLmO/glTeeaJLrCZ4JvICqN6J0QH/w2l9b/npF34cBHG+xTJyoBiJeaa+AUGoc1lscn z X-Gm-Gg: ASbGnct7teLw3ttx0VShjFVZbm+0vIuIuHfo7XnMyjGOUW4rT6dm5PxjD6APFtG1XXF z18z1Vau5LTn5Ehr9X1+bO2ZdpQ5fgMqZoeZLXTc+kksUQNFO0JnLW32kJgr6xeAvkJaY0P1Ra+ 0g3Zi4PgO+NYoAr2HHPvRCZr8Del9VH0O548cANXE8m5oZhRFbHRuZukaYDdCwomed7wqp+DtuR KLAS3DaW0dhFdPX+W8f8ZNo7cOc3tM+0sHf4ZHnVTJYGn7/8amv12H7yDWeVDz57Ki8UDWmTcSi GlH7p5hUY0KJKEKySzKALUtpqrYOa4Sur4ubMH0rIk2JRVPGPwEdOKgsnoSrIy0TqcWnqqdYIuY = X-Received: by 2002:aa7:8a4a:0:b0:736:b923:5323 with SMTP id d2e1a72fcca58-73c0c9f7177mr6283043b3a.10.1744745134923; Tue, 15 Apr 2025 12:25:34 -0700 (PDT) Received: from stoup.. (71-212-47-143.tukw.qwest.net. [71.212.47.143]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-73bd22f82ebsm9225124b3a.92.2025.04.15.12.25.34 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 15 Apr 2025 12:25:34 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Cc: =?utf-8?q?Philippe_Mathieu-Daud=C3=A9?= Subject: [PATCH v4 020/163] tcg/optimize: Fold eqv with immediate to xor Date: Tue, 15 Apr 2025 12:22:51 -0700 Message-ID: <20250415192515.232910-21-richard.henderson@linaro.org> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250415192515.232910-1-richard.henderson@linaro.org> References: <20250415192515.232910-1-richard.henderson@linaro.org> MIME-Version: 1.0 Received-SPF: pass client-ip=2607:f8b0:4864:20::430; envelope-from=richard.henderson@linaro.org; helo=mail-pf1-x430.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 a4dc88ae71..a49d51f0d7 100644 --- a/tcg/optimize.c +++ b/tcg/optimize.c @@ -1795,6 +1795,7 @@ static bool fold_dup2(OptContext *ctx, TCGOp *op) static bool fold_eqv(OptContext *ctx, TCGOp *op) { uint64_t s_mask; + TempOptInfo *t1, *t2; if (fold_const2_commutative(ctx, op) || fold_xi_to_x(ctx, op, -1) || @@ -1802,8 +1803,28 @@ static bool fold_eqv(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 eqv r,x,i to xor r,x,~i. */ + switch (ctx->type) { + case TCG_TYPE_I32: + case TCG_TYPE_I64: + op->opc = INDEX_op_xor; + break; + case TCG_TYPE_V64: + case TCG_TYPE_V128: + case TCG_TYPE_V256: + op->opc = INDEX_op_xor_vec; + break; + default: + g_assert_not_reached(); + } + op->args[2] = arg_new_constant(ctx, ~ti_const_val(t2)); + return fold_xor(ctx, op); + } + + t1 = arg_info(op->args[1]); + s_mask = t1->s_mask & t2->s_mask; return fold_masks_s(ctx, op, s_mask); }