/*

 *  PowerPC CPU initialization for qemu.

 *

 *  Copyright (c) 2003-2007 Jocelyn Mayer

 *

 * This library is free software; you can redistribute it and/or

 * modify it under the terms of the GNU Lesser General Public

 * License as published by the Free Software Foundation; either

 * version 2 of the License, or (at your option) any later version.

 *

 * This library is distributed in the hope that it will be useful,

 * but WITHOUT ANY WARRANTY; without even the implied warranty of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

 * Lesser General Public License for more details.

 *

 * You should have received a copy of the GNU Lesser General Public

 * License along with this library; if not, write to the Free Software

 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

 */

/* A lot of PowerPC definition have been included here.

 * Most of them are not usable for now but have been kept

 * inside "#if defined(TODO) ... #endif" statements to make tests easier.

 */

#include "dis-asm.h"

#include "host-utils.h"

//#define PPC_DUMP_CPU

//#define PPC_DEBUG_SPR

//#define PPC_DUMP_SPR_ACCESSES

#if defined(CONFIG_USER_ONLY)

#define TODO_USER_ONLY 1

#endif

struct ppc_def_t {

    const char *name;

    uint32_t pvr;

    uint32_t svr;

    uint64_t insns_flags;

    uint64_t msr_mask;

    powerpc_mmu_t   mmu_model;

    powerpc_excp_t  excp_model;

    powerpc_input_t bus_model;

    uint32_t flags;

    int bfd_mach;

    void (*init_proc)(CPUPPCState *env);

    int  (*check_pow)(CPUPPCState *env);

};

/* For user-mode emulation, we don't emulate any IRQ controller */

#if defined(CONFIG_USER_ONLY)

#define PPC_IRQ_INIT_FN(name)                                                 \

static inline void glue(glue(ppc, name),_irq_init) (CPUPPCState *env)         \

{                                                                             \

}

#else

#define PPC_IRQ_INIT_FN(name)                                                 \

void glue(glue(ppc, name),_irq_init) (CPUPPCState *env);

#endif

PPC_IRQ_INIT_FN(40x);

PPC_IRQ_INIT_FN(6xx);

PPC_IRQ_INIT_FN(970);

/* Generic callbacks:

 * do nothing but store/retrieve spr value

 */

static void spr_read_generic (void *opaque, int gprn, int sprn)

{

    gen_load_spr(cpu_gpr[gprn], sprn);

#ifdef PPC_DUMP_SPR_ACCESSES

    {

        TCGv t0 = tcg_const_i32(sprn);

        gen_helper_load_dump_spr(t0);

        tcg_temp_free_i32(t0);

    }

#endif

}

static void spr_write_generic (void *opaque, int sprn, int gprn)

{

    gen_store_spr(sprn, cpu_gpr[gprn]);

#ifdef PPC_DUMP_SPR_ACCESSES

    {

        TCGv t0 = tcg_const_i32(sprn);

        gen_helper_store_dump_spr(t0);

        tcg_temp_free_i32(t0);

    }

#endif

}

#if !defined(CONFIG_USER_ONLY)

static void spr_write_clear (void *opaque, int sprn, int gprn)

{

    TCGv t0 = tcg_temp_new();

    TCGv t1 = tcg_temp_new();

    gen_load_spr(t0, sprn);

    tcg_gen_neg_tl(t1, cpu_gpr[gprn]);

    tcg_gen_and_tl(t0, t0, t1);

    gen_store_spr(sprn, t0);

    tcg_temp_free(t0);

    tcg_temp_free(t1);

}

#endif

/* SPR common to all PowerPC */

/* XER */

static void spr_read_xer (void *opaque, int gprn, int sprn)

{

    tcg_gen_mov_tl(cpu_gpr[gprn], cpu_xer);

}

static void spr_write_xer (void *opaque, int sprn, int gprn)

{

    tcg_gen_mov_tl(cpu_xer, cpu_gpr[gprn]);

}

/* LR */

static void spr_read_lr (void *opaque, int gprn, int sprn)

{

    tcg_gen_mov_tl(cpu_gpr[gprn], cpu_lr);

}

static void spr_write_lr (void *opaque, int sprn, int gprn)

{

    tcg_gen_mov_tl(cpu_lr, cpu_gpr[gprn]);

}

/* CTR */

static void spr_read_ctr (void *opaque, int gprn, int sprn)

{

    tcg_gen_mov_tl(cpu_gpr[gprn], cpu_ctr);

}

static void spr_write_ctr (void *opaque, int sprn, int gprn)

{

    tcg_gen_mov_tl(cpu_ctr, cpu_gpr[gprn]);

}

/* User read access to SPR */

/* USPRx */

/* UMMCRx */

/* UPMCx */

/* USIA */

/* UDECR */

static void spr_read_ureg (void *opaque, int gprn, int sprn)

{

    gen_load_spr(cpu_gpr[gprn], sprn + 0x10);

}

/* SPR common to all non-embedded PowerPC */

/* DECR */

#if !defined(CONFIG_USER_ONLY)

static void spr_read_decr (void *opaque, int gprn, int sprn)

{

    gen_helper_load_decr(cpu_gpr[gprn]);

}

static void spr_write_decr (void *opaque, int sprn, int gprn)

{

    gen_helper_store_decr(cpu_gpr[gprn]);

}

#endif

/* SPR common to all non-embedded PowerPC, except 601 */

/* Time base */

static void spr_read_tbl (void *opaque, int gprn, int sprn)

{

    gen_helper_load_tbl(cpu_gpr[gprn]);

}

static void spr_read_tbu (void *opaque, int gprn, int sprn)

{

    gen_helper_load_tbu(cpu_gpr[gprn]);

}

__attribute__ (( unused ))

static void spr_read_atbl (void *opaque, int gprn, int sprn)

{

    gen_helper_load_atbl(cpu_gpr[gprn]);

}

__attribute__ (( unused ))

static void spr_read_atbu (void *opaque, int gprn, int sprn)

{

    gen_helper_load_atbu(cpu_gpr[gprn]);

}

#if !defined(CONFIG_USER_ONLY)

static void spr_write_tbl (void *opaque, int sprn, int gprn)

{

    gen_helper_store_tbl(cpu_gpr[gprn]);

}

static void spr_write_tbu (void *opaque, int sprn, int gprn)

{

    gen_helper_store_tbu(cpu_gpr[gprn]);

}

__attribute__ (( unused ))

static void spr_write_atbl (void *opaque, int sprn, int gprn)

{

    gen_helper_store_atbl(cpu_gpr[gprn]);

}

__attribute__ (( unused ))

static void spr_write_atbu (void *opaque, int sprn, int gprn)

{

    gen_helper_store_atbu(cpu_gpr[gprn]);

}

#endif

#if !defined(CONFIG_USER_ONLY)

/* IBAT0U...IBAT0U */

/* IBAT0L...IBAT7L */

static void spr_read_ibat (void *opaque, int gprn, int sprn)

{

    tcg_gen_ld_tl(cpu_gpr[gprn], cpu_env, offsetof(CPUState, IBAT[sprn & 1][(sprn - SPR_IBAT0U) / 2]));

}

static void spr_read_ibat_h (void *opaque, int gprn, int sprn)

{

    tcg_gen_ld_tl(cpu_gpr[gprn], cpu_env, offsetof(CPUState, IBAT[sprn & 1][(sprn - SPR_IBAT4U) / 2]));

}

static void spr_write_ibatu (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32((sprn - SPR_IBAT0U) / 2);

    gen_helper_store_ibatu(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

static void spr_write_ibatu_h (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32((sprn - SPR_IBAT4U) / 2);

    gen_helper_store_ibatu(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

static void spr_write_ibatl (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32((sprn - SPR_IBAT0L) / 2);

    gen_helper_store_ibatl(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

static void spr_write_ibatl_h (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32((sprn - SPR_IBAT4L) / 2);

    gen_helper_store_ibatl(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

/* DBAT0U...DBAT7U */

/* DBAT0L...DBAT7L */

static void spr_read_dbat (void *opaque, int gprn, int sprn)

{

    tcg_gen_ld_tl(cpu_gpr[gprn], cpu_env, offsetof(CPUState, DBAT[sprn & 1][(sprn - SPR_DBAT0U) / 2]));

}

static void spr_read_dbat_h (void *opaque, int gprn, int sprn)

{

    tcg_gen_ld_tl(cpu_gpr[gprn], cpu_env, offsetof(CPUState, DBAT[sprn & 1][((sprn - SPR_DBAT4U) / 2) + 4]));

}

static void spr_write_dbatu (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32((sprn - SPR_DBAT0U) / 2);

    gen_helper_store_dbatu(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

static void spr_write_dbatu_h (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32(((sprn - SPR_DBAT4U) / 2) + 4);

    gen_helper_store_dbatu(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

static void spr_write_dbatl (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32((sprn - SPR_DBAT0L) / 2);

    gen_helper_store_dbatl(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

static void spr_write_dbatl_h (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32(((sprn - SPR_DBAT4L) / 2) + 4);

    gen_helper_store_dbatl(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

/* SDR1 */

static void spr_read_sdr1 (void *opaque, int gprn, int sprn)

{

    tcg_gen_ld_tl(cpu_gpr[gprn], cpu_env, offsetof(CPUState, sdr1));

}

static void spr_write_sdr1 (void *opaque, int sprn, int gprn)

{

    gen_helper_store_sdr1(cpu_gpr[gprn]);

}

/* 64 bits PowerPC specific SPRs */

/* ASR */

#if defined(TARGET_PPC64)

static void spr_read_asr (void *opaque, int gprn, int sprn)

{

    tcg_gen_ld_tl(cpu_gpr[gprn], cpu_env, offsetof(CPUState, asr));

}

static void spr_write_asr (void *opaque, int sprn, int gprn)

{

    gen_helper_store_asr(cpu_gpr[gprn]);

}

#endif

#endif

/* PowerPC 601 specific registers */

/* RTC */

static void spr_read_601_rtcl (void *opaque, int gprn, int sprn)

{

    gen_helper_load_601_rtcl(cpu_gpr[gprn]);

}

static void spr_read_601_rtcu (void *opaque, int gprn, int sprn)

{

    gen_helper_load_601_rtcu(cpu_gpr[gprn]);

}

#if !defined(CONFIG_USER_ONLY)

static void spr_write_601_rtcu (void *opaque, int sprn, int gprn)

{

    gen_helper_store_601_rtcu(cpu_gpr[gprn]);

}

static void spr_write_601_rtcl (void *opaque, int sprn, int gprn)

{

    gen_helper_store_601_rtcl(cpu_gpr[gprn]);

}

static void spr_write_hid0_601 (void *opaque, int sprn, int gprn)

{

    DisasContext *ctx = opaque;

    gen_helper_store_hid0_601(cpu_gpr[gprn]);

    /* Must stop the translation as endianness may have changed */

    gen_stop_exception(ctx);

}

#endif

/* Unified bats */

#if !defined(CONFIG_USER_ONLY)

static void spr_read_601_ubat (void *opaque, int gprn, int sprn)

{

    tcg_gen_ld_tl(cpu_gpr[gprn], cpu_env, offsetof(CPUState, IBAT[sprn & 1][(sprn - SPR_IBAT0U) / 2]));

}

static void spr_write_601_ubatu (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32((sprn - SPR_IBAT0U) / 2);

    gen_helper_store_601_batl(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

static void spr_write_601_ubatl (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32((sprn - SPR_IBAT0U) / 2);

    gen_helper_store_601_batu(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

#endif

/* PowerPC 40x specific registers */

#if !defined(CONFIG_USER_ONLY)

static void spr_read_40x_pit (void *opaque, int gprn, int sprn)

{

    gen_helper_load_40x_pit(cpu_gpr[gprn]);

}

static void spr_write_40x_pit (void *opaque, int sprn, int gprn)

{

    gen_helper_store_40x_pit(cpu_gpr[gprn]);

}

static void spr_write_40x_dbcr0 (void *opaque, int sprn, int gprn)

{

    DisasContext *ctx = opaque;

    gen_helper_store_40x_dbcr0(cpu_gpr[gprn]);

    /* We must stop translation as we may have rebooted */

    gen_stop_exception(ctx);

}

static void spr_write_40x_sler (void *opaque, int sprn, int gprn)

{

    gen_helper_store_40x_sler(cpu_gpr[gprn]);

}

static void spr_write_booke_tcr (void *opaque, int sprn, int gprn)

{

    gen_helper_store_booke_tcr(cpu_gpr[gprn]);

}

static void spr_write_booke_tsr (void *opaque, int sprn, int gprn)

{

    gen_helper_store_booke_tsr(cpu_gpr[gprn]);

}

#endif

/* PowerPC 403 specific registers */

/* PBL1 / PBU1 / PBL2 / PBU2 */

#if !defined(CONFIG_USER_ONLY)

static void spr_read_403_pbr (void *opaque, int gprn, int sprn)

{

    tcg_gen_ld_tl(cpu_gpr[gprn], cpu_env, offsetof(CPUState, pb[sprn - SPR_403_PBL1]));

}

static void spr_write_403_pbr (void *opaque, int sprn, int gprn)

{

    TCGv_i32 t0 = tcg_const_i32(sprn - SPR_403_PBL1);

    gen_helper_store_403_pbr(t0, cpu_gpr[gprn]);

    tcg_temp_free_i32(t0);

}

static void spr_write_pir (void *opaque, int sprn, int gprn)

{

    TCGv t0 = tcg_temp_new();

    tcg_gen_andi_tl(t0, cpu_gpr[gprn], 0xF);

    gen_store_spr(SPR_PIR, t0);

    tcg_temp_free(t0);

}

#endif

/* E500 specific registers */

static void spr_read_spefscr (void *opaque, int gprn, int sprn)

{

    TCGv_i32 tmp = tcg_temp_new_i32();

    tcg_gen_trunc_tl_i32(tmp, cpu_gpr[gprn]);

    tcg_gen_ld_i32(tmp, cpu_env, offsetof(CPUState, spe_fscr));

    tcg_temp_free_i32(tmp);

}

static void spr_write_spefscr (void *opaque, int sprn, int gprn)

{

    TCGv_i32 tmp = tcg_temp_new_i32();

    tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUState, spe_fscr));

    tcg_gen_extu_i32_tl(cpu_gpr[gprn], tmp);

    tcg_temp_free_i32(tmp);

}

#if !defined(CONFIG_USER_ONLY)

/* Callback used to write the exception vector base */

static void spr_write_excp_prefix (void *opaque, int sprn, int gprn)

{

    TCGv t0 = tcg_temp_new();

    tcg_gen_ld_tl(t0, cpu_env, offsetof(CPUState, ivpr_mask));

    tcg_gen_and_tl(t0, t0, cpu_gpr[gprn]);

    tcg_gen_st_tl(t0, cpu_env, offsetof(CPUState, excp_prefix));

    gen_store_spr(sprn, t0);

}

static void spr_write_excp_vector (void *opaque, int sprn, int gprn)

{

    DisasContext *ctx = opaque;

    if (sprn >= SPR_BOOKE_IVOR0 && sprn <= SPR_BOOKE_IVOR15) {

        TCGv t0 = tcg_temp_new();

        tcg_gen_ld_tl(t0, cpu_env, offsetof(CPUState, ivor_mask));

        tcg_gen_and_tl(t0, t0, cpu_gpr[gprn]);

        tcg_gen_st_tl(t0, cpu_env, offsetof(CPUState, excp_vectors[sprn - SPR_BOOKE_IVOR0]));

        gen_store_spr(sprn, t0);

        tcg_temp_free(t0);

    } else if (sprn >= SPR_BOOKE_IVOR32 && sprn <= SPR_BOOKE_IVOR37) {

        TCGv t0 = tcg_temp_new();

        tcg_gen_ld_tl(t0, cpu_env, offsetof(CPUState, ivor_mask));

        tcg_gen_and_tl(t0, t0, cpu_gpr[gprn]);

        tcg_gen_st_tl(t0, cpu_env, offsetof(CPUState, excp_vectors[sprn - SPR_BOOKE_IVOR32 + 32]));

        gen_store_spr(sprn, t0);

        tcg_temp_free(t0);

    } else {

        printf("Trying to write an unknown exception vector %d %03x\n",

               sprn, sprn);

        gen_inval_exception(ctx, POWERPC_EXCP_PRIV_REG);

    }

}

#endif

#if defined(CONFIG_USER_ONLY)

#define spr_register(env, num, name, uea_read, uea_write,                     \

                     oea_read, oea_write, initial_value)                      \

do {                                                                          \

     _spr_register(env, num, name, uea_read, uea_write, initial_value);       \

} while (0)

static inline void _spr_register (CPUPPCState *env, int num,

                                  const char *name,

                                  void (*uea_read)(void *opaque, int gprn, int sprn),

                                  void (*uea_write)(void *opaque, int sprn, int gprn),

                                  target_ulong initial_value)

#else

static inline void spr_register (CPUPPCState *env, int num,

                                 const char *name,

                                 void (*uea_read)(void *opaque, int gprn, int sprn),

                                 void (*uea_write)(void *opaque, int sprn, int gprn),

                                 void (*oea_read)(void *opaque, int gprn, int sprn),

                                 void (*oea_write)(void *opaque, int sprn, int gprn),

                                 target_ulong initial_value)

#endif

{

    ppc_spr_t *spr;

    spr = &env->spr_cb[num];

    if (spr->name != NULL ||env-> spr[num] != 0x00000000 ||

#if !defined(CONFIG_USER_ONLY)

        spr->oea_read != NULL || spr->oea_write != NULL ||

#endif

        spr->uea_read != NULL || spr->uea_write != NULL) {

        printf("Error: Trying to register SPR %d (%03x) twice !\n", num, num);

        exit(1);

    }

#if defined(PPC_DEBUG_SPR)

    printf("*** register spr %d (%03x) %s val " ADDRX "\n", num, num, name,

           initial_value);

#endif

    spr->name = name;

    spr->uea_read = uea_read;