haiku/buildtools
1
0
Fork 0
mirror of https://review.haiku-os.org/buildtools synced 2026-02-04 07:53:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Initial revision

Browse Source 
git-svn-id: file:///srv/svn/repos/haiku/trunk/buildtools@9568 a95241bf-73f2-0310-859d-f6bbb57e9c96
This commit is contained in:
Oliver Tappe
2004-10-28 17:57:26 +00:00
commit 0d415dc8a4
5932 changed files with 2246661 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

173
binutils/cpu/ChangeLog Normal file
View File

@@ -0,0 +1,173 @@
2004-01-14 Richard Sandiford <rsandifo@redhat.com>
* frv.cpu (UNIT): Add IACC.
(iacc-multiply-r-r): Use it.
* frv.opc (fr400_unit_mapping): Add entry for IACC.
(fr500_unit_mapping, fr550_unit_mapping): Likewise.
2004-01-06 Alexandre Oliva <aoliva@redhat.com>
2003-12-19 Alexandre Oliva <aoliva@redhat.com>
* frv.opc (parse_ulo16, parse_uhi16, parse_d12): Fix some
cut&paste errors in shifting/truncating numerical operands.
2003-08-08 Alexandre Oliva <aoliva@redhat.com>
* frv.opc (parse_ulo16): Parse gotofflo and gotofffuncdesclo.
(parse_uslo16): Likewise.
(parse_uhi16): Parse gotoffhi and gotofffuncdeschi.
(parse_d12): Parse gotoff12 and gotofffuncdesc12.
(parse_s12): Likewise.
2003-08-04 Alexandre Oliva <aoliva@redhat.com>
* frv.opc (parse_ulo16): Parse gotlo and gotfuncdesclo.
(parse_uslo16): Likewise.
(parse_uhi16): Parse gothi and gotfuncdeschi.
(parse_d12): Parse got12 and gotfuncdesc12.
(parse_s12): Likewise.
2003-10-10 Dave Brolley <brolley@redhat.com>
* frv.cpu (dnpmop): New p-macro.
(GRdoublek): Use dnpmop.
(CPRdoublek, FRdoublei, FRdoublej, FRdoublek): Ditto.
(store-double-r-r): Use (.sym regtype doublek).
(r-store-double): Ditto.
(store-double-r-r-u): Ditto.
(conditional-store-double): Ditto.
(conditional-store-double-u): Ditto.
(store-double-r-simm): Ditto.
(fmovs): Assign to UNIT FMALL.
2003-10-06 Dave Brolley <brolley@redhat.com>
* frv.cpu, frv.opc: Add support for fr550.
2003-09-24 Dave Brolley <brolley@redhat.com>
* frv.cpu (u-commit): New modelling unit for fr500.
(mwtaccg): Use frv_ref_SI to reference ACC40Sk as an input operand.
(commit-r): Use u-commit model for fr500.
(commit): Ditto.
(conditional-float-binary-op): Take profiling data as an argument.
Update callers.
(ne-float-binary-op): Ditto.
2003-09-19 Michael Snyder <msnyder@redhat.com>
* frv.cpu (nldqi): Delete unimplemented instruction.
2003-09-12 Dave Brolley <brolley@redhat.com>
* frv.cpu (u-clrgr, u-clrfr): New units of model fr500.
(clear-ne-flag-r): Pass insn profiling in as an argument. Call
frv_ref_SI to get input register referenced for profiling.
(clear-ne-flag-all): Pass insn profiling in as an argument.
(clrgr,clrfr,clrga,clrfa): Add profiling information.
2003-09-11 Michael Snyder <msnyder@redhat.com>
* frv.cpu: Typographical corrections.
2003-09-09 Dave Brolley <brolley@redhat.com>
* frv.cpu (media-dual-complex): Change UNIT to FMALL.
(conditional-media-dual-complex, media-quad-complex): Likewise.
2003-09-04 Dave Brolley <brolley@redhat.com>
* frv.cpu (register-transfer): Pass in all attributes in on argument.
Update all callers.
(conditional-register-transfer): Ditto.
(cache-preload): Ditto.
(floating-point-conversion): Ditto.
(floating-point-neg): Ditto.
(float-abs): Ditto.
(float-binary-op-s): Ditto.
(conditional-float-binary-op): Ditto.
(ne-float-binary-op): Ditto.
(float-dual-arith): Ditto.
(ne-float-dual-arith): Ditto.
2003-09-03 Dave Brolley <brolley@redhat.com>
* frv.opc (parse_A, parse_A0, parse_A1): New parse handlers.
* frv.cpu (UNIT): Add IALL, FMALL, FMLOW, STORE, SCAN, DCPL, MDUALACC,
MCLRACC-1.
(A): Removed operand.
(A0,A1): New operands replace operand A.
(mnop): Now a real insn
(mclracc): Removed insn.
(mclracc-0, mclracc-1): New insns replace mclracc.
(all insns): Use new UNIT attributes.
2003-08-21 Nick Clifton <nickc@redhat.com>
* frv.cpu (mbtoh): Replace input parameter to u-media-dual-expand
and u-media-dual-btoh with output parameter.
(cmbtoh): Add profiling hack.
2003-08-19 Michael Snyder <msnyder@redhat.com>
* frv.cpu: Fix typo, Frintkeven -> FRintkeven
2003-06-10 Doug Evans <dje@sebabeach.org>
* frv.cpu: Add IDOC attribute.
2003-06-06 Andrew Cagney <cagney@redhat.com>
Contributed by Red Hat.
* iq2000.cpu: New file. Written by Ben Elliston, Jeff Johnston,
Stan Cox, and Frank Ch. Eigler.
* iq2000.opc: New file. Written by Ben Elliston, Frank
Ch. Eigler, Chris Moller, Jeff Johnston, and Stan Cox.
* iq2000m.cpu: New file. Written by Jeff Johnston.
* iq10.cpu: New file. Written by Jeff Johnston.
2003-06-05 Nick Clifton <nickc@redhat.com>
* frv.cpu (FRintieven): New operand. An even-numbered only
version of the FRinti operand.
(FRintjeven): Likewise for FRintj.
(FRintkeven): Likewise for FRintk.
(mdcutssi, media-dual-word-rotate-r-r, mqsaths,
media-quad-arith-sat-semantics, media-quad-arith-sat,
conditional-media-quad-arith-sat, mdunpackh,
media-quad-multiply-semantics, media-quad-multiply,
conditional-media-quad-multiply, media-quad-complex-i,
media-quad-multiply-acc-semantics, media-quad-multiply-acc,
conditional-media-quad-multiply-acc, munpackh,
media-quad-multiply-cross-acc-semantics, mdpackh,
media-quad-multiply-cross-acc, mbtoh-semantics,
media-quad-cross-multiply-cross-acc-semantics,
media-quad-cross-multiply-cross-acc, mbtoh, mhtob-semantics,
media-quad-cross-multiply-acc-semantics, cmbtoh,
media-quad-cross-multiply-acc, media-quad-complex, mhtob,
media-expand-halfword-to-double-semantics, mexpdhd, cmexpdhd,
cmhtob): Use new operands.
* frv.opc (CGEN_VERBOSE_ASSEMBLER_ERRORS): Define.
(parse_even_register): New function.
2003-06-03 Nick Clifton <nickc@redhat.com>
* frv.cpu (media-dual-word-rotate-r-r): Use a signed 6-bit
immediate value not unsigned.
2003-06-03 Andrew Cagney <cagney@redhat.com>
Contributed by Red Hat.
* frv.cpu: New file. Written by Dave Brolley, Catherine Moore,
and Eric Christopher.
* frv.opc: New file. Written by Catherine Moore, and Dave
Brolley.
* simplify.inc: New file. Written by Doug Evans.
2003-05-02 Andrew Cagney <cagney@redhat.com>
* New file.
Local Variables:
mode: change-log
left-margin: 8
fill-column: 74
version-control: never
End:

8895
binutils/cpu/frv.cpu Normal file
View File

File diff suppressed because it is too large Load Diff

1544
binutils/cpu/frv.opc Normal file
View File

File diff suppressed because it is too large Load Diff

1111
binutils/cpu/iq10.cpu Normal file
View File

File diff suppressed because it is too large Load Diff

1199
binutils/cpu/iq2000.cpu Normal file
View File

File diff suppressed because it is too large Load Diff

324
binutils/cpu/iq2000.opc Normal file
View File

@@ -0,0 +1,324 @@
/* IQ2000 opcode support. -*- C -*-
Copyright 2000, 2001, 2002 Free Software Foundation, Inc.
Contributed by Red Hat Inc; developed under contract from Fujitsu.
This file is part of the GNU Binutils.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*/
/* This file is an addendum to iq2000.cpu. Heavy use of C code isn't
appropriate in .cpu files, so it resides here. This especially applies
to assembly/disassembly where parsing/printing can be quite involved.
Such things aren't really part of the specification of the cpu, per se,
so .cpu files provide the general framework and .opc files handle the
nitty-gritty details as necessary.
Each section is delimited with start and end markers.
<arch>-opc.h additions use: "-- opc.h"
<arch>-opc.c additions use: "-- opc.c"
<arch>-asm.c additions use: "-- asm.c"
<arch>-dis.c additions use: "-- dis.c"
<arch>-ibd.h additions use: "-- ibd.h"
*/
/* -- opc.h */
/* Allows reason codes to be output when assembler errors occur. */
#define CGEN_VERBOSE_ASSEMBLER_ERRORS
/* Override disassembly hashing - there are variable bits in the top
byte of these instructions. */
#define CGEN_DIS_HASH_SIZE 8
#define CGEN_DIS_HASH(buf,value) (((* (unsigned char*) (buf)) >> 6) % CGEN_DIS_HASH_SIZE)
/* following activates check beyond hashing since some iq2000 and iq10
instructions have same mnemonics but different functionality. */
#define CGEN_VALIDATE_INSN_SUPPORTED
extern int iq2000_cgen_insn_supported (CGEN_CPU_DESC cd, CGEN_INSN *insn);
/* -- asm.c */
static const char * parse_mimm PARAMS ((CGEN_CPU_DESC, const char **, int, long *));
static const char * parse_imm PARAMS ((CGEN_CPU_DESC, const char **, int, unsigned long *));
static const char * parse_hi16 PARAMS ((CGEN_CPU_DESC, const char **, int, unsigned long *));
static const char * parse_lo16 PARAMS ((CGEN_CPU_DESC, const char **, int, long *));
/* Special check to ensure that instruction exists for given machine */
int
iq2000_cgen_insn_supported (cd, insn)
CGEN_CPU_DESC cd;
CGEN_INSN *insn;
{
int machs = cd->machs;
return ((CGEN_INSN_ATTR_VALUE (insn, CGEN_INSN_MACH) & machs) != 0);
}
static int iq2000_cgen_isa_register (strp)
const char **strp;
{
int len;
int ch1, ch2;
if (**strp == 'r' || **strp == 'R')
{
len = strlen (*strp);
if (len == 2)
{
ch1 = (*strp)[1];
if ('0' <= ch1 && ch1 <= '9')
return 1;
}
else if (len == 3)
{
ch1 = (*strp)[1];
ch2 = (*strp)[2];
if (('1' <= ch1 && ch1 <= '2') && ('0' <= ch2 && ch2 <= '9'))
return 1;
if ('3' == ch1 && (ch2 == '0' || ch2 == '1'))
return 1;
}
}
if (**strp == '%' && tolower((*strp)[1]) != 'l' && tolower((*strp)[1]) != 'h')
return 1;
return 0;
}
/* Handle negated literal. */
static const char *
parse_mimm (cd, strp, opindex, valuep)
CGEN_CPU_DESC cd;
const char **strp;
int opindex;
long *valuep;
{
const char *errmsg;
long value;
/* Verify this isn't a register */
if (iq2000_cgen_isa_register (strp))
errmsg = _("immediate value cannot be register");
else
{
long value;
errmsg = cgen_parse_signed_integer (cd, strp, opindex, & value);
if (errmsg == NULL)
{
long x = (-value) & 0xFFFF0000;
if (x != 0 && x != 0xFFFF0000)
errmsg = _("immediate value out of range");
else
*valuep = (-value & 0xFFFF);
}
}
return errmsg;
}
/* Handle signed/unsigned literal. */
static const char *
parse_imm (cd, strp, opindex, valuep)
CGEN_CPU_DESC cd;
const char **strp;
int opindex;
unsigned long *valuep;
{
const char *errmsg;
long value;
if (iq2000_cgen_isa_register (strp))
errmsg = _("immediate value cannot be register");
else
{
long value;
errmsg = cgen_parse_signed_integer (cd, strp, opindex, & value);
if (errmsg == NULL)
{
long x = value & 0xFFFF0000;
if (x != 0 && x != 0xFFFF0000)
errmsg = _("immediate value out of range");
else
*valuep = (value & 0xFFFF);
}
}
return errmsg;
}
/* Handle iq10 21-bit jmp offset. */
static const char *
parse_jtargq10 (cd, strp, opindex, reloc, type_addr, valuep)
CGEN_CPU_DESC cd;
const char **strp;
int opindex;
int reloc;
enum cgen_parse_operand_result *type_addr;
unsigned long *valuep;
{
const char *errmsg;
bfd_vma value;
enum cgen_parse_operand_result result_type = CGEN_PARSE_OPERAND_RESULT_NUMBER;
errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_IQ2000_OFFSET_21,
&result_type, &value);
if (errmsg == NULL && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
{
/* check value is within 23-bits (remembering that 2-bit shift right will occur) */
if (value > 0x7fffff)
return _("21-bit offset out of range");
}
*valuep = (value & 0x7FFFFF);
return errmsg;
}
/* Handle high(). */
static const char *
parse_hi16 (cd, strp, opindex, valuep)
CGEN_CPU_DESC cd;
const char **strp;
int opindex;
unsigned long *valuep;
{
if (strncasecmp (*strp, "%hi(", 4) == 0)
{
enum cgen_parse_operand_result result_type;
bfd_vma value;
const char *errmsg;
*strp += 4;
errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_HI16,
&result_type, &value);
if (**strp != ')')
return _("missing `)'");
++*strp;
if (errmsg == NULL
&& result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
{
/* if value has top-bit of %lo on, then it will
sign-propagate and so we compensate by adding
1 to the resultant %hi value */
if (value & 0x8000)
value += 0x10000;
value >>= 16;
}
*valuep = value;
return errmsg;
}
/* we add %uhi in case a user just wants the high 16-bits or is using
an insn like ori for %lo which does not sign-propagate */
if (strncasecmp (*strp, "%uhi(", 5) == 0)
{
enum cgen_parse_operand_result result_type;
bfd_vma value;
const char *errmsg;
*strp += 5;
errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_IQ2000_UHI16,
&result_type, &value);
if (**strp != ')')
return _("missing `)'");
++*strp;
if (errmsg == NULL
&& result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
{
value >>= 16;
}
*valuep = value;
return errmsg;
}
return parse_imm (cd, strp, opindex, valuep);
}
/* Handle %lo in a signed context.
The signedness of the value doesn't matter to %lo(), but this also
handles the case where %lo() isn't present. */
static const char *
parse_lo16 (cd, strp, opindex, valuep)
CGEN_CPU_DESC cd;
const char **strp;
int opindex;
long *valuep;
{
if (strncasecmp (*strp, "%lo(", 4) == 0)
{
const char *errmsg;
enum cgen_parse_operand_result result_type;
bfd_vma value;
*strp += 4;
errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_LO16,
&result_type, &value);
if (**strp != ')')
return _("missing `)'");
++*strp;
if (errmsg == NULL
&& result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
value &= 0xffff;
*valuep = value;
return errmsg;
}
return parse_imm (cd, strp, opindex, valuep);
}
/* Handle %lo in a negated signed context.
The signedness of the value doesn't matter to %lo(), but this also
handles the case where %lo() isn't present. */
static const char *
parse_mlo16 (cd, strp, opindex, valuep)
CGEN_CPU_DESC cd;
const char **strp;
int opindex;
long *valuep;
{
if (strncasecmp (*strp, "%lo(", 4) == 0)
{
const char *errmsg;
enum cgen_parse_operand_result result_type;
bfd_vma value;
*strp += 4;
errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_LO16,
&result_type, &value);
if (**strp != ')')
return _("missing `)'");
++*strp;
if (errmsg == NULL
&& result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
value = (-value) & 0xffff;
*valuep = value;
return errmsg;
}
return parse_mimm (cd, strp, opindex, valuep);
}
/* -- */

630
binutils/cpu/iq2000m.cpu Normal file
View File

@@ -0,0 +1,630 @@
; IQ2000-only CPU description. -*- Scheme -*-
;
; Copyright 2000, 2001, 2002 Free Software Foundation, Inc.
;
; Contributed by Red Hat Inc; developed under contract from Vitesse.
;
; This file is part of the GNU Binutils.
;
; This program is free software; you can redistribute it and/or modify
; it under the terms of the GNU General Public License as published by
; the Free Software Foundation; either version 2 of the License, or
; (at your option) any later version.
;
; This program is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
; GNU General Public License for more details.
;
; You should have received a copy of the GNU General Public License
; along with this program; if not, write to the Free Software
; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
(dni andoui "and upper ones immediate" (MACH2000 USES-RS USES-RT)
"andoui $rt,$rs,$hi16"
(+ OP_ANDOUI rs rt hi16)
(set rt (and rs (or (sll hi16 16) #xFFFF)))
())
(dni andoui2 "and upper ones immediate" (ALIAS NO-DIS MACH2000 USES-RS USES-RT)
"andoui ${rt-rs},$hi16"
(+ OP_ANDOUI rt-rs hi16)
(set rt-rs (and rt-rs (or (sll hi16 16) #xFFFF)))
())
(dni orui2 "or upper immediate" (ALIAS NO-DIS MACH2000 USES-RS USES-RT)
"orui ${rt-rs},$hi16"
(+ OP_ORUI rt-rs hi16)
(set rt-rs (or rt-rs (sll hi16 16)))
())
(dni orui "or upper immediate" (MACH2000 USES-RS USES-RT)
"orui $rt,$rs,$hi16"
(+ OP_ORUI rs rt hi16)
(set rt (or rs (sll hi16 16)))
())
(dni bgtz "branch if greater than zero" (MACH2000 USES-RS)
"bgtz $rs,$offset"
(+ OP_BGTZ rs (f-rt 0) offset)
(if (gt rs 0)
(delay 1 (set pc offset)))
())
(dni bgtzl "branch if greater than zero likely" (MACH2000 USES-RS)
"bgtzl $rs,$offset"
(+ OP_BGTZL rs (f-rt 0) offset)
(if (gt rs 0)
(delay 1 (set pc offset))
(skip 1))
())
(dni blez "branch if less than or equal to zero" (MACH2000 USES-RS)
"blez $rs,$offset"
(+ OP_BLEZ rs (f-rt 0) offset)
(if (le rs 0)
(delay 1 (set pc offset)))
())
(dni blezl "branch if less than or equal to zero likely" (MACH2000 USES-RS)
"blezl $rs,$offset"
(+ OP_BLEZL rs (f-rt 0) offset)
(if (le rs 0)
(delay 1 (set pc offset))
(skip 1))
())
(dni mrgb "merge bytes" (MACH2000 USES-RD USES-RS USES-RT)
"mrgb $rd,$rs,$rt,$mask"
(+ OP_SPECIAL rs rt rd (f-10 0) mask FUNC_MRGB)
(sequence ((SI temp))
(if (bitclear? mask 0)
(set temp (and rs #xFF))
(set temp (and rt #xFF)))
(if (bitclear? mask 1)
(set temp (or temp (and rs #xFF00)))
(set temp (or temp (and rt #xFF00))))
(if (bitclear? mask 2)
(set temp (or temp (and rs #xFF0000)))
(set temp (or temp (and rt #xFF0000))))
(if (bitclear? mask 3)
(set temp (or temp (and rs #xFF000000)))
(set temp (or temp (and rt #xFF000000))))
(set rd temp))
())
(dni mrgb2 "merge bytes" (ALIAS NO-DIS MACH2000 USES-RD USES-RS USES-RT)
"mrgb ${rd-rs},$rt,$mask"
(+ OP_SPECIAL rt rd-rs (f-10 0) mask FUNC_MRGB)
(sequence ((SI temp))
(if (bitclear? mask 0)
(set temp (and rd-rs #xFF))
(set temp (and rt #xFF)))
(if (bitclear? mask 1)
(set temp (or temp (and rd-rs #xFF00)))
(set temp (or temp (and rt #xFF00))))
(if (bitclear? mask 2)
(set temp (or temp (and rd-rs #xFF0000)))
(set temp (or temp (and rt #xFF0000))))
(if (bitclear? mask 3)
(set temp (or temp (and rd-rs #xFF000000)))
(set temp (or temp (and rt #xFF000000))))
(set rd-rs temp))
())
; NOTE: None of these instructions' semantics are specified, so they
; will not work in a simulator.
;
; Architectural and coprocessor instructions.
; BREAK and SYSCALL are implemented with escape hatches to the C
; code. These are used by the test suite to indicate pass/failures.
(dni bctxt "branch and switch context" (MACH2000 DELAY-SLOT COND-CTI USES-RS)
"bctxt $rs,$offset"
(+ OP_REGIMM rs (f-rt 6) offset)
(unimp bctxt)
())
(dni bc0f "branch if copro 0 condition false" (MACH2000 DELAY-SLOT COND-CTI)
"bc0f $offset"
(+ OP_COP0 (f-rs 8) (f-rt 0) offset)
(unimp bc0f)
())
(dni bc0fl "branch if copro 0 condition false likely" (MACH2000 DELAY-SLOT COND-CTI SKIP-CTI)
"bc0fl $offset"
(+ OP_COP0 (f-rs 8) (f-rt 2) offset)
(unimp bc0fl)
())
(dni bc3f "branch if copro 3 condition false" (MACH2000 DELAY-SLOT COND-CTI)
"bc3f $offset"
(+ OP_COP3 (f-rs 8) (f-rt 0) offset)
(unimp bc3f)
())
(dni bc3fl "branch if copro 3 condition false likely" (MACH2000 DELAY-SLOT COND-CTI SKIP-CTI)
"bc3fl $offset"
(+ OP_COP3 (f-rs 8) (f-rt 2) offset)
(unimp bc3fl)
())
(dni bc0t "branch if copro 0 condition true" (MACH2000 DELAY-SLOT COND-CTI)
"bc0t $offset"
(+ OP_COP0 (f-rs 8) (f-rt 1) offset)
(unimp bc0t)
())
(dni bc0tl "branch if copro 0 condition true likely" (MACH2000 DELAY-SLOT COND-CTI SKIP-CTI)
"bc0tl $offset"
(+ OP_COP0 (f-rs 8) (f-rt 3) offset)
(unimp bc0tl)
())
(dni bc3t "branch if copro 3 condition true" (MACH2000 DELAY-SLOT COND-CTI)
"bc3t $offset"
(+ OP_COP3 (f-rs 8) (f-rt 1) offset)
(unimp bc3t)
())
(dni bc3tl "branch if copro 3 condition true likely" (MACH2000 DELAY-SLOT COND-CTI SKIP-CTI)
"bc3tl $offset"
(+ OP_COP3 (f-rs 8) (f-rt 3) offset)
(unimp bc3tl)
())
; Note that we don't set the USES-RD or USES-RT attributes for many of the following
; instructions, as it's the COP register that's being specified.
(dni cfc0 "control from coprocessor 0" (MACH2000 LOAD-DELAY USES-RT)
"cfc0 $rt,$rd"
(+ OP_COP0 (f-rs 2) rt rd (f-10-11 0))
(unimp cfc0)
())
(dni cfc1 "control from coprocessor 1" (MACH2000 LOAD-DELAY USES-RT)
"cfc1 $rt,$rd"
(+ OP_COP1 (f-rs 2) rt rd (f-10-11 0))
(unimp cfc1)
())
(dni cfc2 "control from coprocessor 2" (MACH2000 LOAD-DELAY USES-RT YIELD-INSN)
"cfc2 $rt,$rd"
(+ OP_COP2 (f-rs 2) rt rd (f-10-11 0))
(unimp cfc2)
())
(dni cfc3 "control from coprocessor 3" (MACH2000 LOAD-DELAY USES-RT YIELD-INSN)
"cfc3 $rt,$rd"
(+ OP_COP3 (f-rs 2) rt rd (f-10-11 0))
(unimp cfc3)
())
; COPz instructions are an instruction form, not real instructions
; with associated assembly mnemonics. Therefore, they are omitted
; from the ISA description.
(dni chkhdr "check header" (MACH2000 LOAD-DELAY USES-RD YIELD-INSN)
"chkhdr $rd,$rt"
(+ OP_COP3 (f-rs 9) rt rd (f-shamt 0) (f-func 0))
(unimp chkhdr)
())
(dni ctc0 "control to coprocessor 0" (MACH2000 USES-RT)
"ctc0 $rt,$rd"
(+ OP_COP0 (f-rs 6) rt rd (f-10-11 0))
(unimp ctc0)
())
(dni ctc1 "control to coprocessor 1" (MACH2000 USES-RT)
"ctc1 $rt,$rd"
(+ OP_COP1 (f-rs 6) rt rd (f-10-11 0))
(unimp ctc1)
())
(dni ctc2 "control to coprocessor 2" (MACH2000 USES-RT)
"ctc2 $rt,$rd"
(+ OP_COP2 (f-rs 6) rt rd (f-10-11 0))
(unimp ctc2)
())
(dni ctc3 "control to coprocessor 3" (MACH2000 USES-RT)
"ctc3 $rt,$rd"
(+ OP_COP3 (f-rs 6) rt rd (f-10-11 0))
(unimp ctc3)
())
(dni jcr "jump context register" (MACH2000 DELAY-SLOT UNCOND-CTI USES-RS)
"jcr $rs"
(+ OP_SPECIAL rs (f-rt 0) (f-rd 0) (f-shamt 0) FUNC_JCR)
(unimp jcr)
())
(dni luc32 "lookup chain 32 bits" (MACH2000 USES-RD USES-RT YIELD-INSN)
"luc32 $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 3))
(unimp luc32)
())
(dni luc32l "lookup chain 32 bits and lock" (MACH2000 USES-RD USES-RT YIELD-INSN)
"luc32l $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 7))
(unimp luc32l)
())
(dni luc64 "lookup chain 64 bits" (MACH2000 USES-RD USES-RT YIELD-INSN)
"luc64 $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 11))
(unimp luc64)
())
(dni luc64l "lookup chain 64 bits and lock" (MACH2000 USES-RD USES-RT YIELD-INSN)
"luc64l $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 15))
(unimp luc64l)
())
(dni luk "lookup key" (MACH2000 USES-RD USES-RT)
"luk $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 8))
(unimp luk)
())
(dni lulck "lookup lock" (MACH2000 USES-RT YIELD-INSN)
"lulck $rt"
(+ OP_COP2 (f-rs 1) rt (f-rd 0) (f-shamt 0) (f-func 4))
(unimp lulck)
())
(dni lum32 "lookup match 32 bits" (MACH2000 USES-RD USES-RT YIELD-INSN)
"lum32 $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 2))
(unimp lum32)
())
(dni lum32l "lookup match 32 bits and lock" (MACH2000 USES-RD USES-RT YIELD-INSN)
"lum32l $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 6))
(unimp lum32l)
())
(dni lum64 "lookup match 64 bits" (MACH2000 USES-RD USES-RT YIELD-INSN)
"lum64 $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 10))
(unimp lum64)
())
(dni lum64l "lookup match 64 bits and lock" (MACH2000 USES-RD USES-RT YIELD-INSN)
"lum64l $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 14))
(unimp lum64l)
())
(dni lur "lookup read" (MACH2000 USES-RD USES-RT YIELD-INSN)
"lur $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 1))
(unimp lur)
())
(dni lurl "lookup read and lock" (MACH2000 USES-RD USES-RT YIELD-INSN)
"lurl $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 5))
(unimp lurl)
())
(dni luulck "lookup unlock" (MACH2000 USES-RT YIELD-INSN)
"luulck $rt"
(+ OP_COP2 (f-rs 1) rt (f-rd 0) (f-shamt 0) (f-func 0))
(unimp luulck)
())
(dni mfc0 "move from coprocessor 0" (MACH2000 LOAD-DELAY USES-RT)
"mfc0 $rt,$rd"
(+ OP_COP0 (f-rs 0) rt rd (f-10-11 0))
(unimp mfc0)
())
(dni mfc1 "move from coprocessor 1" (MACH2000 LOAD-DELAY USES-RT)
"mfc1 $rt,$rd"
(+ OP_COP1 (f-rs 0) rt rd (f-10-11 0))
(unimp mfc1)
())
(dni mfc2 "move from coprocessor 2" (MACH2000 LOAD-DELAY USES-RT YIELD-INSN)
"mfc2 $rt,$rd"
(+ OP_COP2 (f-rs 0) rt rd (f-10-11 0))
(unimp mfc2)
())
(dni mfc3 "move from coprocessor 3" (MACH2000 LOAD-DELAY USES-RT YIELD-INSN)
"mfc3 $rt,$rd"
(+ OP_COP3 (f-rs 0) rt rd (f-10-11 0))
(unimp mfc3)
())
(dni mtc0 "move to coprocessor 0" (MACH2000 USES-RT)
"mtc0 $rt,$rd"
(+ OP_COP0 (f-rs 4) rt rd (f-10-11 0))
(unimp mtc0)
())
(dni mtc1 "move to coprocessor 1" (MACH2000 USES-RT)
"mtc1 $rt,$rd"
(+ OP_COP1 (f-rs 4) rt rd (f-10-11 0))
(unimp mtc1)
())
(dni mtc2 "move to coprocessor 2" (MACH2000 USES-RT)
"mtc2 $rt,$rd"
(+ OP_COP2 (f-rs 4) rt rd (f-10-11 0))
(unimp mtc2)
())
(dni mtc3 "move to coprocessor 3" (MACH2000 USES-RT)
"mtc3 $rt,$rd"
(+ OP_COP3 (f-rs 4) rt rd (f-10-11 0))
(unimp mtc3)
())
(dni pkrl "pkrl" (MACH2000 USES-RD USES-RT YIELD-INSN)
"pkrl $rd,$rt"
(+ OP_COP3 (f-rs 1) rt rd (f-shamt 0) (f-func 7))
(unimp pkrl)
())
(dni pkrlr1 "pkrlr1" (MACH2000 USES-RT YIELD-INSN)
"pkrlr1 $rt,$count"
(+ OP_COP3 (f-rs 29) rt count)
(unimp pkrlr1)
())
(dni pkrlr30 "pkrlr30" (MACH2000 USES-RT YIELD-INSN)
"pkrlr30 $rt,$count"
(+ OP_COP3 (f-rs 31) rt count)
(unimp pkrlr30)
())
(dni rb "dma read bytes" (MACH2000 USES-RD USES-RT YIELD-INSN)
"rb $rd,$rt"
(+ OP_COP3 (f-rs 1) rt rd (f-shamt 0) (f-func 4))
(unimp rb)
())
(dni rbr1 "dma read bytes using r1" (MACH2000 USES-RT YIELD-INSN)
"rbr1 $rt,$count"
(+ OP_COP3 (f-rs 24) rt count)
(unimp rbr1)
())
(dni rbr30 "dma read bytes using r30" (MACH2000 USES-RT YIELD-INSN)
"rbr30 $rt,$count"
(+ OP_COP3 (f-rs 26) rt count)
(unimp rbr30)
())
(dni rfe "restore from exception" (MACH2000)
"rfe"
(+ OP_COP0 (f-25 1) (f-24-19 0) (f-func 16))
(unimp rfe)
())
(dni rx "dma read word64s" (MACH2000 USES-RD USES-RT YIELD-INSN)
"rx $rd,$rt"
(+ OP_COP3 (f-rs 1) rt rd (f-shamt 0) (f-func 6))
(unimp rx)
())
(dni rxr1 "dma read word64s using r1" (MACH2000 USES-RT YIELD-INSN)
"rxr1 $rt,$count"
(+ OP_COP3 (f-rs 28) rt count)
(unimp rxr1)
())
(dni rxr30 "dma read word 64s using r30" (MACH2000 USES-RT YIELD-INSN)
"rxr30 $rt,$count"
(+ OP_COP3 (f-rs 30) rt count)
(unimp rxr30)
())
(dni sleep "sleep" (MACH2000 YIELD-INSN)
"sleep"
(+ OP_SPECIAL execode FUNC_SLEEP)
(unimp sleep)
())
(dni srrd "sram read" (MACH2000 USES-RT YIELD-INSN)
"srrd $rt"
(+ OP_COP2 (f-rs 1) rt (f-rd 0) (f-shamt 0) (f-func 16))
(unimp srrd)
())
(dni srrdl "sram read and lock" (MACH2000 USES-RT YIELD-INSN)
"srrdl $rt"
(+ OP_COP2 (f-rs 1) rt (f-rd 0) (f-shamt 0) (f-func 20))
(unimp srrdl)
())
(dni srulck "sram unlock" (MACH2000 USES-RT YIELD-INSN)
"srulck $rt"
(+ OP_COP2 (f-rs 1) rt (f-rd 0) (f-shamt 0) (f-func 22))
(unimp srulck)
())
(dni srwr "sram write" (MACH2000 USES-RD USES-RT YIELD-INSN)
"srwr $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 17))
(unimp srwr)
())
(dni srwru "sram write and unlock" (MACH2000 USES-RD USES-RT YIELD-INSN)
"srwru $rt,$rd"
(+ OP_COP2 (f-rs 1) rt rd (f-shamt 0) (f-func 21))
(unimp srwru)
())
(dni trapqfl "yield if dma queue full" (MACH2000 YIELD-INSN)
"trapqfl"
(+ OP_COP3 (f-rs 1) (f-rt 0) (f-rd 0) (f-shamt 0) (f-func 8))
(unimp trapqfl)
())
(dni trapqne "yield if dma queue not empty" (MACH2000 YIELD-INSN)
"trapqne"
(+ OP_COP3 (f-rs 1) (f-rt 0) (f-rd 0) (f-shamt 0) (f-func 9))
(unimp trapqne)
())
(dni traprel "traprel" (MACH2000 USES-RT YIELD-INSN)
"traprel $rt"
(+ OP_COP3 (f-rs 1) rt (f-rd 0) (f-shamt 0) (f-func 10))
(unimp traprel)
())
(dni wb "dma write bytes" (MACH2000 USES-RD USES-RT YIELD-INSN)
"wb $rd,$rt"
(+ OP_COP3 (f-rs 1) rt rd (f-shamt 0) (f-func 0))
(unimp wb)
())
(dni wbu "dma write bytes and unlock" (MACH2000 USES-RD USES-RT YIELD-INSN)
"wbu $rd,$rt"
(+ OP_COP3 (f-rs 1) rt rd (f-shamt 0) (f-func 1))
(unimp wbu)
())
(dni wbr1 "dma write bytes using r1" (MACH2000 USES-RT YIELD-INSN)
"wbr1 $rt,$count"
(+ OP_COP3 (f-rs 16) rt count)
(unimp wbr1)
())
(dni wbr1u "dma write bytes using r1 and unlock" (MACH2000 USES-RT YIELD-INSN)
"wbr1u $rt,$count"
(+ OP_COP3 (f-rs 17) rt count)
(unimp wbr1u)
())
(dni wbr30 "dma write bytes using r30" (MACH2000 USES-RT YIELD-INSN)
"wbr30 $rt,$count"
(+ OP_COP3 (f-rs 18) rt count)
(unimp wbr30)
())
(dni wbr30u "dma write bytes using r30 and unlock" (MACH2000 USES-RT YIELD-INSN)
"wbr30u $rt,$count"
(+ OP_COP3 (f-rs 19) rt count)
(unimp wbr30u)
())
(dni wx "dma write word64s" (MACH2000 USES-RD USES-RT YIELD-INSN)
"wx $rd,$rt"
(+ OP_COP3 (f-rs 1) rt rd (f-shamt 0) (f-func 2))
(unimp wx)
())
(dni wxu "dma write word64s and unlock" (MACH2000 USES-RD USES-RT YIELD-INSN)
"wxu $rd,$rt"
(+ OP_COP3 (f-rs 1) rt rd (f-shamt 0) (f-func 3))
(unimp wxu)
())
(dni wxr1 "dma write word64s using r1" (MACH2000 USES-RT YIELD-INSN)
"wxr1 $rt,$count"
(+ OP_COP3 (f-rs 20) rt count)
(unimp wxr1)
())
(dni wxr1u "dma write word64s using r1 and unlock" (MACH2000 USES-RT YIELD-INSN)
"wxr1u $rt,$count"
(+ OP_COP3 (f-rs 21) rt count)
(unimp wxr1u)
())
(dni wxr30 "dma write word64s using r30" (MACH2000 USES-RT YIELD-INSN)
"wxr30 $rt,$count"
(+ OP_COP3 (f-rs 22) rt count)
(unimp wxr30)
())
(dni wxr30u "dma write word64s using r30 and unlock" (MACH2000 USES-RT YIELD-INSN)
"wxr30u $rt,$count"
(+ OP_COP3 (f-rs 23) rt count)
(unimp wxr30u)
())
; Load/Store instructions.
(dni ldw "load double word" (MACH2000 EVEN-REG-NUM LOAD-DELAY USES-RT)
"ldw $rt,$lo16($base)"
(+ OP_LDW base rt lo16)
(sequence ((SI addr))
(set addr (and (add base lo16) (inv 3)))
(set (reg h-gr (add (ifield f-rt) 1)) (mem SI addr))
(set rt (mem SI (add addr 4))))
())
(dni sdw "store double word" (MACH2000 EVEN-REG-NUM USES-RT)
"sdw $rt,$lo16($base)"
(+ OP_SDW base rt lo16)
(sequence ((SI addr))
(set addr (and (add base lo16) (inv 3)))
(set (mem SI (add addr 4)) rt)
(set (mem SI addr) (reg h-gr (add (ifield f-rt) 1))))
())
; Jump instructions
(dni j "jump" (MACH2000)
"j $jmptarg"
(+ OP_J (f-rsrvd 0) jmptarg)
(delay 1 (set pc jmptarg))
())
(dni jal "jump and link" (MACH2000 USES-R31)
"jal $jmptarg"
(+ OP_JAL (f-rsrvd 0) jmptarg)
(delay 1
(sequence ()
(set (reg h-gr 31) (add pc 8))
(set pc jmptarg)))
())
(dni bmb "branch if matching byte-lane" (MACH2000 USES-RS USES-RT)
"bmb $rs,$rt,$offset"
(+ OP_BMB rs rt offset)
(sequence ((BI branch?))
(set branch? 0)
(if (eq (and rs #xFF) (and rt #xFF))
(set branch? 1))
(if (eq (and rs #xFF00) (and rt #xFF00))
(set branch? 1))
(if (eq (and rs #xFF0000) (and rt #xFF0000))
(set branch? 1))
(if (eq (and rs #xFF000000) (and rt #xFF000000))
(set branch? 1))
(if branch?
(delay 1 (set pc offset))))
())
; Macros
(dnmi ldw-base-0 "load double word - implied base 0" (MACH2000 EVEN-REG-NUM LOAD-DELAY USES-RT USES-RS NO-DIS)
"ldw $rt,$lo16"
(emit ldw rt lo16 (base 0))
)
(dnmi sdw-base-0 "store double word - implied base 0" (MACH2000 EVEN-REG-NUM USES-RT NO-DIS)
"sdw $rt,$lo16"
(emit sdw rt lo16 (base 0))
)

215
binutils/cpu/simplify.inc Normal file
View File

@@ -0,0 +1,215 @@
; Collection of macros, for GNU Binutils .cpu files. -*- Scheme -*-
;
; Copyright 2000 Free Software Foundation, Inc.
;
; Contributed by Red Hat Inc.
;
; This file is part of the GNU Binutils.
;
; This program is free software; you can redistribute it and/or modify
; it under the terms of the GNU General Public License as published by
; the Free Software Foundation; either version 2 of the License, or
; (at your option) any later version.
;
; This program is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
; GNU General Public License for more details.
;
; You should have received a copy of the GNU General Public License
; along with this program; if not, write to the Free Software
; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
; Enums.
; Define a normal enum without using name/value pairs.
; This is currently the same as define-full-enum but it needn't remain
; that way (it's define-full-enum that would change).
(define-pmacro (define-normal-enum name comment attrs prefix vals)
"\
Define a normal enum, fixed number of arguments.
"
(define-full-enum name comment attrs prefix vals)
)
; Define a normal insn enum.
(define-pmacro (define-normal-insn-enum name comment attrs prefix fld vals)
"\
Define a normal instruction opcode enum.
"
(define-full-insn-enum name comment attrs prefix fld vals)
)
; Instruction fields.
; Normally, fields are unsigned have no encode/decode needs.
(define-pmacro (define-normal-ifield name comment attrs start length)
"Define a normal instruction field.\n"
(define-full-ifield name comment attrs start length UINT #f #f)
)
; For those who don't like typing.
(define-pmacro df
"Shorthand form of define-full-ifield.\n"
define-full-ifield
)
(define-pmacro dnf
"Shorthand form of define-normal-ifield.\n"
define-normal-ifield
)
; Define a normal multi-ifield.
; FIXME: The define-normal version for ifields doesn't include the mode.
(define-pmacro (define-normal-multi-ifield name comment attrs
mode subflds insert extract)
"Define a normal multi-part instruction field.\n"
(define-full-multi-ifield name comment attrs mode subflds insert extract)
)
; For those who don't like typing.
(define-pmacro dnmf
"Shorthand form of define-normal-multi-ifield.\n"
define-normal-multi-ifield
)
; Simple multi-ifields: mode is UINT, default insert/extract support.
(define-pmacro (dsmf name comment attrs subflds)
"Define a simple multi-part instruction field.\n"
(define-full-multi-ifield name comment attrs UINT subflds #f #f)
)
; Hardware.
; Simpler version for most hardware elements.
; Allow special assembler support specification but no semantic-name or
; get/set specs.
(define-pmacro (define-normal-hardware name comment attrs type
indices values handlers)
"\
Define a normal hardware element.
"
(define-full-hardware name comment attrs name type
indices values handlers () () ())
)
; For those who don't like typing.
(define-pmacro dnh
"Shorthand form of define-normal-hardware.\n"
define-normal-hardware
)
; Simpler version of dnh that leaves out the indices, values, handlers,
; get, set, and layout specs.
; This is useful for 1 bit registers.
; ??? While dsh and dnh aren't that distinguishable when perusing a .cpu file,
; they both take a fixed number of positional arguments, and dsh is a proper
; subset of dnh with all arguments in the same positions, so methinks things
; are ok.
(define-pmacro (define-simple-hardware name comment attrs type)
"\
Define a simple hardware element (usually a scalar register).
"
(define-full-hardware name comment attrs name type () () () () () ())
)
(define-pmacro dsh
"Shorthand form of define-simple-hardware.\n"
define-simple-hardware
)
; Operands.
(define-pmacro (define-normal-operand name comment attrs type index)
"Define a normal operand.\n"
(define-full-operand name comment attrs type DFLT index () () ())
)
; For those who don't like typing.
; FIXME: dno?
(define-pmacro dnop
"Shorthand form of define-normal-operand.\n"
define-normal-operand
)
(define-pmacro (dndo x-name x-mode x-args
x-syntax x-base-ifield x-encoding x-ifield-assertion
x-getter x-setter)
"Define a normal derived operand."
(define-derived-operand
(name x-name)
(mode x-mode)
(args x-args)
(syntax x-syntax)
(base-ifield x-base-ifield)
(encoding x-encoding)
(ifield-assertion x-ifield-assertion)
(getter x-getter)
(setter x-setter)
)
)
; Instructions.
; Define an instruction object, normal version.
; At present all fields must be specified.
; Fields ifield-assertion is absent.
(define-pmacro (define-normal-insn name comment attrs syntax fmt semantics timing)
"Define a normal instruction.\n"
(define-full-insn name comment attrs syntax fmt () semantics timing)
)
; To reduce the amount of typing.
; Note that this is the same name as the D'ni in MYST. Oooohhhh.....
; this must be the right way to go. :-)
(define-pmacro dni
"Shorthand form of define-normal-insn.\n"
define-normal-insn
)
; Macro instructions.
; Define a macro-insn object, normal version.
; This only supports expanding to one real insn.
(define-pmacro (define-normal-macro-insn name comment attrs syntax expansion)
"Define a normal macro instruction.\n"
(define-full-minsn name comment attrs syntax expansion)
)
; To reduce the amount of typing.
(define-pmacro dnmi
"Shorthand form of define-normal-macro-insn.\n"
define-normal-macro-insn
)
; Modes.
; ??? Not currently available for use.
;
; Define Normal Mode
;
;(define-pmacro (define-normal-mode name comment attrs bits bytes
; non-mode-c-type printf-type sem-mode ptr-to host?)
; "Define a normal mode.\n"
; (define-full-mode name comment attrs bits bytes
; non-mode-c-type printf-type sem-mode ptr-to host?)
;)
;
; For those who don't like typing.
;(define-pmacro dnm
; "Shorthand form of define-normal-mode.\n"
; define-normal-mode
;)