Patchwork [v4,33/33] tcg-aarch64: Remove redundant CPU_TLB_ENTRY_BITS check

login
register
mail settings
Submitter Richard Henderson
Date Sept. 14, 2013, 9:54 p.m.
Message ID <1379195690-6509-34-git-send-email-rth@twiddle.net>
Download mbox | patch
Permalink /patch/274976/
State New
Headers show

Comments

Richard Henderson - Sept. 14, 2013, 9:54 p.m.
Removed from other targets in 56bbc2f967ce185fa1c5c39e1aeb5b68b26242e9.

Signed-off-by: Richard Henderson <rth@twiddle.net>
---
 tcg/aarch64/tcg-target.c | 6 ------
 1 file changed, 6 deletions(-)
Claudio Fontana - Sept. 16, 2013, 9:05 a.m.
On 14.09.2013 23:54, Richard Henderson wrote:
> Removed from other targets in 56bbc2f967ce185fa1c5c39e1aeb5b68b26242e9.
> 
> Signed-off-by: Richard Henderson <rth@twiddle.net>
> ---
>  tcg/aarch64/tcg-target.c | 6 ------
>  1 file changed, 6 deletions(-)
> 
> diff --git a/tcg/aarch64/tcg-target.c b/tcg/aarch64/tcg-target.c
> index 94f9ac1..a7d0785 100644
> --- a/tcg/aarch64/tcg-target.c
> +++ b/tcg/aarch64/tcg-target.c
> @@ -1852,12 +1852,6 @@ static const TCGTargetOpDef aarch64_op_defs[] = {
>  
>  static void tcg_target_init(TCGContext *s)
>  {
> -#if !defined(CONFIG_USER_ONLY)
> -    /* fail safe */
> -    if ((1ULL << CPU_TLB_ENTRY_BITS) != sizeof(CPUTLBEntry)) {
> -        tcg_abort();
> -    }
> -#endif
>      tcg_regset_set32(tcg_target_available_regs[TCG_TYPE_I32], 0, 0xffffffff);
>      tcg_regset_set32(tcg_target_available_regs[TCG_TYPE_I64], 0, 0xffffffff);
>  
> 

Reviewed-by: Claudio Fontana <claudio.fontana@linaro.org>

Patch

diff --git a/tcg/aarch64/tcg-target.c b/tcg/aarch64/tcg-target.c
index 94f9ac1..a7d0785 100644
--- a/tcg/aarch64/tcg-target.c
+++ b/tcg/aarch64/tcg-target.c
@@ -1852,12 +1852,6 @@  static const TCGTargetOpDef aarch64_op_defs[] = {
 
 static void tcg_target_init(TCGContext *s)
 {
-#if !defined(CONFIG_USER_ONLY)
-    /* fail safe */
-    if ((1ULL << CPU_TLB_ENTRY_BITS) != sizeof(CPUTLBEntry)) {
-        tcg_abort();
-    }
-#endif
     tcg_regset_set32(tcg_target_available_regs[TCG_TYPE_I32], 0, 0xffffffff);
     tcg_regset_set32(tcg_target_available_regs[TCG_TYPE_I64], 0, 0xffffffff);