From patchwork Wed Sep 4 19:30:32 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 173011 Delivered-To: patch@linaro.org Received: by 2002:a05:6e02:ce:0:0:0:0 with SMTP id r14csp396393ilq; Wed, 4 Sep 2019 13:19:50 -0700 (PDT) X-Google-Smtp-Source: APXvYqwAMabTuf6Bu99zXXzXss6z0MsobEi3VIEwQzd7iAiKtDRDa+w49IdfBveM7Vyb16G5gnts X-Received: by 2002:a17:906:4882:: with SMTP id v2mr35473887ejq.100.1567628390799; Wed, 04 Sep 2019 13:19:50 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1567628390; cv=none; d=google.com; s=arc-20160816; b=QpEbGKrKmlUB2X2lsv2YP05ro7+chMAGxJIY0qPGSnJMnarEfaYw9HliHgNNlVfqnE hy//46jGYpD/Bj8xBOi0VF/Ny0mKhOtnWMFyF7bNxpXjI9GyY0yTJX7zDFF86QrHYndx XyGViSLTD7R4vFahAY/FkMqre7zTFG2FvYLNWWXZi95tSg4MHZBQOnbhL+HdQQ3GfcnG hOq8mCV9Mu5pTxQ4lpaGXT6T4fmJ4wjBmhcw0S/9itHeZxME+vTU/sRU1MdnngUgsA2Y enbg+7Cva571C3RW6p08eaUD3BMVYQihplHajXkQHy+DJfcLLzenLEu59pi0HzDI2fPa +kqg== 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; bh=1o+uWqBuu4o1NL9VW7TCfscdl6K+gK/4Ohpfut2UuGg=; b=d4tZIwg9ARFsk9BAEYrz+7X8FQVLl/TvJ7r6qBm1qcwQlwL5paLQQfTzJqwCqqcyzJ JisZelpU4F6HTbJ281l7rfxSgxKqawRh7QAf1/PUFSD4phE+5tlybLKz3HNdPYhX7unf KcQzzoqTNFl0rRSN/L0OYW0dmD9G045XdJmD8bSAK39mpeDkS7HABZmc4jBDOrvj8tGz YKUIPUSal+cxJ7YFRffo6z67Y5mERAvnj8d0c8JvfoAvl89pmPwnpbhz0oWEW7U8Haet 13EYY3UW/kOU6d9DTVW2TNcK3s2Dt6oLmQm0BnTUcLSKlMlOt00cJ4Rx7rQfz6jvVxuD fvUQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=fNdd8Diu; 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"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from lists.gnu.org (lists.gnu.org. [209.51.188.17]) by mx.google.com with ESMTPS id k17si2233391edd.38.2019.09.04.13.19.50 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 04 Sep 2019 13:19:50 -0700 (PDT) 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=@linaro.org header.s=google header.b=fNdd8Diu; 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"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from localhost ([::1]:38628 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i5bkr-0004wj-57 for patch@linaro.org; Wed, 04 Sep 2019 16:19:49 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:40837) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i5b0Y-0005Ee-RJ for qemu-devel@nongnu.org; Wed, 04 Sep 2019 15:32:00 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i5b0W-0002qQ-Kk for qemu-devel@nongnu.org; Wed, 04 Sep 2019 15:31:58 -0400 Received: from mail-pf1-x443.google.com ([2607:f8b0:4864:20::443]:44455) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i5b0W-0002pG-Bi for qemu-devel@nongnu.org; Wed, 04 Sep 2019 15:31:56 -0400 Received: by mail-pf1-x443.google.com with SMTP id q21so8879137pfn.11 for ; Wed, 04 Sep 2019 12:31:56 -0700 (PDT) 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=1o+uWqBuu4o1NL9VW7TCfscdl6K+gK/4Ohpfut2UuGg=; b=fNdd8DiuTLcYPMGPz+kZGEZm4gOdHJ/qr/K3hJmq8zB+3wPlF8ErMIikd1RNliqWM/ 6IzjIlqCFvu2Y+zQkQdAjABeSb79T47F206LwD7yO9s6qn5mYuzUMjJ2PpxGjfuyQN/L mXgDlbbRg4PUSL5DNfnSSHK7PMVvkQjPwe3q5vZALDJKkmwlCzs61njv5oZQAwkL7jU0 LIYdvIBNRXjOeb6Wn1lcn9yc2cqY5EPAYTHtvG79V2IXksLR5nBUFdY86lpBlQem6JZ7 cEOOeEvItIPqJ3UB2EsOttSCI32ObEDyqU0U4kwzd7S2Y8F+0nxaMRL5+h9/7cnPW/vk aS6Q== 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=1o+uWqBuu4o1NL9VW7TCfscdl6K+gK/4Ohpfut2UuGg=; b=JRdtDLG5/wUipQjJL0u+VO+phpbiW75sAGo2P4i53nyBn56hHBlwMsJlMDoAnhO5pB ZSKwsJGpItcCgxz4L3WaCJTbbTTYdvzBgYy+gBqCkTJ41MQwJmPpjIu+BBL3EUnaI/TU f0Lr1jVt3zoosXATUYthqPLmgD4dQwr4/T7vNoXFdLqHh5bxyWkt4suDhFserIJ00L8A 4aQEDy3gS45kaOE3A/Y29qUu4I1CLLd9GewtywWMCW2x3gAJGYcudz35gnlZagJ99N5l KjUKsDm+O1YtBMmKGAKSBCNWIzGLt+9OEwbDA9AmDoBkXwvd4vPBFDfyihJ1ySOs3vt1 2wMg== X-Gm-Message-State: APjAAAWNoNYuz0rLPj+xjNeTKHlaxQegZYuQ6EcYjlbcOMedBFUYWH38 izAisoCYgCn8yWv3Jt731YMURQYbjug= X-Received: by 2002:a63:9e54:: with SMTP id r20mr37649749pgo.64.1567625514948; Wed, 04 Sep 2019 12:31:54 -0700 (PDT) Received: from localhost.localdomain (97-113-7-119.tukw.qwest.net. [97.113.7.119]) by smtp.gmail.com with ESMTPSA id f6sm18999174pga.50.2019.09.04.12.31.53 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 04 Sep 2019 12:31:54 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Date: Wed, 4 Sep 2019 12:30:32 -0700 Message-Id: <20190904193059.26202-43-richard.henderson@linaro.org> X-Mailer: git-send-email 2.17.1 In-Reply-To: <20190904193059.26202-1-richard.henderson@linaro.org> References: <20190904193059.26202-1-richard.henderson@linaro.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::443 Subject: [Qemu-devel] [PATCH v4 42/69] target/arm: Convert TT 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: peter.maydell@linaro.org, qemu-arm@nongnu.org Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Reviewed-by: Peter Maydell Signed-off-by: Richard Henderson --- v3: Use unallocated_encoding. --- target/arm/translate.c | 90 ++++++++++++++---------------------------- target/arm/t32.decode | 5 ++- 2 files changed, 34 insertions(+), 61 deletions(-) -- 2.17.1 diff --git a/target/arm/translate.c b/target/arm/translate.c index af7eddca48..46c27ea6a8 100644 --- a/target/arm/translate.c +++ b/target/arm/translate.c @@ -8495,6 +8495,33 @@ static bool trans_SG(DisasContext *s, arg_SG *a) return true; } +static bool trans_TT(DisasContext *s, arg_TT *a) +{ + TCGv_i32 addr, tmp; + + if (!arm_dc_feature(s, ARM_FEATURE_M) || + !arm_dc_feature(s, ARM_FEATURE_V8)) { + return false; + } + if (a->rd == 13 || a->rd == 15 || a->rn == 15) { + /* We UNDEF for these UNPREDICTABLE cases */ + unallocated_encoding(s); + return true; + } + if (a->A && !s->v8m_secure) { + /* This case is UNDEFINED. */ + unallocated_encoding(s); + return true; + } + + addr = load_reg(s, a->rn); + tmp = tcg_const_i32((a->A << 1) | a->T); + gen_helper_v7m_tt(tmp, cpu_env, addr, tmp); + tcg_temp_free_i32(addr); + store_reg(s, a->rd, tmp); + return true; +} + /* * Load/store register index */ @@ -10525,7 +10552,7 @@ static bool thumb_insn_is_16bit(DisasContext *s, uint32_t pc, uint32_t insn) /* Translate a 32-bit thumb instruction. */ static void disas_thumb2_insn(DisasContext *s, uint32_t insn) { - uint32_t rd, rn, rs; + uint32_t rn; int op; /* @@ -10569,70 +10596,13 @@ static void disas_thumb2_insn(DisasContext *s, uint32_t insn) /* fall back to legacy decoder */ rn = (insn >> 16) & 0xf; - rs = (insn >> 12) & 0xf; - rd = (insn >> 8) & 0xf; switch ((insn >> 25) & 0xf) { case 0: case 1: case 2: case 3: /* 16-bit instructions. Should never happen. */ abort(); case 4: - if (insn & (1 << 22)) { - /* 0b1110_100x_x1xx_xxxx_xxxx_xxxx_xxxx_xxxx - * - load/store doubleword, load/store exclusive, ldacq/strel, - * table branch, TT. - */ - if (insn & 0x01200000) { - /* load/store dual, in decodetree */ - goto illegal_op; - } else if ((insn & (1 << 23)) == 0) { - /* 0b1110_1000_010x_xxxx_xxxx_xxxx_xxxx_xxxx - * - load/store exclusive word - * - TT (v8M only) - */ - if (rs == 15) { - if (!(insn & (1 << 20)) && - arm_dc_feature(s, ARM_FEATURE_M) && - arm_dc_feature(s, ARM_FEATURE_V8)) { - /* 0b1110_1000_0100_xxxx_1111_xxxx_xxxx_xxxx - * - TT (v8M only) - */ - bool alt = insn & (1 << 7); - TCGv_i32 addr, op, ttresp; - - if ((insn & 0x3f) || rd == 13 || rd == 15 || rn == 15) { - /* we UNDEF for these UNPREDICTABLE cases */ - goto illegal_op; - } - - if (alt && !s->v8m_secure) { - goto illegal_op; - } - - addr = load_reg(s, rn); - op = tcg_const_i32(extract32(insn, 6, 2)); - ttresp = tcg_temp_new_i32(); - gen_helper_v7m_tt(ttresp, cpu_env, addr, op); - tcg_temp_free_i32(addr); - tcg_temp_free_i32(op); - store_reg(s, rd, ttresp); - break; - } - goto illegal_op; - } - /* Load/store exclusive, in decodetree */ - goto illegal_op; - } else if ((insn & (7 << 5)) == 0) { - /* Table Branch, in decodetree */ - goto illegal_op; - } else { - /* Load/store exclusive, load-acq/store-rel, in decodetree */ - goto illegal_op; - } - } else { - /* Load/store multiple, RFE, SRS, in decodetree */ - goto illegal_op; - } - break; + /* All in decodetree */ + goto illegal_op; case 5: /* All in decodetree */ goto illegal_op; diff --git a/target/arm/t32.decode b/target/arm/t32.decode index c956ddb254..c63082fc9c 100644 --- a/target/arm/t32.decode +++ b/target/arm/t32.decode @@ -508,7 +508,10 @@ STRD_ri_t32 1110 1001 .110 .... .... .... ........ @ldstd_ri8 w=1 p=1 @ldrex_d .... .... .... rn:4 rt:4 rt2:4 .... .... \ &ldrex imm=0 -STREX 1110 1000 0100 .... .... .... .... .... @strex_i +{ + TT 1110 1000 0100 rn:4 1111 rd:4 A:1 T:1 000000 + STREX 1110 1000 0100 .... .... .... .... .... @strex_i +} STREXB 1110 1000 1100 .... .... 1111 0100 .... @strex_0 STREXH 1110 1000 1100 .... .... 1111 0101 .... @strex_0 STREXD_t32 1110 1000 1100 .... .... .... 0111 .... @strex_d