From nobody Sat Nov 1 17:48:28 2025 Delivered-To: importer@patchew.org Received-SPF: pass (zoho.com: domain of gnu.org designates 208.118.235.17 as permitted sender) client-ip=208.118.235.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Authentication-Results: mx.zohomail.com; dkim=fail header.i=@wdc.com; spf=pass (zoho.com: domain of gnu.org designates 208.118.235.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=fail(p=none dis=none) header.from=wdc.com Return-Path: Received: from lists.gnu.org (lists.gnu.org [208.118.235.17]) by mx.zohomail.com with SMTPS id 1544644253811546.7075116221031; Wed, 12 Dec 2018 11:50:53 -0800 (PST) Received: from localhost ([::1]:47716 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gXAWt-00063m-Th for importer@patchew.org; Wed, 12 Dec 2018 14:50:47 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:48568) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gXAQa-00013s-4G for qemu-devel@nongnu.org; Wed, 12 Dec 2018 14:44:17 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gXAQW-00027C-26 for qemu-devel@nongnu.org; Wed, 12 Dec 2018 14:44:16 -0500 Received: from esa4.hgst.iphmx.com ([216.71.154.42]:29179) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gXAQU-00023s-BX; Wed, 12 Dec 2018 14:44:11 -0500 Received: from mail-by2nam05lp2054.outbound.protection.outlook.com (HELO NAM05-BY2-obe.outbound.protection.outlook.com) ([104.47.50.54]) by ob1.hgst.iphmx.com with ESMTP; 13 Dec 2018 03:43:57 +0800 Received: from MWHPR04MB0401.namprd04.prod.outlook.com (10.173.48.18) by MWHPR04MB0784.namprd04.prod.outlook.com (10.172.168.18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1425.20; Wed, 12 Dec 2018 19:43:55 +0000 Received: from MWHPR04MB0401.namprd04.prod.outlook.com ([fe80::9067:fb44:66b2:7604]) by MWHPR04MB0401.namprd04.prod.outlook.com ([fe80::9067:fb44:66b2:7604%3]) with mapi id 15.20.1425.016; Wed, 12 Dec 2018 19:43:55 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=wdc.com; i=@wdc.com; q=dns/txt; s=dkim.wdc.com; t=1544643850; x=1576179850; h=from:to:cc:subject:date:message-id:references: in-reply-to:content-transfer-encoding:mime-version; bh=eCU3eAPoHbz3xgMfFvlIgMT/7dtwd/EYG10IG5xnEVw=; b=qoXqkUkIdVULO8wqOqfc4NNRuJLnHQyWUVc7p5/apBMC4CV6ZID0mdfQ 8CBIM4oIuzoCjCQloVTNbcW4AoYtHvqHok9d8+vdUaF237QcphBBTc5GN dv7XjJ/Xp6q4t2g300QBXsWO9Sd4Zk4henFGxoIATZE3l6zehZTLQqfQg 0vUP4kcH5aRKiJ23Jw/u21K/jYwlHGtPJeYktS0N/HqFTuDw9SG4QBXW7 hxSWNW3SLb5N4BJKQ/ZCzJ0rnKxdjStOrzxL6EDFGy/P7AV5r87q31pk/ o1MdX6rhgr/3JJKvWdTkeNSM0yhplmNEU04dJYCO3tCsmQiT3XfIb2af7 A==; X-IronPort-AV: E=Sophos;i="5.56,345,1539619200"; d="scan'208";a="96440844" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sharedspace.onmicrosoft.com; s=selector1-wdc-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=3AbETKu2PI+17kUHagSQCijIltf24uV2q63c5kIj6ak=; b=QuBzxHWpzv6D4i+odL8JSk4V97NIpvJBNYTzF0JrMIhYH+tGLDZp0hD1tUAq+u1Rq/ghVfcfxAJke8pz8bjTKCz2+FhMiubGcbXy/jozM4jK5Tx5rT0PRVtmRfkVwBp4Vo2ULtSzBx09PjKttQYVX6rZRvg5Dg8eAU87GYBXp24= From: Alistair Francis To: "qemu-devel@nongnu.org" , "qemu-riscv@nongnu.org" Thread-Topic: [PATCH v1 07/23] riscv: tcg-target: Add support for the constraints Thread-Index: AQHUklMEj4aF2r3avEe2a1MsQYTBdQ== Date: Wed, 12 Dec 2018 19:43:55 +0000 Message-ID: <4fcd5630ea673024b1c17f2987043176e78ee673.1544643238.git.alistair.francis@wdc.com> References: In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: git-send-email 2.19.1 x-clientproxiedby: BYAPR07CA0021.namprd07.prod.outlook.com (2603:10b6:a02:bc::34) To MWHPR04MB0401.namprd04.prod.outlook.com (2603:10b6:300:70::18) authentication-results: spf=none (sender IP is ) smtp.mailfrom=Alistair.Francis@wdc.com; x-ms-exchange-messagesentrepresentingtype: 1 x-originating-ip: [199.255.44.171] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1; MWHPR04MB0784; 6:eAiWvEVYmorZUeLuOk8hzmgDxPGHtEIf9GAHs6xvVnU1OcapbGbKGVBfqLrfgqWc4t7Cb79SaCaXzlyIkQHiWX175gNZwQPNQqhFK9Rkdd8kwqrtTY/frLvkceRSv0XgfgQM4pR4i/22HhxkXJN8PwQhiNx8DFgu7LA7BkVnfhdGpBFZl7jCjNIwbUfSzzHo2qnAXnM/GGoByCPLGZe2oJLIn9U+Yd6Yhnge72roWXz/7jG+k6HSrcfoQ9smlHB87jIlRpUI8azmdolAcj2cTRUslxKnT5cffH2WReYWRYagy36Yy18QShjxPi99qkY7Z8pttLaXiUPCO4XbugP+l1ttrnO4D8024dWhIumOprqtr+4gcgY+yLe2eBZejHZA5ZQKwv0oFqCpDydVqzB+YOOOf54xDf9jmOKrx1TOC2mse578dIOqG3eh+ugrAltQs3DE5ZP6MeVVsPnhOaE2XQ==; 5:/FMHa7PYx3O6AmxOcGRGzvkfufueVzw4hWCMAarKPWlRhwVd+nxT1uMJxhETgbLqcTM9s9LhmSW415h5O7DVMiPXr6S9JuYSWL4TzxIGTCK5PIw6b1hbbuGxTjw5A+gdiNCM6/+U4jK0ZkF1OUsvcVdx1gjyH/KKIK0fegUYyHw=; 7:757cxmkjpaqrvNxhbe8CSKUM/mwP2+704znaIBVawmnZ0UUvWFKB93gHVyUVoDv9W6wko6K6+dHK9q9fZFY32J/NkuwRcjHwh4BZy5lU8Ogy+oXT/LhWNV9rgF8Aoei6rh+hCyGgeR1pNxTUKYmXzw== x-ms-office365-filtering-correlation-id: 9275e5d9-ce91-4853-61f0-08d6606a26be x-ms-office365-filtering-ht: Tenant x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390098)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600074)(711020)(4618075)(2017052603328)(7153060)(7193020); SRVR:MWHPR04MB0784; x-ms-traffictypediagnostic: MWHPR04MB0784: wdcipoutbound: EOP-TRUE x-microsoft-antispam-prvs: x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0; PCL:0; RULEID:(8211001083)(6040522)(2401047)(8121501046)(5005006)(10201501046)(3231455)(999002)(944501520)(52105112)(93006095)(93001095)(3002001)(6055026)(148016)(149066)(150057)(6041310)(20161123558120)(20161123560045)(20161123562045)(20161123564045)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(201708071742011)(7699051)(76991095); SRVR:MWHPR04MB0784; BCL:0; PCL:0; RULEID:; SRVR:MWHPR04MB0784; x-forefront-prvs: 0884AAA693 x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(136003)(366004)(39860400002)(376002)(346002)(396003)(189003)(199004)(7736002)(2906002)(36756003)(5660300001)(81156014)(8676002)(81166006)(106356001)(8936002)(99286004)(305945005)(256004)(71190400001)(68736007)(105586002)(97736004)(71200400001)(86362001)(50226002)(118296001)(2501003)(6486002)(52116002)(44832011)(25786009)(6436002)(53936002)(486006)(386003)(4326008)(6506007)(6116002)(476003)(54906003)(76176011)(39060400002)(11346002)(3846002)(102836004)(2616005)(110136005)(26005)(478600001)(14454004)(446003)(6512007)(66066001)(316002)(186003)(72206003); DIR:OUT; SFP:1102; SCL:1; SRVR:MWHPR04MB0784; H:MWHPR04MB0401.namprd04.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1; x-microsoft-antispam-message-info: bNrsd0KRm440x4HczVY2UYFLgelbAh6X3vBZ6FsT6E6O1k3tiwjvkXXjBYbnUjuCy070crCb5CN0XjfjhaKTV8kgdXniN+JUKjsQ3+i9UpMCTPr7C77+JhhqwHWO1S321IzrFT7CkxNe2vzDDHjb/ouqFwKQs4hUMGDfXOf9f+WKJnWveDxmKcm8j90mwnlcjAuyjKnm/00DtRo7ONmwlgothcActEa7HlbZM5NhYGxDFZPH/Ua3gkPfZciN/kko00nXSLxZYVxjespfRe1B5lu2MIf8Ug7zmmS6LahCg7EqT+ZTY3fSTNFkNDeN7jn6 spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: wdc.com X-MS-Exchange-CrossTenant-Network-Message-Id: 9275e5d9-ce91-4853-61f0-08d6606a26be X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Dec 2018 19:43:55.6221 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: b61c8803-16f3-4c35-9b17-6f65f441df86 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MWHPR04MB0784 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 216.71.154.42 Subject: [Qemu-devel] [PATCH v1 07/23] riscv: tcg-target: Add support for the constraints X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: "alistair23@gmail.com" , "richard.henderson@linaro.org" , Alistair Francis Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: "Qemu-devel" X-ZohoMail-DKIM: fail (found 2 invalid signatures) Content-Type: text/plain; charset="utf-8" Signed-off-by: Alistair Francis Signed-off-by: Michael Clark Signed-off-by: Richard Henderson Reviewed-by: Richard Henderson --- tcg/riscv/tcg-target.inc.c | 168 +++++++++++++++++++++++++++++++++++++ 1 file changed, 168 insertions(+) diff --git a/tcg/riscv/tcg-target.inc.c b/tcg/riscv/tcg-target.inc.c index 6c969e3973..f853d01803 100644 --- a/tcg/riscv/tcg-target.inc.c +++ b/tcg/riscv/tcg-target.inc.c @@ -116,3 +116,171 @@ static const int tcg_target_call_oarg_regs[] =3D { TCG_REG_A0, TCG_REG_A1, }; + +#define TCG_CT_CONST_ZERO 0x100 +#define TCG_CT_CONST_S12 0x200 +#define TCG_CT_CONST_N12 0x400 +#define TCG_CT_CONST_M12 0x800 + +static inline tcg_target_long sextreg(tcg_target_long val, int pos, int le= n) +{ + if (TCG_TARGET_REG_BITS =3D=3D 32) { + return sextract32(val, pos, len); + } else { + return sextract64(val, pos, len); + } +} + +/* parse target specific constraints */ +static const char *target_parse_constraint(TCGArgConstraint *ct, + const char *ct_str, TCGType typ= e) +{ + switch (*ct_str++) { + case 'r': + ct->ct |=3D TCG_CT_REG; + ct->u.regs =3D 0xffffffff; + break; + case 'L': + /* qemu_ld/qemu_st constraint */ + ct->ct |=3D TCG_CT_REG; + ct->u.regs =3D 0xffffffff; + /* qemu_ld/qemu_st uses TCG_REG_TMP0 */ +#if defined(CONFIG_SOFTMMU) + tcg_regset_reset_reg(ct->u.regs, tcg_target_call_iarg_regs[0]); + tcg_regset_reset_reg(ct->u.regs, tcg_target_call_iarg_regs[1]); + tcg_regset_reset_reg(ct->u.regs, tcg_target_call_iarg_regs[2]); + tcg_regset_reset_reg(ct->u.regs, tcg_target_call_iarg_regs[3]); + tcg_regset_reset_reg(ct->u.regs, tcg_target_call_iarg_regs[4]); +#endif + break; + case 'I': + ct->ct |=3D TCG_CT_CONST_S12; + break; + case 'N': + ct->ct |=3D TCG_CT_CONST_N12; + break; + case 'M': + ct->ct |=3D TCG_CT_CONST_M12; + break; + case 'Z': + /* we can use a zero immediate as a zero register argument. */ + ct->ct |=3D TCG_CT_CONST_ZERO; + break; + default: + return NULL; + } + return ct_str; +} + +/* test if a constant matches the constraint */ +static int tcg_target_const_match(tcg_target_long val, TCGType type, + const TCGArgConstraint *arg_ct) +{ + int ct =3D arg_ct->ct; + if (ct & TCG_CT_CONST) { + return 1; + } + if ((ct & TCG_CT_CONST_ZERO) && val =3D=3D 0) { + return 1; + } + if ((ct & TCG_CT_CONST_S12) && val =3D=3D sextreg(val, 0, 12)) { + return 1; + } + if ((ct & TCG_CT_CONST_N12) && -val =3D=3D sextreg(-val, 0, 12)) { + return 1; + } + if ((ct & TCG_CT_CONST_M12) && val >=3D -0xfff && val <=3D 0xfff) { + return 1; + } + return 0; +} + +/* + * RISC-V Base ISA opcodes (IM) + */ + +typedef enum { + OPC_ADD =3D 0x33, + OPC_ADDI =3D 0x13, + OPC_AND =3D 0x7033, + OPC_ANDI =3D 0x7013, + OPC_AUIPC =3D 0x17, + OPC_BEQ =3D 0x63, + OPC_BGE =3D 0x5063, + OPC_BGEU =3D 0x7063, + OPC_BLT =3D 0x4063, + OPC_BLTU =3D 0x6063, + OPC_BNE =3D 0x1063, + OPC_DIV =3D 0x2004033, + OPC_DIVU =3D 0x2005033, + OPC_JAL =3D 0x6f, + OPC_JALR =3D 0x67, + OPC_LB =3D 0x3, + OPC_LBU =3D 0x4003, + OPC_LD =3D 0x3003, + OPC_LH =3D 0x1003, + OPC_LHU =3D 0x5003, + OPC_LUI =3D 0x37, + OPC_LW =3D 0x2003, + OPC_LWU =3D 0x6003, + OPC_MUL =3D 0x2000033, + OPC_MULH =3D 0x2001033, + OPC_MULHSU =3D 0x2002033, + OPC_MULHU =3D 0x2003033, + OPC_OR =3D 0x6033, + OPC_ORI =3D 0x6013, + OPC_REM =3D 0x2006033, + OPC_REMU =3D 0x2007033, + OPC_SB =3D 0x23, + OPC_SD =3D 0x3023, + OPC_SH =3D 0x1023, + OPC_SLL =3D 0x1033, + OPC_SLLI =3D 0x1013, + OPC_SLT =3D 0x2033, + OPC_SLTI =3D 0x2013, + OPC_SLTIU =3D 0x3013, + OPC_SLTU =3D 0x3033, + OPC_SRA =3D 0x40005033, + OPC_SRAI =3D 0x40005013, + OPC_SRL =3D 0x5033, + OPC_SRLI =3D 0x5013, + OPC_SUB =3D 0x40000033, + OPC_SW =3D 0x2023, + OPC_XOR =3D 0x4033, + OPC_XORI =3D 0x4013, + +#if TCG_TARGET_REG_BITS =3D=3D 64 + OPC_ADDIW =3D 0x1b, + OPC_ADDW =3D 0x3b, + OPC_DIVUW =3D 0x200503b, + OPC_DIVW =3D 0x200403b, + OPC_MULW =3D 0x200003b, + OPC_REMUW =3D 0x200703b, + OPC_REMW =3D 0x200603b, + OPC_SLLIW =3D 0x101b, + OPC_SLLW =3D 0x103b, + OPC_SRAIW =3D 0x4000501b, + OPC_SRAW =3D 0x4000503b, + OPC_SRLIW =3D 0x501b, + OPC_SRLW =3D 0x503b, + OPC_SUBW =3D 0x4000003b, +#else + /* Simplify code throughout by defining aliases for RV32. */ + OPC_ADDIW =3D OPC_ADDI, + OPC_ADDW =3D OPC_ADD, + OPC_DIVUW =3D OPC_DIVU, + OPC_DIVW =3D OPC_DIV, + OPC_MULW =3D OPC_MUL, + OPC_REMUW =3D OPC_REMU, + OPC_REMW =3D OPC_REM, + OPC_SLLIW =3D OPC_SLLI, + OPC_SLLW =3D OPC_SLL, + OPC_SRAIW =3D OPC_SRAI, + OPC_SRAW =3D OPC_SRA, + OPC_SRLIW =3D OPC_SRLI, + OPC_SRLW =3D OPC_SRL, + OPC_SUBW =3D OPC_SUB, +#endif + + OPC_FENCE =3D 0x0000000f, +} RISCVInsn; --=20 2.19.1