/* Engine header for Cpu tools GENerated simulators.
- Copyright (C) 1998 Free Software Foundation, Inc.
+ Copyright (C) 1998, 1999 Free Software Foundation, Inc.
Contributed by Cygnus Support.
This file is part of GDB, the GNU debugger.
with this program; if not, write to the Free Software Foundation, Inc.,
59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
-/* This file must be included after eng.h and before ${cpu}.h. */
+/* This file must be included after eng.h and before ${cpu}.h.
+ ??? A lot of this could be moved to genmloop.sh to be put in eng.h
+ and thus remove some conditional compilation. Worth it? */
/* Semantic functions come in six versions on two axes:
fast/full-featured, and using one of the simple/scache/compilation engines.
/* FIXME: --enable-sim-fast not implemented yet. */
/* FIXME: undecided how to handle WITH_SCACHE_PBB. */
+/* There are several styles of engines, all generally supported by the
+ same code:
+
+ WITH_SCACHE && WITH_SCACHE_PBB - pseudo-basic-block scaching
+ WITH_SCACHE && !WITH_SCACHE_PBB - scaching on an insn by insn basis
+ !WITH_SCACHE - simple engine: fetch an insn, execute an insn
+
+ The !WITH_SCACHE case can also be broken up into two flavours:
+ extract the fields of the insn into an ARGBUF struct, or defer the
+ extraction to the semantic handler. The former can be viewed as the
+ WITH_SCACHE case with a cache size of 1 (thus there's no need for a
+ WITH_EXTRACTION macro). The WITH_SCACHE case always extracts the fields
+ into an ARGBUF struct. */
+
#ifndef CGEN_ENGINE_H
#define CGEN_ENGINE_H
>> ((sizeof (UINT) * 8) - (length)))
#define EXTRACT_LSB0_INT(val, total, start, length) \
-(((INT) (val) << ((sizeof (INT) * 8) - (start) - (length))) \
+(((INT) (val) << ((sizeof (INT) * 8) - (start) - 1)) \
>> ((sizeof (INT) * 8) - (length)))
#define EXTRACT_LSB0_UINT(val, total, start, length) \
-(((UINT) (val) << ((sizeof (UINT) * 8) - (start) - (length))) \
+(((UINT) (val) << ((sizeof (UINT) * 8) - (start) - 1)) \
>> ((sizeof (UINT) * 8) - (length)))
+\f
+/* Semantic routines. */
-#if CGEN_INSN_LSB0_P
+/* Type of the machine generated extraction fns. */
+/* ??? No longer used. */
+typedef void (EXTRACT_FN) (SIM_CPU *, IADDR, CGEN_INSN_INT, ARGBUF *);
-#define EXTRACT_INT(val, total, start, length) \
- EXTRACT_LSB0_INT ((val), (total), (start), (length))
-#define EXTRACT_UINT(val, total, start, length) \
- EXTRACT_LSB0_UINT ((val), (total), (start), (length))
+/* Type of the machine generated semantic fns. */
+#if WITH_SCACHE
+
+/* Instruction fields are extracted into ARGBUF before calling the
+ semantic routine. */
+#if HAVE_PARALLEL_INSNS && ! WITH_PARALLEL_GENWRITE
+typedef SEM_PC (SEMANTIC_FN) (SIM_CPU *, SEM_ARG, PAREXEC *);
#else
+typedef SEM_PC (SEMANTIC_FN) (SIM_CPU *, SEM_ARG);
+#endif
-#define EXTRACT_INT(val, total, start, length) \
- EXTRACT_MSB0_INT ((val), (total), (start), (length))
-#define EXTRACT_UINT(val, total, start, length) \
- EXTRACT_MSB0_UINT ((val), (total), (start), (length))
+#else
-#endif
-\f
-/* union sem */
+/* Result of semantic routines is a status indicator (wip). */
+typedef unsigned int SEM_STATUS;
-/* Types of the machine generated extract and semantic fns. */
-typedef void (EXTRACT_FN) (SIM_CPU *, PCADDR, insn_t, ARGBUF *);
-#if HAVE_PARALLEL_INSNS
-typedef SEM_PC (SEMANTIC_FN) (SIM_CPU *, SEM_ARG, PAREXEC *);
+/* Instruction fields are extracted by the semantic routine.
+ ??? TODO: multi word insns. */
+#if HAVE_PARALLEL_INSNS && ! WITH_PARALLEL_GENWRITE
+typedef SEM_STATUS (SEMANTIC_FN) (SIM_CPU *, SEM_ARG, PAREXEC *, CGEN_INSN_INT);
#else
-typedef SEM_PC (SEMANTIC_FN) (SIM_CPU *, SEM_ARG);
+typedef SEM_STATUS (SEMANTIC_FN) (SIM_CPU *, SEM_ARG, CGEN_INSN_INT);
+#endif
+
#endif
+/* In the ARGBUF struct, a pointer to the semantic routine for the insn. */
+
union sem {
#if ! WITH_SEM_SWITCH_FULL
SEMANTIC_FN *sem_full;
SEM_SET_FULL_CODE ((abuf), (idesc)); \
} while (0)
\f
+/* Return non-zero if IDESC is a conditional or unconditional CTI. */
+
#define IDESC_CTI_P(idesc) \
- ((CGEN_ATTR_BOOLS (CGEN_INSN_ATTRS ((idesc)->opcode)) \
+ ((CGEN_ATTR_BOOLS (CGEN_INSN_ATTRS ((idesc)->idata)) \
& (CGEN_ATTR_MASK (CGEN_INSN_COND_CTI) \
| CGEN_ATTR_MASK (CGEN_INSN_UNCOND_CTI))) \
!= 0)
+
+/* Return non-zero if IDESC is a skip insn. */
+
#define IDESC_SKIP_P(idesc) \
- ((CGEN_ATTR_BOOLS (CGEN_INSN_ATTRS ((idesc)->opcode)) \
+ ((CGEN_ATTR_BOOLS (CGEN_INSN_ATTRS ((idesc)->idata)) \
& CGEN_ATTR_MASK (CGEN_INSN_SKIP_CTI)) \
!= 0)
-/* These are used so that we can compile two copies of the semantic code,
- one with full feature support and one without that runs fast(er). */
-#define SEM_FN_NAME(cpu,fn) XCONCAT3 (cpu,_sem_,fn)
-#define SEMF_FN_NAME(cpu,fn) XCONCAT3 (cpu,_semf_,fn)
+/* Return pointer to ARGBUF given ptr to SCACHE. */
+#define SEM_ARGBUF(sem_arg) (& (sem_arg) -> argbuf)
+
+/* There are several styles of engines, all generally supported by the
+ same code:
+
+ WITH_SCACHE && WITH_SCACHE_PBB - pseudo-basic-block scaching
+ WITH_SCACHE && !WITH_SCACHE_PBB - scaching on an insn by insn basis
+ !WITH_SCACHE - simple engine: fetch an insn, execute an insn
+
+ ??? The !WITH_SCACHE case can also be broken up into two flavours:
+ extract the fields of the insn into an ARGBUF struct, or defer the
+ extraction to the semantic handler. The WITH_SCACHE case always
+ extracts the fields into an ARGBUF struct. */
#if WITH_SCACHE
#define CIA_ADDR(cia) (cia)
-/* semantics.c support */
-#define SEM_ARGBUF(sem_arg) (& (sem_arg) -> argbuf)
-#define SEM_INSN(sem_arg) shouldnt_be_used
-
#if WITH_SCACHE_PBB
/* Return the scache pointer of the current insn. */
#define SEM_SEM_ARG(vpc, sc) (vpc)
+
/* Return the virtual pc of the next insn to execute
- (assuming this isn't a cti). */
+ (assuming this isn't a cti or the branch isn't taken). */
#define SEM_NEXT_VPC(sem_arg, pc, len) ((sem_arg) + 1)
/* Update the instruction counter. */
#define PBB_UPDATE_INSN_COUNT(cpu,sc) \
(CPU_INSN_COUNT (cpu) += SEM_ARGBUF (sc) -> fields.chain.insn_count)
-/* Value for br_addr_ptr indicating branch wasn't taken. */
-#define SEM_BRANCH_UNTAKEN ((SEM_PC *) 0)
-/* Value for br_addr_ptr indicating branch was taken to uncacheable
- address (e.g. j reg). */
-#define SEM_BRANCH_UNCACHEABLE ((SEM_PC *) 1)
-
-/* Initialize next-pbb link for SEM_BRANCH_VIA_CACHE. */
-#define SEM_BRANCH_INIT_EXTRACT(abuf) \
-do { (abuf)->fields.cti.addr_cache = 0; } while (0)
-
/* Do not append a `;' to invocations of this.
- npc,npc_ptr are for communication between the cti insn and cti-chain. */
+ npc,br_type are for communication between the cti insn and cti-chain. */
#define SEM_BRANCH_INIT \
- PCADDR npc = 0; /* assign a value for -Wall */ \
- SEM_PC *npc_ptr = SEM_BRANCH_UNTAKEN;
+ IADDR npc = 0; /* assign a value for -Wall */ \
+ SEM_BRANCH_TYPE br_type = SEM_BRANCH_UNTAKEN;
+
/* SEM_IN_SWITCH is defined at the top of the mainloop.c files
generated by genmloop.sh. It exists so generated semantic code needn't
care whether it's being put in a switch or in a function. */
#define SEM_BRANCH_FINI(pcvar) \
do { \
pbb_br_npc = npc; \
- pbb_br_npc_ptr = npc_ptr; \
+ pbb_br_type = br_type; \
} while (0)
#else /* 1 semantic function per instruction */
#define SEM_BRANCH_FINI(pcvar) \
do { \
CPU_PBB_BR_NPC (current_cpu) = npc; \
- CPU_PBB_BR_NPC_PTR (current_cpu) = npc_ptr; \
+ CPU_PBB_BR_TYPE (current_cpu) = br_type; \
} while (0)
#endif
-/* Return address of cached branch address value. */
-#define SEM_BRANCH_ADDR_CACHE(sem_arg) \
- (& SEM_ARGBUF (sem_arg)->fields.cti.addr_cache)
-#define SEM_BRANCH_VIA_CACHE(cpu, sc, newval, pcvar, cachevarptr) \
+#define SEM_BRANCH_VIA_CACHE(cpu, sc, newval, pcvar) \
do { \
npc = (newval); \
- npc_ptr = (cachevarptr); \
+ br_type = SEM_BRANCH_CACHEABLE; \
} while (0)
+
#define SEM_BRANCH_VIA_ADDR(cpu, sc, newval, pcvar) \
do { \
npc = (newval); \
- npc_ptr = SEM_BRANCH_UNCACHEABLE; \
+ br_type = SEM_BRANCH_UNCACHEABLE; \
+} while (0)
+
+#define SEM_SKIP_COMPILE(cpu, sc, skip) \
+do { \
+ SEM_ARGBUF (sc) -> skip_count = (skip); \
+} while (0)
+
+#define SEM_SKIP_INSN(cpu, sc, vpcvar) \
+do { \
+ (vpcvar) += SEM_ARGBUF (sc) -> skip_count; \
} while (0)
#else /* ! WITH_SCACHE_PBB */
#define SEM_SEM_ARG(vpc, sc) (sc)
-#define SEM_NEXT_VPC(sem_arg, pc, len) ((pc) + (len))
-#define SEM_BRANCH_INIT_EXTRACT(abuf) do { } while (0)
+#define SEM_NEXT_VPC(sem_arg, pc, len) ((pc) + (len))
+/* ??? May wish to move taken_p out of here and make it explicit. */
#define SEM_BRANCH_INIT \
int taken_p = 0;
-#ifndef TARGET_SEM_BRANCH_FINI(pcvar, taken_p)
+
+#ifndef TARGET_SEM_BRANCH_FINI
#define TARGET_SEM_BRANCH_FINI(pcvar, taken_p)
#endif
#define SEM_BRANCH_FINI(pcvar) \
do { TARGET_SEM_BRANCH_FINI (pcvar, taken_p); } while (0)
-#define SEM_BRANCH_ADDR_CACHE(sem_arg) shouldnt_be_used
-#define SEM_BRANCH_VIA_CACHE(cpu, sc, newval, pcvar, cachevar) \
+#define SEM_BRANCH_VIA_CACHE(cpu, sc, newval, pcvar) \
do { \
(pcvar) = (newval); \
taken_p = 1; \
} while (0)
+
#define SEM_BRANCH_VIA_ADDR(cpu, sc, newval, pcvar) \
do { \
(pcvar) = (newval); \
#else /* ! WITH_SCACHE */
-#define CIA_ADDR(cia) (cia)
+/* This is the "simple" engine case. */
-/* semantics.c support */
-#define SEM_ARGBUF(sem_arg) (sem_arg)
-#define SEM_INSN(sem_arg) (SEM_ARGBUF (sem_arg) -> base_insn)
+#define CIA_ADDR(cia) (cia)
#define SEM_SEM_ARG(vpc, sc) (sc)
+
#define SEM_NEXT_VPC(sem_arg, pc, len) ((pc) + (len))
#define SEM_BRANCH_INIT \
int taken_p = 0;
-#ifndef TARGET_SEM_BRANCH_FINI
-#define TARGET_SEM_BRANCH_FINI(pcvar, taken_p)
-#endif
-#define SEM_BRANCH_FINI(pcvar) \
- do { TARGET_SEM_BRANCH_FINI (pcvar, taken_p); } while (0)
-#define SEM_BRANCH_ADDR_CACHE(sem_arg) shouldnt_be_used
-#define SEM_BRANCH_VIA_CACHE(cpu, abuf, newval, pcvar, cachevar) \
+#define SEM_BRANCH_VIA_CACHE(cpu, abuf, newval, pcvar) \
do { \
(pcvar) = (newval); \
taken_p = 1; \
} while (0)
+
#define SEM_BRANCH_VIA_ADDR(cpu, abuf, newval, pcvar) \
do { \
(pcvar) = (newval); \
taken_p = 1; \
} while (0)
+/* Finish off branch insns.
+ The target must define TARGET_SEM_BRANCH_FINI.
+ ??? This can probably go away when define-execute is finished. */
+#define SEM_BRANCH_FINI(pcvar, bool_attrs) \
+ do { TARGET_SEM_BRANCH_FINI ((pcvar), (bool_attrs), taken_p); } while (0)
+
+/* Finish off non-branch insns.
+ The target must define TARGET_SEM_NBRANCH_FINI.
+ ??? This can probably go away when define-execute is finished. */
+#define SEM_NBRANCH_FINI(pcvar, bool_attrs) \
+ do { TARGET_SEM_NBRANCH_FINI ((pcvar), (bool_attrs)); } while (0)
+
#endif /* ! WITH_SCACHE */
\f
+/* Instruction information. */
+
+/* Sanity check, at most one of these may be true. */
+#if WITH_PARALLEL_READ + WITH_PARALLEL_WRITE + WITH_PARALLEL_GENWRITE > 1
+#error "At most one of WITH_PARALLEL_{READ,WRITE,GENWRITE} can be true."
+#endif
+
+/* Compile time computable instruction data. */
+
+struct insn_sem {
+ /* The instruction type (a number that identifies each insn over the
+ entire architecture). */
+ CGEN_INSN_TYPE type;
+
+ /* Index in IDESC table. */
+ int index;
+
+ /* Semantic format number. */
+ int sfmt;
+
+#if HAVE_PARALLEL_INSNS && ! WITH_PARALLEL_ONLY
+ /* Index in IDESC table of parallel handler. */
+ int par_index;
+#endif
+
+#if WITH_PARALLEL_READ
+ /* Index in IDESC table of read handler. */
+ int read_index;
+#endif
+
+#if WITH_PARALLEL_WRITE
+ /* Index in IDESC table of writeback handler. */
+ int write_index;
+#endif
+};
+
+/* Entry in semantic function table.
+ This information is copied to the insn descriptor table at run-time. */
+
+struct sem_fn_desc {
+ /* Index in IDESC table. */
+ int index;
+
+ /* Function to perform the semantics of the insn. */
+ SEMANTIC_FN *fn;
+};
+
+/* Run-time computed instruction descriptor. */
+
+struct idesc {
+#if WITH_SEM_SWITCH_FAST
+#ifdef __GNUC__
+ void *sem_fast_lab;
+#else
+ /* nothing needed, switch's on `num' member */
+#endif
+#else
+ SEMANTIC_FN *sem_fast;
+#endif
+
+#if WITH_SEM_SWITCH_FULL
+#ifdef __GNUC__
+ void *sem_full_lab;
+#else
+ /* nothing needed, switch's on `num' member */
+#endif
+#else
+ SEMANTIC_FN *sem_full;
+#endif
+
+ /* Parallel support. */
+#if HAVE_PARALLEL_INSNS && (! WITH_PARALLEL_ONLY || (WITH_PARALLEL_ONLY && ! WITH_PARALLEL_GENWRITE))
+ /* Pointer to parallel handler if serial insn.
+ Pointer to readahead/writeback handler if parallel insn. */
+ struct idesc *par_idesc;
+#endif
+
+ /* Instruction number (index in IDESC table, profile table).
+ Also used to switch on in non-gcc semantic switches. */
+ int num;
+
+ /* Semantic format id. */
+ int sfmt;
+
+ /* instruction data (name, attributes, size, etc.) */
+ const CGEN_INSN *idata;
+
+ /* instruction attributes, copied from `idata' for speed */
+ const CGEN_INSN_ATTR_TYPE *attrs;
+
+ /* instruction length in bytes, copied from `idata' for speed */
+ int length;
+
+ /* profiling/modelling support */
+ const INSN_TIMING *timing;
+};
+\f
/* Tracing/profiling. */
/* Return non-zero if a before/after handler is needed.