aboutsummaryrefslogtreecommitdiff
path: root/gas/itbl-parse.y
diff options
context:
space:
mode:
authorDawn Perchik <dawn@cygnus>1997-02-23 22:23:12 +0000
committerDawn Perchik <dawn@cygnus>1997-02-23 22:23:12 +0000
commitefec4a282c17a6814a2ff28b15d6305af8aaf2bb (patch)
tree4e9afaa9bb6cb915bd311a7b7425ef13ede8cc1b /gas/itbl-parse.y
parentc7583da0b6ef488954a9c299d95452e5e081e22e (diff)
downloadgdb-efec4a282c17a6814a2ff28b15d6305af8aaf2bb.zip
gdb-efec4a282c17a6814a2ff28b15d6305af8aaf2bb.tar.gz
gdb-efec4a282c17a6814a2ff28b15d6305af8aaf2bb.tar.bz2
* itbl-parse.y: Fix indentation mistakes from indent program.
* itbl-lex.l: Fix indentation mistakes from indent program. * itbl-ops.h: Add include for ansidecl.h. Add PARAMS around function arguments. Add declaration for itbl_have_entries. * itbl-ops.c: Add PARAMS around function arguments. * Makefile.in: Add itbl build rules. Add dependancies for itbl files to mips target. * as.c: Add itbl support. Add new option "--insttbl" for dynamically extending instruction set. * as.h: Declare insttbl_file_name; the name of file defining extensions to the basic instruction set * configure.in, configure: Add itbl-parse.o, itbl-lex.o, and itbl-ops.o to extra_objects for mips configuration. Add include file link from itbl-cpu.h to config/itbl-${target_cpu_type}.h. * config/tc-mips.c: Allow copz instructions. Add notes for future additions to the itbl support. Add debug macros. (macro): Call itbl_assemble to assemble itbl instructions. See if an unknown register is specified in an itbl entry.
Diffstat (limited to 'gas/itbl-parse.y')
-rw-r--r--gas/itbl-parse.y426
1 files changed, 236 insertions, 190 deletions
diff --git a/gas/itbl-parse.y b/gas/itbl-parse.y
index d90499d..9806ecc 100644
--- a/gas/itbl-parse.y
+++ b/gas/itbl-parse.y
@@ -1,4 +1,27 @@
+
+/* itbl-parse.y
+
+ Copyright (C) 1997 Free Software Foundation, Inc.
+
+ This file is part of GAS, the GNU Assembler.
+
+ GAS 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, or (at your option)
+ any later version.
+
+ GAS 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 GAS; see the file COPYING. If not, write to the Free
+ Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+ 02111-1307, USA. */
+
%{
+
/*
Yacc grammar for instruction table entries.
@@ -6,8 +29,8 @@ Yacc grammar for instruction table entries.
=======================================================================
Original Instruction table specification document:
- MIPS Coprocessor Table Specification
- ====================================
+ MIPS Coprocessor Table Specification
+ ====================================
This document describes the format of the MIPS coprocessor table. The
table specifies a list of valid functions, data registers and control
@@ -31,9 +54,9 @@ complete name of the table, including path and extension.
Examples:
- gas -t cop.tbl test.s -o test.o
- gas -t /usr/local/lib/cop.tbl test.s -o test.o
- gas --itbl d:\gnu\data\cop.tbl test.s -o test.o
+ gas -t cop.tbl test.s -o test.o
+ gas -t /usr/local/lib/cop.tbl test.s -o test.o
+ gas --itbl d:\gnu\data\cop.tbl test.s -o test.o
Only one table may be supplied during a single invocation of
the assembler.
@@ -46,30 +69,37 @@ Below is a list of the valid coprocessor instruction classes for
any given coprocessor "z". These instructions are already recognized
by the assembler, and are listed here only for reference.
-Class format instructions
+Class format instructions
-------------------------------------------------
-Class1: op base rt offset
- LWCz rt,offset(base)
- SWCz rt,offset(base)
-Class2: COPz sub rt rd 0
- MTCz rt,rd
- MFCz rt,rd
- CTCz rt,rd
- CFCz rt,rd
-Class3: COPz CO cofun
- COPz cofun
-Class4: COPz BC br offset
- BCzT offset
- BCzF offset
-Class5: COPz sub rt rd 0
- DMFCz rt,rd
- DMTCz rt,rd
-Class6: op base rt offset
- LDCz rt,offset(base)
- SDCz rt,offset(base)
-Class7: COPz BC br offset
- BCzTL offset
- BCzFL offset
+Class1:
+ op base rt offset
+ LWCz rt,offset (base)
+ SWCz rt,offset (base)
+Class2:
+ COPz sub rt rd 0
+ MTCz rt,rd
+ MFCz rt,rd
+ CTCz rt,rd
+ CFCz rt,rd
+Class3:
+ COPz CO cofun
+ COPz cofun
+Class4:
+ COPz BC br offset
+ BCzT offset
+ BCzF offset
+Class5:
+ COPz sub rt rd 0
+ DMFCz rt,rd
+ DMTCz rt,rd
+Class6:
+ op base rt offset
+ LDCz rt,offset (base)
+ SDCz rt,offset (base)
+Class7:
+ COPz BC br offset
+ BCzTL offset
+ BCzFL offset
The coprocessor table defines coprocessor-specific registers that can
be used with all of the above classes of instructions, where
@@ -90,41 +120,41 @@ Table Grammar
Here is the grammar for the coprocessor table:
- table -> entry*
+ table -> entry*
- entry -> [z entrydef] [comment] '\n'
+ entry -> [z entrydef] [comment] '\n'
- entrydef -> type name val
- entrydef -> 'insn' name val funcdef ; type of entry (instruction)
+ entrydef -> type name val
+ entrydef -> 'insn' name val funcdef ; type of entry (instruction)
- z -> 'p'['0'..'3'] ; processor number
- type -> ['dreg' | 'creg' | 'greg' ] ; type of entry (register)
+ z -> 'p'['0'..'3'] ; processor number
+ type -> ['dreg' | 'creg' | 'greg' ] ; type of entry (register)
; 'dreg', 'creg' or 'greg' specifies a data, control, or general
- ; register mnemonic, respectively
- name -> [ltr|dec]* ; mnemonic of register/function
- val -> [dec|hex] ; register/function number (integer constant)
-
- funcdef -> frange flags fields
- ; bitfield range for opcode
- ; list of fields' formats
- fields -> field*
- field -> [','] ftype frange flags
- flags -> ['*' flagexpr]
- flagexpr -> '[' flagexpr ']'
- flagexpr -> val '|' flagexpr
- ftype -> [ type | 'immed' | 'addr' ]
+ ; register mnemonic, respectively
+ name -> [ltr|dec]* ; mnemonic of register/function
+ val -> [dec|hex] ; register/function number (integer constant)
+
+ funcdef -> frange flags fields
+ ; bitfield range for opcode
+ ; list of fields' formats
+ fields -> field*
+ field -> [','] ftype frange flags
+ flags -> ['*' flagexpr]
+ flagexpr -> '[' flagexpr ']'
+ flagexpr -> val '|' flagexpr
+ ftype -> [ type | 'immed' | 'addr' ]
; 'immed' specifies an immediate value; see grammar for "val" above
- ; 'addr' specifies a C identifier; name of symbol to be resolved at
- ; link time
- frange -> ':' val '-' val ; starting to ending bit positions, where
- ; where 0 is least significant bit
- frange -> (null) ; default range of 31-0 will be assumed
+ ; 'addr' specifies a C identifier; name of symbol to be resolved at
+ ; link time
+ frange -> ':' val '-' val ; starting to ending bit positions, where
+ ; where 0 is least significant bit
+ frange -> (null) ; default range of 31-0 will be assumed
- comment -> [';'|'#'] [char]*
- char -> any printable character
- ltr -> ['a'..'z'|'A'..'Z']
- dec -> ['0'..'9']* ; value in decimal
- hex -> '0x'['0'..'9' | 'a'..'f' | 'A'..'F']* ; value in hexidecimal
+ comment -> [';'|'#'] [char]*
+ char -> any printable character
+ ltr -> ['a'..'z'|'A'..'Z']
+ dec -> ['0'..'9']* ; value in decimal
+ hex -> '0x'['0'..'9' | 'a'..'f' | 'A'..'F']* ; value in hexidecimal
Examples
@@ -134,15 +164,15 @@ Example 1:
The table:
- p1 dreg d1 1 ; data register "d1" for COP1 has value 1
- p1 creg c3 3 ; ctrl register "c3" for COP1 has value 3
- p3 func fill 0x1f:24-20 ; function "fill" for COP3 has value 31 and
- ; no fields
+ p1 dreg d1 1 ; data register "d1" for COP1 has value 1
+ p1 creg c3 3 ; ctrl register "c3" for COP1 has value 3
+ p3 func fill 0x1f:24-20 ; function "fill" for COP3 has value 31 and
+ ; no fields
will allow the assembler to accept the following coprocessor instructions:
- LWC1 d1,0x100($2)
- fill
+ LWC1 d1,0x100 ($2)
+ fill
Here, the general purpose register "$2", and instruction "LWC1", are standard
mnemonics built-in to the MIPS assembler.
@@ -152,46 +182,46 @@ Example 2:
The table:
- p3 dreg d3 3 ; data register "d3" for COP3 has value 3
- p3 creg c2 22 ; control register "c2" for COP3 has value 22
- p3 func fee 0x1f:24-20 dreg:17-13 creg:12-8 immed:7-0
- ; function "fee" for COP3 has value 31, and 3 fields
- ; consisting of a data register, a control register,
- ; and an immediate value.
+ p3 dreg d3 3 ; data register "d3" for COP3 has value 3
+ p3 creg c2 22 ; control register "c2" for COP3 has value 22
+ p3 func fee 0x1f:24-20 dreg:17-13 creg:12-8 immed:7-0
+ ; function "fee" for COP3 has value 31, and 3 fields
+ ; consisting of a data register, a control register,
+ ; and an immediate value.
will allow the assembler to accept the following coprocessor instruction:
- fee d3,c2,0x1
+ fee d3,c2,0x1
and will emit the object code:
- 31-26 25 24-20 19-18 17-13 12-8 7-0
- COPz CO fun dreg creg immed
- 010011 1 11111 00 00011 10110 00000001
+ 31-26 25 24-20 19-18 17-13 12-8 7-0
+ COPz CO fun dreg creg immed
+ 010011 1 11111 00 00011 10110 00000001
- 0x4ff07601
+ 0x4ff07601
Example 3:
The table:
- p3 dreg d3 3 ; data register "d3" for COP3 has value 3
- p3 creg c2 22 ; control register "c2" for COP3 has value 22
- p3 func fuu 0x01f00001 dreg:17-13 creg:12-8
+ p3 dreg d3 3 ; data register "d3" for COP3 has value 3
+ p3 creg c2 22 ; control register "c2" for COP3 has value 22
+ p3 func fuu 0x01f00001 dreg:17-13 creg:12-8
will allow the assembler to accept the following coprocessor
instruction:
- fuu d3,c2
+ fuu d3,c2
and will emit the object code:
- 31-26 25 24-20 19-18 17-13 12-8 7-0
- COPz CO fun dreg creg
- 010011 1 11111 00 00011 10110 00000001
+ 31-26 25 24-20 19-18 17-13 12-8 7-0
+ COPz CO fun dreg creg
+ 010011 1 11111 00 00011 10110 00000001
- 0x4ff07601
+ 0x4ff07601
In this way, the programmer can force arbitrary bits of an instruction
to have predefined values.
@@ -205,7 +235,8 @@ use 0s to mask out the ranges which don't apply.
May decide to modify the syntax to allow commas separate multiple
ranges within an instruction (range','range).
-Changes in grammar: The number of parms argument to the function entry
+Changes in grammar:
+ The number of parms argument to the function entry
was deleted from the original format such that we now count the fields.
----
@@ -245,169 +276,184 @@ FIXME! hex is ambiguous with any digit
static int sbit, ebit;
static struct itbl_entry *insn=0;
extern int insntbl_line;
-int yyparse(void);
-int yylex(void);
+int yyparse (void);
+int yylex (void);
%}
-%union {
+%union
+ {
char *str;
int num;
int processor;
unsigned long val;
- }
+ }
-%token DREG CREG GREG IMMED ADDR INSN NUM ID NL PNUM
-%type <val> value flags flagexpr
-%type <num> number NUM ftype regtype pnum PNUM
-%type <str> ID name
+%token DREG CREG GREG IMMED ADDR INSN NUM ID NL PNUM
+%type <val> value flags flagexpr
+%type <num> number NUM ftype regtype pnum PNUM
+%type <str> ID name
%start insntbl
%%
-insntbl: entrys
+insntbl:
+ entrys
;
-entrys: entry entrys
+entrys:
+ entry entrys
|
;
-entry: pnum regtype name value NL
- {
- DBG(("line %d: entry pnum=%d type=%d name=%s value=x%x\n",
- insntbl_line, $1, $2, $3, $4));
- itbl_add_reg($1, $2, $3, $4);
- }
+entry:
+ pnum regtype name value NL
+ {
+ DBG (("line %d: entry pnum=%d type=%d name=%s value=x%x\n",
+ insntbl_line, $1, $2, $3, $4));
+ itbl_add_reg ($1, $2, $3, $4);
+ }
| pnum INSN name value range flags
- {
- DBG(("line %d: entry pnum=%d type=INSN name=%s value=x%x",
- insntbl_line, $1, $3, $4));
- DBG((" sbit=%d ebit=%d flags=0x%x\n", sbit, ebit, $6));
- insn=itbl_add_insn($1, $3, $4, sbit, ebit, $6);
- }
+ {
+ DBG (("line %d: entry pnum=%d type=INSN name=%s value=x%x",
+ insntbl_line, $1, $3, $4));
+ DBG ((" sbit=%d ebit=%d flags=0x%x\n", sbit, ebit, $6));
+ insn=itbl_add_insn ($1, $3, $4, sbit, ebit, $6);
+ }
fieldspecs NL
| NL
| error NL
;
-fieldspecs: ',' fieldspec fieldspecs
+fieldspecs:
+ ',' fieldspec fieldspecs
| fieldspec fieldspecs
|
;
-ftype: regtype
- {
- DBGL2(("ftype\n"));
- $$ = $1;
- }
+ftype:
+ regtype
+ {
+ DBGL2 (("ftype\n"));
+ $$ = $1;
+ }
| ADDR
- {
- DBGL2(("addr\n"));
- $$ = ADDR;
- }
+ {
+ DBGL2 (("addr\n"));
+ $$ = ADDR;
+ }
| IMMED
- {
- DBGL2(("immed\n"));
- $$ = IMMED;
- }
+ {
+ DBGL2 (("immed\n"));
+ $$ = IMMED;
+ }
;
-fieldspec: ftype range flags
- {
- DBG(("line %d: field type=%d sbit=%d ebit=%d, flags=0x%x\n",
- insntbl_line, $1, sbit, ebit, $3));
- itbl_add_operand(insn, $1, sbit, ebit, $3);
- }
+fieldspec:
+ ftype range flags
+ {
+ DBG (("line %d: field type=%d sbit=%d ebit=%d, flags=0x%x\n",
+ insntbl_line, $1, sbit, ebit, $3));
+ itbl_add_operand (insn, $1, sbit, ebit, $3);
+ }
;
-flagexpr: NUM '|' flagexpr
- {
- $$ = $1 | $3;
- }
+flagexpr:
+ NUM '|' flagexpr
+ {
+ $$ = $1 | $3;
+ }
| '[' flagexpr ']'
- {
- $$ = $2;
- }
+ {
+ $$ = $2;
+ }
| NUM
- {
- $$ = $1;
- }
+ {
+ $$ = $1;
+ }
;
-flags: '*' flagexpr
- {
- DBGL2(("flags=%d\n", $2));
- $$ = $2;
- }
+flags:
+ '*' flagexpr
+ {
+ DBGL2 (("flags=%d\n", $2));
+ $$ = $2;
+ }
|
- {
- $$ = 0;
- }
+ {
+ $$ = 0;
+ }
;
-range: ':' NUM '-' NUM
- {
- DBGL2(("range %d %d\n", $2, $4));
- sbit = $2;
- ebit = $4;
- }
+range:
+ ':' NUM '-' NUM
+ {
+ DBGL2 (("range %d %d\n", $2, $4));
+ sbit = $2;
+ ebit = $4;
+ }
|
- {
- sbit = 31;
- ebit = 0;
- }
+ {
+ sbit = 31;
+ ebit = 0;
+ }
;
-
-pnum: PNUM
- {
- DBGL2(("pnum=%d\n",$1));
- $$ = $1;
- }
+
+pnum:
+ PNUM
+ {
+ DBGL2 (("pnum=%d\n",$1));
+ $$ = $1;
+ }
;
-regtype: DREG
- {
- DBGL2(("dreg\n"));
- $$ = DREG;
- }
+regtype:
+ DREG
+ {
+ DBGL2 (("dreg\n"));
+ $$ = DREG;
+ }
| CREG
- {
- DBGL2(("creg\n"));
- $$ = CREG;
- }
+ {
+ DBGL2 (("creg\n"));
+ $$ = CREG;
+ }
| GREG
- {
- DBGL2(("greg\n"));
- $$ = GREG;
- }
+ {
+ DBGL2 (("greg\n"));
+ $$ = GREG;
+ }
;
-name: ID
- {
- DBGL2(("name=%s\n",$1));
- $$ = $1;
- }
+name:
+ ID
+ {
+ DBGL2 (("name=%s\n",$1));
+ $$ = $1;
+ }
;
-number: NUM
- {
- DBGL2(("num=%d\n",$1));
- $$ = $1;
- }
+number:
+ NUM
+ {
+ DBGL2 (("num=%d\n",$1));
+ $$ = $1;
+ }
;
-value: NUM
- {
- DBGL2(("val=x%x\n",$1));
- $$ = $1;
- }
+value:
+ NUM
+ {
+ DBGL2 (("val=x%x\n",$1));
+ $$ = $1;
+ }
;
%%
-void yyerror(char *msg)
+void
+yyerror (char *msg)
{
- printf("line %d: %s\n", insntbl_line, msg);
+ printf ("line %d: %s\n", insntbl_line, msg);
}
-