From nobody Tue Feb 10 17:13:24 2026 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; 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 ARC-Seal: i=1; a=rsa-sha256; t=1623313420; cv=none; d=zohomail.com; s=zohoarc; b=iR7NTHl7yEkXD5iM0Fi6UTjcYJsMcb7e5nqWSXrIpK5OBDEt6bAKfC6C398k+NHdMBfL+zaFzNhzmRvZzlKcIsXZlxKDSvXgAY0i5lVdrv3X4V7DFo4j8wXWauqO3hVtmbm8pwG9uwjFVQdcmDG8a2kX9ByeGbtjvRs/DhoKf/I= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1623313420; h=Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:To; bh=BJndvltkcyuoRjuesORF4S6Ldig2WemL7rJk/Ei0agI=; b=DdwZ6/+nJty482DdqS996sU8ak+n/su/f81+dPnR3hMr/LxNmisLZwcagIt3OStun9n25mFdjOBUIbLNJiUoJtMYpH6Y7s/GeA6zl9BDDJoz4di62b0Q7nz+giHQbgysocUamiKno1FR64rAG2WYugacN5nmg8FzGL79buHWOhE= ARC-Authentication-Results: i=1; mx.zohomail.com; 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 Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 1623313420318405.9803444337598; Thu, 10 Jun 2021 01:23:40 -0700 (PDT) Received: from localhost ([::1]:41674 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lrFyU-00043j-51 for importer@patchew.org; Thu, 10 Jun 2021 04:23:38 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42136) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lrFjQ-0000Xy-Bd; Thu, 10 Jun 2021 04:08:05 -0400 Received: from out28-124.mail.aliyun.com ([115.124.28.124]:57990) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lrFjM-0002FC-3g; Thu, 10 Jun 2021 04:08:04 -0400 Received: from localhost.localdomain(mailfrom:zhiwei_liu@c-sky.com fp:SMTPD_---.KQN4uzq_1623312473) by smtp.aliyun-inc.com(10.147.40.2); Thu, 10 Jun 2021 16:07:53 +0800 X-Alimail-AntiSpam: AC=CONTINUE; BC=0.07609424|-1; CH=green; DM=|CONTINUE|false|; DS=CONTINUE|ham_system_inform|0.547673-7.80372e-05-0.452249; FP=0|0|0|0|0|-1|-1|-1; HT=ay29a033018047213; MF=zhiwei_liu@c-sky.com; NM=1; PH=DS; RN=7; RT=7; SR=0; TI=SMTPD_---.KQN4uzq_1623312473; From: LIU Zhiwei To: qemu-devel@nongnu.org, qemu-riscv@nongnu.org Subject: [PATCH v2 17/37] target/riscv: Signed 16-bit Multiply 32-bit Add/Subtract Instructions Date: Thu, 10 Jun 2021 15:58:48 +0800 Message-Id: <20210610075908.3305506-18-zhiwei_liu@c-sky.com> X-Mailer: git-send-email 2.25.1 In-Reply-To: <20210610075908.3305506-1-zhiwei_liu@c-sky.com> References: <20210610075908.3305506-1-zhiwei_liu@c-sky.com> 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: none client-ip=115.124.28.124; envelope-from=zhiwei_liu@c-sky.com; helo=out28-124.mail.aliyun.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, UNPARSEABLE_RELAY=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: palmer@dabbelt.com, richard.henderson@linaro.org, bin.meng@windriver.com, Alistair.Francis@wdc.com, LIU Zhiwei Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: "Qemu-devel" Content-Type: text/plain; charset="utf-8" Always contain a signed 16x16 multiply and the 32-bit result can be written to the destination register or as an operand for an add/subtract operation. Signed-off-by: LIU Zhiwei --- target/riscv/helper.h | 19 ++ target/riscv/insn32.decode | 19 ++ target/riscv/insn_trans/trans_rvp.c.inc | 20 ++ target/riscv/packed_helper.c | 268 ++++++++++++++++++++++++ 4 files changed, 326 insertions(+) diff --git a/target/riscv/helper.h b/target/riscv/helper.h index 854f48d385..5aac6ba578 100644 --- a/target/riscv/helper.h +++ b/target/riscv/helper.h @@ -1297,3 +1297,22 @@ DEF_HELPER_4(kmmawb2, tl, env, tl, tl, tl) DEF_HELPER_4(kmmawb2_u, tl, env, tl, tl, tl) DEF_HELPER_4(kmmawt2, tl, env, tl, tl, tl) DEF_HELPER_4(kmmawt2_u, tl, env, tl, tl, tl) + +DEF_HELPER_3(smbb16, tl, env, tl, tl) +DEF_HELPER_3(smbt16, tl, env, tl, tl) +DEF_HELPER_3(smtt16, tl, env, tl, tl) +DEF_HELPER_3(kmda, tl, env, tl, tl) +DEF_HELPER_3(kmxda, tl, env, tl, tl) +DEF_HELPER_3(smds, tl, env, tl, tl) +DEF_HELPER_3(smdrs, tl, env, tl, tl) +DEF_HELPER_3(smxds, tl, env, tl, tl) +DEF_HELPER_4(kmabb, tl, env, tl, tl, tl) +DEF_HELPER_4(kmabt, tl, env, tl, tl, tl) +DEF_HELPER_4(kmatt, tl, env, tl, tl, tl) +DEF_HELPER_4(kmada, tl, env, tl, tl, tl) +DEF_HELPER_4(kmaxda, tl, env, tl, tl, tl) +DEF_HELPER_4(kmads, tl, env, tl, tl, tl) +DEF_HELPER_4(kmadrs, tl, env, tl, tl, tl) +DEF_HELPER_4(kmaxds, tl, env, tl, tl, tl) +DEF_HELPER_4(kmsda, tl, env, tl, tl, tl) +DEF_HELPER_4(kmsxda, tl, env, tl, tl, tl) diff --git a/target/riscv/insn32.decode b/target/riscv/insn32.decode index e5a8f663dc..f590880750 100644 --- a/target/riscv/insn32.decode +++ b/target/riscv/insn32.decode @@ -900,3 +900,22 @@ kmmawb2 1100111 ..... ..... 001 ..... 1110111 @r kmmawb2_u 1101111 ..... ..... 001 ..... 1110111 @r kmmawt2 1110111 ..... ..... 001 ..... 1110111 @r kmmawt2_u 1111111 ..... ..... 001 ..... 1110111 @r + +smbb16 0000100 ..... ..... 001 ..... 1110111 @r +smbt16 0001100 ..... ..... 001 ..... 1110111 @r +smtt16 0010100 ..... ..... 001 ..... 1110111 @r +kmda 0011100 ..... ..... 001 ..... 1110111 @r +kmxda 0011101 ..... ..... 001 ..... 1110111 @r +smds 0101100 ..... ..... 001 ..... 1110111 @r +smdrs 0110100 ..... ..... 001 ..... 1110111 @r +smxds 0111100 ..... ..... 001 ..... 1110111 @r +kmabb 0101101 ..... ..... 001 ..... 1110111 @r +kmabt 0110101 ..... ..... 001 ..... 1110111 @r +kmatt 0111101 ..... ..... 001 ..... 1110111 @r +kmada 0100100 ..... ..... 001 ..... 1110111 @r +kmaxda 0100101 ..... ..... 001 ..... 1110111 @r +kmads 0101110 ..... ..... 001 ..... 1110111 @r +kmadrs 0110110 ..... ..... 001 ..... 1110111 @r +kmaxds 0111110 ..... ..... 001 ..... 1110111 @r +kmsda 0100110 ..... ..... 001 ..... 1110111 @r +kmsxda 0100111 ..... ..... 001 ..... 1110111 @r diff --git a/target/riscv/insn_trans/trans_rvp.c.inc b/target/riscv/insn_tr= ans/trans_rvp.c.inc index af490a5ef0..308fc223db 100644 --- a/target/riscv/insn_trans/trans_rvp.c.inc +++ b/target/riscv/insn_trans/trans_rvp.c.inc @@ -431,3 +431,23 @@ GEN_RVP_R_ACC_OOL(kmmawb2); GEN_RVP_R_ACC_OOL(kmmawb2_u); GEN_RVP_R_ACC_OOL(kmmawt2); GEN_RVP_R_ACC_OOL(kmmawt2_u); + +/* Signed 16-bit Multiply with 32-bit Add/Subtract Instructions */ +GEN_RVP_R_OOL(smbb16); +GEN_RVP_R_OOL(smbt16); +GEN_RVP_R_OOL(smtt16); +GEN_RVP_R_OOL(kmda); +GEN_RVP_R_OOL(kmxda); +GEN_RVP_R_OOL(smds); +GEN_RVP_R_OOL(smdrs); +GEN_RVP_R_OOL(smxds); +GEN_RVP_R_ACC_OOL(kmabb); +GEN_RVP_R_ACC_OOL(kmabt); +GEN_RVP_R_ACC_OOL(kmatt); +GEN_RVP_R_ACC_OOL(kmada); +GEN_RVP_R_ACC_OOL(kmaxda); +GEN_RVP_R_ACC_OOL(kmads); +GEN_RVP_R_ACC_OOL(kmadrs); +GEN_RVP_R_ACC_OOL(kmaxds); +GEN_RVP_R_ACC_OOL(kmsda); +GEN_RVP_R_ACC_OOL(kmsxda); diff --git a/target/riscv/packed_helper.c b/target/riscv/packed_helper.c index 868a1a71ba..88509fd118 100644 --- a/target/riscv/packed_helper.c +++ b/target/riscv/packed_helper.c @@ -1676,3 +1676,271 @@ static inline void do_kmmawt2_u(CPURISCVState *env,= void *vd, void *va, } =20 RVPR_ACC(kmmawt2_u, 1, 4); + +/* Signed 16-bit Multiply with 32-bit Add/Subtract Instruction */ +static inline void do_smbb16(CPURISCVState *env, void *vd, void *va, + void *vb, uint8_t i) +{ + int32_t *d =3D vd; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i)]; +} + +RVPR(smbb16, 1, 4); + +static inline void do_smbt16(CPURISCVState *env, void *vd, void *va, + void *vb, uint8_t i) +{ + int32_t *d =3D vd; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i + 1)]; +} + +RVPR(smbt16, 1, 4); + +static inline void do_smtt16(CPURISCVState *env, void *vd, void *va, + void *vb, uint8_t i) +{ + int32_t *d =3D vd; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1)]; +} + +RVPR(smtt16, 1, 4); + +static inline void do_kmda(CPURISCVState *env, void *vd, void *va, + void *vb, uint8_t i) +{ + int32_t *d =3D vd; + int16_t *a =3D va, *b =3D vb; + if (a[H2(2 * i)] =3D=3D INT16_MIN && a[H2(2 * i + 1)] =3D=3D INT16_MIN= && + b[H2(2 * i)] =3D=3D INT16_MIN && a[H2(2 * i + 1)] =3D=3D INT16_MIN= ) { + d[H4(i)] =3D INT32_MAX; + env->vxsat =3D 0x1; + } else { + d[H4(i)] =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i)] + + (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1)]; + } +} + +RVPR(kmda, 1, 4); + +static inline void do_kmxda(CPURISCVState *env, void *vd, void *va, + void *vb, uint8_t i) +{ + int32_t *d =3D vd; + int16_t *a =3D va, *b =3D vb; + if (a[H2(2 * i)] =3D=3D INT16_MIN && a[H2(2 * i + 1)] =3D=3D INT16_MIN= && + b[H2(2 * i)] =3D=3D INT16_MIN && a[H2(2 * i + 1)] =3D=3D INT16_MIN= ) { + d[H4(i)] =3D INT32_MAX; + env->vxsat =3D 0x1; + } else { + d[H4(i)] =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i)] + + (int32_t)a[H2(2 * i)] * b[H2(2 * i + 1)]; + } +} + +RVPR(kmxda, 1, 4); + +static inline void do_smds(CPURISCVState *env, void *vd, void *va, + void *vb, uint8_t i) +{ + int32_t *d =3D vd; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1)] - + (int32_t)a[H2(2 * i)] * b[H2(2 * i)]; +} + +RVPR(smds, 1, 4); + +static inline void do_smdrs(CPURISCVState *env, void *vd, void *va, + void *vb, uint8_t i) +{ + int32_t *d =3D vd; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i)] - + (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1)]; +} + +RVPR(smdrs, 1, 4); + +static inline void do_smxds(CPURISCVState *env, void *vd, void *va, + void *vb, uint8_t i) +{ + int32_t *d =3D vd; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i)] - + (int32_t)a[H2(2 * i)] * b[H2(2 * i + 1)]; +} + +RVPR(smxds, 1, 4); + +static inline void do_kmabb(CPURISCVState *env, void *vd, void *va, + void *vb, void *vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D sadd32(env, 0, (int32_t)a[H2(2 * i)] * b[H2(2 * i)], c[H4= (i)]); +} + +RVPR_ACC(kmabb, 1, 4); + +static inline void do_kmabt(CPURISCVState *env, void *vd, void *va, + void *vb, void *vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D sadd32(env, 0, (int32_t)a[H2(2 * i)] * b[H2(2 * i + 1)], + c[H4(i)]); +} + +RVPR_ACC(kmabt, 1, 4); + +static inline void do_kmatt(CPURISCVState *env, void *vd, void *va, + void *vb, void *vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + d[H4(i)] =3D sadd32(env, 0, (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1= )], + c[H4(i)]); +} + +RVPR_ACC(kmatt, 1, 4); + +static inline void do_kmada(CPURISCVState *env, void *vd, void *va, + void *vb, void *vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + int32_t p1, p2; + p1 =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i)]; + p2 =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1)]; + + if (a[H2(i)] =3D=3D INT16_MIN && a[H2(i + 1)] =3D=3D INT16_MIN && + b[H2(i)] =3D=3D INT16_MIN && b[H2(i + 1)] =3D=3D INT16_MIN) { + if (c[H4(i)] < 0) { + d[H4(i)] =3D INT32_MAX + c[H4(i)] + 1ll; + } else { + env->vxsat =3D 0x1; + d[H4(i)] =3D INT32_MAX; + } + } else { + d[H4(i)] =3D sadd32(env, 0, p1 + p2, c[H4(i)]); + } +} + +RVPR_ACC(kmada, 1, 4); + +static inline void do_kmaxda(CPURISCVState *env, void *vd, void *va, + void *vb, void *vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + int32_t p1, p2; + p1 =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i)]; + p2 =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i + 1)]; + + if (a[H2(2 * i)] =3D=3D INT16_MIN && a[H2(2 * i + 1)] =3D=3D INT16_MIN= && + b[H2(2 * i)] =3D=3D INT16_MIN && b[H2(2 * i + 1)] =3D=3D INT16_MIN= ) { + if (c[H4(i)] < 0) { + d[H4(i)] =3D INT32_MAX + c[H4(i)] + 1ll; + } else { + env->vxsat =3D 0x1; + d[H4(i)] =3D INT32_MAX; + } + } else { + d[H4(i)] =3D sadd32(env, 0, p1 + p2, c[H4(i)]); + } +} + +RVPR_ACC(kmaxda, 1, 4); + +static inline void do_kmads(CPURISCVState *env, void *vd, void *va, + void *vb, void *vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + int32_t p1, p2; + p1 =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1)]; + p2 =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i)]; + + d[H4(i)] =3D sadd32(env, 0, p1 - p2, c[H4(i)]); +} + +RVPR_ACC(kmads, 1, 4); + +static inline void do_kmadrs(CPURISCVState *env, void *vd, void *va, + void *vb, void * vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + int32_t p1, p2; + p1 =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i)]; + p2 =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1)]; + + d[H4(i)] =3D sadd32(env, 0, p1 - p2, c[H4(i)]); +} + +RVPR_ACC(kmadrs, 1, 4); + +static inline void do_kmaxds(CPURISCVState *env, void *vd, void *va, + void *vb, void *vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + int32_t p1, p2; + p1 =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i)]; + p2 =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i + 1)]; + + d[H4(i)] =3D sadd32(env, 0, p1 - p2, c[H4(i)]); +} + +RVPR_ACC(kmaxds, 1, 4); + +static inline void do_kmsda(CPURISCVState *env, void *vd, void *va, + void *vb, void *vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + int32_t p1, p2; + p1 =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i)]; + p2 =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i + 1)]; + + if (a[H2(i)] =3D=3D INT16_MIN && a[H2(i + 1)] =3D=3D INT16_MIN && + b[H2(i)] =3D=3D INT16_MIN && b[H2(i + 1)] =3D=3D INT16_MIN) { + if (c[H4(i)] < 0) { + env->vxsat =3D 0x1; + d[H4(i)] =3D INT32_MIN; + } else { + d[H4(i)] =3D c[H4(i)] - 1ll - INT32_MAX; + } + } else { + d[H4(i)] =3D ssub32(env, 0, c[H4(i)], p1 + p2); + } +} + +RVPR_ACC(kmsda, 1, 4); + +static inline void do_kmsxda(CPURISCVState *env, void *vd, void *va, + void *vb, void * vc, uint8_t i) +{ + int32_t *d =3D vd, *c =3D vc; + int16_t *a =3D va, *b =3D vb; + int32_t p1, p2; + p1 =3D (int32_t)a[H2(2 * i)] * b[H2(2 * i + 1)]; + p2 =3D (int32_t)a[H2(2 * i + 1)] * b[H2(2 * i)]; + + if (a[H2(i)] =3D=3D INT16_MIN && a[H2(i + 1)] =3D=3D INT16_MIN && + b[H2(i)] =3D=3D INT16_MIN && b[H2(i + 1)] =3D=3D INT16_MIN) { + if (d[H4(i)] < 0) { + env->vxsat =3D 0x1; + d[H4(i)] =3D INT32_MIN; + } else { + d[H4(i)] =3D c[H4(i)] - 1ll - INT32_MAX; + } + } else { + d[H4(i)] =3D ssub32(env, 0, c[H4(i)], p1 + p2); + } +} + +RVPR_ACC(kmsxda, 1, 4); --=20 2.25.1