From nobody Sat Feb 7 14:20:31 2026 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; 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=gmail.com Return-Path: Received: from lists.gnu.org (lists.gnu.org [208.118.235.17]) by mx.zohomail.com with SMTPS id 153611247848957.714609856204106; Tue, 4 Sep 2018 18:54:38 -0700 (PDT) Received: from localhost ([::1]:53425 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fxN1g-0008Dm-WD for importer@patchew.org; Tue, 04 Sep 2018 21:54:37 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58018) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fxMsL-0006D3-CG for qemu-devel@nongnu.org; Tue, 04 Sep 2018 21:44:58 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fxMsJ-0007Ci-2K for qemu-devel@nongnu.org; Tue, 04 Sep 2018 21:44:57 -0400 Received: from mail-lj1-x233.google.com ([2a00:1450:4864:20::233]:44916) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fxMsG-0006zO-Dk for qemu-devel@nongnu.org; Tue, 04 Sep 2018 21:44:53 -0400 Received: by mail-lj1-x233.google.com with SMTP id q127-v6so4785936ljq.11 for ; Tue, 04 Sep 2018 18:44:45 -0700 (PDT) Received: from octofox.cadence.com (jcmvbkbc-1-pt.tunnel.tserv24.sto1.ipv6.he.net. [2001:470:27:1fa::2]) by smtp.gmail.com with ESMTPSA id g10-v6sm59337lfl.11.2018.09.04.18.44.42 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 04 Sep 2018 18:44:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=3Vywps/tFNYtI3stfvDYzmMUfPI0Ly4cUyqonAG3CO4=; b=k49FUIARW0tl+ab+H4evBzlcZ9O9T5l82uKRCtm/FPIZJkxY6up0uTJIyYf11/FU5K HH3YFx0nU7VLGbpXpz0HIi7Y5TD7sOyktaCQkOuha0FPCqVU558vHbVjRLVwSSYxzMmd jNo2fRexsx2v7SoZe3xX5pOzoDAnb12AccQdyZCYT99dlbttyqkSqz2N5Nq/BTXgaukc ODNZc9WC7h4UHWc9JNI3uwHp6k9A3r02fSbZzrHwF6dcNj/c+QpOfIQIrg9VftIQS3o6 VORIzI5J9BctEpFSYG/0+pvtGSJDISmvLIiy8NravHiQyEHuXxSQAdxzRdj1gOyDnncv w7Bw== 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=3Vywps/tFNYtI3stfvDYzmMUfPI0Ly4cUyqonAG3CO4=; b=FQkw6e+w2U/yOGkSWlupYkbr8H5XImO14WU2SAn2F5XjuwW4So5oX3oUQUeVTc33D3 jZJCdl3JybuDIy7b+eqqEwGGEEAasbAqDeqWoPW+It7pi/mA3/q975j+6dO2RBfUPApp H3j7rjn3oh3gOHkfDUXKSdvZDJ4y+402maJtFCGHeZMinoaFGM25dWjltaAIPVDjFBps SbgGAFoUFpOHfXzalcoBWkTn3spAxBp9CIUTv2B8gYOZbYXpl4WtJvmFmM898HorquOs 4Hio86QmZyLckR1oxvTWkjmTR1j9tmpCuMvVEkUWlNmJc7vbk8LH8fc8VID2bxeYekvm s2KA== X-Gm-Message-State: APzg51A7yw0mae0e8P++Wzm6e7izhwI4jdxX+GBGOduO52idP2a5jJOR Bj1w6BIEClwOUSyvO6erwA1OxxAw2ug= X-Google-Smtp-Source: ANB0VdYJUz2Dpxk88XI1WvgACaVSxgQiKaFyKEhEN17TU4F78lUqF5EuHHxMV6XvYlA1AqCnjlO17w== X-Received: by 2002:a2e:4557:: with SMTP id s84-v6mr21555655lja.47.1536111884203; Tue, 04 Sep 2018 18:44:44 -0700 (PDT) From: Max Filippov To: qemu-devel@nongnu.org Date: Tue, 4 Sep 2018 18:43:48 -0700 Message-Id: <20180905014352.970-12-jcmvbkbc@gmail.com> X-Mailer: git-send-email 2.11.0 In-Reply-To: <20180905014352.970-1-jcmvbkbc@gmail.com> References: <20180905014352.970-1-jcmvbkbc@gmail.com> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4864:20::233 Subject: [Qemu-devel] [PATCH 11/15] target/xtensa: change SR number checks to assertions 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: Max Filippov Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: "Qemu-devel" X-ZohoMail-DKIM: fail (Header signature does not verify) X-ZohoMail: RDMRC_1 RDKM_2 RSF_0 Z_629925259 SPT_0 Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Opcode decoding with libisa takes care about range of valid group SRs, like CCOMPARE, IBREAKA, DBREAKA or DBREAKC. Turn range checks in wsr implementations into assertions. Signed-off-by: Max Filippov --- target/xtensa/translate.c | 65 +++++++++++++++++++++----------------------= ---- 1 file changed, 29 insertions(+), 36 deletions(-) diff --git a/target/xtensa/translate.c b/target/xtensa/translate.c index 93289fd37f1f..0af3f1b16792 100644 --- a/target/xtensa/translate.c +++ b/target/xtensa/translate.c @@ -634,38 +634,34 @@ static bool gen_wsr_atomctl(DisasContext *dc, uint32_= t sr, TCGv_i32 v) static bool gen_wsr_ibreaka(DisasContext *dc, uint32_t sr, TCGv_i32 v) { unsigned id =3D sr - IBREAKA; + TCGv_i32 tmp =3D tcg_const_i32(id); =20 - if (id < dc->config->nibreak) { - TCGv_i32 tmp =3D tcg_const_i32(id); - gen_helper_wsr_ibreaka(cpu_env, tmp, v); - tcg_temp_free(tmp); - gen_jumpi_check_loop_end(dc, 0); - return true; - } - return false; + assert(id < dc->config->nibreak); + gen_helper_wsr_ibreaka(cpu_env, tmp, v); + tcg_temp_free(tmp); + gen_jumpi_check_loop_end(dc, 0); + return true; } =20 static bool gen_wsr_dbreaka(DisasContext *dc, uint32_t sr, TCGv_i32 v) { unsigned id =3D sr - DBREAKA; + TCGv_i32 tmp =3D tcg_const_i32(id); =20 - if (id < dc->config->ndbreak) { - TCGv_i32 tmp =3D tcg_const_i32(id); - gen_helper_wsr_dbreaka(cpu_env, tmp, v); - tcg_temp_free(tmp); - } + assert(id < dc->config->ndbreak); + gen_helper_wsr_dbreaka(cpu_env, tmp, v); + tcg_temp_free(tmp); return false; } =20 static bool gen_wsr_dbreakc(DisasContext *dc, uint32_t sr, TCGv_i32 v) { unsigned id =3D sr - DBREAKC; + TCGv_i32 tmp =3D tcg_const_i32(id); =20 - if (id < dc->config->ndbreak) { - TCGv_i32 tmp =3D tcg_const_i32(id); - gen_helper_wsr_dbreakc(cpu_env, tmp, v); - tcg_temp_free(tmp); - } + assert(id < dc->config->ndbreak); + gen_helper_wsr_dbreakc(cpu_env, tmp, v); + tcg_temp_free(tmp); return false; } =20 @@ -764,26 +760,23 @@ static bool gen_wsr_icountlevel(DisasContext *dc, uin= t32_t sr, TCGv_i32 v) static bool gen_wsr_ccompare(DisasContext *dc, uint32_t sr, TCGv_i32 v) { uint32_t id =3D sr - CCOMPARE; - bool ret =3D false; - - if (id < dc->config->nccompare) { - uint32_t int_bit =3D 1 << dc->config->timerint[id]; - TCGv_i32 tmp =3D tcg_const_i32(id); + uint32_t int_bit =3D 1 << dc->config->timerint[id]; + TCGv_i32 tmp =3D tcg_const_i32(id); =20 - tcg_gen_mov_i32(cpu_SR[sr], v); - tcg_gen_andi_i32(cpu_SR[INTSET], cpu_SR[INTSET], ~int_bit); - if (tb_cflags(dc->base.tb) & CF_USE_ICOUNT) { - gen_io_start(); - } - gen_helper_update_ccompare(cpu_env, tmp); - if (tb_cflags(dc->base.tb) & CF_USE_ICOUNT) { - gen_io_end(); - gen_jumpi_check_loop_end(dc, 0); - ret =3D true; - } - tcg_temp_free(tmp); + assert(id < dc->config->nccompare); + tcg_gen_mov_i32(cpu_SR[sr], v); + tcg_gen_andi_i32(cpu_SR[INTSET], cpu_SR[INTSET], ~int_bit); + if (tb_cflags(dc->base.tb) & CF_USE_ICOUNT) { + gen_io_start(); } - return ret; + gen_helper_update_ccompare(cpu_env, tmp); + tcg_temp_free(tmp); + if (tb_cflags(dc->base.tb) & CF_USE_ICOUNT) { + gen_io_end(); + gen_jumpi_check_loop_end(dc, 0); + return true; + } + return false; } #else static void gen_check_interrupts(DisasContext *dc) --=20 2.11.0