From nobody Sat Nov 15 07:32:55 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=gmail.com ARC-Seal: i=1; a=rsa-sha256; t=1755628380; cv=none; d=zohomail.com; s=zohoarc; b=PLY4R4el6qHgqlexefCULQNRO78qlEUhQrSRVw6Rs2fAA6+AIpwVIb3fyI+yBgSq6G+YUbcEbN/YBkF0twtydLbtPac+cPpwvn46ST9sf4SX4oA+5plOaRjjW4WpBCyD9YXn+4uoDNlkmEAj1A0eXPSrFTTgABbG8aJxREVgoWk= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1755628380; 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=38R8q6vawta6VEEn3UhBfaFAfRNcb+fDXcq44g+j6XI=; b=cIAnLrWihNyCLOQRvtdnstMbpPtfXOYrxUVepp7sDT4pQBHKLA4MABGKTwXxRyv3Oid/W8YLPEuKG66GSOf60GCBBkV243LD9ZMF4Oba62e+fCw4SvgnOuGBzu98FYaxIU8rVfUYbf/MujF4Qlfc1Ja+SYSHEZm4GPIHUt0gSBo= 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 1755628380600533.6535886841589; Tue, 19 Aug 2025 11:33:00 -0700 (PDT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1uoR1s-0002PF-CA; Tue, 19 Aug 2025 14:25: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 1uoR1F-0001ax-N7; Tue, 19 Aug 2025 14:25:15 -0400 Received: from mail-pg1-x535.google.com ([2607:f8b0:4864:20::535]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1uoR1C-0004NT-LM; Tue, 19 Aug 2025 14:25:12 -0400 Received: by mail-pg1-x535.google.com with SMTP id 41be03b00d2f7-b4746fd4793so2094204a12.1; Tue, 19 Aug 2025 11:25:08 -0700 (PDT) Received: from ktock.. ([240d:1a:3b6:8b00:29ce:ef58:c2c9:e52f]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-245ed33b4c2sm3725125ad.25.2025.08.19.11.25.01 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 19 Aug 2025 11:25:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1755627907; x=1756232707; 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=38R8q6vawta6VEEn3UhBfaFAfRNcb+fDXcq44g+j6XI=; b=ZBvC6rsVgn0EIU70i4l0l2O5X5onSVqxk1umeYVX1Xr1QOjrLEUJYY4wXKpbGudgF5 qz3B1eGJu/NqeCwTrGvb4Juet0dK+MVloq0U1Cyi3wjtQ4Wgsz1fUOz0XigazjGkU2tL GeMiNfb4u6a4fSCRCzASgpQUNpifHxSX+GmXodPMZnUkFWG6HusKNE7NCwuYr7N8ODIv z+kYdbQw1k/SesycRC7TxxsikbPHrdGLPLH+zyl/TCM14L+/pHnifRvGVhJ9+FNbAY9n 3qe6+rzt4ZoBnLBo2lR6U+8Q29nOCXqLYF/5PfM12FuaeEv/mG7KGHL0blOH76QilaZd mC/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1755627907; x=1756232707; 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=38R8q6vawta6VEEn3UhBfaFAfRNcb+fDXcq44g+j6XI=; b=fK5S+I7+vyYenVn43TLXCRjPJuNfQtR/8WZxX/2Avs+x6EOQNC4eQ8zFjDdYETqrr6 4ecxqt+Jx7a1HNi2knXI7/CSZA8yGzI/9ozzIWxUI1yQbh10YPkMU0UpmJwrdr3aEg7r p/K41B8V9X339qrIfbApKDDx4pigMswZNY/2zaFQKWthA+iYChQFtPncMjNj/eKts7SS rjVFvu13EXdt9rhS3CLDMDAiQj21vtRCUqs0NhFQL9OuZdzzcR5MwVneue1NRA/qOaQL jtvc6pEe/SjH2hK+V3QIYrrzTPLLJ6tw3RnsKA8cXWJEb5RCciMVT5ItnDos1NyJF/z0 9VKw== X-Forwarded-Encrypted: i=1; AJvYcCUTZe2Dc9xzq0EA+k84F4wSNnIXlcQiZ6rzdOnvYNUIlUmkumbDgBxWYxQcE89ja1A2C0DBTBlshg==@nongnu.org, AJvYcCUn7VgG/2aHn94zVI9KjdF3YLYLfETImPrxuUS/BvJ2HCVWwp91mqIM6Q6aQOme48je7vr1LFfrTns9aQ==@nongnu.org X-Gm-Message-State: AOJu0YzmxIyYZ1SNN6yJaw/fW05gTmROyrQTvDi/WiPRYeNVMudimmzO kOb9+39ZMuqPb/1oOAZqmgUlNBQ/qxrZS+ADJRzMVun5WCyG1opsQVVazQjwVg== X-Gm-Gg: ASbGnctAMYU6LDRZ3ng+6hnPepjtGfTWrOMO7JUvp4pRGruyylWoON/4WvYd47CmdCs WON+Vtu8NMghJ0KrtSgA9s5T/6u0N3wIhm08UhMIHhwi4bg1tbdaysN0tdCnUxl9MnOdknHv208 hScY5WgbqjUYYUIfjeIr9dVja3LxhKp7VEjaO9mlEj5Oxj7d8r7NqU7v9Y5JmfGN6jguK2AFuZe h41oICV6aC/wIh62YGM3QbJ12AFllc3bIMtpBB5JvUE78SBCSpwBSYihZKbRJZLzdezS9BuAKXe OVnrohM36c8/EsSsTrp4OyDp/6CTE6dvr2bpoTBlLruOhuAq3WtgJiGQZrHXh92DxbujFyVu5VV AXtyRbHUzlHMWeg7njXNl+tGN1gvm8Yuj X-Google-Smtp-Source: AGHT+IEtRh5Ys+LvLgNyJJXQQ1tJucdVdrOgQY9Sg8hA3J1OXBf2j4KYbPYpxOJiDhkE0ZXTco6CsQ== X-Received: by 2002:a17:903:1984:b0:243:47:f61b with SMTP id d9443c01a7336-245e04b937dmr44393485ad.45.1755627907160; Tue, 19 Aug 2025 11:25:07 -0700 (PDT) From: Kohei Tokunaga To: qemu-devel@nongnu.org Cc: =?UTF-8?q?Alex=20Benn=C3=A9e?= , =?UTF-8?q?Philippe=20Mathieu-Daud=C3=A9?= , Thomas Huth , Paolo Bonzini , Richard Henderson , =?UTF-8?q?Marc-Andr=C3=A9=20Lureau?= , =?UTF-8?q?Daniel=20P=20=2E=20Berrang=C3=A9?= , WANG Xuerui , Aurelien Jarno , Huacai Chen , Jiaxun Yang , Aleksandar Rikalo , Palmer Dabbelt , Alistair Francis , Stefan Weil , qemu-arm@nongnu.org, qemu-riscv@nongnu.org, Stefan Hajnoczi , Pierrick Bouvier , ktokunaga.mail@gmail.com Subject: [PATCH 27/35] tcg/wasm: Mark unimplemented instructions as C_NotImplemented Date: Wed, 20 Aug 2025 03:21:56 +0900 Message-ID: <26484aa71afe4dc97ec21115b8a6063ecef0d7b5.1755623522.git.ktokunaga.mail@gmail.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: References: 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=2607:f8b0:4864:20::535; envelope-from=ktokunaga.mail@gmail.com; helo=mail-pg1-x535.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, FREEMAIL_FROM=0.001, 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+importer=patchew.org@nongnu.org Sender: qemu-devel-bounces+importer=patchew.org@nongnu.org X-ZohoMail-DKIM: pass (identity @gmail.com) X-ZM-MESSAGEID: 1755628381473116600 Content-Type: text/plain; charset="utf-8" This commit explicitly marks functions which aren't implemented in the Wasm backend as C_NotImplemented. Signed-off-by: Kohei Tokunaga --- tcg/wasm/tcg-target.c.inc | 107 ++++---------------------------------- 1 file changed, 10 insertions(+), 97 deletions(-) diff --git a/tcg/wasm/tcg-target.c.inc b/tcg/wasm/tcg-target.c.inc index db92463941..6b8df4e9d7 100644 --- a/tcg/wasm/tcg-target.c.inc +++ b/tcg/wasm/tcg-target.c.inc @@ -1430,19 +1430,6 @@ static void tcg_out_op_rrrbb(TCGContext *s, TCGOpcod= e op, TCGReg r0, tcg_out32(s, insn); } =20 -static void tcg_out_op_rrrr(TCGContext *s, TCGOpcode op, - TCGReg r0, TCGReg r1, TCGReg r2, TCGReg r3) -{ - tcg_insn_unit insn =3D 0; - - insn =3D deposit32(insn, 0, 8, op); - insn =3D deposit32(insn, 8, 4, r0); - insn =3D deposit32(insn, 12, 4, r1); - insn =3D deposit32(insn, 16, 4, r2); - insn =3D deposit32(insn, 20, 4, r3); - tcg_out32(s, insn); -} - static void tcg_out_op_rrrrrc(TCGContext *s, TCGOpcode op, TCGReg r0, TCGReg r1, TCGReg r2, TCGReg r3, TCGReg r4, TCGCond c5) @@ -1699,50 +1686,21 @@ static const TCGOutOpBinary outop_add =3D { .out_rrr =3D tgen_add, }; =20 -static TCGConstraintSetIndex cset_addsubcarry(TCGType type, unsigned flags) -{ - return type =3D=3D TCG_TYPE_REG ? C_O1_I2(r, r, r) : C_NotImplemented; -} - -static void tgen_addco(TCGContext *s, TCGType type, - TCGReg a0, TCGReg a1, TCGReg a2) -{ - tcg_out_op_rrr(s, INDEX_op_addco, a0, a1, a2); -} - static const TCGOutOpBinary outop_addco =3D { - .base.static_constraint =3D C_Dynamic, - .base.dynamic_constraint =3D cset_addsubcarry, - .out_rrr =3D tgen_addco, + .base.static_constraint =3D C_NotImplemented, }; =20 -static void tgen_addci(TCGContext *s, TCGType type, - TCGReg a0, TCGReg a1, TCGReg a2) -{ - tcg_out_op_rrr(s, INDEX_op_addci, a0, a1, a2); -} - static const TCGOutOpAddSubCarry outop_addci =3D { - .base.static_constraint =3D C_Dynamic, - .base.dynamic_constraint =3D cset_addsubcarry, - .out_rrr =3D tgen_addci, + .base.static_constraint =3D C_NotImplemented, }; =20 -static void tgen_addcio(TCGContext *s, TCGType type, - TCGReg a0, TCGReg a1, TCGReg a2) -{ - tcg_out_op_rrr(s, INDEX_op_addcio, a0, a1, a2); -} - static const TCGOutOpBinary outop_addcio =3D { - .base.static_constraint =3D C_Dynamic, - .base.dynamic_constraint =3D cset_addsubcarry, - .out_rrr =3D tgen_addcio, + .base.static_constraint =3D C_NotImplemented, }; =20 static void tcg_out_set_carry(TCGContext *s) { - tcg_out_op_v(s, INDEX_op_tci_setcarry); + g_assert_not_reached(); } =20 static void tgen_and(TCGContext *s, TCGType type, @@ -1886,37 +1844,16 @@ static const TCGOutOpBinary outop_mul =3D { .out_rrr =3D tgen_mul, }; =20 -static TCGConstraintSetIndex cset_mul2(TCGType type, unsigned flags) -{ - return type =3D=3D TCG_TYPE_REG ? C_O2_I2(r, r, r, r) : C_NotImplement= ed; -} - -static void tgen_muls2(TCGContext *s, TCGType type, - TCGReg a0, TCGReg a1, TCGReg a2, TCGReg a3) -{ - tcg_out_op_rrrr(s, INDEX_op_muls2, a0, a1, a2, a3); -} - static const TCGOutOpMul2 outop_muls2 =3D { - .base.static_constraint =3D C_Dynamic, - .base.dynamic_constraint =3D cset_mul2, - .out_rrrr =3D tgen_muls2, + .base.static_constraint =3D C_NotImplemented, }; =20 static const TCGOutOpBinary outop_mulsh =3D { .base.static_constraint =3D C_NotImplemented, }; =20 -static void tgen_mulu2(TCGContext *s, TCGType type, - TCGReg a0, TCGReg a1, TCGReg a2, TCGReg a3) -{ - tcg_out_op_rrrr(s, INDEX_op_mulu2, a0, a1, a2, a3); -} - static const TCGOutOpMul2 outop_mulu2 =3D { - .base.static_constraint =3D C_Dynamic, - .base.dynamic_constraint =3D cset_mul2, - .out_rrrr =3D tgen_mulu2, + .base.static_constraint =3D C_NotImplemented, }; =20 static const TCGOutOpBinary outop_muluh =3D { @@ -2091,45 +2028,21 @@ static const TCGOutOpSubtract outop_sub =3D { .out_rrr =3D tgen_sub, }; =20 -static void tgen_subbo(TCGContext *s, TCGType type, - TCGReg a0, TCGReg a1, TCGReg a2) -{ - tcg_out_op_rrr(s, INDEX_op_subbo, a0, a1, a2); -} - static const TCGOutOpAddSubCarry outop_subbo =3D { - .base.static_constraint =3D C_Dynamic, - .base.dynamic_constraint =3D cset_addsubcarry, - .out_rrr =3D tgen_subbo, + .base.static_constraint =3D C_NotImplemented, }; =20 -static void tgen_subbi(TCGContext *s, TCGType type, - TCGReg a0, TCGReg a1, TCGReg a2) -{ - tcg_out_op_rrr(s, INDEX_op_subbi, a0, a1, a2); -} - static const TCGOutOpAddSubCarry outop_subbi =3D { - .base.static_constraint =3D C_Dynamic, - .base.dynamic_constraint =3D cset_addsubcarry, - .out_rrr =3D tgen_subbi, + .base.static_constraint =3D C_NotImplemented, }; =20 -static void tgen_subbio(TCGContext *s, TCGType type, - TCGReg a0, TCGReg a1, TCGReg a2) -{ - tcg_out_op_rrr(s, INDEX_op_subbio, a0, a1, a2); -} - static const TCGOutOpAddSubCarry outop_subbio =3D { - .base.static_constraint =3D C_Dynamic, - .base.dynamic_constraint =3D cset_addsubcarry, - .out_rrr =3D tgen_subbio, + .base.static_constraint =3D C_NotImplemented, }; =20 static void tcg_out_set_borrow(TCGContext *s) { - tcg_out_op_v(s, INDEX_op_tci_setcarry); /* borrow =3D=3D carry */ + g_assert_not_reached(); } =20 static void tgen_xor(TCGContext *s, TCGType type, --=20 2.43.0