From patchwork Thu Apr 24 19:07:40 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 883949 Delivered-To: patch@linaro.org Received: by 2002:a5d:474d:0:b0:38f:210b:807b with SMTP id o13csp3603620wrs; Thu, 24 Apr 2025 12:08:41 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCVUcHzVnNk+LmUSnpFHIGV37ngg9jRDZatg5qkRk3dyRkRkZQIo+EQPkxgw+JpthRh/eeo+Dw==@linaro.org X-Google-Smtp-Source: AGHT+IHpEd+bZ2L727U6Vaw9rZJZHPX1GD4rOE825kRIJIz688y4lLlk1c1kFWDpN8aad611Y7Pb X-Received: by 2002:ad4:5caf:0:b0:6f2:d264:aaa8 with SMTP id 6a1803df08f44-6f4bfc0719dmr72847296d6.19.1745521721026; Thu, 24 Apr 2025 12:08:41 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1745521721; cv=none; d=google.com; s=arc-20240605; b=Gip/Yals3WaZJT8+S3QRb7tj0fMTlCzGgmDDaIRYh3rmTbqtHa74h4MJs5n+M1lXjb zUXfis3jHMgLmDt6XrmfNwbkt96eJ57HqdaALYzBLCtfLqs0mJBzrLD9h7JFbS0U/BqK ivpEdT9xYB6ZrmMf/IS87lz2p/FdR1+Fpr+t8YKtF8W8rLGYK4HyYV5ph9cSPjvveUlN +syxRHGiRbhDGlIFY2pnsW7mfWy3Wpt7addbWktDvTUGtZozaSs2dVrJSWCEqaZngtQu EzcQOo6R1tfmtGWz4dW+owrW0kNAbKW9LwFaxdDKtiw5JAvnP+MP8xceyLet+qVsbetd dF5Q== 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=HJ9sPyximszoDA396q//Z4bBOWFO0sGUqs8F8G0y3aw=; fh=+21l89aLHlxa5A9vj9t0WxCMIb1kk5eXJwU8SeKjQYQ=; b=B2WusLNr5zFxZ4xdbwfHTZDIhvbwAzGRdTdF8/k7nIsR7/NInK5s1j6jyRKfRQfz10 y/4ROgW8IZ0mADrR3+ZoQy2qFjVWUjPpLR1/u/+TkiJ6/1D7i80C4igieO17Qo6z6TJS 0CsgiXf9h3sjCEO5bW4laLzlKJze4+RmzzPwMfVeOeom7RdeN711lKtjsFt70g55rGMi CAo9d/lDVcoMC8zUuF777nj/6/AGEzK+rmum5Zyk5TbtlVW1iIGIctf7Il4BgM8jyNIL ASN2pWm56DIFluTlewOYZXvsxUbMhyFKQeBkDpe/ppHxA2SQuxwpk09d/ebyJOA89r+T NWIA==; dara=google.com ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=xkRDOu2x; 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 6a1803df08f44-6f4c08d6a6csi22100176d6.70.2025.04.24.12.08.40 for (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Thu, 24 Apr 2025 12:08:41 -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=xkRDOu2x; 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 1u81vK-0007A3-7S; Thu, 24 Apr 2025 15:07:50 -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 1u81vI-00079i-2x for qemu-devel@nongnu.org; Thu, 24 Apr 2025 15:07:48 -0400 Received: from mail-pg1-x52e.google.com ([2607:f8b0:4864:20::52e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1u81vF-0004Ce-Vm for qemu-devel@nongnu.org; Thu, 24 Apr 2025 15:07:47 -0400 Received: by mail-pg1-x52e.google.com with SMTP id 41be03b00d2f7-b170c99aa49so161409a12.1 for ; Thu, 24 Apr 2025 12:07:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1745521664; x=1746126464; 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=HJ9sPyximszoDA396q//Z4bBOWFO0sGUqs8F8G0y3aw=; b=xkRDOu2x0jDE5UrDDMv5SFU31izN5nDQx7cJN51WmpP/r3gWs58TjfnHziU8shzIwO wuRuspHo74mN22OgNOV6zofKo/tavarBDK0b32fHcF2N76ZzpsRXL+vDTVJ/izJFiDzD rjXjXfpxI9MVHQrsHo/oa6UF3PVo0jUUtVQ9/rBrHuelP2a/oQy9GuOfEiwqyZEEYNTm hvD2eeYsObe+3+cEKntKnts9BEYEf2Wy5so5AmZfUk8nT7YpjxxH03KUn0eH78oPRUW9 6T23cL0ApavThNu/ycXq9ZxIJwD5bsAXpFc+wCXERZzg3r7ppRUKHvDthFB6YCfSVY7W ggnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1745521664; x=1746126464; 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=HJ9sPyximszoDA396q//Z4bBOWFO0sGUqs8F8G0y3aw=; b=M9w1Ixez35tUrIhJfVFsAUjCCbdvu9EKNb1HRVjWuDJr6jsCAT2ifUT7xwiM4uLOiI XTNSNeDw2KJao9eH2EhYftTRGbQRS2gqMUq+NWBlUpIpEzu7y7XcwgVgkH90Vg3oS4K7 9ByNK6eJD2HIlGR0g3pt2Ih/8uMRJ5Y7SzoIViDqeCKvbyFaNAfD3/B+NdeIH4pgf1CV b3n/zcayBF3dd2x8MxOc1+9y8Z8htsM0fGeNo0wuxaORwBG1xaegQB+/buL8mbrtQ/Bv fhLobUEDU7Ec+4yK2sYNpiYxZpzOyn2sMZNKGGEbUw0R4szmdVVZMZoFDUvPz0+XWhF7 N4hg== X-Gm-Message-State: AOJu0YzCAmhnX1yyMrnkAY1UQxgkBC9mvsJdoL81JIJqjlhPyI6Kt8qR OK602RehS07vuwX9gExBAtxTS+oDYmBp5nK21N8XDlfrmW/AnQXg5LCXHsQZpR+9NnR9XqEGK1+ 6 X-Gm-Gg: ASbGncvecO4tZg6rPP8KratbsFUNVYiOsFE/Q+PJRQaVPiUS3P4kmq+CRPpRpnrjK4k 9o7saAzFSKVekJGRDi7wVJFWwHCQrJdCELUJOb5gyFyXigUOEy5NAYx9woaMdxrPiE1zCywyajw 6z+e1dU2gQDGlFST6WV6nYXdXKQOoI4zF0HTqSYuCvyjreNYMthhNciXvKRj2aJxiJT7DFhAsNJ w4wiFn5EzBgFEO5XokQNAM6uIU6F4PNfISv4gNp9uSPmjcty96DePrgesproNDWTYMUL+L7M/1/ lHvFMYdmMV19KgnWh64n1ulCA6iDPAdzD9wGCRMVcw+ZlTY0dtAJxF9FKcHovxgwooXnLVu5uNY oP7ipDzEXlg== X-Received: by 2002:a05:6a21:3102:b0:1fe:90c5:7cfb with SMTP id adf61e73a8af0-20444f2e8c0mr5734733637.27.1745521663982; Thu, 24 Apr 2025 12:07:43 -0700 (PDT) Received: from stoup.. (71-212-47-143.tukw.qwest.net. [71.212.47.143]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-73e259134d5sm1846463b3a.19.2025.04.24.12.07.43 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 24 Apr 2025 12:07:43 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Cc: git@xen0n.name Subject: [PATCH 1/2] tcg/loongarch64: Fix vec_val computation in tcg_target_const_match Date: Thu, 24 Apr 2025 12:07:40 -0700 Message-ID: <20250424190741.738515-2-richard.henderson@linaro.org> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250424190741.738515-1-richard.henderson@linaro.org> References: <20250424190741.738515-1-richard.henderson@linaro.org> MIME-Version: 1.0 Received-SPF: pass client-ip=2607:f8b0:4864:20::52e; envelope-from=richard.henderson@linaro.org; helo=mail-pg1-x52e.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 Only use vece for a vector constant. This avoids an assertion failure in sextract64 when vece contains garbage. Signed-off-by: Richard Henderson Reviewed-by: Philippe Mathieu-Daudé --- tcg/loongarch64/tcg-target.c.inc | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/tcg/loongarch64/tcg-target.c.inc b/tcg/loongarch64/tcg-target.c.inc index cbd7642b58..740b7c264d 100644 --- a/tcg/loongarch64/tcg-target.c.inc +++ b/tcg/loongarch64/tcg-target.c.inc @@ -211,12 +211,14 @@ static bool tcg_target_const_match(int64_t val, int ct, if ((ct & TCG_CT_CONST_WSZ) && val == (type == TCG_TYPE_I32 ? 32 : 64)) { return true; } - int64_t vec_val = sextract64(val, 0, 8 << vece); - if ((ct & TCG_CT_CONST_VCMP) && -0x10 <= vec_val && vec_val <= 0x1f) { - return true; - } - if ((ct & TCG_CT_CONST_VADD) && -0x1f <= vec_val && vec_val <= 0x1f) { - return true; + if (ct & (TCG_CT_CONST_VCMP | TCG_CT_CONST_VADD)) { + int64_t vec_val = sextract64(val, 0, 8 << vece); + if ((ct & TCG_CT_CONST_VCMP) && -0x10 <= vec_val && vec_val <= 0x1f) { + return true; + } + if ((ct & TCG_CT_CONST_VADD) && -0x1f <= vec_val && vec_val <= 0x1f) { + return true; + } } return false; } From patchwork Thu Apr 24 19:07:41 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 883951 Delivered-To: patch@linaro.org Received: by 2002:a5d:474d:0:b0:38f:210b:807b with SMTP id o13csp3603742wrs; Thu, 24 Apr 2025 12:08:55 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCUTsqfWVtoG3c9jNOdBcAJYSE3udh/mEZGjQVhm6AodpaumTn8nQrGpkZe5QgSbkt27LKDoVw==@linaro.org X-Google-Smtp-Source: AGHT+IETsrc9frRojrXTJk6pZMdWTJSy2pJZvxBlha2Vm3sBM0dGCqBMIawbt/dkpoXQfYXbAGGj X-Received: by 2002:a05:622a:1aa6:b0:477:64dd:5765 with SMTP id d75a77b69052e-47fbbb473a1mr14881231cf.44.1745521735541; Thu, 24 Apr 2025 12:08:55 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1745521735; cv=none; d=google.com; s=arc-20240605; b=GqsV7HGj05cAKz4dtOUZKXB8YC75hObPnUifMI8lHV+NoSjHF4M6YB4Lcenp84XiYC 0MGYCBgDSC7PPOPQupC6olsozDI9prJUPWc+fQd84jyq26/h7RQc/ay2ICN1h9sCUnMt j+DriY8bLOaqZmxzH/5tBILvGzPBeWBre5lJg4MhdHanckvmG2NGB+1afSZZtd5JZ0C2 D8EUvE8DF4nrjNbZZnSTg9ejgxJI1pDTfe4qWUAXWZU4h77ydIeEKvE1Bza5FqV+yGZY 3a+IKANc8WqlN8mS8/qnTlVw7IkdbFnZRgQTuaSIRD1DR1yhx8E/EkSimhtDLRwS1V0V S9Sg== 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=ny25QXvMDBLGMzcEJl/d1aROYpeK1AxdmkeiYircacg=; fh=+21l89aLHlxa5A9vj9t0WxCMIb1kk5eXJwU8SeKjQYQ=; b=Gt3CXxzzxccKKYCCiuZ9F58zJqU7xbx6OqeMOsohrgAS+/GV1PN9WFkxhjJJ5HTMGi oK3hRKV4puVsv5AGQkN8bxZydmKcjY2+MePMpuJ5hbibkFiSHziF24EBTFMbUh+RRt+8 3ysME1IQG/xLG86sw+zTRcgOOdM+wFb6N8p0PeoBIfo5GTN1iRFRkq+VfnSNaUbRZOpn PkujJ1hKi6EWm7yXRv5u5s2Hj4mZtr1JzXAcyRASzlpVbcfkOTAfEsollk+ph7t7seXV JRVXCHUx8AbEJhD+b7XYS64P39k0fqJFl7U+bV0e+VJf+WRcKO0blZTl4SWLp+BUKik5 8y1g==; dara=google.com ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=HalwJ74A; 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-47ea26a59c3si21333301cf.588.2025.04.24.12.08.55 for (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Thu, 24 Apr 2025 12:08:55 -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=HalwJ74A; 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 1u81vM-0007Ag-F0; Thu, 24 Apr 2025 15:07:52 -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 1u81vI-00079p-Bg for qemu-devel@nongnu.org; Thu, 24 Apr 2025 15:07:48 -0400 Received: from mail-pf1-x42f.google.com ([2607:f8b0:4864:20::42f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1u81vG-0004Cj-E6 for qemu-devel@nongnu.org; Thu, 24 Apr 2025 15:07:48 -0400 Received: by mail-pf1-x42f.google.com with SMTP id d2e1a72fcca58-73bf1cef6ceso1519748b3a.0 for ; Thu, 24 Apr 2025 12:07:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1745521665; x=1746126465; 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=ny25QXvMDBLGMzcEJl/d1aROYpeK1AxdmkeiYircacg=; b=HalwJ74ASzk/gme2smNor2i7cSqnULjQjJ07aFSp6wAHXONX69OvIya7xE/Ij11TQX swmWCpK0OxK7EHwb7wGg9aEi+PFiyfGGeFtMJ1Si3mZaVWuwLvG8+RmJnMHkwbpXui5L Ou3pA389V+ar5GAXpedmW3BQvIUcdVwKUJcyrvtMOXVSI0MXG41FFq5gzjwnggwK7y9g 49YO0mT/PxZZ0wbA78WxG+y6r/JviVwXrEGtkIbCR2Dxl2ATx4Wtpi93Lo257iYVhj8g jod89VtBVRl4PVdK+Q3hCtQNuCwl/qDvhkOYtX1f92CGtU5xAzYyoWJsX5rmNZQjt6Of aKBw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1745521665; x=1746126465; 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=ny25QXvMDBLGMzcEJl/d1aROYpeK1AxdmkeiYircacg=; b=avpvQZq60vtXxUs8noW0nwnIhyv7mHO9AMKs1Y82PJhj+nFzwfVGVyjvyWB7bVC5Zt SQpQWOqAs/+ATXX4QmplsYHhxjPG7JETB6UDTQ0rKWq9nWQYZljMWE6EfWK2Kksxm8q4 gxeks62Q6dBEAN83OWl8onSRoVxv5Wfq7sjA/6tt2q7WNGikq2d+Lhu8JVMR4vknBdGD QSNjLRT6ckV3rWKytKqcjEAEJwpr8Nwbt1YzjXRpeWIU46aFSack6EIVeVs4121acrZA HbZiRMn30Mlp/N3qyQemlYkBBCVJsHh3QMhOHTbwZbMTHJ3dscQ7fwMrE3IhBmTeQ1L8 PyIg== X-Gm-Message-State: AOJu0YyRGi5zreneRMzMzAMTJX7yPwCE0IMsDW0FmDA7/x56VJ/c7jqW wChYo2jVns84VNctPP+hhaPOspzPD0kPzpuBSt7Mb6voqRjLEqQEvgLhGRnj+ZSv4XBriL7I2sc F X-Gm-Gg: ASbGncvTSQseVdKjREThZyL9mBHcY59hkhGWH0OVnznhs0hT4F7xppTr4rVX5EHiBSe pp6pCah2dWJp7WLAT2TYIkLk9D5BRiRQf368dbihwGhoKJHQbgJ3BH6ipvkHvwG5au1mWgtNt6d v2o08nrFTCbnunKLg5oe02GLfoftfhkk19R8IlgeMW4hEdMNIMsfBntabxsDEJwqMxW0WryGN8j LKoOjxt68ce5CYj1CLjskX+ehBlgikvSlRG37+LkRVbZVVty+SHkTK93bMDqg4L5ttiJt4PIBna JrbXbVh6SEYY0ySea4iEQhxXugzOWtG2iNOnXFaJ5SDJg4dzbHstNe9vHS4GyAGuZ20vPKuVwUI = X-Received: by 2002:a05:6a00:4ace:b0:73e:2340:4b07 with SMTP id d2e1a72fcca58-73e330dbe07mr1025737b3a.18.1745521664696; Thu, 24 Apr 2025 12:07:44 -0700 (PDT) Received: from stoup.. (71-212-47-143.tukw.qwest.net. [71.212.47.143]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-73e259134d5sm1846463b3a.19.2025.04.24.12.07.44 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 24 Apr 2025 12:07:44 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Cc: git@xen0n.name Subject: [PATCH 2/2] tcg/loongarch64: Improve constraints for TCG_CT_CONST_VCMP Date: Thu, 24 Apr 2025 12:07:41 -0700 Message-ID: <20250424190741.738515-3-richard.henderson@linaro.org> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250424190741.738515-1-richard.henderson@linaro.org> References: <20250424190741.738515-1-richard.henderson@linaro.org> MIME-Version: 1.0 Received-SPF: pass client-ip=2607:f8b0:4864:20::42f; envelope-from=richard.henderson@linaro.org; helo=mail-pf1-x42f.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 Use the TCGCond given to tcg_target_const_match to exactly match the supported constant. Adjust the code generation to assume this has been done -- recall that encode_*_insn contain assertions that the constants are valid. Signed-off-by: Richard Henderson Reviewed-by: Philippe Mathieu-Daudé --- tcg/loongarch64/tcg-target.c.inc | 38 ++++++++++++++++++-------------- 1 file changed, 21 insertions(+), 17 deletions(-) diff --git a/tcg/loongarch64/tcg-target.c.inc b/tcg/loongarch64/tcg-target.c.inc index 740b7c264d..879f66f255 100644 --- a/tcg/loongarch64/tcg-target.c.inc +++ b/tcg/loongarch64/tcg-target.c.inc @@ -213,8 +213,18 @@ static bool tcg_target_const_match(int64_t val, int ct, } if (ct & (TCG_CT_CONST_VCMP | TCG_CT_CONST_VADD)) { int64_t vec_val = sextract64(val, 0, 8 << vece); - if ((ct & TCG_CT_CONST_VCMP) && -0x10 <= vec_val && vec_val <= 0x1f) { - return true; + if (ct & TCG_CT_CONST_VCMP) { + switch (cond) { + case TCG_COND_EQ: + case TCG_COND_LE: + case TCG_COND_LT: + return -0x10 <= vec_val && vec_val <= 0x0f; + case TCG_COND_LEU: + case TCG_COND_LTU: + return 0x00 <= vec_val && vec_val <= 0x1f; + default: + return false; + } } if ((ct & TCG_CT_CONST_VADD) && -0x1f <= vec_val && vec_val <= 0x1f) { return true; @@ -2029,28 +2039,22 @@ static void tcg_out_vec_op(TCGContext *s, TCGOpcode opc, * Try vseqi/vslei/vslti */ int64_t value = sextract64(a2, 0, 8 << vece); - if ((cond == TCG_COND_EQ || - cond == TCG_COND_LE || - cond == TCG_COND_LT) && - (-0x10 <= value && value <= 0x0f)) { + switch (cond) { + case TCG_COND_EQ: + case TCG_COND_LE: + case TCG_COND_LT: insn = cmp_vec_imm_insn[cond][lasx][vece]; tcg_out32(s, encode_vdvjsk5_insn(insn, a0, a1, value)); break; - } else if ((cond == TCG_COND_LEU || - cond == TCG_COND_LTU) && - (0x00 <= value && value <= 0x1f)) { + case TCG_COND_LEU: + case TCG_COND_LTU: insn = cmp_vec_imm_insn[cond][lasx][vece]; tcg_out32(s, encode_vdvjuk5_insn(insn, a0, a1, value)); break; + default: + g_assert_not_reached(); } - - /* - * Fallback to: - * dupi_vec temp, a2 - * cmp_vec a0, a1, temp, cond - */ - tcg_out_dupi_vec(s, type, vece, TCG_VEC_TMP0, a2); - a2 = TCG_VEC_TMP0; + break; } insn = cmp_vec_insn[cond][lasx][vece];