From nobody Sat Nov 15 17:20:27 2025 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=pass(p=none dis=none) header.from=linaro.org ARC-Seal: i=1; a=rsa-sha256; t=1748938387; cv=none; d=zohomail.com; s=zohoarc; b=VqfjYwLvZmNlKFs/tUXCgludE04RGJeF8vmaejXIFGUN0yZmQ8F2k8FAPDiAGm4a/cERDzngKlQ30wwrVrLgzrRD63DCianZPU60kgPQR0Pdvlg6CMOAdC8bFvth+4eE1GDF8qYixV+bpqx7zIdobI/O1fsjCk5AdG3N5pXlxhc= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1748938387; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=H0aoE+Pz39j8pYHji37eDW/+OJ5q4qy3VlkGMlCSnDM=; b=FLHYqAoldi0L0zj0khgJsI1r6H7F85Us4ugdGaTvtPKbw2UTNuSJluQOIFJN2HQ4ACknZ5pjhAWQfFerbUKOArKgjQ0Y+qtozzPondxRJessuPON2DEjQ0Jmcm9sZzDPU8jHZ1kLe3Miogxbv+eW0RnYNYMken9bFTmDinuadtE= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=pass header.from= (p=none dis=none) Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 174893838732560.38296114464458; Tue, 3 Jun 2025 01:13:07 -0700 (PDT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1uMMkM-0006wS-3I; Tue, 03 Jun 2025 04:11:46 -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 1uMMkJ-0006jP-Qy for qemu-devel@nongnu.org; Tue, 03 Jun 2025 04:11:44 -0400 Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1uMMkE-0005tH-QP for qemu-devel@nongnu.org; Tue, 03 Jun 2025 04:11:43 -0400 Received: by mail-wr1-x42e.google.com with SMTP id ffacd0b85a97d-3a0ac853894so4976704f8f.3 for ; Tue, 03 Jun 2025 01:11:37 -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.31 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 03 Jun 2025 01:11:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1748938296; x=1749543096; 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=H0aoE+Pz39j8pYHji37eDW/+OJ5q4qy3VlkGMlCSnDM=; b=V736SSssRmJVHvnTLXiXqIuF+WnS3snbcThovtb753l0j14u1xqvbfLu8Ow4YFYmSN yJ7cTiyM6jqaxzV3SeiZzd3VQ5GWWE2FokfvJNnOCpmYBnhaMoUNZzxqLFtN+TeyV0i8 esMMTI4ckiAyWsYoQCMjne2dZPxOr9RVcHU4y6JPqe0NxlHrHloK0S03IUUM6h1vCZBX OJyUWRru/XQcnvs0LmaSxLHf8iH5itaOu0QMr6MnGEccFXbxG1KzMzXaKTd3uDxVm4dD zSMklTOl0v7AnrbpQ7KsO+0J6yVOn0Ew4U2A5PtdAUEmn57zvDTWrEILq1CKtY5gIHxl hN2w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1748938296; x=1749543096; 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=H0aoE+Pz39j8pYHji37eDW/+OJ5q4qy3VlkGMlCSnDM=; b=VNAyxfB/7u05Mbe+ZfwBbJplE89pnwCmTWiGHibkr9/8R7rFkxgdvXJ8SGJjRHc7eo e0jaModfgs87FctlfXFnEZH/Rj09saRl+vy9H/kUmsn8ETRw21YD2aGPbSwAVGoeBDf3 zAZU/nzcyLBEOHBPzKPSIoUbkp6NQ00dpkYCqHy+TiA0xDTXyTrj6Zdvx1dqAjKmmR1X J44zYPGy6JsGzvk9LgidQTzo6vtpx1RoulTFQBvHyKZeiJis5RXYwm/Xqk0VVwepxVA2 /ZO6q+Bo4ZLQp0dkiytY0ut8lUrqcaWwgAB/AjzLhWeTqV4OQCwYRFdjvuEPUFLekeSE HB1Q== X-Gm-Message-State: AOJu0YzROztyxUgMZfHo8ZegIsrgO2iGiG49hYXnwIcrMYx+sUTynJrt tWZJhfRGexKEat90Llwjd41GZsGBPXVpo47a5e2WdbPwO51f3Sjf2OSAJM8p8JFUJZucDbaYwaa j5UzMzQI= X-Gm-Gg: ASbGncuMGOulNzG9cOFmiEuhof2+U+nHNzw7OoRazA/x+mTQ70M40OyoJ9Hlw4Ve1Wt KVJJmQjMLe7SnGCp79klt70e3fWn/fUq2PojB3cz5nVG+B3UeYnGh3WXyUXvSYgP+PDOGjHOflC 1p1zJTaZFPqyMm0Ex3Gm/tFf2Sj7SttkZ92omDpQckgyUNe7V9+9YUiBrmBnIfguB5gbl7tPZzS NRFEY8oimSOX9zb9R2M25puUBDQuP/MKXnq1spFCQ93QfVrUw5CZCHSEh5GVqpTjN7iGwfitr6s ykAv+kMZshBz7XYj2Le86TaIXMCIz/jUQGrdmeEw7z71bxJ7dwNNKWazl53TmPh8xbvsLHL2iZN tpmJHfKtjOBAK X-Google-Smtp-Source: AGHT+IEe/5PX1YMMwUhiOQNpOoQOxV5RJMtUqO9QGabnVSS7V8jG8mHYpvfsx/SUv9nsbb8S5CGu3A== X-Received: by 2002:adf:e28b:0:b0:3a5:1471:d89b with SMTP id ffacd0b85a97d-3a51471dbcdmr1095032f8f.53.1748938295631; Tue, 03 Jun 2025 01:11:35 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Cc: pbonzini@redhat.com Subject: [PATCH v2 23/27] tcg/optimize: Fold and to extract during optimize Date: Tue, 3 Jun 2025 09:09:04 +0100 Message-ID: <20250603080908.559594-24-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: quoted-printable Received-SPF: pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Received-SPF: pass client-ip=2a00:1450:4864:20::42e; envelope-from=richard.henderson@linaro.org; helo=mail-wr1-x42e.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, T_SPF_TEMPERROR=0.01 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+importer=patchew.org@nongnu.org Sender: qemu-devel-bounces+importer=patchew.org@nongnu.org X-ZohoMail-DKIM: pass (identity @linaro.org) X-ZM-MESSAGEID: 1748938388809116600 Content-Type: text/plain; charset="utf-8" Signed-off-by: Richard Henderson Reviewed-by: Pierrick Bouvier --- tcg/optimize.c | 33 ++++++++++++++++++++++++++++++--- 1 file changed, 30 insertions(+), 3 deletions(-) diff --git a/tcg/optimize.c b/tcg/optimize.c index aa64f15779..06ccf39d64 100644 --- a/tcg/optimize.c +++ b/tcg/optimize.c @@ -1044,8 +1044,9 @@ static bool fold_const2_commutative(OptContext *ctx, = TCGOp *op) * If z_mask allows, fold the output to constant zero. * The passed s_mask may be augmented by z_mask. */ -static bool fold_masks_zosa(OptContext *ctx, TCGOp *op, uint64_t z_mask, - uint64_t o_mask, int64_t s_mask, uint64_t a_ma= sk) +static bool fold_masks_zosa_int(OptContext *ctx, TCGOp *op, + uint64_t z_mask, uint64_t o_mask, + int64_t s_mask, uint64_t a_mask) { const TCGOpDef *def =3D &tcg_op_defs[op->opc]; TCGTemp *ts; @@ -1095,6 +1096,13 @@ static bool fold_masks_zosa(OptContext *ctx, TCGOp *= op, uint64_t z_mask, rep =3D MAX(rep - 1, 0); ti->s_mask =3D INT64_MIN >> rep; =20 + return false; +} + +static bool fold_masks_zosa(OptContext *ctx, TCGOp *op, uint64_t z_mask, + uint64_t o_mask, int64_t s_mask, uint64_t a_ma= sk) +{ + fold_masks_zosa_int(ctx, op, z_mask, o_mask, s_mask, -1); return true; } =20 @@ -1448,7 +1456,26 @@ static bool fold_and(OptContext *ctx, TCGOp *op) /* Affected bits are those not known zero, masked by those known one. = */ a_mask =3D t1->z_mask & ~t2->o_mask; =20 - return fold_masks_zosa(ctx, op, z_mask, o_mask, s_mask, a_mask); + if (!fold_masks_zosa_int(ctx, op, z_mask, o_mask, s_mask, a_mask)) { + if (ti_is_const(t2)) { + /* + * Canonicalize on extract, if valid. This aids x86 with its + * 2 operand MOVZBL and 2 operand AND, selecting the TCGOpcode + * which does not require matching operands. Other backends c= an + * trivially expand the extract to AND during code generation. + */ + uint64_t val =3D ti_const_val(t2); + if (!(val & (val + 1))) { + unsigned len =3D ctz64(~val); + if (TCG_TARGET_extract_valid(ctx->type, 0, len)) { + op->opc =3D INDEX_op_extract; + op->args[2] =3D 0; + op->args[3] =3D len; + } + } + } + } + return true; } =20 static bool fold_andc(OptContext *ctx, TCGOp *op) --=20 2.43.0