From patchwork Wed Feb 13 15:44:41 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Palmer Dabbelt X-Patchwork-Id: 158235 Delivered-To: patch@linaro.org Received: by 2002:a02:48:0:0:0:0:0 with SMTP id 69csp219325jaa; Wed, 13 Feb 2019 07:49:05 -0800 (PST) X-Google-Smtp-Source: AHgI3IYJ4DGgW/n8KXvUj05fu+2NoX/UeoHGBnVg3HK3+tdhPYTiKL1AKkWyMSScnBnmfd2nIUXL X-Received: by 2002:a0d:eac3:: with SMTP id t186mr4985013ywe.73.1550072945929; Wed, 13 Feb 2019 07:49:05 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1550072945; cv=none; d=google.com; s=arc-20160816; b=uLBJvWUyLk6KL14S8nSOHb/c71Zd+xBIh5q8+L5JbI2jFekk0kYJE/7qTUjmCNuCxv ra2ISE3XhRF3qhJ8/0EbXQJbqOa22HVbxhoIgsIUlCa7rNq5tsis5v2bYnjIhmPx3P3S sVkUF1nqHgW02TuBfc5/F1mrqVhHpokxINOflJ0Pb/jN1txeKWyVLo5J6McdMzInG2Mq rPNUd7Je7uslEPhzD/L7X3y6p7wSaEoJM58gbompw9nBSYkiQno1CUC6r2PzIuBT/5Q6 1yeKYlpuusth30EC36ntG+RLDMSTQbGCYcJ35BVQBYzdX+zcZRy44pKufj3vFglxXCCo rMzA== 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:to:from:references :in-reply-to:message-id:date:dkim-signature; bh=m3QyX5GKKen9C2A//gm0itW+Zbw+s4kREoS0dubIg4I=; b=IEg4duuxNg8n/oqjN1k9Vq7NcILFK9xMqiwZmK2jg98X4o/UW+RKkJdiGbG1sIJytY JLHI9t9zWuHx4ACaEFnIPilBNjyGinUDDrkkPJ01nfYqxgDhNCtK1V19699dUISFoWqY obGphFFBKrsXhT9+KB8VFkrX+Sg2CwtJhURnjt75zMCSL7vDqlc2fOKTsKO3rEn9fTSX n/U4ZNgz5fiKzHIQQ3pOq2RY8iJ3J5OG1l90ebVPyBEd/nynTgnq7LJxRPNa1YLYdcVd IiJGKjHtxhwU9BMbI8PwBkVuOnTFryh+Lz0sKq7UL3xAqx5NGtf9/TJveyk1bdL2Y2ig 7wpw== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@sifive.com header.s=google header.b="kCTva/bC"; 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" Return-Path: Received: from lists.gnu.org (lists.gnu.org. [209.51.188.17]) by mx.google.com with ESMTPS id l126si9501415ywb.364.2019.02.13.07.49.05 for (version=TLS1 cipher=AES128-SHA bits=128/128); Wed, 13 Feb 2019 07:49:05 -0800 (PST) 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=fail header.i=@sifive.com header.s=google header.b="kCTva/bC"; 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" Received: from localhost ([127.0.0.1]:58882 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gtwmX-0004ga-DX for patch@linaro.org; Wed, 13 Feb 2019 10:49:05 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56471) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gtwj4-0002FM-PN for qemu-devel@nongnu.org; Wed, 13 Feb 2019 10:45:32 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gtwj2-00072L-RE for qemu-devel@nongnu.org; Wed, 13 Feb 2019 10:45:30 -0500 Received: from mail-pf1-x432.google.com ([2607:f8b0:4864:20::432]:43580) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gtwj0-0006Vx-Nt for qemu-devel@nongnu.org; Wed, 13 Feb 2019 10:45:28 -0500 Received: by mail-pf1-x432.google.com with SMTP id q17so1300038pfh.10 for ; Wed, 13 Feb 2019 07:45:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sifive.com; s=google; h=subject:date:message-id:in-reply-to:references:cc:from:to; bh=m3QyX5GKKen9C2A//gm0itW+Zbw+s4kREoS0dubIg4I=; b=kCTva/bCuZgpfp8RwGvbQTfUHGpkSlpsFKtZfUTL6Ymp3wmAXBqC6jyF3hud7VMWx4 /zq+kG/kmEfPYDYWnEf59H+WyrJIDQ5ecCwZCZm6LtgslxeRJepvE+xLB/HOiLW103nY Gr+MzMrJcQo4BRSYy4IN1RTilmkgADmFbaBIb0YsmiEYVxoboN/a3ecdQzIioNNM0yBt 8xn1hik+638pGgHdOQE2dzPgPCfqe+cro3kW/4TkFmw0UKJzpohPMYDmEjiWmCLxlpyM wypIqs6MPDbfIDx3QwXh1xru1/38Fe3dwXE5N/aOVLT+FTxApOxehoS2Wy0gJNI/Ip+N 8Kbw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:date:message-id:in-reply-to:references :cc:from:to; bh=m3QyX5GKKen9C2A//gm0itW+Zbw+s4kREoS0dubIg4I=; b=FmQAvonLP4GUn+RocsSWsVfGG+6ljjaxmhwQ1XiKWGJYN+j0ZpMEPgalhicAdVb8/z jvhxMq6hASl97Irf7npoNQdDN5cXcumNmWphnkvaIdl8mUdCedVC33rINmaozYeyDaCk rjw0UAVQQi31AVyZkbAqtSMVOybmxJ+CRyxYNb/xLkhgZ58R6hm96ezT4PB2TsLqC63/ k3+Gq7e86mBygspJc9WXaqhhwtk432IxtD6uqRLIx/mUMAyYVFN3bhUZs5KZ1/FwqlEg fXEPYMpeuf4e8WOFvgZ9XQkkr/qwlBzJD+aXz7mYFBCeQSfUfKZJZ8RTclEX2xXXXtBq T8mA== X-Gm-Message-State: AHQUAuZezHb7qbnP81nY/+Bq89e5/JaLYsr6+lyryVaY3mHXIZD6MAWN pysT7ASNnv1Gc3UCPFd/3BKajA== X-Received: by 2002:aa7:8249:: with SMTP id e9mr1081289pfn.93.1550072705135; Wed, 13 Feb 2019 07:45:05 -0800 (PST) Received: from localhost ([12.206.222.5]) by smtp.gmail.com with ESMTPSA id z14sm19318423pgv.47.2019.02.13.07.45.04 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 13 Feb 2019 07:45:04 -0800 (PST) Date: Wed, 13 Feb 2019 07:44:41 -0800 Message-Id: <20190213154450.14749-3-palmer@sifive.com> X-Mailer: git-send-email 2.18.1 In-Reply-To: <20190213154450.14749-1-palmer@sifive.com> References: <20190213154450.14749-1-palmer@sifive.com> From: Palmer Dabbelt To: Peter Maydell X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::432 Subject: [Qemu-devel] [PULL 02/11] RISC-V: Mark mstatus.fs dirty 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: qemu-riscv@nongnu.org, Palmer Dabbelt , Richard Henderson , qemu-devel@nongnu.org, Michael Clark , Alistair Francis Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" From: Richard Henderson Modifed from Richard Henderson's patch [1] to integrate with the new control and status register implementation. [1] https://lists.nongnu.org/archive/html/qemu-devel/2018-03/msg07034.html Note: the f* CSRs already mark mstatus.FS dirty using env->mstatus |= mstatus.FS so the bug in the first spin of this patch has been fixed in a prior commit. Signed-off-by: Michael Clark Reviewed-by: Michael Clark Signed-off-by: Alistair Francis Co-authored-by: Richard Henderson Co-authored-by: Michael Clark Signed-off-by: Palmer Dabbelt --- target/riscv/csr.c | 12 ------------ target/riscv/translate.c | 40 +++++++++++++++++++++++++++++++++++++++- 2 files changed, 39 insertions(+), 13 deletions(-) -- 2.18.1 diff --git a/target/riscv/csr.c b/target/riscv/csr.c index 5e7e7d16b8b5..571414768992 100644 --- a/target/riscv/csr.c +++ b/target/riscv/csr.c @@ -317,18 +317,6 @@ static int write_mstatus(CPURISCVState *env, int csrno, target_ulong val) mstatus = (mstatus & ~mask) | (val & mask); - /* Note: this is a workaround for an issue where mstatus.FS - does not report dirty after floating point operations - that modify floating point state. This workaround is - technically compliant with the RISC-V Privileged - specification as it is legal to return only off, or dirty. - at the expense of extra floating point save/restore. */ - - /* FP is always dirty or off */ - if (mstatus & MSTATUS_FS) { - mstatus |= MSTATUS_FS; - } - int dirty = ((mstatus & MSTATUS_FS) == MSTATUS_FS) | ((mstatus & MSTATUS_XS) == MSTATUS_XS); mstatus = set_field(mstatus, MSTATUS_SD, dirty); diff --git a/target/riscv/translate.c b/target/riscv/translate.c index 3d07d651b60c..0581b3c1f7d7 100644 --- a/target/riscv/translate.c +++ b/target/riscv/translate.c @@ -651,6 +651,31 @@ static void gen_store(DisasContext *ctx, uint32_t opc, int rs1, int rs2, tcg_temp_free(dat); } +#ifndef CONFIG_USER_ONLY +/* The states of mstatus_fs are: + * 0 = disabled, 1 = initial, 2 = clean, 3 = dirty + * We will have already diagnosed disabled state, + * and need to turn initial/clean into dirty. + */ +static void mark_fs_dirty(DisasContext *ctx) +{ + TCGv tmp; + if (ctx->mstatus_fs == MSTATUS_FS) { + return; + } + /* Remember the state change for the rest of the TB. */ + ctx->mstatus_fs = MSTATUS_FS; + + tmp = tcg_temp_new(); + tcg_gen_ld_tl(tmp, cpu_env, offsetof(CPURISCVState, mstatus)); + tcg_gen_ori_tl(tmp, tmp, MSTATUS_FS); + tcg_gen_st_tl(tmp, cpu_env, offsetof(CPURISCVState, mstatus)); + tcg_temp_free(tmp); +} +#else +static inline void mark_fs_dirty(DisasContext *ctx) { } +#endif + static void gen_fp_load(DisasContext *ctx, uint32_t opc, int rd, int rs1, target_long imm) { @@ -679,6 +704,8 @@ static void gen_fp_load(DisasContext *ctx, uint32_t opc, int rd, break; } tcg_temp_free(t0); + + mark_fs_dirty(ctx); } static void gen_fp_store(DisasContext *ctx, uint32_t opc, int rs1, @@ -944,6 +971,7 @@ static void gen_fp_arith(DisasContext *ctx, uint32_t opc, int rd, int rs1, int rs2, int rm) { TCGv t0 = NULL; + bool fp_output = true; if (ctx->mstatus_fs == 0) { goto do_illegal; @@ -1006,6 +1034,7 @@ static void gen_fp_arith(DisasContext *ctx, uint32_t opc, int rd, } gen_set_gpr(rd, t0); tcg_temp_free(t0); + fp_output = false; break; case OPC_RISC_FCVT_W_S: @@ -1035,6 +1064,7 @@ static void gen_fp_arith(DisasContext *ctx, uint32_t opc, int rd, } gen_set_gpr(rd, t0); tcg_temp_free(t0); + fp_output = false; break; case OPC_RISC_FCVT_S_W: @@ -1085,6 +1115,7 @@ static void gen_fp_arith(DisasContext *ctx, uint32_t opc, int rd, } gen_set_gpr(rd, t0); tcg_temp_free(t0); + fp_output = false; break; case OPC_RISC_FMV_S_X: @@ -1177,6 +1208,7 @@ static void gen_fp_arith(DisasContext *ctx, uint32_t opc, int rd, } gen_set_gpr(rd, t0); tcg_temp_free(t0); + fp_output = false; break; case OPC_RISC_FCVT_W_D: @@ -1206,6 +1238,7 @@ static void gen_fp_arith(DisasContext *ctx, uint32_t opc, int rd, } gen_set_gpr(rd, t0); tcg_temp_free(t0); + fp_output = false; break; case OPC_RISC_FCVT_D_W: @@ -1254,6 +1287,7 @@ static void gen_fp_arith(DisasContext *ctx, uint32_t opc, int rd, default: goto do_illegal; } + fp_output = false; break; #if defined(TARGET_RISCV64) @@ -1271,7 +1305,11 @@ static void gen_fp_arith(DisasContext *ctx, uint32_t opc, int rd, tcg_temp_free(t0); } gen_exception_illegal(ctx); - break; + return; + } + + if (fp_output) { + mark_fs_dirty(ctx); } }