From 554eb429e4555ceaa7892a8ab93c7a41045a6824 Mon Sep 17 00:00:00 2001 From: Andrew Cagney Date: Mon, 23 Nov 1998 11:37:56 +0000 Subject: gencode.c: Kill, Kill, Kill.... Remove last remenats of old gencode simulator. --- sim/mips/README.Cygnus | 74 - sim/mips/configure.in | 76 +- sim/mips/gencode.c | 4858 ------------------------------------------------ 3 files changed, 14 insertions(+), 4994 deletions(-) delete mode 100644 sim/mips/README.Cygnus delete mode 100644 sim/mips/gencode.c diff --git a/sim/mips/README.Cygnus b/sim/mips/README.Cygnus deleted file mode 100644 index 8b59e88..0000000 --- a/sim/mips/README.Cygnus +++ /dev/null @@ -1,74 +0,0 @@ -This directory contains two very different simulators: - - o gencode (old) - - Gencode.c outputs a single monolithic file that is - #included by interp.c - - o igen (new) - - The *.igen files are used as inputs to ../igen/igen. - A number of separate, fairly modula files, are created. - -The new simulator has a number of advantages: - - o builtin support for multi-simming (single simulator - image supporting a number of different instruction - set architectures). - - o Easier maintenance. The input files are not confused - by an intermixing with the generator code. - -gencode continues to exist so that old architectures can be emulated. -*.igen should be used when adding new architectures or adding -instructions to an existing ISA. - -Known bugs? - -In mips.igen, the semantics for many of the instructions were created -using code generated by gencode. Those semantic segments could be -greatly simplified. - - ----- - -Old README.Cygnus ... - -> README.Cygnus -------------------------------------------------------------------------------- - -The following are the main reasons for constructing the simulator as a -generator: - -1) Avoid large fixed decode source file, with lots of #ifs controlling - the compilation. i.e. keep the source cleaner, smaller and easier - to parse. - -2) Allow optimum code to be created, without run-time checks on - instruction types. Ensure that the simulator engine only includes - code for the architecture being targetted. e.g. This avoids - run-time checks on ISA conformance, aswell as increasing - throughput. - -3) Allow updates to the instruction sets to be added quickly. Having a - table means that the information is together, and is easier to - manipulate. Having the table generate the engine, rather than the - run-time parse the table gives higher performance at simulation - time. - -4) Keep all the similar simulation code together. i.e. have a single - place where, for example, the addition code is held. This ensures that - updates to the simulation are not spread over a large flat source - file maintained by the developer. - -------------------------------------------------------------------------------- - -To keep the simulator simple (and to avoid the slight chance of -mis-matched files) the manifests describing an engine, and the -simulator engine itself, are held in the same source file. - -This means that the engine must be included twice, with the first pass -controlled by the SIM_MANIFESTS definition. - -------------------------------------------------------------------------------- -> EOF README.Cygnus diff --git a/sim/mips/configure.in b/sim/mips/configure.in index bcd36d6..9a43832 100644 --- a/sim/mips/configure.in +++ b/sim/mips/configure.in @@ -11,25 +11,6 @@ SIM_AC_OPTION_ALIGNMENT(NONSTRICT_ALIGNMENT) SIM_AC_OPTION_HOSTENDIAN SIM_AC_OPTION_WARNINGS -# Ensure a reasonable default simulator is constructed: (DEPRECATED) -case "${target}" in -# start-sanitize-tx19 - mips*tx19*) SIMCONF="-mips1 -mcpu=r1900 -mno-fp --warnings";; -# end-sanitize-tx19 -# start-sanitize-tx49 - mips*tx49*) SIMCONF="-mips3 --warnings -mcpu=r4900";; -# end-sanitize-tx49 -# start-sanitize-r5900 - mips64r59*-*-*) SIMCONF="-mips3 --warnings -mcpu=r5900";; -# end-sanitize-r5900 - mips64vr41*) SIMCOMF="-mips0 -mcpu=r4100 -mgp64 --warnings" ;; - mips64*-*-*) SIMCONF="-mips0 --warnings";; - mips16*-*-*) SIMCONF="-mips0 --warnings";; - mips*-*-*) SIMCONF="-mips2 --warnings";; - *) SIMCONF="-mips0 --warnings";; -esac -AC_SUBST(SIMCONF) - # DEPRECATED # # Instead of defining a `subtarget' macro, code should be checking @@ -135,107 +116,78 @@ SIM_AC_OPTION_SMP($mips_smp) # # Select the IGEN architecture # -sim_use_gen=IGEN +sim_gen=IGEN sim_igen_machine="-M mipsIV" sim_m16_machine="-M mips16" sim_igen_filter="32,64,f" sim_m16_filter="16" case "${target}" in # start-sanitize-tx19 - mips*tx19*) sim_default_gen=M16 - sim_use_gen=M16 + mips*tx19*) sim_gen=M16 sim_igen_machine="-M tx19" sim_m16_machine="-M tx19" sim_igen_filter="32" sim_m16_filter="16" ;; # end-sanitize-tx19 - mips*tx39*) sim_default_gen=IGEN - sim_use_gen=IGEN + mips*tx39*) sim_gen=IGEN sim_igen_filter="32,f" sim_igen_machine="-M r3900" ;; # start-sanitize-r5900 - mips64r59*-*-*) sim_default_gen=IGEN - sim_use_gen=IGEN + mips64r59*-*-*) sim_gen=IGEN sim_igen_machine="-M r5900" ;; # end-sanitize-r5900 # start-sanitize-vr4320 - mips64vr4320-*-*) sim_default_gen=IGEN - sim_use_gen=IGEN + mips64vr4320-*-*) sim_gen=IGEN sim_igen_machine="-M mipsIV,vr4320 -G gen-multi-sim=vr4320" ;; # end-sanitize-vr4320 - mips64vr43*-*-*) sim_default_gen=IGEN - sim_use_gen=IGEN + mips64vr43*-*-*) sim_gen=IGEN sim_igen_machine="-M mipsIV" # start-sanitize-vr4320 sim_igen_machine="-M mipsIV,vr4320 -G gen-multi-sim=mipsIV" # end-sanitize-vr4320 ;; # start-sanitize-cygnus - mips64vr54*-*-*) sim_default_gen=IGEN - sim_use_gen=IGEN + mips64vr54*-*-*) sim_gen=IGEN sim_igen_machine="-M vr5000,vr5400 -G gen-multi-sim=vr5400" ;; # end-sanitize-cygnus - mips64vr5*-*-*) sim_default_gen=IGEN - sim_use_gen=IGEN + mips64vr5*-*-*) sim_gen=IGEN sim_igen_machine="-M vr5000" # start-sanitize-cygnus sim_igen_machine="-M vr5000,vr5400 -G gen-multi-sim=vr5000" ;; # end-sanitize-cygnus - mips64vr41*) sim_default_gen=M16 - sim_use_gen=M16 + mips64vr41*) sim_gen=M16 sim_igen_machine="-M vr4100,mips16" sim_m16_machine="-M vr4100,mips16" sim_igen_filter="32,64,f" sim_m16_filter="16" ;; - mips64*-*-*) sim_default_gen=IGEN - sim_igen_filter="32,64,f" - sim_use_gen=IGEN + mips64*-*-*) sim_igen_filter="32,64,f" + sim_gen=IGEN ;; - mips16*-*-*) sim_default_gen=M16 + mips16*-*-*) sim_gen=M16 sim_igen_filter="32,64,f" sim_m16_filter="16" - sim_use_gen=NO ;; - mips*lsi*) sim_default_gen=M16 - sim_use_gen=M16 + mips*lsi*) sim_gen=M16 sim_igen_machine="-M mipsIII,mips16" sim_m16_machine="-M mips16,mipsIII" sim_igen_filter="32,f" sim_m16_filter="16" ;; - mips*-*-*) sim_default_gen=IGEN + mips*-*-*) sim_gen=IGEN sim_igen_filter="32,f" - sim_use_gen=IGEN ;; esac sim_igen_flags="-F ${sim_igen_filter} ${sim_igen_machine} ${sim_igen_smp}" sim_m16_flags=" -F ${sim_m16_filter} ${sim_m16_machine} ${sim_igen_smp}" AC_SUBST(sim_igen_flags) AC_SUBST(sim_m16_flags) - - - -# -# Enable igen -# -AC_ARG_ENABLE(sim-igen, -[ --enable-sim-igen=opts Enable IGEN simulator], -[case "${enableval}" in - yes) sim_gen="${sim_default_gen}";; - no) sim_gen=NO;; - 16) sim_gen=M16;; - *) AC_MSG_ERROR("Unknown value $enableval passed to --enable-sim-igen"); sim_gen="";; -esac -if test x"$silent" != x"yes" && test x"$sim_gen" != x""; then - echo "Setting sim_gen = $sim_gen" 6>&1 -fi],[sim_gen="${sim_use_gen}"])dnl AC_SUBST(sim_gen) diff --git a/sim/mips/gencode.c b/sim/mips/gencode.c deleted file mode 100644 index ca0dad3..0000000 --- a/sim/mips/gencode.c +++ /dev/null @@ -1,4858 +0,0 @@ -/*> gencode.c <*/ -/* Instruction handling support for the MIPS architecture simulator. - - This file is part of the MIPS sim - - THIS SOFTWARE IS NOT COPYRIGHTED - - Cygnus offers the following for use in the public domain. Cygnus - makes no warranty with regard to the software or it's performance - and the user accepts the software "AS IS" with all faults. - - CYGNUS DISCLAIMS ANY WARRANTIES, EXPRESS OR IMPLIED, WITH REGARD TO - THIS SOFTWARE INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF - MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. - - $Revision$ - $Author$ - $Date$ -*/ - -#if 0 -#define DEBUG (1) /* Just for testing */ -#endif - -/* All output sent to stdout is for the simulator engine. All program - related warnings and errors should be sent to stderr. */ - -/* The simulator decode table is constructed this way to allow the - minimal code required for a particular instruction type to be - coded. This avoids a large simulator source file, with lots of - build-time conditionals controlling what code is included. However - this two-stage process does mean that care must be taken to ensure - that the correct decoding source is generated for a particular MIPS - simulator. */ - -/* Notes: - - We could provide pipeline modelling by splitting the simulation of - instructions into seperate bytecodes for each pipeline - stage. e.g. for the VR4300 each instruction would generate 5 - bytecodes, one for each pipeline stage. The simulator control would - then insert these into the relevant pipeline slots, and execute a - complete slots worth of bytecodes. However, the shape of the - pipeline, and what parts of each instruction are executed in each - pipeline stage, are different between MIPS implementations. If we - were to construct a simulator for a particular MIPS architecture - this would be a good solution. - - To avoid having to provide multiple different pipeline models, a - simple approach for dealing with the delay slots, and register - dependencies has been used. The "MIPS IV Instruction Set" document - (Revision 3.1 - January 1995) details the standard MIPS instruction - set, and it defines operations in instruction (not pipe-line) - cycles. This means we only need to worry about a few cases where - the result is not available until after the next instruction, or - where registers in the previous two instruction cycles may be - corrupted. The case for corruption only occurs with HI or LO - register access, so we can just keep a count within the engine for - upto two cycles before marking the register as safe. We then only - need to check the safety flag when performing an update that - involves the HI or LO register. The only other case is the - BC1F/BC1T instructions in the FP unit. For ISAs I, II and III there - must be an instruction between the FP CMP and the BC1[FT]. We can - perform the same instruction cycle count scheme, so we can raise a - warning if an attempt is made to access the condition code early - (NOTE: The hardware does not interlock on this operation, so the - simulator should just raise a warning). - - For the situations where a result is not available until later, we - implent a slot to hold pending values. After the PC is incremented, - and before the instruction is decoded we can execute the required - register update (or remainder of instruction processing). */ - -/* The FP instruction decoding is also provided by this code. The - instructions are marked as "FP" ones so that we can construct a - simulator without an FPU if required. Similarly we mark - instructions as Single or Double precision, since some MIPS - processors only have single precision FP hardware. */ - -/* NOTE: Ideally all state should be passed as parameters. This allows - a single simulator engine to be used for multiple concurrent - simulations. More importantly, if a suitably powerful control is in - place it will allow speculative simulation, since the context can - be saved easily, and then restored after performing some - simulation. The down-side is that for certain host architectures it - can slow the simulator down (e.g. if globals can be accessed faster - than local structures). However, this is not actually the case at - the moment. The constructed engine uses direct names (that can be - macro definitions). This keeps the engine source smalled (using - short-hands), and it also allows the user to control whether they - want to use global, or indirected memory locations. i.e. whether - they want a single- or multi-threaded simulator engine. */ - -/* The constructed simulator engine contains manifests for each of the - features supported. The code that includes the engine can then - discover the available features during its build. This information - can be used to control run-time features provided by the final - simulator. */ - -/*---------------------------------------------------------------------------*/ - -/* Program defaults */ -#define DEF_ISA (3) -#define DEF_PROC64 (1 == 1) -#define DEF_FP (1 == 1) -#define DEF_FPSINGLE (1 == 0) - -#define FEATURE_PROC32 (1 << 0) /* 0 = 64bit; 1 = 32bit */ -#define FEATURE_HASFPU (1 << 1) /* 0 = no FPU; 1 = include FPU */ -#define FEATURE_FPSINGLE (1 << 1) /* 0 = double; 1 = single (only used if FEATURE_HASFPU defined) */ -#define FEATURE_GP64 (1 << 2) /* 0 = GPRLEN 32; 1 = GPRLEN 64 */ -#define FEATURE_FAST (1 << 17) /* 0 = normal; 1 = disable features that slow performance */ -#define FEATURE_WARN_STALL (1 << 24) /* 0 = nothing; 1 = generate warnings when pipeline would stall */ -#define FEATURE_WARN_LOHI (1 << 25) /* 0 = nothing; 1 = generate warnings when LO/HI corrupted */ -#define FEATURE_WARN_ZERO (1 << 26) /* 0 = nothing; 1 = generate warnings if attempt to write register zero */ -#define FEATURE_WARN_MEM (1 << 27) /* 0 = nothing; 1 = generate warnings when memory problems are noticed */ -#define FEATURE_WARN_R31 (1 << 28) /* 0 = nothing; 1 = generate warnings if r31 used dangerously */ -#define FEATURE_WARN_RESULT (1 << 29) /* 0 = nothing; 1 = generate warnings when undefined results may occur */ -#define FEATURE_IGEN (1 << 20) /* 0 = nothing; 1 = generate igen formatted output file */ - -/* We used to enable FEATURE_WARN_ZERO, but it is perfectly legitimate to - have the zero register as a destination -- the zero register just doesn't - actually change. */ -/* start-sanitize-r5900 */ -/* The 5900 madd instructions for example use this feature. */ -/* end-sanitize-r5900 */ -#if 1 -#define FEATURE_WARNINGS (FEATURE_WARN_STALL | FEATURE_WARN_LOHI | FEATURE_WARN_R31) -#else -#define FEATURE_WARNINGS (FEATURE_WARN_STALL | FEATURE_WARN_LOHI | FEATURE_WARN_R31 | FEATURE_WARN_RESULT) -#endif - -/* FEATURE_WARN_STALL */ -/* If MIPS I we want to raise a warning if an attempt is made to - access Rn in an instruction immediately following an Rn update - "WARNING : Invalid value read". The simulator engine is designed - that the previous value is read in such cases, to allow programs - that make use of this feature to execute. */ -/* If MIPS II or later, attempting to read a register before the - update has completed will generate a "WARNING : Processor stall" - message (since the processor will lock the pipeline until the value - becomes available). */ - -/* FEATURE_WARN_LOHI */ -/* Warn if an attempt is made to read the HI/LO registers before the - update has completed, or if an attempt is made to update the - registers whilst an update is occurring. */ - -/* FEATURE_WARN_ZERO */ -/* Notify the user if an attempt is made to use GPR 0 as a destination. */ - -/* FEATURE_WARN_R31 */ -/* Notify the user if register r31 (the default procedure call return - address) is used unwisely. e.g. If r31 is used as the source in a - branch-and-link instruction, it would mean that an exception in the - delay slot instruction would not allow the branch to be re-started - (since r31 will have been overwritten by the link operation during - the first execution of the branch). */ - -/* FEATURE_WARN_RESULT */ -/* Certain instructions do not raise exceptions when invalid operands - are given, they will just result in undefined values being - generated. This option controls whether the simulator flags such - events. */ - -/*---------------------------------------------------------------------------*/ - -#include -#include -#include -#include -#include -#include "ansidecl.h" -#include "opcode/mips.h" - -/* FIXME: ansidecl.h defines AND. */ -#undef AND - -#ifndef ULONG_MAX -#define ULONG_MAX ((unsigned long)(~0L)) /* 0xFFFFFFFF */ -#endif - -static unsigned long my_strtoul (); - -#if 0 -#ifndef TRUE -#define TRUE (1 == 1) -#define FALSE (1 == 0) -#endif -#endif - -/*---------------------------------------------------------------------------*/ - -/* Holding the instruction table this way makes it easier to check the - instruction values defined, and to add instructions to the - system. However, it makes the process of constructing the simulator - a bit more complicated: */ - -/* The "bitmap" is encoded as follows (NOTE: Only lower-case - alphabetic characters should be used, since the letter ordinal is - used as a bit position): */ - -typedef struct operand_encoding { - char id; /* character identifier */ - int fpos; /* first bit position */ - int flen; /* field length in bits */ - char * const type; - char * const name; - unsigned int flags; -} operand_encoding; - -/* Values for the "flags" field: */ -#define OP_NONE (0 << 0) /* To keep the source tidy */ -#define OP_GPR (1 << 0) /* Get operand from integer register bank */ -#define OP_SIGNX (1 << 1) /* Sign-extend the operand */ -#define OP_SHIFT2 (1 << 2) /* Shift field left by 2 */ -#define OP_BITS5 (1 << 3) /* Only take the lo 5-bits of the operand */ -#define OP_GPR1 (1 << 4) /* fetch from the GPR1 registers */ - -struct operand_encoding opfields[] = { - {'0',-1,-1,"", "", (OP_NONE)}, /* special case for explicit zero */ - {'1',-1,-1,"", "", (OP_NONE)}, /* special case for explicit one */ - {'?',-1,-1,"", "", (OP_NONE)}, /* undefined (do not care at this level) */ - /* The rest are the explicit operand fields: */ - {'a', 6, 5,"int", "op1", (OP_NONE)}, /* shift amount (or hint) */ - {'b',21, 5,"int", "fr", (OP_NONE)}, /* fr register */ - {'c',16, 1,"int", "boolean", (OP_NONE)}, /* TRUE or FALSE boolean */ - {'d',11, 5,"int", "destreg", (OP_NONE)}, /* integer destination/rd register */ - {'e', 0,16,"t_reg", "offset", (OP_SIGNX)}, /* signed offset (lo-3bits must be zero) */ - {'f',17, 1,"int", "likely", (OP_NONE)}, /* set if branch LIKELY */ - {'g',16, 5,"t_reg", "op2", (OP_GPR)}, /* integer source rt register */ - {'h', 0,16,"t_reg", "offset", (OP_SIGNX)}, /* signed offset (lo-1bit must be zero) */ - {'i', 0,16,"t_reg", "op2", (OP_SIGNX)}, /* signed immediate (op2) */ - {'j', 0,26,"ut_reg","op1", (OP_SHIFT2)},/* shifted left 2 bits and combined with hi-order bits of address in the delay slot */ - {'k',16, 5,"int", "ft", (OP_NONE)}, - {'l', 0,16,"t_reg", "offset", (OP_SIGNX | OP_SHIFT2)}, /* signed offset shifted left 2 to make 18bit signed offset */ - {'m',21, 3,"int", "format", (OP_NONE)}, /* FP format field */ - {'n',16, 5,"int", "hint", (OP_NONE)}, /* hint */ - {'o',21, 5,"t_reg", "op1", (OP_GPR | OP_BITS5)}, /* integer source/rs register (but never treated as 32bit word) */ - {'p', 8, 3,"int", "condition_code",(OP_NONE)}, /* FP condition code field */ - {'q',18, 3,"int", "condition_code",(OP_NONE)}, /* FP condition code field */ - {'r', 6, 5,"int", "destreg", (OP_NONE)}, /* FP fd register */ - {'s',21, 5,"t_reg", "op1", (OP_GPR)}, /* integer source/rs register */ - {'t',16, 5,"int", "destreg", (OP_NONE)}, /* integer target rt (destination) register */ - {'u', 0, 4,"int", "cmpflags", (OP_NONE)}, /* FP comparison control flags */ - {'v',11, 5,"int", "fs", (OP_NONE)}, /* FP fs register (or PREFX hint) */ - {'w', 0,16,"t_reg", "offset", (OP_SIGNX)}, /* signed offset (lo-2bits must be zero) */ - {'x',23, 1,"int", "to", (OP_NONE)}, /* TRUE if move To; FALSE if move From */ - {'y', 0,16,"t_reg", "offset", (OP_SIGNX)}, /* signed offset */ - {'z', 0,16,"ut_reg","op2", (OP_NONE)}, /* unsigned immediate (zero extended) */ - {'S',21, 5,"t_reg", "rs_reg", (OP_GPR|OP_GPR1)}, /* rs field, GPR[rs] and GPR1[rs] as source */ - {'T',16, 5,"t_reg", "rt_reg", (OP_GPR|OP_GPR1)}, /* rt field, GPR[rt] and GPR1[rt] as source */ -}; - - -/* Main instruction encoding types: */ -typedef enum { - NORMAL, - SPECIAL, - REGIMM, - COP1, - COP1X, - COP1S, /* These instructions live in the reserved FP format values: 0..15,18-19,22-31 */ - - MMINORM, - MMI0, - MMI1, - MMI2, - MMI3, - - /* mips16 encoding types. */ - I, RI, RR, RRI, RRR, RRI_A, ISHIFT, I8, I8_MOVR32, I8_MOV32R, I64, RI64 -} inst_type; - -/* Main instruction families: */ -typedef enum { - ADD, /* res = operand1 + operand2 */ - SUB, /* res = operand1 - operand2 */ - MUL, /* res = operand1 * operand2 */ - DIV, /* res = operand1 / operand2 */ - AND, /* res = operand1 & operand2 */ - OR, /* res = operand1 | operand2 */ - XOR, /* res = operand1 ^ operand2 */ - MOVE, /* res = operand1 */ - BRANCH, /* execute delay slot instruction before branch unless (LIKELY && branch_not_taken) */ - JUMP, /* execute delay slot instruction before jump */ - LOAD, /* load from memory */ - STORE, /* store to memory */ - PREFETCH, /* prefetch data into cache */ - SET, /* set register on result of condition code */ - SHIFT, /* perform a logical or arithmetic shift */ - TRAP, /* system exception generation */ - BREAK, /* system breakpoint exception generation */ - SDBBP, /* software debug breakpoint exception generation */ - SYSCALL, /* system exception generation */ - SYNC, /* system cache control */ - DECODE, /* co-processor instruction */ - CACHE, /* co-processor 0 CACHE instruction */ - MADD16, /* VR4100 specific multiply-add extensions */ - FPMOVE, - FPMOVEC, - FPFLOOR, - FPCEIL, - FPTRUNC, - FPROUND, - FPNEG, - FPABS, - FPDIV, - FPMUL, - FPSUB, - FPADD, - FPPREFX, - FPRECIP, - FPSQRT, - FPCONVERT, - FPCOMPARE, - MADD, - /* start-sanitize-r5900 */ - PABS, - PADD, - PADSBH, - POP, - PCMP, - PCPYH, - PCPYLD, - PCPYUD, - PEXCH, - PEXCW, - PEXOH, - PEXOW, - PEXTLB, - PEXTLH, - PEXTLW, - PEXTUB, - PEXTUH, - PEXTUW, - PPACB, - PPACH, - PPACW, - PREVH, - PROT3W, - PINTH, - PINTOH, - PMXX, - PMFHL, - PMTHL, - PMAXMIN, - QFSRV, - MxSA, - MTSAB, - MTSAH, - PSHIFT, - PSLLVW, - PSRLVW, - PSRAVW, - PLZCW, - PHMADDH, - PMULTH, - PMULTW, - PDIVBW, - PDIVW, - PEXT5, - PPAC5, - /* end-sanitize-r5900 */ - NYI, /* Not Yet Implemented, placeholder, errors if used */ - RSVD /* "Reserved Instruction" on MIPS IV, or if co-proc 3 absent. Otherwise "Reserved Instruction" */ -} opcode_type; - -/* Flags field: */ -#define NONE (0 << 0) /* Zero value (used to keep source tidy) */ -#define SIM_SH_SIZE (0) -#define SIM_MASK_SIZE (0x7) -#define BYTE (0) /* 8bit */ -#define HALFWORD (1) /* 16bit */ -#define WORD (2) /* 32bit */ -#define DOUBLEWORD (3) /* 64bit */ -#define SINGLE (4) /* single precision FP */ -#define DOUBLE (5) /* double precision FP */ -/* start-sanitize-r5900 */ -#define QUADWORD (6) /* 128bit */ -/* end-sanitize-r5900 */ - -/* Shorthand to get the size field from the flags value: */ -#define GETDATASIZEINSN(i) (((i)->flags >> SIM_SH_SIZE) & SIM_MASK_SIZE) - -/* The rest are single bit flags: */ -#define MULTIPLY (1 << 3) /* actually FP multiply ADD/SUB modifier */ -#define EQ (1 << 4) -#define GT (1 << 5) -#define LT (1 << 6) -#define NOT (1 << 7) -#define LIKELY (1 << 8) -#define SIGNEXTEND (1 << 9) -#define OVERFLOW (1 << 10) -#define LINK (1 << 11) -#define ATOMIC (1 << 12) -#define SHIFT16 (1 << 13) -#define REG (1 << 14) -#define LEFT (1 << 15) /* Deliberate explicit encodings to allow check for neither, or both */ -#define RIGHT (1 << 16) /* Mutually exclusive with "LEFT" */ -#define LOGICAL (1 << 17) -#define ARITHMETIC (1 << 18) -#define UNSIGNED (1 << 19) -#define HI32 (1 << 20) -#define HI (1 << 21) /* accesses or updates the HI register */ -#define LO (1 << 22) /* accesses or updates the LO register */ -#define WORD32 (1 << 23) -#define FP (1 << 24) /* Floating Point operation */ -#define FIXED (1 << 25) /* fixed point arithmetic */ -#define COPROC (1 << 26) -#define INTEGER (1 << 27) -#define CONDITIONAL (1 << 28) -#define RECIP (1 << 29) -#define CONTROL (1 << 30) -#define NOARG (1 << 31) /* Instruction has no (defined) operands */ -/* NOTE: We can overload the use of certain of these flags, since not - all options are applicable to all instruction types. This will free - up more space for new flags. */ - -/* Overloadings of above bits */ -#define PIPE1 LIKELY /* Using pipeline 1 (DIV,MUL) */ -#define OP3 EQ /* 3 operand version of operation (MUL) */ - -#define SATURATE OVERFLOW /* for PADD, saturate for overflow */ - -#define SUBTRACT LEFT /* for PMULT, PMULT becomes PMSUB */ -#define ADDITION RIGHT /* for PMULT, PMULT becomes PMADD */ - -#define FROM LEFT /* move from special register */ -#define TO RIGHT /* move to special register */ - -/* For bitwise parallel operations */ -#define POP_AND 0 /* for POP, op = & */ -#define POP_OR LEFT /* for POP, op = | */ -#define POP_NOR LIKELY /* for POP, op = ~(x | y) */ -#define POP_XOR LEFT|LIKELY /* for POP, op = ^ */ - -#define GET_OP_FROM_INSN(insn) (((insn)->flags)&(LEFT|LIKELY)) - - - -typedef struct instruction { - char *name; /* ASCII mnemonic name */ - unsigned int isa; /* MIPS ISA number where instruction introduced */ - char *bitmap; /* 32character string describing instruction operands */ - inst_type mark; /* type of MIPS instruction encoding */ - opcode_type type; /* main instruction family */ - unsigned int flags; /* flags describing instruction features */ -} instruction; -/* The number of pipeline cycles taken by an instruction varies - between MIPS processors. This means that the information must be - encoded elsewhere, in a CPU specific structure. */ - -/* NOTE: Undefined instructions cause "Reserved Instruction" - exceptions. i.e. if there is no bit-mapping defined then the - instruction is deemed to be undefined. */ - -/* NOTE: The "isa" field is also used to encode flags for particular - chip architecture extensions. e.g. the NEC VR4100 specific - instructions. Normally chip extensions are added via the COP0 - space. However, the VR4100 (and possibly other devices) also use - the normal instruction space. */ -#define MASK_ISA (0x000000FF) /* Start by leaving 8bits for the ISA ID */ -/* The other bits are allocated downwards, to avoid renumbering if we - have to extend the bits allocated to the pure ISA number. - - These architecture bits come in two flavors: - ISA dependent - marking insns that should be included in the opcode - set if that architecture is requested on the gencode command line - AND the ISA of the insn is <= requested ISA; - - ISA independent - marking insn that should be included in the opcode - set if that architecture is requested - OR the ISA of the insn is <= requested ISA. - - Independent bits are listed in MASK_ISA_INDEP, the rest are dependent. - */ -#define ARCH_VR4100 ((unsigned)1 << 31) /* NEC VR4100 extension instructions */ -/* start-sanitize-r5900 */ -#define ARCH_R5900 ((unsigned)1 << 30) /* Toshiba r5900 extension instructions */ -/* end-sanitize-r5900 */ -#define ARCH_R3900 ((unsigned)1 << 29) /* Toshiba r3900 (tx39) */ -/* start-sanitize-tx49 */ -#define ARCH_R4900 ((unsigned)1 << 28) /* Toshiba r4900 (tx49) */ -/* end-sanitize-tx49 */ - -/* start-sanitize-tx19 */ -/* The r1900 (tx19) is a tx39 with a mips16 decoder. For the purposes - of implementing the simulator we treat them as the same. */ -/* end-sanitize-tx19 */ - -/* A list (or'ed) of extension insn sets that can be requested independant of the ISA# */ -#define MASK_ISA_INDEP (0 \ - | ARCH_R3900 \ - /* start-sanitize-tx49 */ \ - | ARCH_R4900 \ - /* end-sanitize-tx49 */ \ - /* start-sanitize-r5900 */ \ - | ARCH_R5900 \ - /* end-sanitize-r5900 */ \ - | 0) - -#define MASK_ISA_DEP ~(MASK_ISA_INDEP | MASK_ISA) - -/* Very short names for use in the table below to keep it neet. */ -#define G1 (3 | ARCH_VR4100) - -#define G2 (4 \ - /* start-sanitize-r5900 */ \ - | ARCH_R5900 \ - /* end-sanitize-r5900 */ \ - | 0) - -#define G3 (4 \ - /* start-sanitize-r5900 */ \ - /* insn that are not really 5900 insn but were left in */ \ - /* until we can rewrite the code-gen and libs */ \ - | ARCH_R5900 \ - /* end-sanitize-r5900 */ \ - | 0) - -#define G4 (2 | ARCH_R3900) - -#define G5 (0 \ - | ARCH_R3900 \ - /* start-sanitize-tx49 */ \ - | ARCH_R4900 \ - /* end-sanitize-tx49 */ \ - /* start-sanitize-r5900 */ \ - | ARCH_R5900 \ - /* end-sanitize-r5900 */ \ - ) - -#define G6 (3 | ARCH_R3900) - -#define G7 (ARCH_R3900 \ - /* start-sanitize-tx49 */ \ - | ARCH_R4900 \ - /* end-sanitize-tx49 */ \ - ) - -#define G8 (4 \ - /* start-sanitize-tx49 */ \ - | ARCH_R4900 \ - /* end-sanitize-tx49 */ \ - /* start-sanitize-r5900 */ \ - | ARCH_R5900 \ - /* end-sanitize-r5900 */ \ - ) - -#define G9 (3 \ - /* start-sanitize-tx49 */ \ - | ARCH_R4900 \ - /* end-sanitize-tx49 */ \ - ) - -/* start-sanitize-r5900 */ -#define T5 ARCH_R5900 -/* end-sanitize-r5900 */ - - -/* The HIBERNATE, STANDBY and SUSPEND instructions are encoded in the - COP0 space. This means that an external decoder should be added - when constructing a full VR4100 simulator. However some arithmetic - instructions are encoded in the normal instruction space. */ - -struct instruction MIPS_DECODE[] = { - /* The instructions are alphabetical, and not in instruction bit-order: */ - {"ABS", 1,"01000110mmm00000vvvvvrrrrr000101",COP1, FPABS, (FP)}, - {"ADD", 1,"000000sssssgggggddddd00000100000",SPECIAL,ADD, (WORD | WORD32 | OVERFLOW)}, /* rd = rs + rt */ - {"ADD", 1,"01000110mmmkkkkkvvvvvrrrrr000000",COP1, FPADD, (FP)}, - {"ADDI", 1,"001000ssssstttttiiiiiiiiiiiiiiii",NORMAL, ADD, (WORD | WORD32 | OVERFLOW)}, - {"ADDU", 1,"000000sssssgggggddddd00000100001",SPECIAL,ADD, (WORD | WORD32)}, /* rd = rs + rt */ - {"ADDIU", 1,"001001ssssstttttiiiiiiiiiiiiiiii",NORMAL, ADD, (WORD | WORD32)}, - {"AND", 1,"000000sssssgggggddddd00000100100",SPECIAL,AND, (NONE)}, /* rd = rs AND rt */ - {"ANDI", 1,"001100ssssstttttzzzzzzzzzzzzzzzz",NORMAL, AND, (NONE)}, - {"BC1", 1,"01000101000qqqfcllllllllllllllll",COP1S, BRANCH, (FP)}, - {"BEQ", 1,"000100sssssgggggllllllllllllllll",NORMAL, BRANCH, (EQ)}, - {"BEQL", G4,"010100sssssgggggllllllllllllllll",NORMAL, BRANCH, (EQ | LIKELY)}, - {"BGEZ", 1,"000001sssss00001llllllllllllllll",REGIMM, BRANCH, (GT | EQ)}, - {"BGEZAL", 1,"000001sssss10001llllllllllllllll",REGIMM, BRANCH, (GT | EQ | LINK)}, - {"BGEZALL",G4,"000001sssss10011llllllllllllllll",REGIMM, BRANCH, (GT | EQ | LINK | LIKELY)}, - {"BGEZL", G4,"000001sssss00011llllllllllllllll",REGIMM, BRANCH, (GT | EQ | LIKELY)}, - {"BGTZ", 1,"000111sssss00000llllllllllllllll",NORMAL, BRANCH, (GT)}, - {"BGTZL", G4,"010111sssss00000llllllllllllllll",NORMAL, BRANCH, (GT | LIKELY)}, - {"BLEZ", 1,"000110sssss00000llllllllllllllll",NORMAL, BRANCH, (LT | EQ)}, - {"BLEZL", G4,"010110sssss00000llllllllllllllll",NORMAL, BRANCH, (LT | EQ | LIKELY)}, - {"BLTZ", 1,"000001sssss00000llllllllllllllll",REGIMM, BRANCH, (LT)}, - {"BLTZAL", 1,"000001sssss10000llllllllllllllll",REGIMM, BRANCH, (LT | LINK)}, - {"BLTZALL",G4,"000001sssss10010llllllllllllllll",REGIMM, BRANCH, (LT | LINK | LIKELY)}, - {"BLTZL", G4,"000001sssss00010llllllllllllllll",REGIMM, BRANCH, (LT | LIKELY)}, - {"BNE", 1,"000101sssssgggggllllllllllllllll",NORMAL, BRANCH, (NOT | EQ)}, - {"BNEL", G4,"010101sssssgggggllllllllllllllll",NORMAL, BRANCH, (NOT | EQ | LIKELY)}, - {"BREAK", 1,"000000????????????????????001101",SPECIAL,BREAK, (NOARG)}, - {"CEIL.L", 3,"01000110mmm00000vvvvvrrrrr001010",COP1, FPCEIL, (FP | FIXED | DOUBLEWORD)}, - {"CEIL.W", 2,"01000110mmm00000vvvvvrrrrr001110",COP1, FPCEIL, (FP | FIXED | WORD)}, - {"COP0", 1,"010000??????????????????????????",NORMAL, DECODE, (NOARG)}, - {"COP2", 1,"010010??????????????????????????",NORMAL, DECODE, (NOARG)}, - {"CVT.D", 1,"01000110mmm00000vvvvvrrrrr100001",COP1, FPCONVERT,(FP | DOUBLE)}, - {"CVT.L", 3,"01000110mmm00000vvvvvrrrrr100101",COP1, FPCONVERT,(FP | FIXED | DOUBLEWORD)}, - {"CVT.S", 1,"01000110mmm00000vvvvvrrrrr100000",COP1, FPCONVERT,(FP | SINGLE)}, - {"CVT.W", 1,"01000110mmm00000vvvvvrrrrr100100",COP1, FPCONVERT,(FP | FIXED | WORD)}, - {"C.%s", 1,"01000110mmmkkkkkvvvvvppp0011uuuu",COP1, FPCOMPARE,(FP)}, - {"CxC1", 1,"01000100x10kkkkkvvvvv00000000000",COP1S, FPMOVEC, (FP | WORD | CONTROL)}, - {"DADD", 3,"000000sssssgggggddddd00000101100",SPECIAL,ADD, (DOUBLEWORD | OVERFLOW)}, - {"DADDI", 3,"011000ssssstttttiiiiiiiiiiiiiiii",NORMAL, ADD, (DOUBLEWORD | OVERFLOW)}, - {"DADDU", 3,"000000sssssgggggddddd00000101101",SPECIAL,ADD, (DOUBLEWORD | UNSIGNED)}, - {"DADDIU", 3,"011001ssssstttttiiiiiiiiiiiiiiii",NORMAL, ADD, (DOUBLEWORD | UNSIGNED)}, - {"DDIV", 3,"000000sssssggggg0000000000011110",SPECIAL,DIV, (DOUBLEWORD | HI | LO)}, - {"DDIVU", 3,"000000sssssggggg0000000000011111",SPECIAL,DIV, (DOUBLEWORD | UNSIGNED | HI | LO)}, - {"DIV", 1,"000000sssssggggg0000000000011010",SPECIAL,DIV, (WORD | WORD32 | SIGNEXTEND | HI | LO)}, - {"DIV", 1,"01000110mmmkkkkkvvvvvrrrrr000011",COP1, FPDIV, (FP | WORD | HI | LO)}, - /* start-sanitize-r5900 */ - {"DIV1", T5,"011100sssssggggg0000000000011010",MMINORM,DIV, (WORD | WORD32 | SIGNEXTEND | HI | LO | PIPE1)}, - /* end-sanitize-r5900 */ - {"DIVU", 1,"000000sssssggggg0000000000011011",SPECIAL,DIV, (WORD | WORD32 | UNSIGNED | SIGNEXTEND | HI | LO)}, - /* start-sanitize-r5900 */ - {"DIVU1", T5,"011100sssssggggg0000000000011011",MMINORM,DIV, (WORD | WORD32 | UNSIGNED | SIGNEXTEND | HI | LO | PIPE1)}, - /* end-sanitize-r5900 */ - {"DMADD16",G1,"000000sssssggggg0000000000101001",SPECIAL,MADD16, (DOUBLEWORD | HI | LO)}, - /* See note near MULT for explanation of 3op-ness. */ - {"DMULT", G9,"000000sssssgggggddddd00000011100",SPECIAL,MUL, (OP3 | DOUBLEWORD | HI | LO)}, - {"DMULTU", G9,"000000sssssgggggddddd00000011101",SPECIAL,MUL, (OP3 | DOUBLEWORD | UNSIGNED | HI | LO)}, - {"DMxC1", 3,"01000100x01kkkkkvvvvv00000000000",COP1S, FPMOVEC, (FP | DOUBLEWORD)}, - {"DSLL", 3,"00000000000gggggdddddaaaaa111000",SPECIAL,SHIFT, (DOUBLEWORD | LEFT | LOGICAL)}, - {"DSLLV", 3,"000000sssssgggggddddd00000010100",SPECIAL,SHIFT, (DOUBLEWORD | LEFT | LOGICAL | REG)}, - {"DSLL32", 3,"00000000000gggggdddddaaaaa111100",SPECIAL,SHIFT, (DOUBLEWORD | LEFT | LOGICAL | HI32)}, /* rd = rt << (sa + 32) */ - {"DSRA", 3,"00000000000gggggdddddaaaaa111011",SPECIAL,SHIFT, (DOUBLEWORD | RIGHT | ARITHMETIC)}, - {"DSRAV", 3,"000000sssssgggggddddd00000010111",SPECIAL,SHIFT, (DOUBLEWORD | RIGHT | ARITHMETIC | REG)}, - {"DSRA32", 3,"00000000000gggggdddddaaaaa111111",SPECIAL,SHIFT, (DOUBLEWORD | RIGHT | ARITHMETIC | HI32)}, /* rd = rt >> (sa + 32) */ - {"DSRL", 3,"00000000000gggggdddddaaaaa111010",SPECIAL,SHIFT, (DOUBLEWORD | RIGHT | LOGICAL)}, - {"DSRLV", 3,"000000sssssgggggddddd00000010110",SPECIAL,SHIFT, (DOUBLEWORD | RIGHT | LOGICAL | REG)}, - {"DSRL32", 3,"00000000000gggggdddddaaaaa111110",SPECIAL,SHIFT, (DOUBLEWORD | RIGHT | LOGICAL | HI32)}, - {"DSUB", 3,"000000sssssgggggddddd00000101110",SPECIAL,SUB, (DOUBLEWORD)}, - {"DSUBU", 3,"000000sssssgggggddddd00000101111",SPECIAL,SUB, (DOUBLEWORD | UNSIGNED)}, - {"FLOOR.L", 3,"01000110mmm00000vvvvvrrrrr001011",COP1, FPFLOOR, (FP | FIXED | DOUBLEWORD)}, - {"FLOOR.W", 2,"01000110mmm00000vvvvvrrrrr001111",COP1, FPFLOOR, (FP | FIXED | WORD)}, - {"J", 1,"000010jjjjjjjjjjjjjjjjjjjjjjjjjj",NORMAL, JUMP, (NONE)}, /* NOTE: boundary case due to delay slot address being used */ - {"JAL", 1,"000011jjjjjjjjjjjjjjjjjjjjjjjjjj",NORMAL, JUMP, (LINK)}, /* NOTE: boundary case due to delay slot address being used */ - {"JALR", 1,"000000sssss00000ddddd00000001001",SPECIAL,JUMP, (LINK | REG)}, - {"JALX", 1,"011101jjjjjjjjjjjjjjjjjjjjjjjjjj",NORMAL, JUMP, (LINK | NOT)}, - {"JR", 1,"000000sssss000000000000000001000",SPECIAL,JUMP, (NONE)}, /* need to check PC as part of instruction fetch */ - {"LB", 1,"100000ssssstttttyyyyyyyyyyyyyyyy",NORMAL, LOAD, (BYTE | SIGNEXTEND)}, /* NOTE: "i" rather than "o" because BYTE addressing is allowed */ - {"LBU", 1,"100100ssssstttttyyyyyyyyyyyyyyyy",NORMAL, LOAD, (BYTE)}, /* NOTE: See "LB" comment */ - {"LD", 3,"110111sssssttttteeeeeeeeeeeeeeee",NORMAL, LOAD, (DOUBLEWORD)}, - {"LDC1", 2,"110101sssssttttteeeeeeeeeeeeeeee",NORMAL, LOAD, (DOUBLEWORD | COPROC)}, - {"LDC2", 2,"110110sssssttttteeeeeeeeeeeeeeee",NORMAL, LOAD, (DOUBLEWORD | COPROC)}, - {"LDL", 3,"011010ssssstttttyyyyyyyyyyyyyyyy",NORMAL, LOAD, (DOUBLEWORD | LEFT)}, /* NOTE: See "LB" comment */ - {"LDR", 3,"011011ssssstttttyyyyyyyyyyyyyyyy",NORMAL, LOAD, (DOUBLEWORD | RIGHT)}, /* NOTE: See "LB" comment */ - {"LDXC1", G3,"010011sssssggggg00000rrrrr000001",COP1X, LOAD, (FP | DOUBLEWORD | COPROC | REG)}, - {"LH", 1,"100001sssssttttthhhhhhhhhhhhhhhh",NORMAL, LOAD, (HALFWORD | SIGNEXTEND)}, - {"LHU", 1,"100101sssssttttthhhhhhhhhhhhhhhh",NORMAL, LOAD, (HALFWORD)}, - {"LL", 2,"110000ssssstttttwwwwwwwwwwwwwwww",NORMAL, LOAD, (WORD | ATOMIC | SIGNEXTEND)}, - {"LLD", 3,"110100sssssttttteeeeeeeeeeeeeeee",NORMAL, LOAD, (DOUBLEWORD | ATOMIC)}, - {"LUI", 1,"00111100000tttttiiiiiiiiiiiiiiii",NORMAL, MOVE, (SHIFT16)}, /* Cheat and specify sign-extension of immediate field */ - /* start-sanitize-r5900 */ - {"LQ", T5,"011110sssssttttteeeeeeeeeeeeeeee",NORMAL, LOAD, (QUADWORD)}, - /* end-sanitize-r5900 */ - {"LW", 1,"100011ssssstttttwwwwwwwwwwwwwwww",NORMAL, LOAD, (WORD | SIGNEXTEND)}, - {"LWC1", 1,"110001ssssstttttwwwwwwwwwwwwwwww",NORMAL, LOAD, (WORD | COPROC)}, - {"LWC2", 1,"110010ssssstttttwwwwwwwwwwwwwwww",NORMAL, LOAD, (WORD | COPROC)}, - {"LWL", 1,"100010ssssstttttyyyyyyyyyyyyyyyy",NORMAL, LOAD, (WORD | LEFT)}, - {"LWR", 1,"100110ssssstttttyyyyyyyyyyyyyyyy",NORMAL, LOAD, (WORD | RIGHT)}, - {"LWU", 3,"100111ssssstttttwwwwwwwwwwwwwwww",NORMAL, LOAD, (WORD)}, - {"LWXC1", G3,"010011sssssggggg00000rrrrr000000",COP1X, LOAD, (FP | WORD | COPROC | REG)}, - {"MADD", G5,"011100sssssgggggddddd00000000000",MMINORM,MADD, (NONE)}, - {"MADDU", G5,"011100sssssgggggddddd00000000001",MMINORM,MADD, (UNSIGNED)}, - /* start-sanitize-r5900 */ - {"MADD1", T5,"011100sssssgggggddddd00000100000",MMINORM,MADD, (PIPE1)}, - {"MADDU1", T5,"011100sssssgggggddddd00000100001",MMINORM,MADD, (UNSIGNED | PIPE1)}, - /* end-sanitize-r5900 */ - {"MADD16", G1,"000000sssssggggg0000000000101000",SPECIAL,MADD16, (WORD | HI | LO)}, - {"MADD.D", G3,"010011bbbbbkkkkkvvvvvrrrrr100001",COP1X, FPADD, (FP | MULTIPLY | DOUBLE)}, - {"MADD.S", G3,"010011bbbbbkkkkkvvvvvrrrrr100000",COP1X, FPADD, (FP | MULTIPLY | SINGLE)}, - {"MFHI", 1,"0000000000000000ddddd00000010000",SPECIAL,MOVE, (HI | LEFT)}, /* with following, from and to denoted by usage of LEFT or RIGHT */ - /* start-sanitize-r5900 */ - {"MFHI1", T5,"0111000000000000ddddd00000010000",MMINORM,MOVE, (HI | LEFT | PIPE1)}, - /* end-sanitize-r5900 */ - {"MFLO", 1,"0000000000000000ddddd00000010010",SPECIAL,MOVE, (LO | LEFT)}, - /* start-sanitize-r5900 */ - {"MFLO1", T5,"0111000000000000ddddd00000010010",MMINORM,MOVE, (LO | LEFT | PIPE1)}, - {"MFSA", T5,"0000000000000000ddddd00000101000",SPECIAL,MxSA, (FROM)}, - /* end-sanitize-r5900 */ - {"MTHI", 1,"000000sssss000000000000000010001",SPECIAL,MOVE, (HI | RIGHT)}, - /* start-sanitize-r5900 */ - {"MTHI1", T5,"011100sssss000000000000000010001",MMINORM,MOVE, (HI | RIGHT | PIPE1)}, - /* end-sanitize-r5900 */ - {"MTLO", 1,"000000sssss000000000000000010011",SPECIAL,MOVE, (LO | RIGHT)}, - /* start-sanitize-r5900 */ - {"MTLO1", T5,"011100sssss000000000000000010011",MMINORM,MOVE, (LO | RIGHT | PIPE1)}, - {"MTSA", T5,"000000sssss000000000000000101001",SPECIAL,MxSA, (TO)}, - {"MTSAB", T5,"000001sssss11000iiiiiiiiiiiiiiii",REGIMM, MTSAB, (NONE)}, - {"MTSAH", T5,"000001sssss11001iiiiiiiiiiiiiiii",REGIMM, MTSAH, (NONE)}, - /* end-sanitize-r5900 */ - {"MOV", 1,"01000110mmm00000vvvvvrrrrr000110",COP1, FPMOVE, (FP)}, - {"MOVN", G2,"000000sssssgggggddddd00000001011",SPECIAL,MOVE, (NOT | EQ)}, - {"MOVN", G2,"01000110mmmgggggvvvvvrrrrr010011",COP1, FPMOVE, (FP | NOT | EQ)}, - {"MOV%c", G3,"000000sssssqqq0cddddd00000000001",SPECIAL,FPMOVE, (FP | CONDITIONAL | INTEGER)}, - {"MOV%c", G3,"01000110mmmqqq0cvvvvvrrrrr010001",COP1, FPMOVE, (FP | CONDITIONAL)}, - {"MOVZ", G2,"000000sssssgggggddddd00000001010",SPECIAL,MOVE, (EQ)}, - {"MOVZ", G2,"01000110mmmgggggvvvvvrrrrr010010",COP1, FPMOVE, (FP | EQ)}, - {"MSUB.D", G3,"010011bbbbbkkkkkvvvvvrrrrr101001",COP1X, FPSUB, (FP | MULTIPLY | DOUBLE)}, - {"MSUB.S", G3,"010011bbbbbkkkkkvvvvvrrrrr101000",COP1X, FPSUB, (FP | MULTIPLY | SINGLE)}, - {"MUL", 1,"01000110mmmkkkkkvvvvvrrrrr000010",COP1, FPMUL, (FP | HI | LO)}, - /* The 3op version of MULT and MULTU are TX39 (and related chips) specific. - They should be removed from other chips sets, so that using the 3op opcode - causes a reserved instruction exception, but gencode can't deal with - that currently. */ - {"MULT", 1,"000000sssssgggggddddd00000011000",SPECIAL,MUL, (OP3 | WORD | WORD32 | HI | LO)}, - /* start-sanitize-r5900 */ - {"MULT1", T5,"011100sssssgggggddddd00000011000",MMINORM,MUL, (OP3 | WORD | WORD32 | HI | LO | PIPE1)}, - /* end-sanitize-r5900 */ - {"MULTU", 1,"000000sssssgggggddddd00000011001",SPECIAL,MUL, (OP3 | WORD | WORD32 | UNSIGNED | HI | LO)}, - /* start-sanitize-r5900 */ - {"MULTU1", T5,"011100sssssgggggddddd00000011001",MMINORM,MUL, (OP3 | WORD | WORD32 | UNSIGNED | HI | LO | PIPE1)}, - /* end-sanitize-r5900 */ - {"MxC1", 1,"01000100x00kkkkkvvvvv00000000000",COP1S, FPMOVEC, (FP | WORD)}, - {"NEG", 1,"01000110mmm00000vvvvvrrrrr000111",COP1, FPNEG, (FP)}, - {"NMADD.D", 4,"010011bbbbbkkkkkvvvvvrrrrr110001",COP1X, FPADD, (FP | NOT | MULTIPLY | DOUBLE)}, - {"NMADD.S", 4,"010011bbbbbkkkkkvvvvvrrrrr110000",COP1X, FPADD, (FP | NOT | MULTIPLY | SINGLE)}, - {"NMSUB.D", 4,"010011bbbbbkkkkkvvvvvrrrrr111001",COP1X, FPSUB, (FP | NOT | MULTIPLY | DOUBLE)}, - {"NMSUB.S", 4,"010011bbbbbkkkkkvvvvvrrrrr111000",COP1X, FPSUB, (FP | NOT | MULTIPLY | SINGLE)}, - {"NOR", 1,"000000sssssgggggddddd00000100111",SPECIAL,OR, (NOT)}, - {"OR", 1,"000000sssssgggggddddd00000100101",SPECIAL,OR, (NONE)}, - {"ORI", 1,"001101ssssstttttzzzzzzzzzzzzzzzz",NORMAL, OR, (NONE)}, - - /* start-sanitize-r5900 */ - {"PABSH", T5,"01110000000TTTTTddddd00101101000",MMI1, PABS, (HALFWORD)}, - {"PABSW", T5,"01110000000TTTTTddddd00001101000",MMI1, PABS, (WORD)}, - - {"PADDB", T5,"011100SSSSSTTTTTddddd01000001000",MMI0, PADD, (BYTE)}, - {"PADDH", T5,"011100SSSSSTTTTTddddd00100001000",MMI0, PADD, (HALFWORD)}, - {"PADDW", T5,"011100SSSSSTTTTTddddd00000001000",MMI0, PADD, (WORD)}, - - {"PADDSB", T5,"011100SSSSSTTTTTddddd11000001000",MMI0, PADD, (BYTE | SATURATE)}, - {"PADDSH", T5,"011100SSSSSTTTTTddddd10100001000",MMI0, PADD, (HALFWORD | SATURATE)}, - {"PADDSW", T5,"011100SSSSSTTTTTddddd10000001000",MMI0, PADD, (WORD | SATURATE)}, - - {"PADDUB", T5,"011100SSSSSTTTTTddddd11000101000",MMI1, PADD, (BYTE | UNSIGNED)}, - {"PADDUH", T5,"011100SSSSSTTTTTddddd10100101000",MMI1, PADD, (HALFWORD | UNSIGNED)}, - {"PADDUW", T5,"011100SSSSSTTTTTddddd10000101000",MMI1, PADD, (WORD | UNSIGNED)}, - - {"PADSBH", T5,"011100SSSSSTTTTTddddd00100101000",MMI1, PADSBH, (NONE)}, - - {"PAND", T5,"011100SSSSSTTTTTddddd10010001001",MMI2, POP, (POP_AND)}, - - {"PCEQB", T5,"011100SSSSSTTTTTddddd01010101000",MMI1, PCMP, (EQ | BYTE)}, - {"PCEQH", T5,"011100SSSSSTTTTTddddd00110101000",MMI1, PCMP, (EQ | HALFWORD)}, - {"PCEQW", T5,"011100SSSSSTTTTTddddd00010101000",MMI1, PCMP, (EQ | WORD)}, - - {"PCGTB", T5,"011100SSSSSTTTTTddddd01010001000",MMI0, PCMP, (GT | BYTE)}, - {"PCGTH", T5,"011100SSSSSTTTTTddddd00110001000",MMI0, PCMP, (GT | HALFWORD)}, - {"PCGTW", T5,"011100SSSSSTTTTTddddd00010001000",MMI0, PCMP, (GT | WORD)}, - - {"PCPYH", T5,"01110000000TTTTTddddd11011101001",MMI3, PCPYH, (NONE)}, - {"PCPYLD", T5,"011100SSSSSTTTTTddddd01110001001",MMI2, PCPYLD, (NONE)}, - {"PCPYUD", T5,"011100SSSSSTTTTTddddd01110101001",MMI3, PCPYUD, (NONE)}, - - {"PDIVBW", T5,"011100SSSSSTTTTT0000011101001001",MMI2, PDIVBW, (NONE)}, - {"PDIVUW", T5,"011100SSSSSTTTTT0000001101101001",MMI3, PDIVW, (UNSIGNED)}, - {"PDIVW", T5,"011100SSSSSTTTTT0000001101001001",MMI2, PDIVW, (NONE)}, - - {"PEXCH", T5,"01110000000TTTTTddddd11010101001",MMI3, PEXCH, (NONE)}, - {"PEXCW", T5,"01110000000TTTTTddddd11110101001",MMI3, PEXCW, (NONE)}, - {"PEXOH", T5,"01110000000TTTTTddddd11010001001",MMI2, PEXOH, (NONE)}, - {"PEXOW", T5,"01110000000TTTTTddddd11110001001",MMI2, PEXOW, (NONE)}, - - {"PEXT5", T5,"01110000000TTTTTddddd11110001000",MMI0, PEXT5, (NONE)}, - - {"PEXTLB", T5,"011100SSSSSTTTTTddddd11010001000",MMI0, PEXTLB, (NONE)}, - {"PEXTLH", T5,"011100SSSSSTTTTTddddd10110001000",MMI0, PEXTLH, (NONE)}, - {"PEXTLW", T5,"011100SSSSSTTTTTddddd10010001000",MMI0, PEXTLW, (NONE)}, - {"PEXTUB", T5,"011100SSSSSTTTTTddddd11010101000",MMI1, PEXTUB, (NONE)}, - {"PEXTUH", T5,"011100SSSSSTTTTTddddd10110101000",MMI1, PEXTUH, (NONE)}, - {"PEXTUW", T5,"011100SSSSSTTTTTddddd10010101000",MMI1, PEXTUW, (NONE)}, - - {"PHMADDH",T5,"011100SSSSSTTTTTddddd10001001001",MMI2, PHMADDH, (NONE)}, - {"PHMSUBH",T5,"011100SSSSSTTTTTddddd10101001001",MMI2, PHMADDH, (SUBTRACT)}, - - {"PINTH", T5,"011100SSSSSTTTTTddddd01010001001",MMI2, PINTH, (NONE)}, - {"PINTOH", T5,"011100SSSSSTTTTTddddd01010101001",MMI3, PINTOH, (NONE)}, - - {"PLZCW", T5,"011100SSSSS00000ddddd00000000100",MMINORM,PLZCW, (NONE)}, - - {"PMADDH", T5,"011100SSSSSTTTTTddddd10000001001",MMI2, PMULTH, (ADDITION)}, - {"PMADDUW",T5,"011100SSSSSTTTTTddddd00000101001",MMI3, PMULTW, (ADDITION | UNSIGNED)}, - {"PMADDW", T5,"011100SSSSSTTTTTddddd00000001001",MMI2, PMULTW, (ADDITION)}, - - {"PMAXH", T5,"011100SSSSSTTTTTddddd00111001000",MMI0, PMAXMIN, (GT | HALFWORD)}, - {"PMAXW", T5,"011100SSSSSTTTTTddddd00011001000",MMI0, PMAXMIN, (GT | WORD)}, - - {"PMFHI", T5,"0111000000000000ddddd01000001001",MMI2, PMXX, (HI|FROM)}, - {"PMFLO", T5,"0111000000000000ddddd01001001001",MMI2, PMXX, (LO|FROM)}, - - {"PMFHL", T5,"0111000000000000dddddaaaaa110000",MMINORM,PMFHL, (NONE)}, - - {"PMINH", T5,"011100SSSSSTTTTTddddd00111101000",MMI1, PMAXMIN, (LT | HALFWORD)}, - {"PMINW", T5,"011100SSSSSTTTTTddddd00011101000",MMI1, PMAXMIN, (LT | WORD)}, - - {"PMSUBH", T5,"011100SSSSSTTTTTddddd10100001001",MMI2, PMULTH, (SUBTRACT)}, - {"PMSUBW", T5,"011100SSSSSTTTTTddddd00100001001",MMI2, PMULTW, (SUBTRACT)}, - - {"PMTHI", T5,"011100SSSSS000000000001000101001",MMI3, PMXX, (HI|TO)}, - {"PMTLO", T5,"011100SSSSS000000000001001101001",MMI3, PMXX, (LO|TO)}, - -{"PMTHL.LW",T5,"011100SSSSS000000000000000110001",MMINORM,PMTHL, (NONE)}, - - {"PMULTH", T5,"011100SSSSSTTTTTddddd11100001001",MMI2, PMULTH, (NONE)}, - {"PMULTUW",T5,"011100SSSSSTTTTTddddd01100101001",MMI3, PMULTW, (UNSIGNED)}, - {"PMULTW", T5,"011100SSSSSTTTTTddddd01100001001",MMI2, PMULTW, (NONE)}, - - {"PNOR", T5,"011100SSSSSTTTTTddddd10011101001",MMI3, POP, (POP_NOR)}, - {"POR", T5,"011100SSSSSTTTTTddddd10010101001",MMI3, POP, (POP_OR)}, - - {"PPAC5", T5,"01110000000TTTTTddddd11111001000",MMI0, PPAC5, (NONE)}, - - {"PPACB", T5,"011100SSSSSTTTTTddddd11011001000",MMI0, PPACB, (NONE)}, - {"PPACH", T5,"011100SSSSSTTTTTddddd10111001000",MMI0, PPACH, (NONE)}, - {"PPACW", T5,"011100SSSSSTTTTTddddd10011001000",MMI0, PPACW, (NONE)}, - - {"PREVH", T5,"01110000000TTTTTddddd11011001001",MMI2, PREVH, (NONE)}, - {"PROT3W", T5,"01110000000TTTTTddddd11111001001",MMI2, PROT3W, (NONE)}, - - {"PSLLH", T5,"01110000000TTTTTdddddaaaaa110100",MMINORM,PSHIFT, (LEFT | LOGICAL | HALFWORD)}, - {"PSLLVW", T5,"011100SSSSSTTTTTddddd00010001001",MMI2, PSLLVW, (NONE)}, - {"PSLLW", T5,"01110000000TTTTTdddddaaaaa111100",MMINORM,PSHIFT, (LEFT | LOGICAL | WORD)}, - - {"PSRAH", T5,"01110000000TTTTTdddddaaaaa110111",MMINORM,PSHIFT, (RIGHT | ARITHMETIC | HALFWORD)}, - {"PSRAVW", T5,"011100SSSSSTTTTTddddd00011101001",MMI3, PSRAVW, (NONE)}, - {"PSRAW", T5,"01110000000TTTTTdddddaaaaa111111",MMINORM,PSHIFT, (RIGHT | ARITHMETIC | WORD)}, - - {"PSRLH", T5,"01110000000TTTTTdddddaaaaa110110",MMINORM,PSHIFT, (RIGHT | LOGICAL | HALFWORD)}, - {"PSRLVW", T5,"011100SSSSSTTTTTddddd00011001001",MMI2, PSRLVW, (NONE)}, - {"PSRLW", T5,"01110000000TTTTTdddddaaaaa111110",MMINORM,PSHIFT, (RIGHT | LOGICAL | WORD)}, - - {"PSUBB", T5,"011100SSSSSTTTTTddddd01001001000",MMI0, PADD, (SUBTRACT | BYTE)}, - {"PSUBH", T5,"011100SSSSSTTTTTddddd00101001000",MMI0, PADD, (SUBTRACT | HALFWORD)}, - {"PSUBSB", T5,"011100SSSSSTTTTTddddd11001001000",MMI0, PADD, (SUBTRACT | SATURATE | BYTE )}, - {"PSUBSH", T5,"011100SSSSSTTTTTddddd10101001000",MMI0, PADD, (SUBTRACT | SATURATE | HALFWORD)}, - {"PSUBSW", T5,"011100SSSSSTTTTTddddd10001001000",MMI0, PADD, (SUBTRACT | SATURATE | WORD)}, - {"PSUBUB", T5,"011100SSSSSTTTTTddddd11001101000",MMI1, PADD, (SUBTRACT | UNSIGNED | BYTE)}, - {"PSUBUH", T5,"011100SSSSSTTTTTddddd10101101000",MMI1, PADD, (SUBTRACT | UNSIGNED | HALFWORD)}, - {"PSUBUW", T5,"011100SSSSSTTTTTddddd10001101000",MMI1, PADD, (SUBTRACT | UNSIGNED | WORD)}, - {"PSUBW", T5,"011100SSSSSTTTTTddddd00001001000",MMI0, PADD, (SUBTRACT | WORD)}, - - {"PXOR", T5,"011100SSSSSTTTTTddddd10011001001",MMI2, POP, (POP_XOR)}, - /* end-sanitize-r5900 */ - - {"PREF", G8,"110011sssssnnnnnyyyyyyyyyyyyyyyy",NORMAL, PREFETCH, (NONE)}, - {"PREFX", 4,"010011sssssgggggvvvvv00000001111",COP1X, FPPREFX, (FP)}, - - /* start-sanitize-r5900 */ - {"QFSRV", T5,"011100SSSSSTTTTTddddd11011101000",MMI1, QFSRV, (NONE)}, - /* end-sanitize-r5900 */ - - {"RECIP", 4,"01000110mmm00000vvvvvrrrrr010101",COP1, FPRECIP, (FP)}, - {"ROUND.L", 3,"01000110mmm00000vvvvvrrrrr001000",COP1, FPROUND, (FP | FIXED | DOUBLEWORD)}, - {"ROUND.W", 2,"01000110mmm00000vvvvvrrrrr001100",COP1, FPROUND, (FP | FIXED | WORD)}, - {"RSQRT", 4,"01000110mmm00000vvvvvrrrrr010110",COP1, FPSQRT, (FP | RECIP)}, - {"SB", 1,"101000sssssgggggyyyyyyyyyyyyyyyy",NORMAL, STORE, (BYTE)}, - {"SC", 2,"111000sssssgggggwwwwwwwwwwwwwwww",NORMAL, STORE, (WORD | ATOMIC)}, - {"SCD", 3,"111100sssssgggggeeeeeeeeeeeeeeee",NORMAL, STORE, (DOUBLEWORD | ATOMIC)}, - {"SD", 3,"111111sssssgggggeeeeeeeeeeeeeeee",NORMAL, STORE, (DOUBLEWORD)}, - {"SDC1", 2,"111101sssssttttteeeeeeeeeeeeeeee",NORMAL, STORE, (DOUBLEWORD | COPROC)}, - {"SDBBP", G7,"000000????????????????????001110",SPECIAL,SDBBP, (NOARG)}, - {"SDC2", 2,"111110sssssttttteeeeeeeeeeeeeeee",NORMAL, STORE, (DOUBLEWORD | COPROC)}, - {"SDL", 3,"101100sssssgggggyyyyyyyyyyyyyyyy",NORMAL, STORE, (DOUBLEWORD | LEFT)}, - {"SDR", 3,"101101sssssgggggyyyyyyyyyyyyyyyy",NORMAL, STORE, (DOUBLEWORD | RIGHT)}, - {"SDXC1", G3,"010011sssssgggggvvvvv00000001001",COP1X, STORE, (FP | DOUBLEWORD | COPROC | REG)}, - {"SH", 1,"101001sssssggggghhhhhhhhhhhhhhhh",NORMAL, STORE, (HALFWORD)}, - {"SLL", 1,"00000000000gggggdddddaaaaa000000",SPECIAL,SHIFT, (WORD | LEFT | LOGICAL)}, /* rd = rt << sa */ - {"SLLV", 1,"000000ooooogggggddddd00000000100",SPECIAL,SHIFT, (WORD | LEFT | LOGICAL)}, /* rd = rt << rs - with "SLL" depends on "s" and "a" field values */ - {"SLT", 1,"000000sssssgggggddddd00000101010",SPECIAL,SET, (LT)}, - {"SLTI", 1,"001010ssssstttttiiiiiiiiiiiiiiii",NORMAL, SET, (LT)}, - {"SLTU", 1,"000000sssssgggggddddd00000101011",SPECIAL,SET, (LT | UNSIGNED)}, - {"SLTIU", 1,"001011ssssstttttiiiiiiiiiiiiiiii",NORMAL, SET, (LT | UNSIGNED)}, - /* start-sanitize-r5900 */ - {"SQ", T5,"011111sssssTTTTTeeeeeeeeeeeeeeee",NORMAL, STORE, (QUADWORD)}, - /* end-sanitize-r5900 */ - {"SQRT", 2,"01000110mmm00000vvvvvrrrrr000100",COP1, FPSQRT, (FP)}, - {"SRA", 1,"00000000000gggggdddddaaaaa000011",SPECIAL,SHIFT, (WORD | WORD32 | RIGHT | ARITHMETIC)}, - {"SRAV", 1,"000000ooooogggggddddd00000000111",SPECIAL,SHIFT, (WORD | WORD32 | RIGHT | ARITHMETIC)}, - {"SRL", 1,"00000000000gggggdddddaaaaa000010",SPECIAL,SHIFT, (WORD | WORD32 | RIGHT | LOGICAL)}, - {"SRLV", 1,"000000ooooogggggddddd00000000110",SPECIAL,SHIFT, (WORD | WORD32 | RIGHT | LOGICAL)}, - {"SUB", 1,"000000sssssgggggddddd00000100010",SPECIAL,SUB, (WORD | WORD32 | OVERFLOW)}, - {"SUB", 1,"01000110mmmkkkkkvvvvvrrrrr000001",COP1, FPSUB, (FP)}, - {"SUBU", 1,"000000sssssgggggddddd00000100011",SPECIAL,SUB, (WORD | WORD32)}, - {"SW", 1,"101011sssssgggggwwwwwwwwwwwwwwww",NORMAL, STORE, (WORD)}, - {"SWC1", 1,"111001ssssstttttwwwwwwwwwwwwwwww",NORMAL, STORE, (WORD | COPROC)}, - {"SWC2", 1,"111010ssssstttttwwwwwwwwwwwwwwww",NORMAL, STORE, (WORD | COPROC)}, - {"SWL", 1,"101010sssssgggggyyyyyyyyyyyyyyyy",NORMAL, STORE, (WORD | LEFT)}, - {"SWR", 1,"101110sssssgggggyyyyyyyyyyyyyyyy",NORMAL, STORE, (WORD | RIGHT)}, - {"SWXC1", G3,"010011sssssgggggvvvvv00000001000",COP1X, STORE, (FP | WORD | COPROC | REG)}, - {"SYNC", G4,"000000000000000000000aaaaa001111",SPECIAL,SYNC, (NONE)}, /* z = 5bit stype field */ - {"SYSCALL", 1,"000000????????????????????001100",SPECIAL,SYSCALL, (NOARG)}, - {"TEQ", 2,"000000sssssggggg??????????110100",SPECIAL,TRAP, (EQ)}, - {"TEQI", 2,"000001sssss01100iiiiiiiiiiiiiiii",REGIMM, TRAP, (EQ)}, - {"TGE", 2,"000000sssssggggg??????????110000",SPECIAL,TRAP, (GT | EQ)}, - {"TGEI", 2,"000001sssss01000iiiiiiiiiiiiiiii",REGIMM, TRAP, (GT | EQ)}, - {"TGEIU", 2,"000001sssss01001iiiiiiiiiiiiiiii",REGIMM, TRAP, (GT | EQ | UNSIGNED)}, - {"TGEU", 2,"000000sssssggggg??????????110001",SPECIAL,TRAP, (GT | EQ | UNSIGNED)}, - {"TLT", 2,"000000sssssggggg??????????110010",SPECIAL,TRAP, (LT)}, - {"TLTI", 2,"000001sssss01010iiiiiiiiiiiiiiii",REGIMM, TRAP, (LT)}, - {"TLTIU", 2,"000001sssss01011iiiiiiiiiiiiiiii",REGIMM, TRAP, (LT | UNSIGNED)}, - {"TLTU", 2,"000000sssssggggg??????????110011",SPECIAL,TRAP, (LT | UNSIGNED)}, - {"TNE", 2,"000000sssssggggg??????????110110",SPECIAL,TRAP, (NOT | EQ)}, - {"TNEI", 2,"000001sssss01110iiiiiiiiiiiiiiii",REGIMM, TRAP, (NOT | EQ)}, - {"TRUNC.L", 3,"01000110mmm00000vvvvvrrrrr001001",COP1, FPTRUNC, (FP | FIXED | DOUBLEWORD)}, - {"TRUNC.W", 2,"01000110mmm00000vvvvvrrrrr001101",COP1, FPTRUNC, (FP | FIXED | WORD)}, - {"XOR", 1,"000000sssssgggggddddd00000100110",SPECIAL,XOR, (NONE)}, - {"XORI", 1,"001110ssssstttttzzzzzzzzzzzzzzzz",NORMAL, XOR, (NONE)}, - {"CACHE", G6,"101111sssssnnnnnyyyyyyyyyyyyyyyy",NORMAL, CACHE, (NONE)}, - {"", 1,"111011sssssgggggyyyyyyyyyyyyyyyy",NORMAL, RSVD, (NONE)}, -}; - -static const struct instruction MIPS16_DECODE[] = { -{"ADDIU", 1, "01000xxxddd04444", RRI_A, ADD, WORD | WORD32 }, -{"ADDIU8", 1, "01001wwwkkkkkkkk", RI, ADD, WORD | WORD32 }, -{"ADJSP", 1, "01100011KKKKKKKKS", I8, ADD, WORD | WORD32 }, -{"ADDIUPC", 1, "00001dddAAAAAAAAP", RI, ADD, WORD | WORD32 }, -{"ADDIUSP", 1, "00000dddAAAAAAAAs", RI, ADD, WORD | WORD32 }, -{"ADDU", 1, "11100xxxyyyddd01", RRR, ADD, WORD | WORD32 }, -{"AND", 1, "11101wwwyyy01100", RR, AND, NONE }, -{"B", 1, "00010qqqqqqqqqqqzZ", I, BRANCH, EQ }, -{"BEQZ", 1, "00100xxxppppppppz", RI, BRANCH, EQ }, -{"BNEZ", 1, "00101xxxppppppppz", RI, BRANCH, NOT | EQ }, -{"BREAK", 1, "01100??????00101", RR, BREAK, NOARG }, -{"BTEQZ", 1, "01100000pppppppptz", I8, BRANCH, EQ }, -{"BTNEZ", 1, "01100001pppppppptz", I8, BRANCH, NOT | EQ }, -{"CMP", 1, "11101xxxyyy01010T", RR, XOR, NONE }, -{"CMPI", 1, "01110xxxUUUUUUUUT", RI, XOR, NONE }, -{"DADDIU", 3, "01000xxxddd14444", RRI_A, ADD, DOUBLEWORD }, -{"DADDIU5", 3, "11111101wwwjjjjj", RI64, ADD, DOUBLEWORD }, -{"DADJSP", 3, "11111011KKKKKKKKS", I64, ADD, DOUBLEWORD }, -{"DADIUPC", 3, "11111110dddEEEEEP", RI64, ADD, DOUBLEWORD }, -{"DADIUSP", 3, "11111111dddEEEEEs", RI64, ADD, DOUBLEWORD }, -{"DADDU", 3, "11100xxxyyyddd00", RRR, ADD, DOUBLEWORD }, -{"DDIV", 3, "11101xxxyyy11110", RR, DIV, DOUBLEWORD | HI | LO }, -{"DDIVU", 3, "11101xxxyyy11111", RR, DIV, DOUBLEWORD | UNSIGNED | HI | LO }, -{"DIV", 1, "11101xxxyyy11010", RR, DIV, WORD | WORD32 | SIGNEXTEND | HI | LO }, -{"DIVU", 1, "11101xxxyyy11011", RR, DIV, WORD | WORD32 | UNSIGNED | SIGNEXTEND | HI | LO }, -{"DMULT", 3, "11101xxxyyy11100", RR, MUL, DOUBLEWORD | HI | LO }, -{"DMULTU", 3, "11101xxxyyy11101", RR, MUL, DOUBLEWORD | UNSIGNED | HI | LO }, -{"DSLL", 3, "00110dddyyy[[[01", ISHIFT, SHIFT, DOUBLEWORD | LEFT | LOGICAL }, -{"DSLLV", 3, "11101xxxvvv10100", RR, SHIFT, DOUBLEWORD | LEFT | LOGICAL | REG }, -{"DSRA", 3, "11101]]]vvv10011", RR, SHIFT, DOUBLEWORD | RIGHT | ARITHMETIC }, -{"DSRAV", 3, "11101xxxvvv10111", RR, SHIFT, DOUBLEWORD | RIGHT | ARITHMETIC | REG}, -{"DSRL", 3, "11101]]]vvv01000", RR, SHIFT, DOUBLEWORD | RIGHT | LOGICAL }, -{"DSRLV", 3, "11101xxxvvv10110", RR, SHIFT, DOUBLEWORD | RIGHT | LOGICAL | REG}, -{"DSUBU", 3, "11100xxxyyyddd10", RRR, SUB, DOUBLEWORD | UNSIGNED}, -#if 0 - /* FIXME: Should we handle these ourselves, or should we require an - emulation routine? */ -{"EXIT", 1, "1110111100001000", RR, BREAK, EXIT }, -{"ENTRY", 1, "11101??????01000", RR, BREAK, ENTRY }, -#endif -{"EXTEND", 1, "11110eeeeeeeeeee", I, RSVD, NOARG }, -{"JALR", 1, "11101xxx01000000R", RR, JUMP, LINK | REG }, -{"JAL", 1, "00011aaaaaaaaaaa", I, JUMP, LINK }, -{"JR", 1, "11101xxx00000000", RR, JUMP, NONE }, -{"JRRA", 1, "1110100000100000r", RR, JUMP, NONE }, -{"LB", 1, "10000xxxddd55555", RRI, LOAD, BYTE | SIGNEXTEND }, -{"LBU", 1, "10100xxxddd55555", RRI, LOAD, BYTE }, -{"LD", 3, "00111xxxdddDDDDD", RRI, LOAD, DOUBLEWORD }, -{"LDPC", 3, "11111100dddDDDDDP", RI64, LOAD, DOUBLEWORD }, -{"LDSP", 3, "11111000dddDDDDDs", RI64, LOAD, DOUBLEWORD }, -{"LH", 1, "10001xxxdddHHHHH", RRI, LOAD, HALFWORD | SIGNEXTEND }, -{"LHU", 1, "10101xxxdddHHHHH", RRI, LOAD, HALFWORD }, -{"LI", 1, "01101dddUUUUUUUUZ", RI, OR, NONE }, -{"LW", 1, "10011xxxdddWWWWW", RRI, LOAD, WORD | SIGNEXTEND }, -{"LWPC", 1, "10110dddVVVVVVVVP", RI, LOAD, WORD | SIGNEXTEND }, -{"LWSP", 1, "10010dddVVVVVVVVs", RI, LOAD, WORD | SIGNEXTEND }, -{"LWU", 1, "10111xxxdddWWWWW", RRI, LOAD, WORD }, -{"MFHI", 1, "11101ddd00010000", RR, MOVE, HI | LEFT }, -{"MFLO", 1, "11101ddd00010010", RR, MOVE, LO | LEFT }, -{"MOVR32", 1, "01100111dddXXXXXz", I8_MOVR32, OR, NONE }, -{"MOV32R", 1, "01100101YYYYYxxxz", I8_MOV32R, OR, NONE }, -{"MULT", 1, "11101xxxyyy11000", RR, MUL, WORD | WORD32 | HI | LO}, -{"MULTU", 1, "11101xxxyyy11001", RR, MUL, WORD | WORD32 | UNSIGNED | HI | LO }, -{"NEG", 1, "11101dddyyy01011Z", RR, SUB, WORD }, -{"NOT", 1, "11101dddyyy01111Z", RR, OR, NOT }, -{"OR", 1, "11101wwwyyy01101", RR, OR, NONE }, -{"SB", 1, "11000xxxyyy55555", RRI, STORE, BYTE }, -{"SDBBP", G7, "11100??????00001", RR, SDBBP, NOARG }, -{"SD", 3, "01111xxxyyyDDDDD", RRI, STORE, DOUBLEWORD }, -{"SDSP", 3, "11111001yyyDDDDDs", RI64, STORE, DOUBLEWORD }, -{"SDRASP", 3, "11111010CCCCCCCCsQ", I64, STORE, DOUBLEWORD }, -{"SH", 1, "11001xxxyyyHHHHH", RRI, STORE, HALFWORD }, -{"SLL", 1, "00110dddyyy<<<00", ISHIFT, SHIFT, WORD | LEFT | LOGICAL }, -{"SLLV", 1, "11101xxxvvv00100", RR, SHIFT, WORD | LEFT | LOGICAL | REG}, -{"SLT", 1, "11101xxxyyy00010T", RR, SET, LT }, -{"SLTI", 1, "01010xxx88888888T", RI, SET, LT }, -{"SLTU", 1, "11101xxxyyy00011T", RR, SET, LT | UNSIGNED }, -{"SLTIU", 1, "01011xxx88888888T", RI, SET, LT | UNSIGNED }, -{"SRA", 1, "00110dddyyy<<<11", ISHIFT, SHIFT, WORD | WORD32 | RIGHT | ARITHMETIC }, -{"SRAV", 1, "11101xxxvvv00111", RR, SHIFT, WORD | WORD32 | RIGHT | ARITHMETIC | REG }, -{"SRL", 1, "00110dddyyy<<<10", ISHIFT, SHIFT, WORD | WORD32 | RIGHT | LOGICAL }, -{"SRLV", 1, "11101xxxvvv00110", RR, SHIFT, WORD | WORD32 | RIGHT | LOGICAL | REG }, -{"SUBU", 1, "11100xxxyyyddd11", RRR, SUB, WORD | WORD32 }, -{"SW", 1, "11011xxxyyyWWWWW", RRI, STORE, WORD }, -{"SWSP", 1, "11010yyyVVVVVVVVs", RI, STORE, WORD }, -{"SWRASP", 1, "01100010VVVVVVVVQs", I8, STORE, WORD }, -{"XOR", 1, "11101wwwyyy01110", RR, XOR, NONE } -}; - -/*---------------------------------------------------------------------------*/ - -static void print_igen_insn_format PARAMS ((const char *bitmap, - inst_type mark, - int data_size, - const char *options, - const char *name)); - -static void -print_igen_insn_format (bitmap, mark, data_size, options, name) - const char *bitmap; - inst_type mark; - int data_size; - const char *options; - const char *name; -{ - const char *chp; - char lch = *bitmap; - for (chp = bitmap; *chp != '\0'; chp++) - { - if ((isdigit (lch) && !isdigit (*chp)) - || (!isdigit (lch) && isdigit (*chp)) - || (!isdigit (lch) && !isdigit (*chp) && lch != *chp)) - { - lch = *chp; - printf (","); - } - switch (*chp) - { - case '?': - printf ("*"); - break; - case '<': - printf ("s"); /* good guess */ - break; - default: - printf ("%c", *chp); - break; - } - } - printf (":"); - switch (mark) - { - case NORMAL: - printf ("NORMAL"); - break; - case SPECIAL: - printf ("SPECIAL"); - break; - case REGIMM: - printf ("REGIMM"); - break; - case COP1: - printf ("COP1"); - break; - case COP1X: - printf ("COP1X"); - break; - case COP1S: /* These instructions live in the reserved FP format values: 0..15,18-19,22-31 */ - printf ("COP1S"); - break; - - case MMINORM: - printf ("MMINORM"); - break; - case MMI0: - printf ("MMI0"); - break; - case MMI1: - printf ("MMI1"); - break; - case MMI2: - printf ("MMI2"); - break; - case MMI3: - printf ("MMI3"); - break; - - /* mips16 encoding types. */ - case I: - printf ("I"); - break; - case RI: - printf ("RI"); - break; - case RR: - printf ("RR"); - break; - case RRI: - printf ("RRI"); - break; - case RRR: - printf ("RRR"); - break; - case RRI_A: - printf ("RRI_A"); - break; - case ISHIFT: - printf ("ISHIFT"); - break; - case I8: - printf ("I8"); - break; - case I8_MOVR32: - printf ("I8_MOVR32"); - break; - case I8_MOV32R: - printf ("I8_MOV32R"); - break; - case I64: - printf ("I64"); - break; - case RI64: - printf ("RI64"); - break; - } - printf (":"); - switch (data_size) - { - case DOUBLEWORD: - printf ("64"); - break; - /* start-sanitize-r5900 */ - case QUADWORD: - printf ("128"); - break; - /* end-sanitize-r5900 */ - case -1: - printf ("16"); - break; - default: - printf ("32"); - } - printf (":%s:%s\n", options, name); -} - -static void print_igen_insn_models PARAMS ((unsigned int isa)); - -static void -print_igen_insn_models (isa) - unsigned int isa; -{ - /* common mips ISAs */ - switch ((isa & MASK_ISA)) - { - case 1: - printf ("*mipsI:\n"); - case 2: - printf ("*mipsII:\n"); - case 3: - printf ("*mipsIII:\n"); - /* start-sanitize-cygnus-never */ - printf ("// %s-%s-%s\n", "start", "sanitize", "r5900"); - /* end-sanitize-cygnus-never */ - /* start-sanitize-r5900 */ - printf ("*r5900:\n"); - /* end-sanitize-r5900 */ - /* start-sanitize-cygnus-never */ - printf ("// %s-%s-%s\n", "end", "sanitize", "r5900"); - /* end-sanitize-cygnus-never */ - printf ("*r3900:\n"); - /* start-sanitize-cygnus-never */ - printf ("// %s-%s-%s\n", "start", "sanitize", "tx19"); - /* end-sanitize-cygnus-never */ - /* start-sanitize-tx19 */ - printf ("*tx19:\n"); - /* end-sanitize-tx19 */ - /* start-sanitize-cygnus-never */ - printf ("// %s-%s-%s\n", "end", "sanitize", "tx19"); - /* end-sanitize-cygnus-never */ - break; - default: - /* processor specific ISAs */ - if ((isa & ARCH_VR4100)) - printf ("*vr4100:\n"); - /* start-sanitize-r5900 */ - if ((isa & ARCH_R5900)) - printf ("*r5900:\n"); - /* end-sanitize-r5900 */ - if ((isa & ARCH_R3900)) - printf ("*r3900:\n"); - } -} - -/*---------------------------------------------------------------------------*/ - -static int bitmap_val PARAMS ((const char *, int, int)); -static void build_mips16_operands PARAMS ((const char *)); -static void build_instruction - PARAMS ((int, unsigned int, int, const struct instruction *)); - -/*---------------------------------------------------------------------------*/ - -static char* -name_for_data_len( insn ) - struct instruction* insn; - { - if (GETDATASIZEINSN(insn) == BYTE) - return "BYTE"; - - else if (GETDATASIZEINSN(insn) == HALFWORD) - return "HALFWORD"; - - else if (GETDATASIZEINSN(insn) == WORD) - return "WORD"; - - else if (GETDATASIZEINSN(insn) == DOUBLEWORD) - return "DOUBLEWORD"; - - /* start-sanitize-r5900 */ - else if (GETDATASIZEINSN(insn) == QUADWORD) - return "QUADWORD"; - - /* end-sanitize-r5900 */ - else - return 0; - } - -static char* -letter_for_data_len( insn ) - struct instruction* insn; - { - if (GETDATASIZEINSN(insn) == BYTE) - return "B"; - - else if (GETDATASIZEINSN(insn) == HALFWORD) - return "H"; - - else if (GETDATASIZEINSN(insn) == WORD) - return "W"; - - else if (GETDATASIZEINSN(insn) == DOUBLEWORD) - return "D"; - - /* start-sanitize-r5900 */ - else if (GETDATASIZEINSN(insn) == QUADWORD) - return "Q"; - - /* end-sanitize-r5900 */ - else - return 0; - } - -static char* -type_for_data_len( insn , is_signed ) - struct instruction* insn; - int is_signed; - { - if (GETDATASIZEINSN(insn) == BYTE) - return is_signed ? "int" : "unsigned int"; - - else if (GETDATASIZEINSN(insn) == HALFWORD) - return is_signed ? "int" : "unsigned int"; - - else if (GETDATASIZEINSN(insn) == WORD) - return is_signed ? "signed64" : "unsigned64"; - - else if (GETDATASIZEINSN(insn) == DOUBLEWORD) - return 0; - - /* start-sanitize-r5900 */ - else if (GETDATASIZEINSN(insn) == QUADWORD) - return 0; - - /* end-sanitize-r5900 */ - else - return 0; - } - -static char* -max_for_data_len( insn ) - struct instruction* insn; - { - if (GETDATASIZEINSN(insn) == BYTE) - return "127"; - - else if (GETDATASIZEINSN(insn) == HALFWORD) - return "32767"; - - else if (GETDATASIZEINSN(insn) == WORD) - return "(int)0x7FFFFFFF"; - - else if (GETDATASIZEINSN(insn) == DOUBLEWORD) - return 0; - - /* start-sanitize-r5900 */ - else if (GETDATASIZEINSN(insn) == QUADWORD) - return 0; - - /* end-sanitize-r5900 */ - else - return 0; - } - -static char* -min_for_data_len( insn ) - struct instruction* insn; - { - if (GETDATASIZEINSN(insn) == BYTE) - return "-128"; - - else if (GETDATASIZEINSN(insn) == HALFWORD) - return "-32768"; - - else if (GETDATASIZEINSN(insn) == WORD) - return "(int)0x80000000"; - - else if (GETDATASIZEINSN(insn) == DOUBLEWORD) - return 0; - - /* start-sanitize-r5900 */ - else if (GETDATASIZEINSN(insn) == QUADWORD) - return 0; - - /* end-sanitize-r5900 */ - else - return 0; - } - -static char* -umax_for_data_len( insn ) - struct instruction* insn; - { - if (GETDATASIZEINSN(insn) == BYTE) - return "0xFF"; - - else if (GETDATASIZEINSN(insn) == HALFWORD) - return "0xFFFF"; - - else if (GETDATASIZEINSN(insn) == WORD) - return "0xFFFFFFFF"; - - else if (GETDATASIZEINSN(insn) == DOUBLEWORD) - return 0; - - /* start-sanitize-r5900 */ - else if (GETDATASIZEINSN(insn) == QUADWORD) - return 0; - - /* end-sanitize-r5900 */ - else - return 0; - } - -static char* -bits_for_data_len( insn ) - struct instruction* insn; - { - if (GETDATASIZEINSN(insn) == BYTE) - return "8"; - - else if (GETDATASIZEINSN(insn) == HALFWORD) - return "16"; - - else if (GETDATASIZEINSN(insn) == WORD) - return "32"; - - else if (GETDATASIZEINSN(insn) == DOUBLEWORD) - return "64"; - - /* start-sanitize-r5900 */ - else if (GETDATASIZEINSN(insn) == QUADWORD) - return "128"; - - /* end-sanitize-r5900 */ - else - return 0; - } - -/*---------------------------------------------------------------------------*/ - - -void -convert_bitmap(bitmap,onemask,zeromask,dontmask) - char *bitmap; - unsigned int *onemask, *zeromask, *dontmask; -{ - int loop; /* current bitmap position */ - int lastsp = -1; /* last bitmap field starting position */ - int lastoe = -1; /* last bitmap field encoding */ - - *onemask = 0x00000000; - *zeromask = 0x00000000; - *dontmask = 0x00000000; - - if (strlen(bitmap) != 32) { - fprintf(stderr,"Invalid bitmap string - not 32 characters long \"%s\"\n",bitmap); - exit(3); - } - - for (loop = 0; (loop < 32); loop++) { - int oefield ; - for (oefield = 0; (oefield < (sizeof(opfields) / sizeof(struct operand_encoding))); oefield++) - if (bitmap[31 - loop] == opfields[oefield].id) - break; - if (oefield < (sizeof(opfields) / sizeof(struct operand_encoding))) { - if ((lastoe != -1) && (lastoe != oefield)) - if ((loop - lastsp) != (opfields[lastoe].flen)) { - fprintf(stderr,"Invalid field length %d for bitmap field '%c' (0x%02X) (should be %d) : bitmap = \"%s\"\n",(loop - lastsp),(((bitmap[31 - loop] < 0x20) || (bitmap[31 - loop] >= 0x7F)) ? '.' : bitmap[31 - loop]),bitmap[31 - loop],opfields[lastoe].flen,bitmap); - exit(4); - } - - switch (bitmap[31 - loop]) { - case '0' : /* fixed value */ - *zeromask |= (1 << loop); - lastsp = loop; - lastoe = -1; - break; - - case '1' : /* fixed value */ - *onemask |= (1 << loop); - lastsp = loop; - lastoe = -1; - break; - - case '?' : /* fixed value */ - *dontmask |= (1 << loop); - lastsp = loop; - lastoe = -1; - break; - - default : /* check character encoding */ - { - if (opfields[oefield].fpos != -1) { - /* If flag not set, then check starting position: */ - if (lastoe != oefield) { - if (loop != opfields[oefield].fpos) { - fprintf(stderr,"Bitmap field '%c' (0x%02X) at wrong offset %d in bitmap \"%s\"\n",(((bitmap[31 - loop] < 0x20) || (bitmap[31 - loop] >= 0x7F)) ? '.' : bitmap[31 - loop]),bitmap[31 - loop],loop,bitmap); - exit(4); - } - lastsp = loop; - lastoe = oefield; - } - } - *dontmask |= (1 << loop); - } - break; - } - } else { - fprintf(stderr,"Unrecognised bitmap character '%c' (0x%02X) at offset %d in bitmap \"%s\"\n",(((bitmap[31 - loop] < 0x20) || (bitmap[31 - loop] >= 0x7F)) ? '.' : bitmap[31 - loop]),bitmap[31 - loop],loop,bitmap); - exit(4); - } - } - - /* NOTE: Since we check for the position and size of fields when - parsing the "bitmap" above, we do *NOT* need to check that invalid - field combinations have been used. */ -} - -/* Get the value of a 16 bit bitstring for a given shift count and - number of bits. */ - -static int -bitmap_val (bitmap, shift, bits) - const char *bitmap; - int shift; - int bits; -{ - const char *s; - int ret; - - ret = 0; - s = bitmap + 16 - shift - bits; - for (; bits > 0; --bits) - { - ret <<= 1; - if (*s == '0') - ; - else if (*s == '1') - ret |= 1; - else - abort (); - ++s; - } - - return ret; -} - -/*---------------------------------------------------------------------------*/ - -static void -build_operands(doisa,features,insn) - int doisa; - unsigned int features; - instruction* insn; -{ - int proc64 = ((features & FEATURE_PROC32) ? 0 : -1); - int finish_jump_flag = 0; - int check_mult = 0; - int check_condition_code = 0; - int sfield_used = 0; - int gfield_used = 0; - int any_operand = 0; - - int current_field_id = -1; - int bitpos; - - for (bitpos=0; bitpos<32; bitpos++) { - if (insn->bitmap[31-bitpos] != current_field_id) - { - int opindex; - - current_field_id = insn->bitmap[31-bitpos]; - - for (opindex = 0; (opindex < (sizeof(opfields) / sizeof(operand_encoding))); opindex++) - if ((opfields[opindex].fpos != -1) && (opfields[opindex].id == insn->bitmap[31-bitpos])) { - - any_operand = 1; - - printf(" %s %s UNUSED = ",opfields[opindex].type,opfields[opindex].name); - - if (opfields[opindex].flags & OP_SIGNX) - printf("SIGNEXTEND((%s)",opfields[opindex].type); - - if (opfields[opindex].flags & OP_GPR) - printf("GPR["); - - if (opfields[opindex].flags & OP_SHIFT2) - printf("("); - - printf("((instruction >> %d) & 0x%08X)",opfields[opindex].fpos,((1 << opfields[opindex].flen) - 1)); - - if (opfields[opindex].flags & OP_SHIFT2) - printf(" << 2)"); - - if (opfields[opindex].flags & OP_GPR) - printf("]"); - - if (opfields[opindex].flags & OP_BITS5) - printf("&0x1F"); - - if (opfields[opindex].flags & OP_SIGNX) - printf(",%d)",(opfields[opindex].flen + ((opfields[opindex].flags & OP_SHIFT2) ? 2 : 0))); - - printf(";\n"); - - if (opfields[opindex].flags & OP_GPR1) - { - printf(" %s %s1 = GPR1[",opfields[opindex].type,opfields[opindex].name); - printf("((instruction >> %d) & 0x%08X)", - opfields[opindex].fpos, - ((1 << opfields[opindex].flen) - 1)); - printf("];\n"); - } - - if (opfields[opindex].id == 'j') - finish_jump_flag = 1; - - if (opfields[opindex].id == 'e') - check_mult = 8; - - if (opfields[opindex].id == 'w') - check_mult = 4; - - if (opfields[opindex].id == 'w') - check_mult = 2; - - if (opfields[opindex].id == 'p') - check_condition_code = 1; - - if (opfields[opindex].id == 's') - sfield_used = 1; - - if (opfields[opindex].id == 'g') - gfield_used = 1; - } - } - } - - if ( !any_operand && !(insn->flags & NOARG)) { - fprintf(stderr,"Bitmap error: Instruction with no operand fields \"%s\"\n",insn->name) ; - exit(5) ; - } - - /* Finish constructing the jump address if required: */ - if (finish_jump_flag) - printf(" op1 |= (PC & ~0x0FFFFFFF); /* address of instruction in delay slot for the jump */\n"); - - /* Now perform required operand checks: */ - - /* The following code has been removed, since it seems perfectly - reasonable to have a non-aligned offset that is added to another - non-aligned base to create an aligned address. Some more - information on exactly what the MIPS IV specification requires is - needed before deciding on the best strategy. Experimentation with a - VR4300 suggests that we do not need to raise the warning. */ -#if 0 - /* For MIPS IV (and onwards), certain instruction operand values - will give undefined results. For the simulator we could - generate explicit exceptions (i.e. ReservedInstruction) to - make it easier to spot invalid use. However, for the moment we - just raise a warning. NOTE: This is a different check to the - later decoding, which checks for the final address being - valid. */ - - if (check_mult != 0 && check_mult != 1) { - printf(" if (instruction & 0x%1X)\n", check_mult); - printf(" {\n"); - /* NOTE: If we change this to a SignalException(), we must - ensure that the following opcode processing is not - executed. i.e. the code falls straight out to the simulator - control loop. */ - printf(" sim_io_eprintf(sd,\"Instruction has lo-order offset bits set in instruction\\n\");\n"); - printf(" }\n"); - } -#endif - - /* The extended condition codes only appeared in ISA IV */ - if (check_condition_code && (doisa < 4)) { - printf(" if (condition_code != 0)\n"); - printf(" {\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" }\n"); - printf(" else\n"); - } - - if ((insn->flags & WORD32) && (GETDATASIZEINSN(insn) != WORD)) { - fprintf(stderr,"Error in opcode table: WORD32 set for non-WORD opcode\n"); - exit(1); - } - -#if 1 - /* The R4000 book differs slightly from the MIPS IV ISA - manual. An example is the sign-extension of a 64-bit processor - SUBU operation, and what is meant by an Undefined Result. This - is now provided purely as a warning. After examining a HW - implementation, this is now purely a warning... and the actual - operation is performed, with possibly undefined results. */ - if (((insn->flags & WORD32) && proc64) && (features & FEATURE_WARN_RESULT)) { - /* The compiler should optimise out an OR with zero */ - printf(" if (%s | %s)\n",(sfield_used ? "NOTWORDVALUE(op1)" : "0"),(gfield_used ? "NOTWORDVALUE(op2)" : "0")); - printf(" UndefinedResult();\n") ; - } -#else - /* Check that the source is a 32bit value */ - if ((insn->flags & WORD32) && proc64) { - /* The compiler should optimise out an OR with zero */ - printf(" if (%s | %s)\n",(sfield_used ? "NOTWORDVALUE(op1)" : "0"),(gfield_used ? "NOTWORDVALUE(op2)" : "0")); - printf(" UndefinedResult();\n") ; - printf(" else\n") ; - } -#endif - - return; -} - -/* The mips16 operand table. */ - -struct mips16_op -{ - /* The character which appears in the bitmap string. */ - int type; - /* The type of the variable in the simulator. */ - const char *vartype; - /* The name of the variable in the simulator. */ - const char *name; - /* The number of bits. */ - int nbits; - /* The number of bits when extended (zero if can not be extended). */ - int extbits; - /* The amount by which the short form is shifted when it is used; - for example, the sw instruction has a shift count of 2. */ - int shift; - /* Flags. */ - int flags; -}; - -/* Flags which appears in the mips16 operand table. */ - -/* Whether this is a mips16 register index. */ -#define MIPS16_REG16 (0x1) -/* Whether this is a register value. */ -#define MIPS16_REGVAL (0x2) -/* Whether this is a swapped mips32 register index (MOV32R) */ -#define MIPS16_REG32_SWAPPED (0x4) -/* Whether this index is also the destination register. */ -#define MIPS16_DESTREG (0x8) -/* Whether the short form is unsigned. */ -#define MIPS16_UNSP (0x10) -/* Whether the extended form is unsigned. */ -#define MIPS16_EXTU (0x20) -/* Implicit stack pointer. */ -#define MIPS16_SP (0x40) -/* Implicit program counter. */ -#define MIPS16_PC (0x80) -/* Implicit $0. */ -#define MIPS16_ZERO (0x100) -/* Implicit $24. */ -#define MIPS16_TREG (0x200) -/* Implicit $31. */ -#define MIPS16_RA (0x400) -/* Jump address. */ -#define MIPS16_JUMP_ADDR (0x800) -/* Branch offset. */ -#define MIPS16_BRANCH (0x1000) - -/* The mips16 operand table. */ - -static const struct mips16_op mips16_op_table[] = -{ - { 'd', "int", "destreg", 3, 0, 0, MIPS16_REG16 }, - { 'x', "t_reg", "op1", 3, 0, 0, MIPS16_REG16 | MIPS16_REGVAL }, - { 'w', "t_reg", "op1", 3, 0, 0, MIPS16_REG16|MIPS16_REGVAL|MIPS16_DESTREG}, - { 'y', "t_reg", "op2", 3, 0, 0, MIPS16_REG16 | MIPS16_REGVAL }, - { 'v', "t_reg", "op2", 3, 0, 0, MIPS16_REG16|MIPS16_REGVAL|MIPS16_DESTREG }, - { 'X', "t_reg", "op1", 5, 0, 0, MIPS16_REGVAL }, - { 'Y', "int", "destreg", 5, 0, 0, MIPS16_REG32_SWAPPED }, - { 'a', "ut_reg", "op1", 11, 0, 0, MIPS16_JUMP_ADDR }, - { 'e', "int", "ext", 11, 0, 0, 0 }, - { '<', "int", "op1", 3, 5, 0, MIPS16_UNSP | MIPS16_EXTU }, - { '>', "int", "op1", 3, 5, 0, MIPS16_UNSP | MIPS16_EXTU }, - { '[', "int", "op1", 3, 6, 0, MIPS16_UNSP | MIPS16_EXTU }, - { ']', "int", "op1", 3, 6, 0, MIPS16_UNSP | MIPS16_EXTU }, - { '4', "int", "op2", 4, 15, 0, 0 }, - { '5', "int", "offset", 5, 16, 0, MIPS16_UNSP }, - { 'H', "int", "offset", 5, 16, 1, MIPS16_UNSP }, - { 'W', "int", "offset", 5, 16, 2, MIPS16_UNSP }, - { 'D', "int", "offset", 5, 16, 3, MIPS16_UNSP }, - { 'j', "int", "op2", 5, 16, 0, 0 }, - { '8', "int", "op2", 8, 16, 0, MIPS16_UNSP }, - { 'V', "int", "offset", 8, 16, 2, MIPS16_UNSP }, - { 'C', "int", "offset", 8, 16, 3, MIPS16_UNSP }, - { 'U', "int", "op2", 8, 16, 0, MIPS16_UNSP | MIPS16_EXTU }, - { 'k', "int", "op2", 8, 16, 0, 0 }, - { 'K', "int", "op2", 8, 16, 3, 0 }, - { 'p', "int", "offset", 8, 16, 0, MIPS16_BRANCH }, - { 'q', "int", "offset", 11, 16, 0, MIPS16_BRANCH }, - { 'A', "int", "op2", 8, 16, 2, MIPS16_UNSP }, - { 'B', "int", "op2", 5, 16, 3, MIPS16_UNSP }, - { 'E', "int", "op2", 5, 16, 2, MIPS16_UNSP }, - - /* The remaining operands are special operands which encode implied - arguments. These only appear at the end of a bitmap string, and - do not represent actual bits. */ - { 's', "t_reg", "op1", 0, 0, 0, MIPS16_SP | MIPS16_REGVAL }, - { 'S', "t_reg", "op1", 0, 0, 0, MIPS16_SP|MIPS16_REGVAL|MIPS16_DESTREG }, - { 'P', "t_reg", "op1", 0, 0, 0, MIPS16_PC }, - { 'z', "t_reg", "op2", 0, 0, 0, MIPS16_ZERO }, - { 'Z', "t_reg", "op1", 0, 0, 0, MIPS16_ZERO }, - { 't', "t_reg", "op1", 0, 0, 0, MIPS16_TREG | MIPS16_REGVAL }, - { 'T', "int", "destreg", 0, 0, 0, MIPS16_TREG }, - { 'r', "t_reg", "op1", 0, 0, 0, MIPS16_RA | MIPS16_REGVAL }, - { 'R', "int", "destreg", 0, 0, 0, MIPS16_RA }, - { 'Q', "t_reg", "op2", 0, 0, 0, MIPS16_RA | MIPS16_REGVAL }, - - { '\0', NULL, NULL, 0, 0, 0, 0 } -}; - -/* Build mips16 operands. */ - -static void -build_mips16_operands (bitmap) - const char *bitmap; -{ - const char *s; - int start = -1; - const struct mips16_op *op = NULL; - const struct mips16_op *ops[3]; - int opindex = 0; - int i; - - for (s = bitmap; *s != '\0'; s++) - { - if (op != NULL) - { - if (op->type == *s) - continue; - - /* Make sure we saw the right number of bits for that - operand. */ - if (op->nbits != 0 && (s - bitmap) - op->nbits != start) - abort (); - op = NULL; - } - - if (*s == '0' || *s == '1' || *s == '?') - continue; - - start = s - bitmap; - - for (op = mips16_op_table; op->type != *s; ++op) - if (op->type == '\0') - abort (); - - printf (" %s %s = ", op->vartype, op->name); - if (op->nbits != 0) - printf ("(instruction >> %d) & 0x%x", - 16 - (s - bitmap) - op->nbits, - (1 << op->nbits) - 1); - else - { - if ((op->flags & MIPS16_SP) != 0) - printf ("29"); - else if ((op->flags & MIPS16_PC) != 0) - { - int j; - - printf ("((INDELAYSLOT () ? (INJALDELAYSLOT () ? cia - 4 : cia - 2) : (have_extendval ? cia - 2 : cia)) & ~ (uword64) 1)"); - for (j = 0; j < opindex; j++) - if (ops[j]->shift != 0) - printf (" & ~ (uword64) 0x%x", (1 << ops[j]->shift) - 1); - } - else if ((op->flags & MIPS16_ZERO) != 0) - printf ("0"); - else if ((op->flags & MIPS16_TREG) != 0) - printf ("24"); - else if ((op->flags & MIPS16_RA) != 0) - printf ("31"); - else - abort (); - } - printf (";\n"); - - if ((op->flags & MIPS16_DESTREG) != 0) - printf (" int destreg;\n"); - - if (opindex > 2) - abort (); - ops[opindex] = op; - ++opindex; - } - - if (op != NULL) - { - /* Make sure we saw the right number of bits for that - operand. */ - if (op->nbits != 0 && 16 - op->nbits != start) - abort (); - } - - for (i = 0; i < opindex; i++) - { - op = ops[i]; - if ((op->flags & MIPS16_REG16) != 0) - { - printf (" if (%s < 2)\n", op->name); - printf (" %s += 16;\n", op->name); - } - if ((op->flags & MIPS16_REG32_SWAPPED) != 0) - printf (" %s = (%s >> 2) | ((%s & 3) << 3);\n", - op->name, op->name, op->name); - if ((op->flags & MIPS16_DESTREG) != 0) - printf (" destreg = %s;\n", op->name); - if ((op->flags & MIPS16_REGVAL) != 0) - printf (" %s = GPR[%s];\n", op->name, op->name); - - if (op->extbits != 0) - { - printf (" if (have_extendval)\n"); - printf (" {\n"); - if (op->extbits == 16) - printf (" %s |= ((extendval & 0x1f) << 11) | (extendval & 0x7e0);\n", - op->name); - else if (op->extbits == 15) - printf (" %s |= ((extendval & 0xf) << 11) | (extendval & 0x7f0);\n", - op->name); - else if (op->extbits == 6) - printf (" %s = ((extendval >> 6) & 0x1f) | (extendval & 0x20);\n", - op->name); - else - printf (" %s = (extendval >> 6) & 0x1f;\n", - op->name); - if ((op->flags & MIPS16_EXTU) == 0) - { - printf (" if (%s >= 0x%x)\n", - op->name, 1 << (op->extbits - 1)); - printf (" %s -= 0x%x;\n", - op->name, 1 << op->extbits); - } - printf (" have_extendval = 0;\n"); - printf (" }\n"); - printf (" else\n"); - printf (" {\n"); - if ((op->flags & MIPS16_UNSP) == 0) - { - printf (" if (%s >= 0x%x)\n", - op->name, 1 << (op->nbits - 1)); - printf (" %s -= 0x%x;\n", - op->name, 1 << op->nbits); - } - if (op->shift != 0) - printf (" %s <<= %d;\n", op->name, op->shift); - if (op->type == '<' || op->type == '>' - || op->type == '[' || op->type == ']') - { - printf (" if (%s == 0)\n", op->name); - printf (" %s = 8;\n", op->name); - } - printf (" }\n"); - } - - if ((op->flags & MIPS16_BRANCH) != 0) - printf (" %s *= 2;\n", op->name); - - if ((op->flags & MIPS16_JUMP_ADDR) != 0) - { - printf (" {\n"); - printf (" address_word paddr;\n"); - printf (" int uncached;\n"); - printf (" if (AddressTranslation (PC &~ (uword64) 1, isINSTRUCTION, isLOAD, &paddr, &uncached, isTARGET, isREAL))\n"); - printf (" {\n"); - printf (" uword64 memval;\n"); - printf (" unsigned int reverse = (ReverseEndian ? 3 : 0);\n"); - printf (" unsigned int bigend = (BigEndianCPU ? 3 : 0);\n"); - printf (" unsigned int byte;\n"); - printf (" paddr = ((paddr & ~0x7) | ((paddr & 0x7) ^ (reverse << 1)));\n"); - printf (" LoadMemory (&memval,0,uncached, AccessLength_HALFWORD, paddr, PC, isINSTRUCTION, isREAL);\n"); - printf (" byte = (((PC &~ (uword64) 1) & 0x7) ^ (bigend << 1));\n"); - printf (" memval = (memval >> (8 * byte)) & 0xffff;\n"); - printf (" %s = (((%s & 0x1f) << 23)\n", op->name, op->name); - printf (" | ((%s & 0x3e0) << 13)\n", op->name); - printf (" | (memval << 2));\n"); - printf (" if ((instruction & 0x400) == 0)\n"); - printf (" %s |= 1;\n", op->name); - printf (" PC += 2;\n"); - printf (" }\n"); - printf (" }\n"); - printf (" %s |= PC & ~ (uword64) 0x0fffffff;\n", op->name); - } - } - - /* FIXME: Is this the way to detect an unused extend opcode? */ - printf (" if (have_extendval)\n"); - printf (" SignalException (ReservedInstruction, instruction);\n"); -} - -/*---------------------------------------------------------------------------*/ - -typedef enum { - s_left, - s_right -} e_endshift; - -static void -build_endian_shift(proc64,datalen,endbit,direction,shift) - int proc64; - int datalen; - int endbit; - e_endshift direction; - int shift; -{ - if (datalen == 4) { - printf(" if ((vaddr & (1 << %d)) ^ (BigEndianCPU << %d)) {\n",endbit,endbit); - printf(" memval %s= %d;\n",direction == s_left ? "<<" : ">>",shift); - printf(" }\n"); - } - - return; -} - -/*---------------------------------------------------------------------------*/ -/* doisa = number of MIPS ISA simulator table is being constructed for. - * proc64 = TRUE if constructing 64bit processor world. - * dofp = boolean, TRUE if FP instructions are to be included. - * fpsingle = boolean, TRUE if only single precision FP instructions to be included. - */ - -void -process_instructions(doarch,features) - unsigned int doarch; - unsigned int features; -{ - int doisa = (doarch & MASK_ISA); - int limit = (sizeof(MIPS_DECODE) / sizeof(instruction)); - int gprlen=((features & FEATURE_GP64) ? 64 : 32); - int proc64 = ((features & FEATURE_PROC32) ? 0 : -1); - int dofp = (features & FEATURE_HASFPU); - int fpsingle = (features & FEATURE_FPSINGLE); - int maxisa; - int loop; - - if (limit < 1) { - fprintf(stderr,"process_instructions: invalid structure length\n"); - exit(1); - } - - if (proc64 && (gprlen != 64)) { - fprintf(stderr,"Error: 64bit processor build specified, with MIPS ISA I or II\n"); - exit(3); - } - - /* NOTE: "proc64" also differentiates between 32- and 64-bit wide memory */ - - maxisa = 0; - for (loop = 0; (loop < limit); loop++) - if ((MIPS_DECODE[loop].isa & MASK_ISA) > maxisa) - maxisa = (MIPS_DECODE[loop].isa & MASK_ISA); - - if (doisa == 0) - doisa = maxisa; - - if (!(features & FEATURE_IGEN)) - { - printf("#if defined(SIM_MANIFESTS)\n"); - printf("#define MIPSISA (%d)\n",doisa); - if (proc64) - printf("#define PROCESSOR_64BIT (1 == 1)\n"); - else - printf("#define PROCESSOR_64BIT (1 == 0)\n"); -#if 1 /* cheat: We only have a 64bit LoadMemory and StoreMemory routines at the moment */ - printf("#define LOADDRMASK (0x%08X)\n",0x7); -#else - printf("#define LOADDRMASK (0x%08X)\n",(proc64 ? 0x7 : 0x3)); -#endif - /* The FP registers are the same width as the CPU registers: */ - printf("#define GPRLEN (%d)\n",gprlen); - printf("typedef %s t_reg;\n",((gprlen == 64) ? "word64" : "int")); - printf("typedef %s ut_reg;\n",((gprlen == 64) ? "uword64" : "unsigned int")); - printf("typedef %s t_fpreg;\n",((gprlen == 64) ? "word64" : "int")); - if (dofp) - printf("#define HASFPU (1 == 1)\n"); - if (features & FEATURE_FAST) - printf("#define FASTSIM (1 == 1)\n"); - if (features & FEATURE_WARN_STALL) - printf("#define WARN_STALL (1 == 1)\n"); - if (features & FEATURE_WARN_LOHI) - printf("#define WARN_LOHI (1 == 1)\n"); - if (features & FEATURE_WARN_ZERO) - printf("#define WARN_ZERO (1 == 1)\n"); - if (features & FEATURE_WARN_MEM) - printf("#define WARN_MEM (1 == 1)\n"); - if (features & FEATURE_WARN_R31) - printf("#define WARN_R31 (1 == 1)\n"); - if (features & FEATURE_WARN_RESULT) - printf("#define WARN_RESULT (1 == 1)\n"); - - printf("#else /* simulator engine */\n"); - - printf("/* Engine generated by \"%s\" at %s */\n","",""); - printf("/* Main instruction decode for %d-bit MIPS ISA %d (Table entry limit = %d) */\n",(proc64 ? 64 : 32),doisa,limit); - if (dofp) - printf("/* %sFP instructions included */\n",(fpsingle ? "Single precision " : "")); - printf("/* NOTE: \"DSPC\" is the delay slot PC address */\n"); - - if (proc64) { - printf("#if !defined(PROCESSOR_64BIT)\n"); - printf("#error \"Automatically constructed decoder has been built for a 64bit processor\"\n"); - printf("#endif\n"); - } - - printf("/* Actual instruction decoding block */\n"); - printf("if ((vaddr & 1) == 0){\n"); - { - int limit; - printf("int num = ((instruction >> %d) & 0x%08X);\n",OP_SH_OP,OP_MASK_OP); - limit = (OP_MASK_OP + 1); - - printf("#ifdef DEBUG\n"); - printf("printf(\"DBG: instruction = 0x%%08X\\n\",instruction);\n"); - printf("#endif\n"); - - printf("if (num == 0x00) num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_SPEC,OP_MASK_SPEC); - limit += (OP_MASK_SPEC + 1); - - printf("else if (num == 0x01) num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_RT,OP_MASK_RT); - limit += (OP_MASK_RT + 1); - - printf("else if (num == 0x11) {\n"); - printf(" if ((instruction & (0x%08X << %d)) == 0x%08X)\n",OP_MASK_COP1NORM,OP_SH_COP1NORM,(OP_MASK_COP1NORM << OP_SH_COP1NORM)); - printf(" if ((instruction & (0x%08X << %d)) == 0x%08X)\n",OP_MASK_COP1CMP,OP_SH_COP1CMP,(OP_MASK_COP1CMP << OP_SH_COP1CMP)); - printf(" num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_SPEC,(OP_MASK_SPEC & (OP_MASK_COP1CMP << OP_SH_COP1CMP))); - printf(" else\n"); - printf(" num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_SPEC,OP_MASK_SPEC); - limit += (OP_MASK_SPEC + 1); - - printf(" else\n"); - /* To keep this code quick, we just clear out the "to" bit - here. The proper (though slower) code would be to have another - conditional, checking whether this instruction is a branch or - not, before limiting the range to the bottom two bits of the - move operation. */ - printf(" num = (%d + (((instruction >> %d) & 0x%08X) & ~0x%08X));\n",limit,OP_SH_COP1SPEC,OP_MASK_COP1SPEC,OP_MASK_COP1SCLR); - limit += (OP_MASK_COP1SPEC + 1); - - printf("} else if (num == 0x13) num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_SPEC,OP_MASK_SPEC); - limit += (OP_MASK_SPEC + 1); - - printf("else if (num == 0x1C) {\n"); - printf(" int mmi_func = ((instruction >> %d) & 0x%08X);\n",OP_SH_MMI,OP_MASK_MMI); - - printf(" if (mmi_func == 0x08) \n"); - printf(" num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_MMISUB,OP_MASK_MMISUB); - limit += (OP_MASK_MMISUB + 1); - - printf(" else if (mmi_func == 0x28) \n"); - printf(" num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_MMISUB,OP_MASK_MMISUB); - limit += (OP_MASK_MMISUB + 1); - - printf(" else if (mmi_func == 0x09) \n"); - printf(" num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_MMISUB,OP_MASK_MMISUB); - limit += (OP_MASK_MMISUB + 1); - - printf(" else if (mmi_func == 0x29) \n"); - printf(" num = (%d + ((instruction >> %d) & 0x%08X));\n",limit,OP_SH_MMISUB,OP_MASK_MMISUB); - limit += (OP_MASK_MMISUB + 1); - - printf(" else \n"); - printf(" num = (%d + mmi_func);\n",limit); - limit += (OP_MASK_MMI + 1); - - printf("}\n"); - - printf("/* Total possible switch entries: %d */\n",limit) ; - } - - printf("#ifdef DEBUG\n"); - printf("printf(\"DBG: num = %%d\\n\",num);\n"); - printf("#endif\n"); - - printf("switch (num)\n") ; - printf("{\n"); - } - - for (loop = 0; (loop < limit); loop++) { - /* First check if the insn is in a requested isa# independent set, - then check that the ISA number we are constructing for is - valid, then if the instruction matches any of the - architecture specific flags. NOTE: We allow a selected ISA of - zero to be used to match all standard instructions. */ - unsigned int isa = MIPS_DECODE[loop].isa; - if (((isa & doarch & MASK_ISA_INDEP) - || (((isa & MASK_ISA) <= doisa) - && (((isa & MASK_ISA_DEP) == 0) || ((isa & MASK_ISA_DEP) & doarch) != 0))) - && (!(MIPS_DECODE[loop].flags & FP) || ((MIPS_DECODE[loop].flags & FP) && dofp)) - || (features & FEATURE_IGEN)) { - unsigned int onemask; - unsigned int zeromask; - unsigned int dontmask; - unsigned int mask; - unsigned int number; - - convert_bitmap(MIPS_DECODE[loop].bitmap,&onemask,&zeromask,&dontmask); - - if (!(MIPS_DECODE[loop].flags & COPROC) - && ((GETDATASIZEINSN(&MIPS_DECODE[loop]) == DOUBLEWORD) && !proc64) - && !(features & FEATURE_IGEN)) { - fprintf(stderr,"DOUBLEWORD width specified for non 64-bit processor for instruction \"%s\"\n",MIPS_DECODE[loop].name); - exit(4); - } - -#if defined(DEBUG) - printf("/* DEBUG: onemask 0x%08X */\n",onemask) ; - printf("/* DEBUG: zeromask 0x%08X */\n",zeromask) ; - printf("/* DEBUG: dontmask 0x%08X */\n",dontmask) ; -#endif - - switch (MIPS_DECODE[loop].mark) { - case NORMAL : - mask = (OP_MASK_OP << OP_SH_OP) ; - number = ((onemask >> OP_SH_OP) & OP_MASK_OP) ; - break ; - - case SPECIAL : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_SPEC << OP_SH_SPEC)) ; - number = ((OP_MASK_OP + 1) + ((onemask >> OP_SH_SPEC) & OP_MASK_SPEC)) ; - break ; - - case REGIMM : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_RT << OP_SH_RT)) ; - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1)) + ((onemask >> OP_SH_RT) & OP_MASK_RT)) ; - break ; - - case COP1 : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_SPEC << OP_SH_SPEC)) ; - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1) + (OP_MASK_RT + 1)) + ((onemask >> OP_SH_SPEC) & OP_MASK_SPEC)) ; - break ; - - case COP1S : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_COP1SPEC << OP_SH_COP1SPEC)) ; - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1) + (OP_MASK_RT + 1) + (OP_MASK_SPEC + 1)) + ((onemask >> OP_SH_COP1SPEC) & OP_MASK_COP1SPEC)) ; - break; - - case COP1X : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_SPEC << OP_SH_SPEC)) ; - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1) + (OP_MASK_RT + 1) + (OP_MASK_COP1SPEC + 1) + (OP_MASK_SPEC + 1)) + ((onemask >> OP_SH_SPEC) & OP_MASK_SPEC)) ; - break ; - - case MMI0 : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_MMI << OP_SH_MMI) - | (OP_MASK_MMISUB << OP_SH_MMISUB)); - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1) + (OP_MASK_RT + 1) - + (OP_MASK_SPEC + 1) + (OP_MASK_COP1SPEC + 1) + (OP_MASK_SPEC + 1)) - + ((onemask >> OP_SH_MMISUB) & OP_MASK_MMISUB)) ; - break ; - - case MMI1 : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_MMI << OP_SH_MMI) - | (OP_MASK_MMISUB << OP_SH_MMISUB)); - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1) + (OP_MASK_RT + 1) - + (OP_MASK_SPEC + 1) + (OP_MASK_COP1SPEC + 1) + (OP_MASK_SPEC + 1)) - + (OP_MASK_MMISUB + 1) - + ((onemask >> OP_SH_MMISUB) & OP_MASK_MMISUB)) ; - break ; - - case MMI2 : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_MMI << OP_SH_MMI) - | (OP_MASK_MMISUB << OP_SH_MMISUB)); - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1) + (OP_MASK_RT + 1) - + (OP_MASK_SPEC + 1) + (OP_MASK_COP1SPEC + 1) + (OP_MASK_SPEC + 1)) - + (OP_MASK_MMISUB + 1) + (OP_MASK_MMISUB + 1) - + ((onemask >> OP_SH_MMISUB) & OP_MASK_MMISUB)) ; - break ; - - case MMI3 : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_MMI << OP_SH_MMI) - | (OP_MASK_MMISUB << OP_SH_MMISUB)); - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1) + (OP_MASK_RT + 1) - + (OP_MASK_SPEC + 1) + (OP_MASK_COP1SPEC + 1) + (OP_MASK_SPEC + 1)) - + (OP_MASK_MMISUB + 1) + (OP_MASK_MMISUB + 1) + (OP_MASK_MMISUB + 1) - + ((onemask >> OP_SH_MMISUB) & OP_MASK_MMISUB)) ; - break ; - - case MMINORM : - mask = ((OP_MASK_OP << OP_SH_OP) | (OP_MASK_MMI << OP_SH_MMI)) ; - number = (((OP_MASK_OP + 1) + (OP_MASK_SPEC + 1) + (OP_MASK_RT + 1) - + (OP_MASK_SPEC + 1) + (OP_MASK_COP1SPEC + 1) + (OP_MASK_SPEC + 1)) - + (OP_MASK_MMISUB + 1) + (OP_MASK_MMISUB + 1) + (OP_MASK_MMISUB + 1) - + (OP_MASK_MMISUB + 1) - + ((onemask >> OP_SH_MMI) & OP_MASK_MMI)) ; - break ; - - default : - fprintf(stderr,"Unrecognised opcode mark %d in table slot %d \"%s\"\n",MIPS_DECODE[loop].mark,loop,MIPS_DECODE[loop].name) ; - exit(5) ; - } - - if (!(features & FEATURE_IGEN)) - { - printf("case %d : /* \"%s\" %s */\n",number,MIPS_DECODE[loop].name,MIPS_DECODE[loop].bitmap) ; - -#if defined(DEBUG) - printf("/* DEBUG: mask 0x%08X */\n",mask) ; - printf(" printf(\"\\\"%s\\\"\\n\");\n",MIPS_DECODE[loop].name); -#endif - - /* Check if there are any other explicit bits in the instruction: */ - if ((~mask & (onemask | zeromask)) != 0x00000000) { - printf(" if ((instruction & 0x%08X) != 0x%08X)\n",(onemask | zeromask),onemask) ; - printf(" {\n") ; - printf(" SignalException(ReservedInstruction,instruction);\n") ; - printf(" }\n") ; - printf(" else\n") ; - } - - printf(" {\n") ; - } - else - { - /* start-sanitize-cygnus-never */ - /* If any sanitization occures, this line should be printed */ - if ((MIPS_DECODE[loop].isa & ARCH_R5900)) - printf ("// %s-%s-%s\n", "start", "sanitize", "r5900"); - /* end-sanitize-cygnus-never */ - printf ("\n"); - print_igen_insn_format (MIPS_DECODE[loop].bitmap, - MIPS_DECODE[loop].mark, /* format-name */ - GETDATASIZEINSN (&MIPS_DECODE[loop]), /* filter-flags */ - "", /* options */ - MIPS_DECODE[loop].name); - print_igen_insn_models (MIPS_DECODE[loop].isa); - printf ("{\n") ; - printf (" unsigned32 instruction = instruction_0;\n"); - } - - /* Get hold of the operands */ - /* NOTE: If we wanted to make the simulator code smaller, we - * could pull these into a common sequence before we perform - * the instruction decoding. However, this would affect the - * performance since unnecessary field extraction would be - * occurring for certain instructions. - * - * Also we do not perform checking for multiple definitions of a - * particular operand here, since they are caught by the - * compilation of the produced code. - */ - build_operands(doisa, features, &MIPS_DECODE[loop]); - - printf(" {\n") ; - - build_instruction (doisa, features, 0, &MIPS_DECODE[loop]); - - printf(" }\n") ; - if (!(features & FEATURE_IGEN)) - { - printf(" }\n") ; - printf(" break ;\n") ; - } - else - { - printf ("}\n"); - printf ("\n"); - /* start-sanitize-cygnus-never */ - /* When sanitized, this output should never be produced */ - if ((MIPS_DECODE[loop].isa & ARCH_R5900)) - printf ("// %s-%s-%s\n", "end", "sanitize", "r5900"); - /* end-sanitize-cygnus-never */ - } - - } - } - - - if (!(features & FEATURE_IGEN)) - { - printf("default : /* Unrecognised instruction */\n") ; - printf(" SignalException(ReservedInstruction,instruction);\n") ; - printf(" break ;\n") ; - printf("}\n}\n") ; - } - - /* Handle mips16 instructions. The switch table looks like this: - 0 - 31: I, RI, and RRI instructions by major. - 32 - 35: ISHIFT instructions by function + 32 - 36 - 37: RRI_A instructions by function + 36 - 38 - 45: I8, I8_MOV32R, and I8_MOVR32 instructions by function + 38 - 46 - 49: RRR instructions by function + 46 - 50 - 81: RR instructions by minor + 50 (except for minor == 0) - 82 - 89: I64 and RI64 instructions by funct + 82 - 90 - 97: jalr (RR minor 0) by y + 90 - */ - if (!(features & FEATURE_IGEN)) - { - printf ("else {\n"); - printf ("static int extendval;\n"); - printf ("static int have_extendval;\n"); - printf ("int num = ((instruction >> %d) & 0x%08X);\n", - MIPS16OP_SH_OP, MIPS16OP_MASK_OP); - printf ("switch (num)\n{\n"); - printf ("case 0x6: num = 32 + (instruction & 3); break;\n"); - printf ("case 0x8: num = 36 + ((instruction & 0x10) >> 4); break;\n"); - printf ("case 0xc: num = 38 + ((instruction & 0x700) >> 8); break;\n"); - printf ("case 0x1c: num = 46 + (instruction & 3); break;\n"); - printf ("case 0x1d: num = 50 + (instruction & 0x1f);\n"); - printf (" if (num == 50) num = 90 + ((instruction & 0xe0) >> 5);\n"); - printf (" break;\n"); - printf ("case 0x1f: num = 82 + ((instruction & 0x700) >> 8); break;\n"); - printf ("default: break;\n}\n"); - printf ("switch (num)\n{\n"); - } - - for (loop = 0; loop < sizeof MIPS16_DECODE / sizeof MIPS16_DECODE[0]; loop++) - { - const char *bitmap; - int num; - - if (! proc64 && GETDATASIZEINSN (&MIPS16_DECODE[loop]) == DOUBLEWORD) - continue; - - bitmap = MIPS16_DECODE[loop].bitmap; - switch (MIPS16_DECODE[loop].mark) - { - case I: - case RI: - case RRI: - num = bitmap_val (bitmap, 11, 5); - break; - case ISHIFT: - num = 32 + bitmap_val (bitmap, 0, 2); - break; - case RRI_A: - num = 36 + bitmap_val (bitmap, 4, 1); - break; - case I8: - case I8_MOV32R: - case I8_MOVR32: - num = 38 + bitmap_val (bitmap, 8, 3); - break; - case RRR: - num = 46 + bitmap_val (bitmap, 0, 2); - break; - case RR: - { - int minor; - - minor = bitmap_val (bitmap, 0, 5); - if (minor != 0) - num = 50 + minor; - else - num = 90 + bitmap_val (bitmap, 5, 3); - } - break; - case I64: - case RI64: - num = 82 + bitmap_val (bitmap, 8, 3); - break; - default: - abort (); - } - - - if (!(features & FEATURE_IGEN)) - { - printf ("case %d: /* \"%s\" %s */\n", num, MIPS16_DECODE[loop].name, - bitmap); - printf (" {\n"); - } - else - { - printf ("\n"); - print_igen_insn_format (bitmap, - MIPS16_DECODE[loop].mark, /* format-name */ - -1, /* filter-flags -- -1 => MIPS16 */ - "", /* options */ - MIPS16_DECODE[loop].name); - printf ("*mips16:\n"); - printf ("{\n"); - printf (" unsigned32 instruction = instruction_0;\n"); - } - - build_mips16_operands (bitmap); - - printf (" {\n") ; - - /* build_instruction doesn't know about extend. */ - if (num != 30) - build_instruction (doisa, features, 1, &MIPS16_DECODE[loop]); - else - { - printf (" extendval = ext;\n"); - printf (" have_extendval = 1;\n"); - } - - printf (" }\n"); - if (!(features & FEATURE_IGEN)) - { - printf (" }\n") ; - printf (" break ;\n") ; - } - else - { - printf ("}\n"); - printf ("\n"); - } - } - - if (!(features & FEATURE_IGEN)) - { - printf ("default : /* Unrecognised instruction */\n") ; - printf (" SignalException(ReservedInstruction,instruction);\n") ; - printf (" break ;\n") ; - printf ("}\n}\n") ; - - printf("#endif /* simulator engine */\n"); - } - - return ; -} - -/* Output the code to execute an instruction, assuming the operands - have already been extracted. */ - -static void -build_instruction (doisa, features, mips16, insn) - int doisa; - unsigned int features; - int mips16; - const struct instruction *insn; -{ - int gprlen=((features & FEATURE_GP64) ? 64 : 32); - int proc64 = ((features & FEATURE_PROC32) ? 0 : -1); - char *regtype = ((gprlen == 64) ? "uword64" : "unsigned int"); - - switch (insn->type) { - /* TODO: To make these easier to edit and maintain, they should - actually be provided as source macros (or inline functions) - OUTSIDE this main switch statement. The PPC simulator has a - neater scheme for describing the instruction sequences. */ - - case ADD: - case SUB: - { - char *signed_basetype = "unknown"; - char *unsigned_basetype = "unknown"; - - switch (GETDATASIZEINSN(insn)) { - case WORD : - signed_basetype = "signed int"; - unsigned_basetype = "unsigned int"; - break; - case DOUBLEWORD : - signed_basetype = "word64"; - unsigned_basetype = "uword64"; - break; - default : - fprintf(stderr,"Opcode table error: size of ADD/SUB operands not known (%d)\n",GETDATASIZEINSN(insn)); - exit(1); - } - - if ((insn->type) == ADD) { - printf(" %s temp = (%s)(op1 + op2);\n", unsigned_basetype, unsigned_basetype); - printf(" %s tempS UNUSED = (%s)temp;\n", signed_basetype, signed_basetype); - if (insn->flags & OVERFLOW) { - printf(" if (((op1 < 0) == (op2 < 0)) && ((tempS < 0) != (op1 < 0)))\n"); - printf(" SignalExceptionIntegerOverflow ();\n"); - printf(" else\n"); - } - if (!proc64 || (insn->flags & UNSIGNED) || (GETDATASIZEINSN(insn) == DOUBLEWORD)) - printf(" GPR[destreg] = (%s)temp;\n",regtype); - else /* only sign-extend when placing 32bit result in 64bit processor */ - printf(" GPR[destreg] = SIGNEXTEND(((%s)temp),32);\n",regtype); - } else { /* SUB */ - printf(" %s temp = (%s)(op1 - op2);\n", unsigned_basetype, unsigned_basetype); - printf(" %s tempS UNUSED = (%s)temp;\n", signed_basetype, signed_basetype); - if (insn->flags & OVERFLOW) { /* different signs => overflow if result_sign != arg_sign */ - printf(" if (((op1 < 0) != (op2 < 0)) && ((tempS < 0) == (op1 < 0)))\n"); - printf(" SignalExceptionIntegerOverflow ();\n"); - printf(" else\n"); - } - /* UNSIGNED 32bit operations on a 64bit processor should - *STILL* be sign-extended. We have cheated in the - data-structure, by not marking it with UNSIGNED, and not - setting OVERFLOW. */ - if (!proc64 || (insn->flags & UNSIGNED) || (GETDATASIZEINSN(insn) == DOUBLEWORD)) - printf(" GPR[destreg] = (%s)temp;\n",regtype); - else /* only sign-extend when placing 32bit result in 64bit processor */ - printf(" GPR[destreg] = SIGNEXTEND(((%s)temp),32);\n",regtype); - } - } - break ; - - case MUL: - { - char* pipe = (insn->flags & PIPE1) ? "1" : ""; - - printf(" {\n"); - if (GETDATASIZEINSN(insn) == DOUBLEWORD) { - printf(" uword64 mid;\n"); - printf(" uword64 midhi;\n"); - printf(" uword64 temp;\n"); - if ((insn->flags & UNSIGNED) == 0) - { - printf(" int sign = 0;\n"); - printf(" if (op1 < 0) { op1 = - op1; ++sign; }\n"); - printf(" if (op2 < 0) { op2 = - op2; ++sign; }\n"); - } - printf(" LO%s = ((uword64)WORD64LO(op1) * WORD64LO(op2));\n",pipe); - printf(" HI%s = ((uword64)WORD64HI(op1) * WORD64HI(op2));\n",pipe); - printf(" mid = ((uword64)WORD64HI(op1) * WORD64LO(op2));\n"); - printf(" midhi = SET64HI(WORD64LO(mid));\n"); - printf(" temp = (LO%s + midhi);\n",pipe); - printf(" if ((temp == midhi) ? (LO%s != 0) : (temp < midhi))\n",pipe); - printf(" HI%s += 1;\n",pipe); - printf(" HI%s += WORD64HI(mid);\n",pipe); - printf(" mid = ((uword64)WORD64LO(op1) * WORD64HI(op2));\n"); - printf(" midhi = SET64HI(WORD64LO(mid));\n"); - printf(" LO%s = (temp + midhi);\n",pipe); - printf(" if ((LO%s == midhi) ? (temp != 0) : (LO%s < midhi))\n",pipe,pipe); - printf(" HI%s += 1;\n",pipe); - printf(" HI%s += WORD64HI(mid);\n",pipe); - if ((insn->flags & UNSIGNED) == 0) - printf(" if (sign & 1) { LO%s = - LO%s; HI%s = (LO%s == 0 ? 0 : -1) - HI%s; }\n",pipe,pipe,pipe,pipe,pipe); - } else { - if (insn->flags & UNSIGNED) - printf(" uword64 temp = ((uword64)(op1 & 0xffffffff) * (uword64)(op2 & 0xffffffff));\n"); - else - printf(" uword64 temp = ((word64) op1 * (word64) op2);\n"); - printf(" LO%s = SIGNEXTEND((%s)WORD64LO(temp),32);\n",pipe,regtype); - printf(" HI%s = SIGNEXTEND((%s)WORD64HI(temp),32);\n",pipe,regtype); - } - if (insn->flags & OP3) - { - printf(" if ( destreg != 0 )\n"); - printf(" GPR[destreg] = LO%s;\n",pipe); - } - printf(" }\n"); - break ; - } - case DIV: - { - int boolU = (insn->flags & UNSIGNED); - char* pipe = (insn->flags & PIPE1) ? "1" : ""; - - printf(" {\n"); - - if (GETDATASIZEINSN(insn) == DOUBLEWORD) { - printf(" %sword64 d1 = op1;\n", (boolU ? "u" : "")); - printf(" %sword64 d2 = op2;\n", (boolU ? "u" : "")); - printf(" if (d2 == 0)\n"); - printf(" {\n"); - printf(" LO%s = SIGNED64 (0x8000000000000000);\n", pipe); - printf(" HI%s = 0;\n", pipe); - printf(" }\n"); - printf(" else if (d2 == -1 && d1 == SIGNED64 (0x8000000000000000))\n"); - printf(" {\n"); - printf(" LO%s = SIGNED64 (0x8000000000000000);\n", pipe); - printf(" HI%s = 0;\n", pipe); - printf(" }\n"); - printf(" else\n"); - printf(" {\n"); - printf(" LO%s = (d1 / d2);\n", pipe); - printf(" HI%s = (d1 %% d2);\n", pipe); - printf(" }\n"); - } else { - printf(" %sint d1 = op1;\n", (boolU ? "unsigned " : "")); - printf(" %sint d2 = op2;\n", (boolU ? "unsigned " : "")); - printf(" if (d2 == 0)\n"); - printf(" {\n"); - printf(" LO%s = SIGNEXTEND(0x80000000,32);\n",pipe); - printf(" HI%s = SIGNEXTEND(0,32);\n", pipe); - printf(" }\n"); - printf(" else if (d2 == -1 && d1 == 0x80000000)\n"); - printf(" {\n"); - printf(" LO%s = SIGNEXTEND(0x80000000,32);\n",pipe); - printf(" HI%s = SIGNEXTEND(0,32);\n", pipe); - printf(" }\n"); - printf(" else\n"); - printf(" {\n"); - printf(" LO%s = SIGNEXTEND((d1 / d2),32);\n", pipe); - printf(" HI%s = SIGNEXTEND((d1 %% d2),32);\n", pipe); - printf(" }\n"); - } - printf(" }\n"); - } - break ; - - case SHIFT: - { - int datalen = GETDATASIZEINSN(insn); - int bits = ((datalen == WORD) ? 32 : 64); - char *ltype = ((datalen == WORD) ? "unsigned int" : "uword64"); - - /* Check that the specified SHIFT is valid: */ - if ((datalen == BYTE) || (datalen == HALFWORD)) { - fprintf(stderr,"Shift \"%s\" specified with BYTE or HALFWORD\n",insn->name); - exit(9); - } - if ((insn->flags & LEFT) && (insn->flags & RIGHT)) { - fprintf(stderr,"Shift \"%s\" specified with both LEFT and RIGHT\n",insn->name); - exit(9); - } - if (!(insn->flags & LEFT) && !(insn->flags & RIGHT)) { - fprintf(stderr,"Shift \"%s\" specified with neither LEFT or RIGHT\n",insn->name); - exit(9); - } - if ((insn->flags & LOGICAL) && (insn->flags & ARITHMETIC)) { - fprintf(stderr,"Shift \"%s\" specified with both LOGICAL and ARITHMETIC\n",insn->name); - exit(9); - } - if (!(insn->flags & LOGICAL) && !(insn->flags & ARITHMETIC)) { - fprintf(stderr,"Shift \"%s\" specified with neither LOGICAL or ARITHMETIC\n",insn->name); - exit(9); - } - if ((insn->flags & LEFT) && (insn->flags & ARITHMETIC)) { - fprintf(stderr,"Arithmetic LEFT shift \"%s\" specified\n",insn->name); - exit(9); - } - - /* Work around an MSC code generation bug by precomputing a value - * with the sign bit set. */ - if (insn->flags & ARITHMETIC) - printf(" %s highbit = (%s)1 << %d;\n", ltype, ltype, bits - 1); - - /* If register specified shift, then extract the relevant shift amount: */ - if (insn->flags & REG) - printf(" op1 &= 0x%02X;\n",(bits - 1)); - - /* If HI32 specified, then shift range is 32..63 */ - if (insn->flags & HI32) - printf(" op1 |= (1 << 5);\n"); - - /* We do not need to perform pre-masking with 0xFFFFFFFF when - dealing with 32bit shift lefts, since the sign-extension - code will replace any remaining hi-bits: */ - if (insn->flags & LEFT) - printf(" GPR[destreg] = ((uword64)op2 << op1);\n"); - else - printf(" GPR[destreg] = ((uword64)(op2%s) >> op1);\n",((bits == 32) ? " & 0xFFFFFFFF" : "")); - - /* For ARITHMETIC shifts, we must duplicate the sign-bit. We - don't do this if op1 is zero, since it is not needed and - since that would cause an undefined shift of the number of - bits in the type. */ - if (insn->flags & ARITHMETIC) - printf(" GPR[destreg] |= (op1 != 0 && (op2 & highbit) ? ((((%s)1 << op1) - 1) << (%d - op1)) : 0);\n",ltype,bits); - - /* Ensure WORD values are sign-extended into 64bit registers */ - if ((bits == 32) && (gprlen == 64)) - printf(" GPR[destreg] = SIGNEXTEND(GPR[destreg],%d);\n",bits); - } - break ; - - case MOVE: - if (insn->flags & (HI | LO)) { - char *regname = ((insn->flags & LO) ? "LO" : "HI"); - int pipe1 = (insn->flags & PIPE1); - if (insn->flags & LEFT) - printf(" GPR[destreg] = %s%s;\n",regname,(pipe1 ? "1" : "")); - else { - printf(" %s%s = op1;\n",regname,(pipe1 ? "1" : "")); - } - } else - if (insn->flags & SHIFT16) - printf(" GPR[destreg] = (op2 << 16);\n"); - else { - /* perform conditional move */ - if (!(insn->flags & EQ)) { - fprintf(stderr,"Standard conditional %s does not have the equality flag\n",insn->name); - exit(8); - } - printf(" if (op2 %c= 0)\n",((insn->flags & NOT) ? '!' : '=')); - printf(" GPR[destreg] = op1;\n"); - } - break ; - - case SYNC: - printf(" SyncOperation(op1);\n"); - break ; - - case SYSCALL: - printf(" SignalException(SystemCall,instruction);\n"); - break ; - - case BREAK: - - if (mips16) - { - printf(" if (STATE & simDELAYSLOT)\n"); - printf(" PC = cia - 2; /* reference the branch instruction */\n"); - printf(" else\n"); - printf(" PC = cia;\n"); - printf(" sim_engine_halt (SD, CPU, NULL, cia, sim_stopped, SIM_SIGTRAP);\n"); - break; - } - printf(" unsigned int break_code = instruction & HALT_INSTRUCTION_MASK;\n"); - printf(" if ( break_code == (HALT_INSTRUCTION & HALT_INSTRUCTION_MASK)\n"); - printf(" || break_code == (HALT_INSTRUCTION2 & HALT_INSTRUCTION_MASK))\n"); - printf(" {\n"); - printf(" sim_engine_halt (SD, CPU, NULL, cia,\n"); - printf(" sim_exited, (unsigned int)(A0 & 0xFFFFFFFF));\n"); - printf(" }\n"); - printf(" else if ( break_code == (BREAKPOINT_INSTRUCTION & HALT_INSTRUCTION_MASK)\n"); - printf(" || break_code == (BREAKPOINT_INSTRUCTION2 & HALT_INSTRUCTION_MASK))\n"); - printf(" {\n"); - printf(" if (STATE & simDELAYSLOT)\n"); - printf(" PC = cia - 4; /* reference the branch instruction */\n"); - printf(" else\n"); - printf(" PC = cia;\n"); - printf(" sim_engine_halt (SD, CPU, NULL, cia, sim_stopped, SIM_SIGTRAP);\n"); - printf(" }\n"); - - printf(" SignalException(BreakPoint,instruction);\n"); - break ; - - case SDBBP: - printf(" SignalException(DebugBreakPoint,instruction);\n"); - break ; - - case TRAP: - { - int boolNOT = (insn->flags & NOT); - int boolEQ = (insn->flags & EQ); - int boolGT = (insn->flags & GT); - int boolLT = (insn->flags & LT); - int boolU = (insn->flags & UNSIGNED); - - if (boolGT && boolLT) { - fprintf(stderr,"GT and LT specified for \"%s\"\n",insn->name); - exit(8); - } - - if (boolNOT && (boolGT || boolLT)) { - fprintf(stderr,"NOT specified with GT or LT specified for \"%s\"\n",insn->name); - exit(8); - } - - printf(" if ((%sword64)op1 ",(boolU ? "u" : "")); - printf("%c%s",(boolNOT ? '!' : (boolLT ? '<' : (boolGT ? '>' : '='))),(boolEQ ? "=" : "")); - printf(" (%sword64)op2)\n",(boolU ? "u" : "")); - printf(" SignalException(Trap,instruction);\n"); - } - break ; - - case SET: - { - int boolU = (insn->flags & UNSIGNED); - - if (!(insn->flags & LT)) { - fprintf(stderr,"Set instruction without LT specified \"%s\"\n",insn->name); - exit(8); - } - - printf(" if ((%sword64)op1 < (%sword64)op2)\n",(boolU ? "u" : ""),(boolU ? "u" : "")); - printf(" GPR[destreg] = 1;\n"); - printf(" else\n"); - printf(" GPR[destreg] = 0;\n"); - } - break ; - - case AND: - printf(" GPR[destreg] = (op1 & op2);\n"); - break ; - - case OR: - /* The default mips16 nop instruction does an or to register - zero; catch that case, so that we don't get useless warnings - from the simulator. */ - if (mips16) - printf (" if (destreg != 0)\n"); - printf(" GPR[destreg] = %s(op1 | op2);\n",((insn->flags & NOT) ? "~" : "")); - break ; - - case XOR: - printf(" GPR[destreg] = (op1 ^ op2);\n"); - break ; - - case DECODE: - printf(" DecodeCoproc(instruction);\n"); - break ; - - case CACHE: - /* 16-bit offset is sign-extended and added to the base register to make a virtual address */ - /* The virtual address is translated to a physical address using the TLB */ - /* The hint specifies a cache operation for that address */ - printf(" address_word vaddr = (op1 + offset);\n"); - printf(" address_word paddr;\n"); - printf(" int uncached;\n"); - /* NOTE: We are assuming that the AddressTranslation is a load: */ - printf(" if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))\n"); - printf(" CacheOp(hint,vaddr,paddr,instruction);\n"); - break; - - case MADD16: /* VR4100 specific multiply-add instructions */ - /* Some of this code is shared with the standard multiply - routines, so an effort should be made to merge where - possible. */ - if (features & FEATURE_WARN_RESULT) { - /* Give user a warning if either op1 or op2 are not 16bit signed integers */ - printf(" if (NOTHALFWORDVALUE(op1) || NOTHALFWORDVALUE(op2))\n"); - printf(" sim_io_eprintf(sd,\"MADD16 operation with non-16bit operands\\n\");\n"); - } - printf(" {\n"); - printf(" uword64 temp = (op1 * op2);\n"); /* 16x16 multiply */ - if (GETDATASIZEINSN(insn) == DOUBLEWORD) { - printf(" LO = LO + temp;\n"); - } else { /* WORD */ - printf(" temp += (SET64HI(WORD64LO(HI)) | WORD64LO(LO));\n"); - printf(" LO = SIGNEXTEND((%s)WORD64LO(temp),32);\n",regtype); - printf(" HI = SIGNEXTEND((%s)WORD64HI(temp),32);\n",regtype); - } - printf(" }\n"); - break; - - case RSVD: /* "Reserved Instruction" on MIPS IV, or if co-proc 3 absent. Otherwise "CoProcessorUnusable" */ - if (doisa < 4) { - printf(" if (CoProcPresent(3))\n"); - printf(" SignalExceptionCoProcessorUnusable ();\n"); - printf(" else\n"); - } - printf(" SignalException(ReservedInstruction,instruction);\n"); - break ; - - case JUMP: - if (insn->flags & LINK) { - if (!(insn->flags & REG)) - printf(" int destreg = 31;\n"); - printf(" GPR[destreg] = (PC + %d); /* NOTE: The PC is already %d ahead within the simulator */\n", - mips16 ? 2 : 4, mips16 ? 2 : 4); - } - - if (insn->flags & NOT) - printf(" op1 ^= 1;\n"); - - printf(" /* NOTE: ??? Gdb gets confused if the PC is sign-extended,\n"); - printf(" so we just truncate it to 32 bits here. */\n"); - printf(" op1 = WORD64LO(op1);\n"); - printf(" /* NOTE: The jump occurs AFTER the next instruction has been executed */\n"); - printf(" DSPC = op1;\n"); - if ((insn->flags & LINK) - && ! (insn->flags & REG)) - printf(" JALDELAYSLOT();\n"); - else - printf(" DELAYSLOT();\n"); - break ; - - case BRANCH: /* execute delay slot instruction before branch unless (LIKELY && branch_not_taken) */ - if (insn->flags & FP) { - if (doisa < 4) { - printf(" if (condition_code != 0)\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else {\n"); - } - /* "PREVCOC1()" should be the COC1 value at the start of the preceding instruction */ - printf(" int condition = (%s == boolean);\n",((doisa < 4) ? "PREVCOC1()" : "GETFCC(condition_code)")); - } else { - if ((insn->flags & NOT) && !(insn->flags & EQ)) { - fprintf(stderr,"NOT specified when not EQ in \"%s\"\n",insn->name); - exit(7); - } - if ((insn->flags & NOT) && (insn->flags & (GT | LT))) { - fprintf(stderr,"NOT specified with GT or LT in \"%s\"\n",insn->name); - exit(7); - } - /* GT LT */ - if (insn->flags & GT) - printf(" int condition = (op1 >%s 0);\n",((insn->flags & EQ) ? "=" : "")); - else - if (insn->flags & LT) - printf(" int condition = (op1 <%s 0);\n",((insn->flags & EQ) ? "=" : "")); - else - if (insn->flags & EQ) - printf(" int condition = (op1 %c= op2);\n",((insn->flags & NOT) ? '!' : '=')); - } - - if (insn->flags & LINK) { - if (features & FEATURE_WARN_R31) { - printf(" if (((instruction >> %d) & 0x%08X) == 31)\n",OP_SH_RS,OP_MASK_RS); - printf(" sim_io_eprintf(sd,\"Branch with link using r31 as source operand\\n\");\n"); - } - printf(" GPR[31] = (PC + 4); /* NOTE: PC is already 8 ahead */\n"); - } - - if (! mips16) { - printf(" /* NOTE: The branch occurs AFTER the next instruction has been executed */\n"); - printf(" if (condition) {\n"); - printf(" DSPC = (PC + offset);\n"); - printf(" DELAYSLOT();\n"); - printf(" }\n"); - } else { - /* No delayed slots for mips16 branches. */ - printf(" if (condition)\n"); - printf(" PC = PC + offset;\n"); - } - if ((insn->flags & FP) && (doisa != 1)) { - printf(" else if (likely) {\n"); - printf(" NULLIFY();\n"); - printf(" }\n"); - } else if (insn->flags & LIKELY) { - printf(" else\n"); - printf(" NULLIFY();\n"); - } - if ((insn->flags & FP) && (doisa < 4)) - printf(" }\n"); - break ; - - case PREFETCH: /* The beginning is shared with normal load operations */ - case LOAD: - case STORE: - { - int isload = ((insn->type == LOAD) || (insn->type == PREFETCH)); - int datalen; - char *accesslength = ""; - - switch (GETDATASIZEINSN(insn)) { - case BYTE : - datalen = 1; - accesslength = "AccessLength_BYTE"; - break ; - - case HALFWORD : - datalen = 2; - accesslength = "AccessLength_HALFWORD"; - break ; - - case WORD : - datalen = 4; - accesslength = "AccessLength_WORD"; - break ; - - case DOUBLEWORD : - datalen = 8; - accesslength = "AccessLength_DOUBLEWORD"; - break ; - /* start-sanitize-r5900 */ - - case QUADWORD : - datalen = 16; - accesslength = "AccessLength_QUADWORD"; - break ; - /* end-sanitize-r5900 */ - } - - if (insn->flags & REG) - printf(" address_word vaddr = ((uword64)op1 + op2);\n"); - else - printf(" address_word vaddr = ((uword64)op1 + offset);\n"); - printf(" address_word paddr;\n"); - printf(" int uncached;\n"); - - /* The following check should only occur on normal (non-shifted) memory loads */ - if ((datalen != 1) && !(insn->flags & (LEFT | RIGHT))) { - printf(" if ((vaddr & %d) != 0)\n",(datalen - 1)); - printf(" SignalException%s();\n",(isload ? "AddressLoad" : "AddressStore")); - printf(" else\n") ; - } - - printf(" {\n"); - printf(" if (AddressTranslation(vaddr,isDATA,%s,&paddr,&uncached,isTARGET,isREAL))\n",(isload ? "isLOAD" : "isSTORE")); - - if (insn->type == PREFETCH) - printf(" Prefetch(uncached,paddr,vaddr,isDATA,hint);\n"); - else { - printf(" {\n"); - printf(" uword64 memval = 0;\n"); - printf(" uword64 memval1 = 0;\n"); - - if ((insn->flags & COPROC) && ((datalen != 4) && (datalen != 8))) { - fprintf(stderr,"Co-processor transfer operation not WORD or DOUBLEWORD in length \"%s\"\n",insn->name); - exit(6); - } - - if (insn->flags & (LEFT | RIGHT)) { - if ((insn->flags & LEFT) && (insn->flags & RIGHT)) { - fprintf(stderr,"Memory transfer with both LEFT and RIGHT specified \"%s\"\n",insn->name); - exit(4); - } - - switch (datalen) { - case 8: - if (!(features & FEATURE_IGEN)) - { - if (!proc64) { - fprintf(stderr,"DOUBLEWORD shifted memory transfers only valid for 64-bit processors \"%s\"\n",insn->name); - exit(4); - } - } - /* fall through to... */ - case 4: - { - printf(" uword64 mask = %d;\n",((datalen == 8) ? 0x7 : 0x3)); - printf(" unsigned int reverse = (ReverseEndian ? mask : 0);\n"); - printf(" unsigned int bigend = (BigEndianCPU ? mask : 0);\n"); - printf(" int byte;\n"); - printf(" paddr = ((paddr & ~mask) | ((paddr & mask) ^ reverse));\n"); - printf(" byte = ((vaddr & mask) ^ bigend);\n"); - printf(" if (%sBigEndianMem)\n",((insn->flags & LEFT) ? "!" : "")); - printf(" paddr &= ~mask;\n"); - - if (isload) { - if (insn->flags & LEFT) - { - printf(" LoadMemory(&memval,&memval1,uncached,byte,paddr,vaddr,isDATA,isREAL);\n"); - } - else - { - printf(" LoadMemory(&memval,&memval1,uncached,(%d - byte),paddr,vaddr,isDATA,isREAL);\n",(datalen - 1)); - } - } - - if (insn->flags & LEFT) { - if (isload) { - /* For WORD transfers work out if the value will - be in the top or bottom of the DOUBLEWORD - returned: */ -#if 1 - build_endian_shift(proc64,datalen,2,s_right,32); -#else - if (proc64 && (datalen == 4)) { - printf(" if ((vaddr & (1 << 2)) ^ (BigEndianCPU << 2)) {\n"); - printf(" memval >>= 32;\n"); - printf(" }\n"); - } -#endif - printf(" GPR[destreg] = ((memval << ((%d - byte) * 8)) | (GPR[destreg] & (((uword64)1 << ((%d - byte) * 8)) - 1)));\n",(datalen - 1),(datalen - 1)); - if (proc64 && (datalen == 4)) - printf(" GPR[destreg] = SIGNEXTEND(GPR[destreg],32);\n"); - } else { /* store */ - printf(" memval = (op2 >> (8 * (%d - byte)));\n",(datalen - 1)); -#if 1 - build_endian_shift(proc64,datalen,2,s_left,32); -#else - /* TODO: This is duplicated in the LOAD code - above - and the RIGHT LOAD and STORE code - below. It should be merged if possible. */ - if (proc64 && (datalen == 4)) { - printf(" if ((vaddr & (1 << 2)) ^ (BigEndianCPU << 2)) {\n"); - printf(" memval <<= 32;\n"); - printf(" }\n"); - } -#endif - printf(" StoreMemory(uncached,byte,memval,memval1,paddr,vaddr,isREAL);\n"); - } - } else { /* RIGHT */ - if (isload) { -#if 1 - build_endian_shift(proc64,datalen,2,s_right,32); -#else - if (proc64 && (datalen == 4)) { - printf(" if ((vaddr & (1 << 2)) ^ (BigEndianCPU << 2)) {\n"); - printf(" memval >>= 32;\n"); - printf(" }\n"); - } -#endif - printf(" {\n"); - printf(" uword64 srcmask;\n"); - /* All of this extra code is just a bodge - required because some hosts don't allow - ((v) << 64). The SPARC just leaves the (v) - value un-touched. */ - printf(" if (byte == 0)\n"); - printf(" srcmask = 0;\n"); - printf(" else\n"); - printf(" srcmask = ((uword64)-1 << (8 * (%d - byte)));\n",datalen); - printf(" GPR[destreg] = ((GPR[destreg] & srcmask) | (memval >> (8 * byte)));\n"); - printf(" }\n"); - if (proc64 && (datalen == 4)) - printf(" GPR[destreg] = SIGNEXTEND(GPR[destreg],32);\n"); - } else { /* store */ - printf(" memval = ((uword64) op2 << (byte * 8));\n"); - build_endian_shift(proc64,datalen,2,s_left,32); - printf(" StoreMemory(uncached,(%s - byte),memval,memval1,paddr,vaddr,isREAL);\n",accesslength); - } - } - } - break; - - default: - fprintf(stderr,"Shifted memory transfer not WORD or DOUBLEWORD in length \"%s\"\n",insn->name); - exit(6); - } - } else { /* normal memory transfer */ - if (!(features & FEATURE_IGEN)) - { - if (!(insn->flags & COPROC) && ((datalen == 8) || ((datalen == 4) & (insn->flags & UNSIGNED))) && !proc64) { - fprintf(stderr,"Operation not available with 32bit wide memory access \"%s\"\n",insn->name); - exit(4); - /* TODO: The R4000 documentation states that a LWU - instruction executed when in a 32bit processor mode - should cause a ReservedInstruction exception. This - will mean adding a run-time check into the code - sequence. */ - } - } - - if (isload) { -#if 1 /* see the comments attached to LOADDRMASK above */ - printf(" uword64 mask = 0x7;\n"); -#else - printf(" uword64 mask = %d;\n",(proc64 ? 0x7 : 0x3)); -#endif - printf(" unsigned int shift = %d;\n",(datalen >> 1)); - printf(" unsigned int reverse UNUSED = (ReverseEndian ? (mask >> shift) : 0);\n"); - printf(" unsigned int bigend UNUSED = (BigEndianCPU ? (mask >> shift) : 0);\n"); - printf(" unsigned int byte UNUSED;\n"); - -/* TODO: This should really also check for 32bit world performing 32bit access */ - if (datalen < 8) - /* not for DOUBLEWORD */ - /* start-sanitize-r5900 */ - /* not for QUADWORD */ - /* end-sanitize-r5900 */ - printf(" paddr = ((paddr & ~mask) | ((paddr & mask) ^ (reverse << shift)));\n"); - - printf(" LoadMemory(&memval,&memval1,uncached,%s,paddr,vaddr,isDATA,isREAL);\n",accesslength); - - /* The following will only make sense if the - "LoadMemory" above returns a DOUBLEWORD entity */ - if (datalen < 8) { - /* not for DOUBLEWORD */ - /* start-sanitize-r5900 */ - /* not for QUADWORD */ - /* end-sanitize-r5900 */ - int valmask; - switch (datalen) { - case 1: - valmask = 0xFF; - break; - - case 2: - valmask = 0xFFFF; - break; - - case 4: - valmask = 0xFFFFFFFF; - break; - - default: - fprintf(stderr,"Unrecognised datalen (%d) when processing \"%s\"\n",datalen,insn->name); - exit(4); - } - printf(" byte = ((vaddr & mask) ^ (bigend << shift));\n"); - /* NOTE: The R4000 user manual has the COP_LW - occuring in the same cycle as the rest of the - instruction, yet the MIPS IV shows the operation - happening on the next cycle. To keep the simulator - simple, this code follows the R4000 - manual. Experimentation with a silicon - implementation will be needed to ascertain the - correct operation. */ - if (insn->flags & COPROC) - printf(" COP_LW(%s,destreg,(unsigned int)", - ((insn->flags & REG) - ? "1" - : "((instruction >> 26) & 0x3)")); - else - printf(" GPR[destreg] = ("); - - if (insn->flags & SIGNEXTEND) - printf("SIGNEXTEND("); - printf("((memval >> (8 * byte)) & 0x%08X)",valmask); - if (insn->flags & SIGNEXTEND) - printf(",%d)",(datalen * 8)); - printf(");\n"); - } else { - if (insn->flags & COPROC) - printf(" COP_LD(%s,destreg,memval);;\n", - ((insn->flags & REG) - ? "1" - : "((instruction >> 26) & 0x3)")); - else - { - printf(" GPR[destreg] = memval;\n"); - if (datalen > 8) - printf(" GPR1[destreg] = memval1;\n"); - } - } - } else { /* store operation */ - if ((datalen == 1) || (datalen == 2)) { - /* SH and SB */ -#if 1 /* see the comments attached to LOADDRMASK above */ - printf(" uword64 mask = 0x7;\n"); -#else - printf(" uword64 mask = %d;\n",(proc64 ? 0x7 : 0x3)); -#endif - printf(" unsigned int shift = %d;\n",(datalen >> 1)); - printf(" unsigned int reverse = (ReverseEndian ? (mask >> shift) : 0);\n"); - printf(" unsigned int bigend = (BigEndianCPU ? (mask >> shift) : 0);\n"); - printf(" unsigned int byte;\n"); - - printf(" paddr = ((paddr & ~mask) | ((paddr & mask) ^ (reverse << shift)));\n"); - printf(" byte = ((vaddr & mask) ^ (bigend << shift));\n"); - printf(" memval = ((uword64) op2 << (8 * byte));\n"); - } else - if (datalen == 4) { /* SC and SW */ -#if 1 /* see the comments attached to LOADDRMASK above */ - printf(" uword64 mask = 0x7;\n"); -#else - printf(" uword64 mask = %d;\n",(proc64 ? 0x7 : 0x3)); -#endif - printf(" unsigned int byte;\n"); - printf(" paddr = ((paddr & ~mask) | ((paddr & mask) ^ (ReverseEndian << 2)));\n"); - printf(" byte = ((vaddr & mask) ^ (BigEndianCPU << 2));\n"); - if (insn->flags & COPROC) - printf(" memval = (((uword64)COP_SW(%s,%s)) << (8 * byte));\n", - ((insn->flags & REG) - ? "1" - : "((instruction >> 26) & 0x3)"), - ((insn->flags & FP) ? "fs" : "destreg")); - else - printf(" memval = ((uword64) op2 << (8 * byte));\n"); - } else if (datalen <= 8) { /* SD and SCD */ - if (! (features & FEATURE_IGEN)) - { - if (!(insn->flags & COPROC) && ((datalen == 8) || ((datalen == 4) & (insn->flags & UNSIGNED))) && !proc64) { - fprintf(stderr,"Operation not available with 32bit wide memory access \"%s\"\n",insn->name); - exit(4); - } - } - if (insn->flags & COPROC) - printf(" memval = (uword64)COP_SD(%s,%s);\n", - ((insn->flags & REG) - ? "1" - : "((instruction >> 26) & 0x3)"), - ((insn->flags & FP) ? "fs" : "destreg")); - else - printf(" memval = op2;\n"); - } else { /* wider than 8 */ - if (insn->flags & COPROC) { - fprintf(stderr,"COPROC not available for 128 bit operations \"%s\"\n",insn->name); - exit(4); - } - printf(" memval = rt_reg;\n"); - printf(" memval1 = rt_reg1;\n"); - } - - if (insn->flags & ATOMIC) - printf(" if (LLBIT)\n"); - - printf(" {\n"); - printf(" StoreMemory(uncached,%s,memval,memval1,paddr,vaddr,isREAL);\n",accesslength); - printf(" }\n"); - } - - if (insn->flags & ATOMIC) { - if ((datalen != 4) && (datalen != 8)) { - fprintf(stderr,"ATOMIC can only be applied to WORD and DOUBLEWORD instructions \"%s\"\n",insn->name); - exit(4); - } else - if (isload) - printf(" LLBIT = 1;\n"); - else { - /* The documentation states that: - - SC *WILL* fail if coherent store into the same - block occurs, or if an exception occurs between - the LL and SC instructions. - - SC *MAY* fail if a load, store or prefetch is - executed on the processor (VR4300 doesn't seem - to), or if the instructions between the LL and - SC are not in a 2048byte contiguous VM range. - - SC *MUST* have been preceded by an LL - (i.e. LLBIT will be set), and it must use the - same Vaddr, Paddr and cache-coherence algorithm - as the LL (which means we should store this - information from the load-conditional). - */ - printf(" GPR[(instruction >> %d) & 0x%08X] = LLBIT;\n",OP_SH_RT,OP_MASK_RT); - } - } - } - printf(" }\n"); - } - printf(" }\n"); - } - break ; - - case FPPREFX: - /* This code could be merged with the PREFIX generation above: */ - printf(" address_word vaddr = ((uword64)op1 + (uword64)op2);\n"); - printf(" address_word paddr;\n"); - printf(" int uncached;\n"); - printf(" if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))\n"); - printf(" Prefetch(uncached,paddr,vaddr,isDATA,fs);\n"); - break ; - - case FPMOVEC: - if (insn->flags & CONTROL) { - /* The following "magic" of interpreting the FP - control-register number would not be needed if we were not - trying to match our internal register numbers with those - used by GDB. */ - printf(" if (to) {\n"); - if (doisa < 4) { - printf(" if (fs == 0) {\n"); - printf(" PENDING_FILL((fs + FCR0IDX),WORD64LO(GPR[ft]));\n"); - printf(" } else if (fs == 31) {\n"); - printf(" PENDING_FILL((fs + FCR31IDX),WORD64LO(GPR[ft]));\n"); - printf(" } /* else NOP */\n"); - printf(" PENDING_FILL(COCIDX,0); /* special case */\n"); - } else { - printf(" if (fs == 0) {\n"); - printf(" FCR0 = WORD64LO(GPR[ft]);\n"); - printf(" } else if (fs == 31) {\n"); - printf(" FCR31 = WORD64LO(GPR[ft]);\n"); - printf(" } /* else NOP */\n"); - printf(" SETFCC(0,((FCR31 & (1 << 23)) ? 1 : 0)); /* COC[1] */\n"); - } - printf(" } else { /* control from */\n"); - if (doisa < 4) { - printf(" if (fs == 0) {\n"); - printf(" PENDING_FILL(ft,SIGNEXTEND(FCR0,32));\n"); - printf(" } else if (fs == 31) {\n"); - printf(" PENDING_FILL(ft,SIGNEXTEND(FCR31,32));\n"); - printf(" } /* else NOP */\n"); - } else { - printf(" if (fs == 0) {\n"); - printf(" GPR[ft] = SIGNEXTEND(FCR0,32);\n"); - printf(" } else if (fs == 31) {\n"); - printf(" GPR[ft] = SIGNEXTEND(FCR31,32);\n"); - printf(" } /* else NOP */\n"); - } - printf(" }\n"); - } else { - printf(" if (to) {\n"); - if (GETDATASIZEINSN(insn) == WORD) { - if (doisa < 4) { - printf(" if (SizeFGR() == 64) {\n"); - printf(" PENDING_FILL((fs + FGRIDX),(SET64HI(0xDEADC0DE) | WORD64LO(GPR[ft])));\n"); - printf(" } else { \n"); - printf(" PENDING_FILL((fs + FGRIDX),WORD64LO(GPR[ft]));\n"); - printf(" }\n"); - } else { - printf(" if (SizeFGR() == 64)\n"); - printf(" FGR[fs] = (SET64HI(0xDEADC0DE) | WORD64LO(GPR[ft]));\n"); - printf(" else\n"); - printf(" FGR[fs] = WORD64LO(GPR[ft]);\n"); - printf(" FPR_STATE[fs] = fmt_uninterpreted;\n"); - } - } else if (GETDATASIZEINSN(insn) == DOUBLEWORD) { - if (doisa < 4) { - printf(" if (SizeFGR() == 64) {\n"); - printf(" PENDING_FILL((fs + FGRIDX),GPR[ft]);\n"); - printf(" } else\n"); - printf(" if ((fs & 0x1) == 0)\n"); - printf(" {\n"); - printf(" PENDING_FILL(((fs + 1) + FGRIDX),WORD64HI(GPR[ft]));\n"); - printf(" PENDING_FILL((fs + FGRIDX),WORD64LO(GPR[ft]));\n"); - printf(" }\n"); - if (features & FEATURE_WARN_RESULT) { - printf(" else\n"); - printf(" UndefinedResult();\n"); - } - } else { - printf(" if (SizeFGR() == 64) {\n"); - printf(" FGR[fs] = GPR[ft];\n"); - printf(" FPR_STATE[fs] = fmt_uninterpreted;\n"); - printf(" } else\n"); - printf(" if ((fs & 0x1) == 0)\n"); - printf(" {\n"); - printf(" FGR[fs + 1] = WORD64HI(GPR[ft]);\n"); - printf(" FGR[fs] = WORD64LO(GPR[ft]);\n"); - printf(" FPR_STATE[fs + 1] = fmt_uninterpreted;\n"); - printf(" FPR_STATE[fs] = fmt_uninterpreted;\n"); - printf(" }\n"); - if (features & FEATURE_WARN_RESULT) { - printf(" else\n"); - printf(" UndefinedResult();\n"); - } - } - } else { - fprintf(stderr,"Invalid data width specified in FPU Move operation\n"); - exit(1); - } - printf(" } else {\n"); - if (GETDATASIZEINSN(insn) == WORD) { - if (doisa < 4) /* write-back occurs in next cycle */ - printf(" PENDING_FILL(ft,SIGNEXTEND(FGR[fs],32));\n"); - else /* in this cycle */ - printf(" GPR[ft] = SIGNEXTEND(FGR[fs],32);\n"); - } else if (GETDATASIZEINSN(insn) == DOUBLEWORD) { - if (doisa < 4) { - printf(" if (SizeFGR() == 64) {\n"); - printf(" PENDING_FILL(ft,FGR[fs]);\n"); - printf(" } else\n"); - printf(" if ((fs & 0x1) == 0) {\n"); - printf(" PENDING_FILL(ft,(SET64HI(FGR[fs+1]) | FGR[fs]));\n"); - printf(" } else {\n"); - printf(" PENDING_FILL(ft,SET64HI(0xDEADC0DE) | 0xBAD0BAD0);\n"); - if (features & FEATURE_WARN_RESULT) - printf(" UndefinedResult();\n"); - printf(" }\n"); - } else { - printf(" if (SizeFGR() == 64)\n"); - printf(" GPR[ft] = FGR[fs];\n"); - printf(" else\n"); - printf(" if ((fs & 0x1) == 0)\n"); - printf(" GPR[ft] = (SET64HI(FGR[fs + 1]) | FGR[fs]);\n"); - printf(" else {\n"); - printf(" GPR[ft] = (SET64HI(0xDEADC0DE) | 0xBAD0BAD0);\n"); - if (features & FEATURE_WARN_RESULT) - printf(" UndefinedResult();\n"); - printf(" }\n"); - } - } else { - fprintf(stderr,"Invalid data width specified in FPU Move operation\n"); - exit(1); - } - printf(" }\n"); - } - break ; - - case FPMOVE: - if (insn->flags & CONDITIONAL) { - if (insn->flags & INTEGER) { /* moving GPR - testing FGR */ - printf(" if (GETFCC(condition_code) == boolean)\n"); - printf(" GPR[destreg] = op1;\n"); - } else { - if (insn->flags & EQ) /* moving FGR - testing GPR */ - printf(" if (op2 %c= 0)\n",((insn->flags & NOT) ? '!' : '=')); - else - printf(" if (GETFCC(condition_code) == boolean)\n"); - printf(" StoreFPR(destreg,format,ValueFPR(fs,format));\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,ValueFPR(destreg,format));\n"); - } - } else { /* simple MOVE */ - printf(" StoreFPR(destreg,format,ValueFPR(fs,format));\n"); - } - break ; - - case FPNEG: - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,Negate(ValueFPR(fs,format),format));\n"); - break ; - - case FPABS: - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,AbsoluteValue(ValueFPR(fs,format),format));\n"); - break ; - - case FPDIV: - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,Divide(ValueFPR(fs,format),ValueFPR(ft,format),format));\n"); - break ; - - case FPMUL: - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,Multiply(ValueFPR(fs,format),ValueFPR(ft,format),format));\n"); - break ; - - case FPRECIP: - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,Recip(ValueFPR(fs,format),format));\n"); - break ; - - case FPSQRT: - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,%s(SquareRoot(ValueFPR(fs,format),format)%s));\n", - ((insn->flags & RECIP) ? "Recip" : ""), - ((insn->flags & RECIP) ? ",format" : "")); - break ; - - case FPCEIL: - case FPFLOOR: - case FPTRUNC: - case FPROUND: - { - char *op = ""; - char *type = ""; - - switch (insn->type) { - case FPCEIL: - op = "FP_RM_TOPINF"; - break; - case FPFLOOR: - op = "FP_RM_TOMINF"; - break; - case FPTRUNC: - op = "FP_RM_TOZERO"; - break; - case FPROUND: - op = "FP_RM_NEAREST"; - break; - default: - fprintf(stderr,"Error: Handled missing for FP reason code %d\n",insn->type); - exit(1); - } - - switch (GETDATASIZEINSN(insn)) { - case WORD : - type = "fmt_word"; - break; - case DOUBLEWORD : - type = "fmt_long"; - break; - default: - fprintf(stderr,"Error in instruction encoding table for FP %s operation (not WORD or DOUBLEWORD)\n",op); - exit(1); - } - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,%s,Convert(%s,ValueFPR(fs,format),format,%s));\n",type,op,type); - } - break ; - - case FPCONVERT: - { - char *type = ""; - switch (GETDATASIZEINSN(insn)) { - case SINGLE: - type = "fmt_single"; - break; - case DOUBLE: - type = "fmt_double"; - break; - case WORD: - type = "fmt_word"; - break; - case DOUBLEWORD: - type = "fmt_long"; - break; - default : - fprintf(stderr,"Error: Unknown data size %d in FPCONVERT instruction\n",GETDATASIZEINSN(insn)); - exit(1); - } - - /* Not all combinations of conversion are valid at the - moment: When converting to a fixed-point format, only - floating-point sources are allowed. */ - printf(" if ((format == %s) | %s)\n",type,((insn->flags & FIXED) ? "((format == fmt_long) || (format == fmt_word))": "0")); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,%s,Convert(GETRM(),ValueFPR(fs,format),format,%s));\n",type,type); - } - break ; - - case FPSUB: - if (insn->flags & MULTIPLY) { - char *type = ""; - switch (GETDATASIZEINSN(insn)) { - case SINGLE: - type = "fmt_single"; - break; - case DOUBLE: - type = "fmt_double"; - break; - default: - fprintf(stderr,"Error: Invalid data size %d for FPSUB operation\n",GETDATASIZEINSN(insn)); - exit(1); - } - if (insn->flags & NOT) - printf (" StoreFPR(destreg,%s,Negate(Sub(Multiply(ValueFPR(fs,%s),ValueFPR(ft,%s),%s),ValueFPR(fr,%s),%s),%s));\n", - type, type, type, type, type, type, type); - else - printf (" StoreFPR(destreg,%s,Sub(Multiply(ValueFPR(fs,%s),ValueFPR(ft,%s),%s),ValueFPR(fr,%s),%s));\n", - type, type, type, type, type, type); - } else { - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,Sub(ValueFPR(fs,format),ValueFPR(ft,format),format));\n"); - } - break ; - - case FPADD: - if (insn->flags & MULTIPLY) { - char *type = ""; - switch (GETDATASIZEINSN(insn)) { - case SINGLE: - type = "fmt_single"; - break; - case DOUBLE: - type = "fmt_double"; - break; - default: - fprintf(stderr,"Error: Invalid data size %d for FPADD operation in instruction table\n",GETDATASIZEINSN(insn)); - exit(1); - } - if (insn->flags & NOT) - printf (" StoreFPR(destreg,%s,Negate(Add(Multiply(ValueFPR(fs,%s),ValueFPR(ft,%s),%s),ValueFPR(fr,%s),%s),%s));\n", - type, type, type, type, type, type, type); - else - printf (" StoreFPR(destreg,%s,Add(Multiply(ValueFPR(fs,%s),ValueFPR(ft,%s),%s),ValueFPR(fr,%s),%s));\n", - type, type, type, type, type, type); - } else { - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf(" else\n"); - printf(" StoreFPR(destreg,format,Add(ValueFPR(fs,format),ValueFPR(ft,format),format));\n"); - } - break ; - - case FPCOMPARE: - /* For the MIPS I,II or III there *MUST* be at least one - instruction between the compare that sets a condition code - and the branch that tests it. NOTE: However the hardware - does not detect this condition. */ - /* Explicitly limit the operation to S and D formats: */ - printf(" if ((format != fmt_single) && (format != fmt_double))\n"); - printf(" SignalException(ReservedInstruction,instruction);\n") ; - printf(" else {\n"); - if (doisa < 4) { - printf(" if (condition_code != 0)\n"); - printf(" SignalException(ReservedInstruction,instruction);\n") ; - printf(" else\n"); - } - printf(" {\n"); - printf(" int ignore = 0;\n"); - printf(" int less = 0;\n"); - printf(" int equal = 0;\n"); - printf(" int unordered = 1;\n"); - printf(" uword64 ofs = ValueFPR(fs,format);\n"); - printf(" uword64 oft = ValueFPR(ft,format);\n"); - printf(" if (NaN(ofs,format) || NaN(oft,format)) {\n"); - printf(" if (FCSR & FP_ENABLE(IO)) {\n"); - printf(" FCSR |= FP_CAUSE(IO);\n"); - printf(" SignalExceptionFPE ();\n"); - printf(" ignore = 1;\n"); - printf(" }\n"); - printf(" } else {\n"); - printf(" less = Less(ofs,oft,format);\n"); - printf(" equal = Equal(ofs,oft,format);\n"); - printf(" unordered = 0;\n"); - printf(" }\n"); - printf(" if (!ignore) {\n"); - printf(" int condition = (((cmpflags & (1 << 2)) && less) || ((cmpflags & (1 << 1)) && equal) || ((cmpflags & (1 << 0)) && unordered));\n"); - printf(" SETFCC(condition_code,condition);\n"); - printf(" }\n"); - printf(" }\n"); - printf(" }\n"); - break ; - - case MADD: - { - char* pipeline = (insn->flags & PIPE1) ? "1" : ""; - int notsigned = (insn->flags & UNSIGNED); - char* prodtype = notsigned ? "uword64" : "word64"; - - printf("%s prod = (%s)WORD64(WORD64LO(HI%s),WORD64LO(LO%s)) + ((%s)%s(op1%s) * (%s)%s(op2%s));\n", - prodtype, prodtype, pipeline, pipeline, - prodtype, (notsigned ? "WORD64LO" : "SIGNEXTEND"), (notsigned ? "" : ",32"), - prodtype, (notsigned ? "WORD64LO" : "SIGNEXTEND"), (notsigned ? "" : ",32") - ); - printf("LO%s = SIGNEXTEND(prod,32);\n", pipeline ); - printf("HI%s = SIGNEXTEND( WORD64HI(prod), 32);\n", pipeline ); - printf("if( destreg != 0 ) GPR[destreg] = LO%s;\n", pipeline ); - break; - } - -/* start-sanitize-r5900 */ - case MxSA: - { - if (insn->flags & TO) - printf("SA = op1;\n"); - else - printf("GPR[destreg] = SA;\n"); - break; - } - - case MTSAB: - printf("SA = ((op1 & 0xF) ^ (op2 & 0xF)) * 8;\n"); - break; - - case MTSAH: - printf("SA = ((op1 & 0x7) ^ (op2 & 0x7)) * 16;\n"); - break; - - case QFSRV: - printf("int bytes = (SA / 8) %% 16;\n"); /* mod 16 to avoid garbage */ - printf("if (SA %% 8)\n"); - printf(" SignalException(ReservedInstruction,instruction);\n"); - printf("else\n"); - printf(" {\n"); - printf(" int i;\n"); - printf(" for(i=0;i<(16-bytes);i++)\n"); - printf(" GPR_SB(destreg,i) = RT_SB(bytes+i);\n"); - printf(" for(;i<16;i++)\n"); - printf(" GPR_SB(destreg,i) = RS_SB(i-(16-bytes));\n"); - printf(" }\n"); - break; - - case PADD: - { - char* op = (insn->flags & SUBTRACT) ? "-" : "+"; - char* name = name_for_data_len( insn ); - char* letter = letter_for_data_len( insn ); - - char* tmptype; - char* maximum; - char* maxsat; - char* minimum; - char* signletter; - - if ( insn->flags & UNSIGNED ) - { - tmptype = type_for_data_len( insn, 0/*unsigned*/ ); - signletter = "U"; - maximum = umax_for_data_len( insn ); - maxsat = (insn->flags & SUBTRACT) ? "0" : maximum; - minimum = 0; - } - else if ( insn->flags & SATURATE ) - { - tmptype = type_for_data_len( insn, 1/*signed*/ ); - signletter = "S"; - maximum = max_for_data_len( insn ); - maxsat = maximum; - minimum = min_for_data_len( insn ); - } - else - { - tmptype = type_for_data_len( insn, 1/*signed*/ ); - signletter = "S"; - maximum = 0; - maxsat = 0; - minimum = 0; - } - - printf(" int i;\n"); - printf(" for (i=0; i < %sS_IN_MMI_REGS; i++)\n", name ); - printf(" {\n"); - printf(" %s s = RS_%s%s(i);\n", tmptype, signletter, letter); - printf(" %s t = RT_%s%s(i);\n", tmptype, signletter, letter); - printf(" %s r = s %s t;\n", tmptype, op); - if ( maximum ) - { - printf(" if (r > %s)\n", maximum); - printf(" GPR_%s%s(destreg,i) = %s;\n", signletter, letter, maxsat ); - if ( minimum ) - { - printf(" else if (r < %s)\n", minimum); - printf(" GPR_%s%s(destreg,i) = %s;\n", signletter, letter, minimum ); - } - printf(" else\n"); - printf(" "); - } - printf(" GPR_%s%s(destreg,i) = r;\n", signletter, letter ); - printf(" }\n"); - break; - } - - case PMULTH: - { - char* op; - if ( insn->flags & SUBTRACT ) - op = "-"; - else if ( insn->flags & ADDITION ) - op = "+"; - else - op = ""; - - printf("GPR_SW(destreg,0) = LO_SW(0) %s= (RS_SH(0) * RT_SH(0));\n", op); - printf(" LO_SW(1) %s= (RS_SH(1) * RT_SH(1));\n", op); - printf("GPR_SW(destreg,1) = HI_SW(0) %s= (RS_SH(2) * RT_SH(2));\n", op); - printf(" HI_SW(1) %s= (RS_SH(3) * RT_SH(3));\n", op); - printf("GPR_SW(destreg,2) = LO_SW(2) %s= (RS_SH(4) * RT_SH(4));\n", op); - printf(" LO_SW(3) %s= (RS_SH(5) * RT_SH(5));\n", op); - printf("GPR_SW(destreg,3) = HI_SW(2) %s= (RS_SH(6) * RT_SH(6));\n", op); - printf(" HI_SW(3) %s= (RS_SH(7) * RT_SH(7));\n", op); - break; - } - - case PMULTW: - { - char* op; - char* sign = (insn->flags & UNSIGNED) ? "U" : "S"; - char* prodtype = (insn->flags & UNSIGNED) ? "unsigned64" : "signed64"; - char* constructor = (insn->flags & UNSIGNED) ? "UWORD64" : "WORD64"; - - if ( insn->flags & SUBTRACT ) - { - op = "-"; - printf(" %s sum0 = %s( HI_SW(0), LO_SW(0) );\n", prodtype, constructor ); - printf(" %s sum1 = %s( HI_SW(2), LO_SW(2) );\n", prodtype, constructor ); - } - else if ( insn->flags & ADDITION ) - { - op = "+"; - printf(" %s sum0 = %s( HI_SW(0), LO_SW(0) );\n", prodtype, constructor ); - printf(" %s sum1 = %s( HI_SW(2), LO_SW(2) );\n", prodtype, constructor ); - } - else - { - op = ""; - printf(" %s sum0 = 0;\n", prodtype ); - printf(" %s sum1 = 0;\n", prodtype ); - } - - printf(" %s prod0 = (%s)RS_%sW(0) * (%s)RT_%sW(0);\n", prodtype, prodtype, sign, prodtype, sign ); - printf(" %s prod1 = (%s)RS_%sW(2) * (%s)RT_%sW(2);\n", prodtype, prodtype, sign, prodtype, sign ); - - printf(" sum0 %s= prod0;\n", op ); - printf(" sum1 %s= prod1;\n", op ); - - printf(" GPR_%sD(destreg,0) = sum0;\n", sign ); - printf(" GPR_%sD(destreg,1) = sum1;\n", sign ); - - printf(" LO = SIGNEXTEND( sum0, 32 );\n"); - printf(" HI = SIGNEXTEND( WORD64HI(sum0), 32 );\n"); - printf(" LO1 = SIGNEXTEND( sum1, 32 );\n"); - printf(" HI1 = SIGNEXTEND( WORD64HI(sum1), 32 );\n"); - break; - } - - case PDIVW: - { - char* sign = (insn->flags & UNSIGNED) ? "U" : "S"; - int i; - for (i = 0; i < 2; i ++) - { - char hi = (i == 0 ? ' ' : '1'); - int d = i * 2; - if (! (insn->flags & UNSIGNED)) - { - printf("if (RT_SW(%d) == -1)\n", d ); - printf(" {\n"); - printf(" LO%c = -RS_%sW(%d);\n", hi, sign, d ); - printf(" HI%c = 0;\n", hi ); - printf(" }\nelse "); - }; - printf("if (RT_UW(%d) != 0)\n", d ); - printf(" {\n"); - printf(" LO%c = (signed32)(RS_%sW(%d) / RT_%sW(%d));\n", hi, sign, d, sign, d ); - printf(" HI%c = (signed32)(RS_%sW(%d) %% RT_%sW(%d));\n", hi, sign, d, sign, d ); - printf(" }\n"); - } - break; - } - - case PDIVBW: - printf("signed32 devisor = RT_SH(0);\n"); - printf("if (devisor == -1)\n"); - printf(" {\n"); - printf(" LO_SW(0) = -RS_SW(0);\n"); - printf(" HI_SW(0) = 0;\n"); - printf(" LO_SW(1) = -RS_SW(1);\n"); - printf(" HI_SW(1) = 0;\n"); - printf(" LO_SW(2) = -RS_SW(2);\n"); - printf(" HI_SW(2) = 0;\n"); - printf(" LO_SW(3) = -RS_SW(3);\n"); - printf(" HI_SW(3) = 0;\n"); - printf(" }\n"); - printf("else if (devisor != 0)\n"); - printf(" {\n"); - printf(" LO_SW(0) = RS_SW(0) / devisor;\n"); - printf(" HI_SW(0) = SIGNEXTEND( (RS_SW(0) %% devisor), 16 );\n"); - printf(" LO_SW(1) = RS_SW(1) / devisor;\n"); - printf(" HI_SW(1) = SIGNEXTEND( (RS_SW(1) %% devisor), 16 );\n"); - printf(" LO_SW(2) = RS_SW(2) / devisor;\n"); - printf(" HI_SW(2) = SIGNEXTEND( (RS_SW(2) %% devisor), 16 );\n"); - printf(" LO_SW(3) = RS_SW(3) / devisor;\n"); - printf(" HI_SW(3) = SIGNEXTEND( (RS_SW(3) %% devisor), 16 );\n"); - printf(" }\n"); - break; - - case PADSBH: - printf("int i;\n"); - printf("for(i=0;iflags & SUBTRACT) ? "-" : "+"; - printf("GPR_SW(destreg,0) = LO_SW(0) = (RS_SH(1) * RT_SH(1)) %s (RS_SH(0) * RT_SH(0));\n", op ); - printf("GPR_SW(destreg,1) = HI_SW(0) = (RS_SH(3) * RT_SH(3)) %s (RS_SH(2) * RT_SH(2));\n", op ); - printf("GPR_SW(destreg,2) = LO_SW(2) = (RS_SH(5) * RT_SH(5)) %s (RS_SH(4) * RT_SH(4));\n", op ); - printf("GPR_SW(destreg,3) = HI_SW(2) = (RS_SH(7) * RT_SH(7)) %s (RS_SH(6) * RT_SH(6));\n", op ); - } - break; - - case PSHIFT: - { - char* name = name_for_data_len( insn ); - char* letter = letter_for_data_len( insn ); - char* bits = bits_for_data_len( insn ); - char* shift = (insn->flags & RIGHT) ? ">>" : "<<"; - char* sign = (insn->flags & ARITHMETIC) ? "S" : "U"; - - printf("int shift_by = op1 & (%s-1);\n", bits ); - printf("int i;\n"); - printf("for(i=0;i<%sS_IN_MMI_REGS;i++)\n", name ); - printf(" GPR_%s%s(destreg,i) = ", sign, letter ); - if ( insn->flags & ARITHMETIC ) - printf("SIGNEXTEND( "); - printf("(RT_%s%s(i) %s shift_by)", sign, letter, shift ); - if ( insn->flags & ARITHMETIC ) - printf(", (%s-shift_by) )", bits ); - printf(";\n"); - break; - } - - case PSLLVW: - printf("int s0 = (RS_UB(0) & 0x1F);\n"); - printf("int s1 = (RS_UB(8) & 0x1F);\n"); - printf("signed32 temp0 = RT_UW(0) << s0;\n"); - printf("signed32 temp1 = RT_UW(2) << s1;\n"); - printf("GPR_SD(destreg,0) = (signed64)temp0;\n"); - printf("GPR_SD(destreg,1) = (signed64)temp1;\n"); - break; - - case PSRLVW: - printf("GPR_UD(destreg,0) = SIGNEXTEND ( RT_UW(0) >> (RS_UB(0) & 0x1F), 31);\n"); - printf("GPR_UD(destreg,1) = SIGNEXTEND ( RT_UW(2) >> (RS_UB(8) & 0x1F), 31);\n"); - break; - - case PSRAVW: - printf("GPR_SD(destreg,0) = SIGNEXTEND( (RT_SW (0) >> (RS_UB(0) & 0x1F)), 32-(RS_UB(0) & 0x1F) );\n"); - printf("GPR_SD(destreg,1) = SIGNEXTEND( (RT_SW (2) >> (RS_UB(8) & 0x1F)), 32-(RS_UB(8) & 0x1F) );\n"); - break; - - case POP: - { - char* op1; - char* op2; - - if ( GET_OP_FROM_INSN(insn) == POP_AND ) - { - op1 = "&"; - op2 = ""; - } - else if ( GET_OP_FROM_INSN(insn) == POP_OR ) - { - op1 = "|"; - op2 = ""; - } - else if ( GET_OP_FROM_INSN(insn) == POP_NOR ) - { - op1 = "|"; - op2 = "~"; - } - else if ( GET_OP_FROM_INSN(insn) == POP_XOR ) - { - op1 = "^"; - op2 = ""; - } - - printf("int i;\n"); - printf("for(i=0;iflags & GT) ? ">" : "=="; - - printf("int i;\n"); - printf("for(i=0;i<%sS_IN_MMI_REGS;i++)\n", name ); - printf(" {\n"); - printf(" if (RS_S%s(i) %s RT_S%s(i)) GPR_S%s(destreg,i) = %s;\n", - letter, op, letter, letter, maximum ); - printf(" else GPR_S%s(destreg,i) = 0;\n", letter ); - printf(" }\n"); - break; - } - - case PMAXMIN: - { - char* name = name_for_data_len( insn ); - char* letter = letter_for_data_len( insn ); - char* op = (insn->flags & GT) ? ">" : "<"; - - printf("int i;\n"); - printf("for(i=0;i<%sS_IN_MMI_REGS;i++)\n", name ); - printf(" {\n"); - printf(" if (RS_S%s(i) %s RT_S%s(i)) GPR_S%s(destreg,i) = RS_S%s(i);\n", - letter, op, letter, letter, letter ); - printf(" else GPR_S%s(destreg,i) = RT_S%s(i);\n", letter, letter ); - printf(" }\n"); - break; - } - - case PABS: - { - char* name = name_for_data_len( insn ); - char* letter = letter_for_data_len( insn ); - char* min = min_for_data_len( insn ); - char* max = max_for_data_len( insn ); - - printf("int i;\n"); - printf("for(i=0;i<%sS_IN_MMI_REGS;i++)\n", name ); - printf(" {\n"); - printf(" if (RT_S%s(i) >= 0)\n", letter ); - printf(" GPR_S%s(destreg,i) = RT_S%s(i);\n", letter, letter ); - printf(" else if (RT_S%s(i) == %s)\n", letter, min ); - printf(" GPR_S%s(destreg,i) = %s;\n", letter, max ); - printf(" else\n"); - printf(" GPR_S%s(destreg,i) = -RT_S%s(i);\n", letter, letter ); - printf(" }\n"); - break; - } - - case PCPYH: - printf("GPR_UH(destreg,7) = GPR_UH(destreg,6) = GPR_UH(destreg,5) = GPR_UH(destreg,4) = RT_UH(4);\n"); - printf("GPR_UH(destreg,3) = GPR_UH(destreg,2) = GPR_UH(destreg,1) = GPR_UH(destreg,0) = RT_UH(0);\n"); - break; - - case PCPYLD: - printf("GPR_UD(destreg,0) = RT_UD(0);\n"); - printf("GPR_UD(destreg,1) = RS_UD(0);\n"); - break; - - case PCPYUD: - printf("GPR_UD(destreg,0) = RS_UD(1);\n"); - printf("GPR_UD(destreg,1) = RT_UD(1);\n"); - break; - - case PEXCH: - printf("GPR_UH(destreg,0) = RT_UH(0);\n"); - printf("GPR_UH(destreg,1) = RT_UH(2);\n"); - printf("GPR_UH(destreg,2) = RT_UH(1);\n"); - printf("GPR_UH(destreg,3) = RT_UH(3);\n"); - printf("GPR_UH(destreg,4) = RT_UH(4);\n"); - printf("GPR_UH(destreg,5) = RT_UH(6);\n"); - printf("GPR_UH(destreg,6) = RT_UH(5);\n"); - printf("GPR_UH(destreg,7) = RT_UH(7);\n"); - break; - - case PEXCW: - printf("GPR_UW(destreg,0) = RT_UW(0);\n"); - printf("GPR_UW(destreg,1) = RT_UW(2);\n"); - printf("GPR_UW(destreg,2) = RT_UW(1);\n"); - printf("GPR_UW(destreg,3) = RT_UW(3);\n"); - break; - - case PEXOH: - printf("GPR_UH(destreg,0) = RT_UH(2);\n"); - printf("GPR_UH(destreg,1) = RT_UH(1);\n"); - printf("GPR_UH(destreg,2) = RT_UH(0);\n"); - printf("GPR_UH(destreg,3) = RT_UH(3);\n"); - printf("GPR_UH(destreg,4) = RT_UH(6);\n"); - printf("GPR_UH(destreg,5) = RT_UH(5);\n"); - printf("GPR_UH(destreg,6) = RT_UH(4);\n"); - printf("GPR_UH(destreg,7) = RT_UH(7);\n"); - break; - - case PEXOW: - printf("GPR_UW(destreg,0) = RT_UW(2);\n"); - printf("GPR_UW(destreg,1) = RT_UW(1);\n"); - printf("GPR_UW(destreg,2) = RT_UW(0);\n"); - printf("GPR_UW(destreg,3) = RT_UW(3);\n"); - break; - - case PEXTLB: - printf("GPR_UB(destreg,0) = RT_UB(0);\n"); - printf("GPR_UB(destreg,1) = RS_UB(0);\n"); - printf("GPR_UB(destreg,2) = RT_UB(1);\n"); - printf("GPR_UB(destreg,3) = RS_UB(1);\n"); - printf("GPR_UB(destreg,4) = RT_UB(2);\n"); - printf("GPR_UB(destreg,5) = RS_UB(2);\n"); - printf("GPR_UB(destreg,6) = RT_UB(3);\n"); - printf("GPR_UB(destreg,7) = RS_UB(3);\n"); - printf("GPR_UB(destreg,8) = RT_UB(4);\n"); - printf("GPR_UB(destreg,9) = RS_UB(4);\n"); - printf("GPR_UB(destreg,10) = RT_UB(5);\n"); - printf("GPR_UB(destreg,11) = RS_UB(5);\n"); - printf("GPR_UB(destreg,12) = RT_UB(6);\n"); - printf("GPR_UB(destreg,13) = RS_UB(6);\n"); - printf("GPR_UB(destreg,14) = RT_UB(7);\n"); - printf("GPR_UB(destreg,15) = RS_UB(7);\n"); - break; - - case PEXTLH: - printf("GPR_UH(destreg,0) = RT_UH(0);\n"); - printf("GPR_UH(destreg,1) = RS_UH(0);\n"); - printf("GPR_UH(destreg,2) = RT_UH(1);\n"); - printf("GPR_UH(destreg,3) = RS_UH(1);\n"); - printf("GPR_UH(destreg,4) = RT_UH(2);\n"); - printf("GPR_UH(destreg,5) = RS_UH(2);\n"); - printf("GPR_UH(destreg,6) = RT_UH(3);\n"); - printf("GPR_UH(destreg,7) = RS_UH(3);\n"); - break; - - case PEXTLW: - printf("GPR_UW(destreg,0) = RT_UW(0);\n"); - printf("GPR_UW(destreg,1) = RS_UW(0);\n"); - printf("GPR_UW(destreg,2) = RT_UW(1);\n"); - printf("GPR_UW(destreg,3) = RS_UW(1);\n"); - break; - - case PEXTUB: - printf("GPR_UB(destreg,0) = RT_UB(8);\n"); - printf("GPR_UB(destreg,1) = RS_UB(8);\n"); - printf("GPR_UB(destreg,2) = RT_UB(9);\n"); - printf("GPR_UB(destreg,3) = RS_UB(9);\n"); - printf("GPR_UB(destreg,4) = RT_UB(10);\n"); - printf("GPR_UB(destreg,5) = RS_UB(10);\n"); - printf("GPR_UB(destreg,6) = RT_UB(11);\n"); - printf("GPR_UB(destreg,7) = RS_UB(11);\n"); - printf("GPR_UB(destreg,8) = RT_UB(12);\n"); - printf("GPR_UB(destreg,9) = RS_UB(12);\n"); - printf("GPR_UB(destreg,10) = RT_UB(13);\n"); - printf("GPR_UB(destreg,11) = RS_UB(13);\n"); - printf("GPR_UB(destreg,12) = RT_UB(14);\n"); - printf("GPR_UB(destreg,13) = RS_UB(14);\n"); - printf("GPR_UB(destreg,14) = RT_UB(15);\n"); - printf("GPR_UB(destreg,15) = RS_UB(15);\n"); - break; - - case PEXTUH: - printf("GPR_UH(destreg,0) = RT_UH(4);\n"); - printf("GPR_UH(destreg,1) = RS_UH(4);\n"); - printf("GPR_UH(destreg,2) = RT_UH(5);\n"); - printf("GPR_UH(destreg,3) = RS_UH(5);\n"); - printf("GPR_UH(destreg,4) = RT_UH(6);\n"); - printf("GPR_UH(destreg,5) = RS_UH(6);\n"); - printf("GPR_UH(destreg,6) = RT_UH(7);\n"); - printf("GPR_UH(destreg,7) = RS_UH(7);\n"); - break; - - case PEXTUW: - printf("GPR_UW(destreg,0) = RT_UW(2);\n"); - printf("GPR_UW(destreg,1) = RS_UW(2);\n"); - printf("GPR_UW(destreg,2) = RT_UW(3);\n"); - printf("GPR_UW(destreg,3) = RS_UW(3);\n"); - break; - - case PPACB: - printf("GPR_UB(destreg,0) = RT_UB(0);\n"); - printf("GPR_UB(destreg,1) = RT_UB(2);\n"); - printf("GPR_UB(destreg,2) = RT_UB(4);\n"); - printf("GPR_UB(destreg,3) = RT_UB(6);\n"); - printf("GPR_UB(destreg,4) = RT_UB(8);\n"); - printf("GPR_UB(destreg,5) = RT_UB(10);\n"); - printf("GPR_UB(destreg,6) = RT_UB(12);\n"); - printf("GPR_UB(destreg,7) = RT_UB(14);\n"); - printf("GPR_UB(destreg,8) = RS_UB(0);\n"); - printf("GPR_UB(destreg,9) = RS_UB(2);\n"); - printf("GPR_UB(destreg,10) = RS_UB(4);\n"); - printf("GPR_UB(destreg,11) = RS_UB(6);\n"); - printf("GPR_UB(destreg,12) = RS_UB(8);\n"); - printf("GPR_UB(destreg,13) = RS_UB(10);\n"); - printf("GPR_UB(destreg,14) = RS_UB(12);\n"); - printf("GPR_UB(destreg,15) = RS_UB(14);\n"); - break; - - case PPACH: - printf("GPR_UH(destreg,0) = RT_UH(0);\n"); - printf("GPR_UH(destreg,1) = RT_UH(2);\n"); - printf("GPR_UH(destreg,2) = RT_UH(4);\n"); - printf("GPR_UH(destreg,3) = RT_UH(6);\n"); - printf("GPR_UH(destreg,4) = RS_UH(0);\n"); - printf("GPR_UH(destreg,5) = RS_UH(2);\n"); - printf("GPR_UH(destreg,6) = RS_UH(4);\n"); - printf("GPR_UH(destreg,7) = RS_UH(6);\n"); - break; - - case PPACW: - printf("GPR_UW(destreg,0) = RT_UW(0);\n"); - printf("GPR_UW(destreg,1) = RT_UW(2);\n"); - printf("GPR_UW(destreg,2) = RS_UW(0);\n"); - printf("GPR_UW(destreg,3) = RS_UW(2);\n"); - break; - - case PREVH: - printf("GPR_UH(destreg,0) = RT_UH(3);\n"); - printf("GPR_UH(destreg,1) = RT_UH(2);\n"); - printf("GPR_UH(destreg,2) = RT_UH(1);\n"); - printf("GPR_UH(destreg,3) = RT_UH(0);\n"); - printf("GPR_UH(destreg,4) = RT_UH(7);\n"); - printf("GPR_UH(destreg,5) = RT_UH(6);\n"); - printf("GPR_UH(destreg,6) = RT_UH(5);\n"); - printf("GPR_UH(destreg,7) = RT_UH(4);\n"); - break; - - case PROT3W: - printf("GPR_UW(destreg,0) = RT_UW(0);\n"); - printf("GPR_UW(destreg,1) = RT_UW(3);\n"); - printf("GPR_UW(destreg,2) = RT_UW(1);\n"); - printf("GPR_UW(destreg,3) = RT_UW(2);\n"); - break; - - case PINTH: - printf("GPR_UH(destreg,0) = RT_UH(0);\n"); - printf("GPR_UH(destreg,1) = RS_UH(4);\n"); - printf("GPR_UH(destreg,2) = RT_UH(1);\n"); - printf("GPR_UH(destreg,3) = RS_UH(5);\n"); - printf("GPR_UH(destreg,4) = RT_UH(2);\n"); - printf("GPR_UH(destreg,5) = RS_UH(6);\n"); - printf("GPR_UH(destreg,6) = RT_UH(3);\n"); - printf("GPR_UH(destreg,7) = RS_UH(7);\n"); - break; - - case PINTOH: - printf("GPR_UH(destreg,0) = RT_UH(0);\n"); - printf("GPR_UH(destreg,1) = RS_UH(0);\n"); - printf("GPR_UH(destreg,2) = RT_UH(2);\n"); - printf("GPR_UH(destreg,3) = RS_UH(2);\n"); - printf("GPR_UH(destreg,4) = RT_UH(4);\n"); - printf("GPR_UH(destreg,5) = RS_UH(4);\n"); - printf("GPR_UH(destreg,6) = RT_UH(6);\n"); - printf("GPR_UH(destreg,7) = RS_UH(6);\n"); - break; - - case PMXX: /* Parallel move HI or LO / TO or FROM */ - { - if ( (insn->flags & (HI|FROM)) == (HI|FROM) ) - { - printf("GPR_SD(destreg,0) = HI;\n"); - printf("GPR_SD(destreg,1) = HI1;\n"); - } - else if ( (insn->flags & (LO|FROM)) == (LO|FROM) ) - { - printf("GPR_SD(destreg,0) = LO;\n"); - printf("GPR_SD(destreg,1) = LO1;\n"); - } - else if ( (insn->flags & (HI|TO)) == (HI|TO) ) - { - printf("HI = RS_SD(0);\n"); - printf("HI1 = RS_SD(1);\n"); - } - else if ( (insn->flags & (LO|TO)) == (LO|TO) ) - { - printf("LO = RS_SD(0);\n"); - printf("LO1 = RS_SD(1);\n"); - } - break; - } - - case PMTHL: - printf("LO_UW(0) = RS_UW(0);\n"); - printf("HI_UW(0) = RS_UW(1);\n"); - printf("LO_UW(2) = RS_UW(2);\n"); - printf("HI_UW(2) = RS_UW(3);\n"); - break; - - case PMFHL: - printf("if (op1 == 0)\n"); - printf(" {\n"); - printf(" GPR_UW(destreg,0) = LO_UW(0);\n"); - printf(" GPR_UW(destreg,1) = HI_UW(0);\n"); - printf(" GPR_UW(destreg,2) = LO_UW(2);\n"); - printf(" GPR_UW(destreg,3) = HI_UW(2);\n"); - printf(" }\n"); - printf("else if (op1 == 1)\n"); - printf(" {\n"); - printf(" GPR_UW(destreg,0) = LO_UW(1);\n"); - printf(" GPR_UW(destreg,1) = HI_UW(1);\n"); - printf(" GPR_UW(destreg,2) = LO_UW(3);\n"); - printf(" GPR_UW(destreg,3) = HI_UW(3);\n"); - printf(" }\n"); - printf("else if (op1 == 2)\n"); - printf(" {\n"); - printf(" /* NOTE: This code implements a saturate according to the\n"); - printf(" figure on page B-115 and not according to the\n"); - printf(" definition on page B-113 */\n"); - printf(" signed64 t = ((unsigned64)HI_UW(0) << 32) | (unsigned64)LO_UW(0);\n"); - printf(" signed64 u = ((unsigned64)HI_UW(2) << 32) | (unsigned64)LO_UW(2);\n"); - printf(" if ( t > SIGNED64 (0x000000007FFFFFFF) )\n"); - printf(" GPR_SD(destreg,0) = SIGNED64 (0x000000007FFFFFFF);\n"); - printf(" else if ( t < - SIGNED64 (0x0000000080000000) )\n"); - printf(" GPR_SD(destreg,0) = - SIGNED64 (0x0000000080000000);\n"); - printf(" else\n"); - printf(" GPR_SD(destreg,0) = t;\n"); - printf(" if ( u > SIGNED64 (0x000000007FFFFFFF) )\n"); - printf(" GPR_SD(destreg,1) = SIGNED64 (0x000000007FFFFFFF);\n"); - printf(" else if ( u < - SIGNED64 (0x0000000080000000) )\n"); - printf(" GPR_SD(destreg,1) = - SIGNED64 (0x0000000080000000);\n"); - printf(" else\n"); - printf(" GPR_SD(destreg,1) = u;\n"); - printf(" }\n"); - printf("else if (op1 == 3)\n"); - printf(" {\n"); - printf(" GPR_UH(destreg,0) = LO_UH(0);\n"); - printf(" GPR_UH(destreg,1) = LO_UH(2);\n"); - printf(" GPR_UH(destreg,2) = HI_UH(0);\n"); - printf(" GPR_UH(destreg,3) = HI_UH(2);\n"); - printf(" GPR_UH(destreg,4) = LO_UH(4);\n"); - printf(" GPR_UH(destreg,5) = LO_UH(6);\n"); - printf(" GPR_UH(destreg,6) = HI_UH(4);\n"); - printf(" GPR_UH(destreg,7) = HI_UH(6);\n"); - printf(" }\n"); - printf("else if (op1 == 4)\n"); - printf(" {\n"); - printf(" if (LO_SW(0) > 0x7FFF)\n"); - printf(" GPR_UH(destreg,0) = 0x7FFF;\n"); - printf(" else if (LO_SW(0) < -0x8000)\n"); - printf(" GPR_UH(destreg,0) = 0x8000;\n"); - printf(" else\n"); - printf(" GPR_UH(destreg,0) = LO_UH(0);\n"); - - printf(" if (LO_SW(1) > 0x7FFF)\n"); - printf(" GPR_UH(destreg,1) = 0x7FFF;\n"); - printf(" else if (LO_SW(1) < -0x8000)\n"); - printf(" GPR_UH(destreg,1) = 0x8000;\n"); - printf(" else\n"); - printf(" GPR_UH(destreg,1) = LO_UH(2);\n"); - - printf(" if (HI_SW(0) > 0x7FFF)\n"); - printf(" GPR_UH(destreg,2) = 0x7FFF;\n"); - printf(" else if (HI_SW(0) < -0x8000)\n"); - printf(" GPR_UH(destreg,2) = 0x8000;\n"); - printf(" else\n"); - printf(" GPR_UH(destreg,2) = HI_UH(0);\n"); - - printf(" if (HI_SW(1) > 0x7FFF)\n"); - printf(" GPR_UH(destreg,3) = 0x7FFF;\n"); - printf(" else if (HI_SW(1) < -0x8000)\n"); - printf(" GPR_UH(destreg,3) = 0x8000;\n"); - printf(" else\n"); - printf(" GPR_UH(destreg,3) = HI_UH(2);\n"); - - printf(" if (LO_SW(2) > 0x7FFF)\n"); - printf(" GPR_UH(destreg,4) = 0x7FFF;\n"); - printf(" else if (LO_SW(2) < -0x8000)\n"); - printf(" GPR_UH(destreg,4) = 0x8000;\n"); - printf(" else\n"); - printf(" GPR_UH(destreg,4) = LO_UH(4);\n"); - - printf(" if (LO_SW(3) > 0x7FFF)\n"); - printf(" GPR_UH(destreg,5) = 0x7FFF;\n"); - printf(" else if (LO_SW(3) < -0x8000)\n"); - printf(" GPR_UH(destreg,5) = 0x8000;\n"); - printf(" else\n"); - printf(" GPR_UH(destreg,5) = LO_UH(6);\n"); - - printf(" if (HI_SW(2) > 0x7FFF)\n"); - printf(" GPR_UH(destreg,6) = 0x7FFF;\n"); - printf(" else if (HI_SW(2) < -0x8000)\n"); - printf(" GPR_UH(destreg,6) = 0x8000;\n"); - printf(" else\n"); - printf(" GPR_UH(destreg,6) = HI_UH(4);\n"); - - printf(" if (HI_SW(3) > 0x7FFF)\n"); - printf(" GPR_UH(destreg,7) = 0x7FFF;\n"); - printf(" else if (HI_SW(3) < -0x8000)\n"); - printf(" GPR_UH(destreg,7) = 0x8000;\n"); - printf(" else\n"); - printf(" GPR_UH(destreg,7) = HI_UH(6);\n"); - - printf(" }\n"); - break; - - case PLZCW: - printf("unsigned long value;\n"); - printf("int test;\n"); - printf("int count;\n"); - printf("int i;\n"); - - printf("value = RS_UW(0);\n"); - printf("count = 0;\n"); - printf("test = !!(value & (1 << 31));\n"); - printf("for(i=30; i>=0 && (test == !!(value & (1 << i))); i--)\n"); - printf(" count++;\n"); - printf("GPR_UW(destreg,0) = count;\n"); - - printf("value = RS_UW(1);\n"); - printf("count = 0;\n"); - printf("test = !!(value & (1 << 31));\n"); - printf("for(i=30; i>=0 && (test == !!(value & (1 << i))); i--)\n"); - printf(" count++;\n"); - printf("GPR_UW(destreg,1) = count;\n"); - break; - - case PEXT5: - printf("int i;\n"); - printf("for(i=0;i> (31 - 15)) \n"); - printf(" | ((x & (31 << 19)) >> (19 - 10)) \n"); - printf(" | ((x & (31 << 11)) >> (11 - 5)) \n"); - printf(" | ((x & (31 << 3)) >> (3 - 0)); \n"); - printf(" }\n"); - break; -/* end-sanitize-r5900 */ - - case NYI: - fprintf(stderr,"Warning: Unimplemented opcode: %s\n",insn->name) ; - - printf("SignalException(ReservedInstruction,instruction);\n"); - break; - - default: - fprintf(stderr,"Unrecognised opcode type %d\n",insn->type) ; - exit(6) ; - } -} - -/*---------------------------------------------------------------------------*/ - -/* The command-line feature controls are presented in a similar style - to those offered by GCC, in the aim of providing a consistent - interface to the user. */ -typedef enum { - T_NONE, /* no argument - mask and value fields control "feature" definition */ - T_NUM, /* numeric argument - optionally preceded by '=' - mask field defines maximum value */ - T_STRING /* string argument - optionally prcededed by '=' */ -} mactypes; - -struct { - char *name; - mactypes type; - unsigned int mask; - unsigned int value; - char *desc; -} machine_options[] = { - {"ips", T_NUM, MASK_ISA,0,"\tSelect MIPS ISA version"}, - {"cpu", T_STRING,0,0,"\t\tSelect particular MIPS architecture"}, - {"gp64", T_NONE, FEATURE_GP64,FEATURE_GP64,"\t\t\tSelect 64bit GP registers"}, - {"gp32", T_NONE, FEATURE_GP64,0,"\t\t\tSelect 32bit GP registers"}, - {"no-fp", T_NONE, FEATURE_HASFPU,0,"\t\tDisable FP simulation"}, - {"single-float",T_NONE, (FEATURE_FPSINGLE | FEATURE_HASFPU),(FEATURE_FPSINGLE | FEATURE_HASFPU),"\t\tSelect single precision only FPU"}, - {"double-float",T_NONE, (FEATURE_FPSINGLE | FEATURE_HASFPU),FEATURE_HASFPU,"\t\tSelect double precision FPU"}, - {0, T_NONE, 0,0} -}; - -/* The following architecture identies are those accepted by the "-mcpu" option: */ -struct architectures { - const char *name; /* ASCII string identifier for command-line, no white-space allowed */ - unsigned int idflag; /* or-ed into "isa" value */ -}; - -static const struct architectures available_architectures[] = { - {"4100",ARCH_VR4100}, /* NEC MIPS VR4100 */ - {"3900",ARCH_R3900}, /* Toshiba R3900 (TX39) */ - /* start-sanitize-tx49 */ - {"4900",ARCH_R4900}, /* Toshiba R4900 (TX49) */ - /* end-sanitize-tx49 */ - /* start-sanitize-tx19 */ - {"1900",ARCH_R3900}, /* Toshiba R1900 (TX19) */ - /* end-sanitize-tx19 */ - /* start-sanitize-r5900 */ - {"5900",ARCH_R5900}, - /* end-sanitize-r5900 */ - {0, 0} /* terminator */ -}; - -/*---------------------------------------------------------------------------*/ - -static void -usage(name) - char *name; -{ - int loop; - - fprintf(stderr,"%s: Construct a MIPS simulator engine.\n",name); - - fprintf(stderr,"\ -The output of this program is a block of 'C' code designed to be\n\ -included into the main simulation control loop of a device specific\n\ -simulator.\n"); - - fprintf(stderr,"\nOptions:\n"); - fprintf(stderr," -h --help\t\tProvide this help text\n"); - fprintf(stderr," -f --fast\t\tProvide the fastest possible engine (i.e. no statistics)\n"); - fprintf(stderr," -w --warnings\t\tEnable all the simulator engine warnings\n"); - - for (loop = 0; (machine_options[loop].name != 0); loop++) { - fprintf(stderr," -m%s",machine_options[loop].name); - switch (machine_options[loop].type) { - case T_NUM : - fprintf(stderr,"N (range 0..%d)",machine_options[loop].mask); - case T_NONE : - break; - - case T_STRING : - fprintf(stderr,"=name"); - break; - - default : - fprintf(stderr,"%s: FATAL error: unrecognised machine option type ID %d\n",name,machine_options[loop].type); - exit(1); - } - fprintf(stderr,"%s\n",machine_options[loop].desc); - } - - fprintf(stderr,"\nAvailable \"-mcpu\" architectures: "); - for (loop = 0; (available_architectures[loop].name != 0); loop++) - fprintf(stderr,"%s ",available_architectures[loop].name); - fprintf(stderr,"\n\n"); - - fprintf(stderr,"\ -The \"trace\" and \"warnings\" options do not define the output stream.\n\ -They only inform the code that includes the constructed engine to provide\n\ -the required features.\n\n\ -The \"-mips0\" option forces the construction of a simulator supporting\n\ -the highest available MIPS ISA supported.\n"); - - return; -} - -/*---------------------------------------------------------------------------*/ - -int -main(argc,argv) - int argc; - char **argv; -{ - int c; - char *progname = argv[0]; - unsigned int doarch = DEF_ISA; - unsigned int features = 0; /* default state */ - - if (DEF_FP) - features |= FEATURE_HASFPU; - if (!DEF_PROC64) - features |= FEATURE_PROC32; - if (DEF_FPSINGLE) - features |= FEATURE_FPSINGLE; - - if (features & FEATURE_PROC32) - features &= ~FEATURE_GP64; - else - features |= FEATURE_GP64; - - while (1) { - int option_index = 0; - static struct option cmdline[] = { - {"fast", 0,0,'f'}, - {"help", 0,0,'h'}, - {"warnings",0,0,'w'}, - {"igen", 0,0,'i'}, - {0, 0,0,0} - }; - - c = getopt_long(argc,argv,"hm:tw",cmdline,&option_index); - if (c == -1) - break ; /* out of the while loop */ - - switch (c) { - case 'h' : /* help */ - usage(progname); - exit(0); - - case 'f' : /* fast */ - features |= FEATURE_FAST; - break; - - case 'i' : /* igen formatted output */ - features |= FEATURE_IGEN; - break; - - case 'w' : /* warnings */ - features |= FEATURE_WARNINGS; - /* TODO: Future extension: Allow better control over the warnings generated: - disable warnings -wnone ~FEATURE_WARNINGS - all possible warnings -wall FEATURE_WARNINGS - pipeline stall occuring -wstall FEATURE_WARN_STALL - LO/HI corruption -wlo or -whi or -wlohi or -whilo FEATURE_WARN_HILO - write to zero -wzero FEATURE_WARN_ZERO actually performed in external code - though we should set a manifest - bad r31 use -wr31 FEATURE_WARN_R31 - undefined results -wresult FEATURE_WARN_RESULT - */ - break; - - case 'm' : /* machine options */ - { - int loop; - - for (loop = 0; (machine_options[loop].name != 0); loop++) - if (strncmp(machine_options[loop].name,optarg,strlen(machine_options[loop].name)) == 0) { - char *loptarg = (optarg + strlen(machine_options[loop].name)); - switch (machine_options[loop].type) { - case T_NONE : - if (*loptarg) { - fprintf(stderr,"%s: Spurious characters \"%s\" at end of -m%s option\n",progname,loptarg,machine_options[loop].name); - exit(1); - } - features &= ~(machine_options[loop].mask); - features |= machine_options[loop].value; - break; - - case T_NUM : - if (*loptarg && *loptarg == '=') - loptarg++; - - if (strcmp(machine_options[loop].name,"ips") == 0) { - unsigned int num; - - if (!*loptarg) { - fprintf(stderr,"%s: ISA number expected after -mips\n",progname); - exit(1); - } - - num = my_strtoul(loptarg,&loptarg,10); - - if ((num == ULONG_MAX) && (errno = ERANGE)) { - fprintf(stderr,"%s: Invalid number given to -mips option\n",progname); - exit(1); - } - - if (*loptarg) { - fprintf(stderr,"%s: Spurious trailing characters after ISA number \"%s\"\n",progname,loptarg); - exit(1); - } - - if (num > MASK_ISA) { - fprintf(stderr,"%s: ISA number %d outside acceptable range (0..%d)\n",progname,num,MASK_ISA); - exit(1); - } - - doarch = ((doarch & ~MASK_ISA) | num); - if ((num == 0) || (num > 2)) { - if ((features & FEATURE_PROC32) || !(features & FEATURE_GP64)) - fprintf(stderr,"%s: Warning: -mips%d forcing -mgp64\n",progname,num); - features |= FEATURE_GP64; - features &= ~FEATURE_PROC32; - } else { - if (!(features & FEATURE_PROC32) || (features & FEATURE_GP64)) - fprintf(stderr,"%s: Warning: -mips%d forcing -mgp32\n",progname,num); - features &= ~FEATURE_GP64; - features |= FEATURE_PROC32; - } - } else { - fprintf(stderr,"%s: FATAL: Unrecognised (numeric) machine option -m%s\n",progname,optarg); - exit(1); - } - break; - - case T_STRING : - if (*loptarg && *loptarg == '=') - loptarg++; - - if (strcmp(machine_options[loop].name,"cpu") == 0) { - int archloop; - - if (!*loptarg) { - fprintf(stderr,"%s: Architecture identifier expected after -mcpu\n",progname); - exit(1); - } - - for (archloop = 0; (available_architectures[archloop].name != 0); archloop++) { - if ((*loptarg == 'v') || (*loptarg == 'V')) - loptarg++; - - if ((*loptarg == 'r') || (*loptarg == 'R')) - loptarg++; - - if (strcmp(available_architectures[archloop].name,loptarg) == 0) { - doarch |= available_architectures[archloop].idflag; - break; - } - } - - if (available_architectures[archloop].name == 0) { - fprintf(stderr,"%s: Unrecognised MIPS architecture \"%s\"\n",progname,loptarg); - exit(1); - } - } else { - fprintf(stderr,"%s: FATAL: Unrecognised (string) machine option -m%s\n",progname,optarg); - exit(1); - } - break; - - default : - fprintf(stderr,"%s: FATAL error: unrecognised machine option type ID %d\n",progname,machine_options[loop].type); - exit(1); - } - break; - } - - if (machine_options[loop].name == 0) { - fprintf(stderr,"%s: Unrecognised option: -m%s\n",progname,optarg); - exit(1); - } - } - break; - - case '?' : - /* An error message should already have been displayed */ - exit(1); - - default : - fprintf(stderr,"%s: FATAL: getopt returned unrecognised code 0x%08X\n",progname,c); - exit(1); - } - } - - if (optind < argc) { - fprintf(stderr,"%s: Spurios non-option arguments ",progname); - while (optind < argc) - fprintf(stderr,"\"%s\" ",argv[optind++]); - fprintf(stderr,"\n"); - exit(1); - } - - if ((features & FEATURE_FAST) && (features & FEATURE_WARNINGS)) - fprintf(stderr,"Warning: Fast model generation selected, along with trace or warnings.\n"); - - process_instructions(doarch,features) ; - return(0) ; -} - -/*---------------------------------------------------------------------------*/ - -/* We can't assume that the compiler for the build system has strtoul, - so we provide our own copy. */ - -/* - * Copyright (c) 1990 Regents of the University of California. - * All rights reserved. - * - * Redistribution and use in source and binary forms, with or without - * modification, are permitted provided that the following conditions - * are met: - * 1. Redistributions of source code must retain the above copyright - * notice, this list of conditions and the following disclaimer. - * 2. Redistributions in binary form must reproduce the above copyright - * notice, this list of conditions and the following disclaimer in the - * documentation and/or other materials provided with the distribution. - * 3. All advertising materials mentioning features or use of this software - * must display the following acknowledgement: - * This product includes software developed by the University of - * California, Berkeley and its contributors. - * 4. Neither the name of the University nor the names of its contributors - * may be used to endorse or promote products derived from this software - * without specific prior written permission. - * - * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND - * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE - * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE - * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE - * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL - * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS - * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) - * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT - * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY - * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF - * SUCH DAMAGE. - */ - -/* - * Convert a string to an unsigned long integer. - * - * Ignores `locale' stuff. Assumes that the upper and lower case - * alphabets and digits are each contiguous. - */ -static unsigned long -my_strtoul(nptr, endptr, base) - const char *nptr; - char **endptr; - register int base; -{ - register const char *s = nptr; - register unsigned long acc; - register int c; - register unsigned long cutoff; - register int neg = 0, any, cutlim; - - /* - * See strtol for comments as to the logic used. - */ - do { - c = *s++; - } while (isspace(c)); - if (c == '-') { - neg = 1; - c = *s++; - } else if (c == '+') - c = *s++; - if ((base == 0 || base == 16) && - c == '0' && (*s == 'x' || *s == 'X')) { - c = s[1]; - s += 2; - base = 16; - } - if (base == 0) - base = c == '0' ? 8 : 10; - cutoff = (unsigned long)ULONG_MAX / (unsigned long)base; - cutlim = (unsigned long)ULONG_MAX % (unsigned long)base; - for (acc = 0, any = 0;; c = *s++) { - if (isdigit(c)) - c -= '0'; - else if (isalpha(c)) - c -= isupper(c) ? 'A' - 10 : 'a' - 10; - else - break; - if (c >= base) - break; - if (any < 0 || acc > cutoff || (acc == cutoff && c > cutlim)) - any = -1; - else { - any = 1; - acc *= base; - acc += c; - } - } - if (any < 0) { - acc = ULONG_MAX; - errno = ERANGE; - } else if (neg) - acc = -acc; - if (endptr != 0) - *endptr = (char *) (any ? s - 1 : nptr); - return (acc); -} - -/*---------------------------------------------------------------------------*/ - -/*> EOF gencode.c <*/ -- cgit v1.1