From patchwork Mon Dec 18 17:30:20 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 122285 Delivered-To: patch@linaro.org Received: by 10.140.22.227 with SMTP id 90csp3147225qgn; Mon, 18 Dec 2017 10:04:31 -0800 (PST) X-Google-Smtp-Source: ACJfBotSeRsrjwibKfxc8/RwxSpyo1pP0bMrvxfUHz+0DgBxdnQraSrvvD9E7O2y/4VK8dkPLc2o X-Received: by 10.13.221.133 with SMTP id g127mr473039ywe.125.1513620271052; Mon, 18 Dec 2017 10:04:31 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1513620271; cv=none; d=google.com; s=arc-20160816; b=mXd4YGOH6oDJ/oqYKuJytpyOWuVqXaGFPqjwbGIvnkFaRDHNA0dLxzwRuPSYPwr/3E 4WN1gkxpLhAALhDiJnmAT1CkX1BZ5detfe6XRhGDAeF7GZMlA1Il41tbfAGJ9MCQqpVK CXrQtmi36eYLArbt76fyeq6vNnjmqpKiNHWq5FnREk0bKf2HgJ2fOHAkpp3RDcvqHdqB Ivdblnayzu7rOuccUOopN3XO6NVSGJl06naESiMBQKDGvT9wt45+0Hz7eKp6trJ1LRge vbyeF+uwpchDsw/rqfRrEbmPFcl0zRwXghUSznA7frTuk7kNPrGrWrVFASAbdlS7kKa7 0rsQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:cc:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:subject:references:in-reply-to :message-id:date:to:from:dkim-signature:arc-authentication-results; bh=rXxxF9Yz0b20U9CO8JKna+xOxWBVcEYLOBmHvJ+JsMs=; b=RHZ95W7yUdtrELev9SWMs1boFGGmePxS0E0A9bN+I9wDDel+QT8ER6gE9UI0bsZtRW FCwsfSuDK7C7Hiq7X9T218w9qgSyhCBdTr7ZcDebOom02jwV+O0GLqHPUGlAC0xsXdpN MtzYiSvYcU1JNoUegckQe6eeaOZwhNuOeK77mVSEr705MJRqlpDZ8SdPPBZeg9JjjSlw Y63PaFNn3WKTKsVfPd5WmnB7h7p1B4Duy6PbJtKXvzHH22VPxkTBRhBVm8ssI3tN22+v FV5aaQLd23IDCm2nkrNT9FAGoj0f7IM2IWRgiYXNJkL3/gjUKdLWSv68MyyEaPRdvlfU rsWw== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=WArk4NjT; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom=qemu-devel-bounces+patch=linaro.org@nongnu.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from lists.gnu.org (lists.gnu.org. [2001:4830:134:3::11]) by mx.google.com with ESMTPS id e189si2479562ywc.433.2017.12.18.10.04.30 for (version=TLS1 cipher=AES128-SHA bits=128/128); Mon, 18 Dec 2017 10:04:31 -0800 (PST) Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) client-ip=2001:4830:134:3::11; Authentication-Results: mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=WArk4NjT; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom=qemu-devel-bounces+patch=linaro.org@nongnu.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from localhost ([::1]:60147 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eQzmA-0008AY-Gq for patch@linaro.org; Mon, 18 Dec 2017 13:04:30 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:44433) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eQzFP-0002ga-Ki for qemu-devel@nongnu.org; Mon, 18 Dec 2017 12:30:41 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eQzFN-0004kh-5A for qemu-devel@nongnu.org; Mon, 18 Dec 2017 12:30:39 -0500 Received: from mail-pl0-x242.google.com ([2607:f8b0:400e:c01::242]:46598) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eQzFM-0004kB-Rz for qemu-devel@nongnu.org; Mon, 18 Dec 2017 12:30:37 -0500 Received: by mail-pl0-x242.google.com with SMTP id i6so5222753plt.13 for ; Mon, 18 Dec 2017 09:30:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=rXxxF9Yz0b20U9CO8JKna+xOxWBVcEYLOBmHvJ+JsMs=; b=WArk4NjT8ABI49gI39Jv833fF/nr3hiD2IP3+VXu+/vN8zEbk5FyF6z2U6uxZBun+U 82PF3lQDX3gmfmyKxjGF7SaRq4F4mpKdC2wsWkojBdlnRlaNK6sVu6Eoa7PKfAJVtoQy XskLvI+MoJ1I10e4i/CFtzeoz3prMs1VYhFDU= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=rXxxF9Yz0b20U9CO8JKna+xOxWBVcEYLOBmHvJ+JsMs=; b=GCMtZ42tpum8X16Z4gej4gmoeX/POXRecqIM+CgosZbKlA4/iUbaK5tVz0IzVHpIKv xWiLRMeJglguFU1aW34CtxI/WwWFUWxxtGeSfN2KcFkz+IDyEaBFsfkf/uWD/X3DWiPB 4xHHuhCpAXe3xJSl+E2UwrhdK0JYOpHGqzGUKEBe2jwKbHJTpzJnpE7sgIiBlcPtjBbP hU9+FHyjNlgdnrs5wC+Na4dajcSCXjrTctixD9C/owwdUB10RXERC2ki1Jal79ebPfVz qMViKr2IJ5jsupaDAxNfrv5GcjRqo3VX5w2WdL4NGGdkkNn1nX9XYJAS2HEPCwxvb0D6 3Axw== X-Gm-Message-State: AKGB3mIwdX2/snYVNNCFr9mWJU9W+XfvuumTguvJnT0GnIV2N/7J39pV y/6vpHJGGUA9h1ztTGq6AeWpVMIcHW0= X-Received: by 10.159.245.145 with SMTP id a17mr452166pls.276.1513618235393; Mon, 18 Dec 2017 09:30:35 -0800 (PST) Received: from cloudburst.twiddle.net (174-21-7-63.tukw.qwest.net. [174.21.7.63]) by smtp.gmail.com with ESMTPSA id h69sm26553411pfe.107.2017.12.18.09.30.34 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 18 Dec 2017 09:30:34 -0800 (PST) From: Richard Henderson To: qemu-devel@nongnu.org Date: Mon, 18 Dec 2017 09:30:20 -0800 Message-Id: <20171218173022.18418-8-richard.henderson@linaro.org> X-Mailer: git-send-email 2.14.3 In-Reply-To: <20171218173022.18418-1-richard.henderson@linaro.org> References: <20171218173022.18418-1-richard.henderson@linaro.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:400e:c01::242 Subject: [Qemu-devel] [PATCH 7/9] target/arm: Expand vector registers for SVE 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: peter.maydell@linaro.org, qemu-arm@nongnu.org Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Change vfp.regs as a uint64_t to vfp.zregs as an ARMVectorReg. The previous patches have made the change in representation relatively painless. Add vfp.pregs as an ARMPredicateReg. Let FFR be P16 to make it easier to treat it as for any other predicate. Signed-off-by: Richard Henderson --- target/arm/cpu.h | 64 ++++++++++++++++++++++++++++++++-------------- target/arm/machine.c | 37 ++++++++++++++++++++++++++- target/arm/translate-a64.c | 8 +++--- target/arm/translate.c | 12 ++++----- 4 files changed, 90 insertions(+), 31 deletions(-) -- 2.14.3 diff --git a/target/arm/cpu.h b/target/arm/cpu.h index e1a8e2880d..150b0d9d84 100644 --- a/target/arm/cpu.h +++ b/target/arm/cpu.h @@ -153,6 +153,47 @@ typedef struct { uint32_t base_mask; } TCR; +/* Define a maximum sized vector register. + * For 32-bit, this is a 128-bit NEON/AdvSIMD register. + * For 64-bit, this is a 2048-bit SVE register. + * + * Note that the mapping between S, D, and Q views of the register bank + * differs between AArch64 and AArch32. + * In AArch32: + * Qn = regs[n].d[1]:regs[n].d[0] + * Dn = regs[n / 2].d[n & 1] + * Sn = regs[n / 4].d[n % 4 / 2], + * bits 31..0 for even n, and bits 63..32 for odd n + * (and regs[16] to regs[31] are inaccessible) + * In AArch64: + * Zn = regs[n].d[*] + * Qn = regs[n].d[1]:regs[n].d[0] + * Dn = regs[n].d[0] + * Sn = regs[n].d[0] bits 31..0 + * + * This corresponds to the architecturally defined mapping between + * the two execution states, and means we do not need to explicitly + * map these registers when changing states. + */ + +#ifdef TARGET_AARCH64 +# define ARM_MAX_VQ 16 +#else +# define ARM_MAX_VQ 1 +#endif + +typedef struct ARMVectorReg { + uint64_t d[2 * ARM_MAX_VQ] QEMU_ALIGNED(16); +} ARMVectorReg; + +typedef struct ARMPredicateReg { +#ifdef TARGET_AARCH64 + uint64_t p[2 * ARM_MAX_VQ / 8] QEMU_ALIGNED(16); +#else + uint64_t p[0]; +#endif +} ARMPredicateReg; + typedef struct CPUARMState { /* Regs for current mode. */ uint32_t regs[16]; @@ -477,23 +518,8 @@ typedef struct CPUARMState { /* VFP coprocessor state. */ struct { - /* VFP/Neon register state. Note that the mapping between S, D and Q - * views of the register bank differs between AArch64 and AArch32: - * In AArch32: - * Qn = regs[2n+1]:regs[2n] - * Dn = regs[n] - * Sn = regs[n/2] bits 31..0 for even n, and bits 63..32 for odd n - * (and regs[32] to regs[63] are inaccessible) - * In AArch64: - * Qn = regs[2n+1]:regs[2n] - * Dn = regs[2n] - * Sn = regs[2n] bits 31..0 - * Hn = regs[2n] bits 15..0 for even n, and bits 31..16 for odd n - * This corresponds to the architecturally defined mapping between - * the two execution states, and means we do not need to explicitly - * map these registers when changing states. - */ - uint64_t regs[64] QEMU_ALIGNED(16); + ARMVectorReg zregs[32]; + ARMPredicateReg pregs[17]; /* ffr is pregs[16] */ uint32_t xregs[16]; /* We store these fpcsr fields separately for convenience. */ @@ -2905,7 +2931,7 @@ static inline void *arm_get_el_change_hook_opaque(ARMCPU *cpu) */ static inline uint64_t *aa32_vfp_dreg(CPUARMState *env, unsigned regno) { - return &env->vfp.regs[regno]; + return &env->vfp.zregs[regno >> 1].d[regno & 1]; } /** @@ -2914,7 +2940,7 @@ static inline uint64_t *aa32_vfp_dreg(CPUARMState *env, unsigned regno) */ static inline uint64_t *aa64_vfp_qreg(CPUARMState *env, unsigned regno) { - return &env->vfp.regs[2 * regno]; + return &env->vfp.zregs[regno].d[0]; } #endif diff --git a/target/arm/machine.c b/target/arm/machine.c index a85c2430d3..39f3123b10 100644 --- a/target/arm/machine.c +++ b/target/arm/machine.c @@ -50,7 +50,42 @@ static const VMStateDescription vmstate_vfp = { .minimum_version_id = 3, .needed = vfp_needed, .fields = (VMStateField[]) { - VMSTATE_UINT64_ARRAY(env.vfp.regs, ARMCPU, 64), + /* For compatibility, store Qn out of Zn here. */ + /* TODO: store the other quadwords in another subsection, + along with predicate registers and ZCR_EL[1-3]. */ + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[0].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[1].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[2].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[3].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[4].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[5].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[6].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[7].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[8].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[9].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[10].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[11].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[12].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[13].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[14].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[15].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[16].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[17].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[18].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[19].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[20].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[21].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[22].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[23].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[24].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[25].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[26].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[27].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[28].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[29].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[30].d, ARMCPU, 0, 2), + VMSTATE_UINT64_SUB_ARRAY(env.vfp.zregs[31].d, ARMCPU, 0, 2), + /* The xregs array is a little awkward because element 1 (FPSCR) * requires a specific accessor, so we have to split it up in * the vmstate: diff --git a/target/arm/translate-a64.c b/target/arm/translate-a64.c index e17c7269d4..487408a7a7 100644 --- a/target/arm/translate-a64.c +++ b/target/arm/translate-a64.c @@ -523,8 +523,8 @@ static inline int vec_reg_offset(DisasContext *s, int regno, { int offs = 0; #ifdef HOST_WORDS_BIGENDIAN - /* This is complicated slightly because vfp.regs[2n] is - * still the low half and vfp.regs[2n+1] the high half + /* This is complicated slightly because vfp.zregs[n].d[0] is + * still the low half and vfp.zregs[n].d[1] the high half * of the 128 bit vector, even on big endian systems. * Calculate the offset assuming a fully bigendian 128 bits, * then XOR to account for the order of the two 64 bit halves. @@ -534,7 +534,7 @@ static inline int vec_reg_offset(DisasContext *s, int regno, #else offs += element * (1 << size); #endif - offs += offsetof(CPUARMState, vfp.regs[regno * 2]); + offs += offsetof(CPUARMState, vfp.zregs[regno]); assert_fp_access_checked(s); return offs; } @@ -543,7 +543,7 @@ static inline int vec_reg_offset(DisasContext *s, int regno, static inline int vec_full_reg_offset(DisasContext *s, int regno) { assert_fp_access_checked(s); - return offsetof(CPUARMState, vfp.regs[regno * 2]); + return offsetof(CPUARMState, vfp.zregs[regno]); } /* Return the byte size of the "whole" vector register, VL / 8. */ diff --git a/target/arm/translate.c b/target/arm/translate.c index a93e26498e..7a5e493333 100644 --- a/target/arm/translate.c +++ b/target/arm/translate.c @@ -1513,19 +1513,17 @@ static inline void gen_vfp_st(DisasContext *s, int dp, TCGv_i32 addr) } } -static inline long -vfp_reg_offset (int dp, int reg) +static inline long vfp_reg_offset(bool dp, unsigned reg) { if (dp) { - return offsetof(CPUARMState, vfp.regs[reg]); + return offsetof(CPUARMState, vfp.zregs[reg >> 1].d[reg & 1]); } else { - long ofs = offsetof(CPUARMState, vfp.regs[reg >> 1]); + long r = offsetof(CPUARMState, vfp.zregs[reg >> 2].d[(reg >> 1) & 1]); if (reg & 1) { - ofs += offsetof(CPU_DoubleU, l.upper); + return r + offsetof(CPU_DoubleU, l.upper); } else { - ofs += offsetof(CPU_DoubleU, l.lower); + return r + offsetof(CPU_DoubleU, l.lower); } - return ofs; } }