f4bc6bb0c2
* ia64-gen.c (fetch_insn_class): If xsect, then ignore comment and notestr if larger than xsect. (in_class): Handle format M5. * ia64-asmtab.c: Regnerate.
2790 lines
70 KiB
C
2790 lines
70 KiB
C
/* ia64-gen.c -- Generate a shrunk set of opcode tables
|
||
Copyright 1999, 2000 Free Software Foundation, Inc.
|
||
Written by Bob Manson, Cygnus Solutions, <manson@cygnus.com>
|
||
|
||
This file is part of GDB, GAS, and the GNU binutils.
|
||
|
||
GDB, GAS, and the GNU binutils are free software; you can redistribute
|
||
them and/or modify them 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.
|
||
|
||
GDB, GAS, and the GNU binutils are distributed in the hope that they
|
||
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 file; see the file COPYING. If not, write to the
|
||
Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
|
||
02111-1307, USA. */
|
||
|
||
/* While the ia64-opc-* set of opcode tables are easy to maintain,
|
||
they waste a tremendous amount of space. ia64-gen rearranges the
|
||
instructions into a directed acyclic graph (DAG) of instruction opcodes and
|
||
their possible completers, as well as compacting the set of strings used.
|
||
|
||
The disassembler table consists of a state machine that does
|
||
branching based on the bits of the opcode being disassembled. The
|
||
state encodings have been chosen to minimize the amount of space
|
||
required.
|
||
|
||
The resource table is constructed based on some text dependency tables,
|
||
which are also easier to maintain than the final representation.
|
||
|
||
*/
|
||
|
||
#include <stdio.h>
|
||
#include <ctype.h>
|
||
|
||
#include "ansidecl.h"
|
||
#include "libiberty.h"
|
||
#include "sysdep.h"
|
||
#include "ia64-opc.h"
|
||
#include "ia64-opc-a.c"
|
||
#include "ia64-opc-i.c"
|
||
#include "ia64-opc-m.c"
|
||
#include "ia64-opc-b.c"
|
||
#include "ia64-opc-f.c"
|
||
#include "ia64-opc-x.c"
|
||
#include "ia64-opc-d.c"
|
||
|
||
int debug = 0;
|
||
|
||
#define tmalloc(X) (X *) xmalloc (sizeof (X))
|
||
|
||
/* The main opcode table entry. Each entry is a unique combination of
|
||
name and flags (no two entries in the table compare as being equal
|
||
via opcodes_eq). */
|
||
struct main_entry
|
||
{
|
||
/* The base name of this opcode. The names of its completers are
|
||
appended to it to generate the full instruction name. */
|
||
struct string_entry *name;
|
||
/* The base opcode entry. Which one to use is a fairly arbitrary choice;
|
||
it uses the first one passed to add_opcode_entry. */
|
||
struct ia64_opcode *opcode;
|
||
/* The list of completers that can be applied to this opcode. */
|
||
struct completer_entry *completers;
|
||
/* Next entry in the chain. */
|
||
struct main_entry *next;
|
||
/* Index in the main table. */
|
||
int main_index;
|
||
} *maintable, **ordered_table;
|
||
int otlen = 0;
|
||
int ottotlen = 0;
|
||
int opcode_count = 0;
|
||
|
||
/* The set of possible completers for an opcode. */
|
||
struct completer_entry
|
||
{
|
||
/* This entry's index in the ia64_completer_table[] array. */
|
||
int num;
|
||
|
||
/* The name of the completer. */
|
||
struct string_entry *name;
|
||
|
||
/* This entry's parent. */
|
||
struct completer_entry *parent;
|
||
|
||
/* Set if this is a terminal completer (occurs at the end of an
|
||
opcode). */
|
||
int is_terminal;
|
||
|
||
/* An alternative completer. */
|
||
struct completer_entry *alternative;
|
||
|
||
/* Additional completers that can be appended to this one. */
|
||
struct completer_entry *addl_entries;
|
||
|
||
/* Before compute_completer_bits () is invoked, this contains the actual
|
||
instruction opcode for this combination of opcode and completers.
|
||
Afterwards, it contains those bits that are different from its
|
||
parent opcode. */
|
||
ia64_insn bits;
|
||
|
||
/* Bits set to 1 correspond to those bits in this completer's opcode
|
||
that are different from its parent completer's opcode (or from
|
||
the base opcode if the entry is the root of the opcode's completer
|
||
list). This field is filled in by compute_completer_bits (). */
|
||
ia64_insn mask;
|
||
|
||
/* Index into the opcode dependency list, or -1 if none. */
|
||
int dependencies;
|
||
|
||
/* Remember the order encountered in the opcode tables. */
|
||
int order;
|
||
};
|
||
|
||
/* One entry in the disassembler name table. */
|
||
struct disent
|
||
{
|
||
/* The index into the ia64_name_dis array for this entry. */
|
||
int ournum;
|
||
|
||
/* The index into the main_table[] array. */
|
||
int insn;
|
||
|
||
/* The disassmbly priority of this entry. */
|
||
int priority;
|
||
|
||
/* The completer_index value for this entry. */
|
||
int completer_index;
|
||
|
||
/* How many other entries share this decode. */
|
||
int nextcnt;
|
||
|
||
/* The next entry sharing the same decode. */
|
||
struct disent *nexte;
|
||
|
||
/* The next entry in the name list. */
|
||
struct disent *next_ent;
|
||
} *disinsntable = NULL;
|
||
|
||
/* A state machine that will eventually be used to generate the
|
||
disassembler table. */
|
||
struct bittree
|
||
{
|
||
struct disent *disent;
|
||
struct bittree *bits[3]; /* 0, 1, and X (don't care) */
|
||
int bits_to_skip;
|
||
int skip_flag;
|
||
} *bittree;
|
||
|
||
/* The string table contains all opcodes and completers sorted in
|
||
alphabetical order. */
|
||
|
||
/* One entry in the string table. */
|
||
struct string_entry
|
||
{
|
||
/* The index in the ia64_strings[] array for this entry. */
|
||
int num;
|
||
/* And the string. */
|
||
char *s;
|
||
} **string_table = NULL;
|
||
int strtablen = 0;
|
||
int strtabtotlen = 0;
|
||
|
||
|
||
/* resource dependency entries */
|
||
struct rdep
|
||
{
|
||
char *name; /* resource name */
|
||
unsigned
|
||
mode:2, /* RAW, WAW, or WAR */
|
||
semantics:3; /* dependency semantics */
|
||
char *extra; /* additional semantics info */
|
||
int nchks;
|
||
int total_chks; /* total #of terminal insns */
|
||
int *chks; /* insn classes which read (RAW), write
|
||
(WAW), or write (WAR) this rsrc */
|
||
int *chknotes; /* dependency notes for each class */
|
||
int nregs;
|
||
int total_regs; /* total #of terminal insns */
|
||
int *regs; /* insn class which write (RAW), write2
|
||
(WAW), or read (WAR) this rsrc */
|
||
int *regnotes; /* dependency notes for each class */
|
||
|
||
int waw_special; /* special WAW dependency note */
|
||
} **rdeps = NULL;
|
||
|
||
static int rdepslen = 0;
|
||
static int rdepstotlen = 0;
|
||
|
||
/* array of all instruction classes */
|
||
struct iclass
|
||
{
|
||
char *name; /* instruction class name */
|
||
int is_class; /* is a class, not a terminal */
|
||
int nsubs;
|
||
int *subs; /* other classes within this class */
|
||
int nxsubs;
|
||
int xsubs[4]; /* exclusions */
|
||
char *comment; /* optional comment */
|
||
int note; /* optional note */
|
||
int terminal_resolved; /* did we match this with anything? */
|
||
int orphan; /* detect class orphans */
|
||
} **ics = NULL;
|
||
|
||
static int iclen = 0;
|
||
static int ictotlen = 0;
|
||
|
||
/* an opcode dependency (chk/reg pair of dependency lists) */
|
||
struct opdep
|
||
{
|
||
int chk; /* index into dlists */
|
||
int reg; /* index into dlists */
|
||
} **opdeps;
|
||
|
||
static int opdeplen = 0;
|
||
static int opdeptotlen = 0;
|
||
|
||
/* a generic list of dependencies w/notes encoded. these may be shared. */
|
||
struct deplist
|
||
{
|
||
int len;
|
||
unsigned short *deps;
|
||
} **dlists;
|
||
|
||
static int dlistlen = 0;
|
||
static int dlisttotlen = 0;
|
||
|
||
/* add NAME to the resource table, where TYPE is RAW or WAW */
|
||
static struct rdep *
|
||
insert_resource (const char *name, enum ia64_dependency_mode type)
|
||
{
|
||
if (rdepslen == rdepstotlen)
|
||
{
|
||
rdepstotlen += 20;
|
||
rdeps = (struct rdep **)
|
||
xrealloc (rdeps, sizeof(struct rdep **) * rdepstotlen);
|
||
}
|
||
rdeps[rdepslen] = tmalloc(struct rdep);
|
||
memset((void *)rdeps[rdepslen], 0, sizeof(struct rdep));
|
||
rdeps[rdepslen]->name = xstrdup (name);
|
||
rdeps[rdepslen]->mode = type;
|
||
rdeps[rdepslen]->waw_special = 0;
|
||
|
||
return rdeps[rdepslen++];
|
||
}
|
||
|
||
/* are the lists of dependency indexes equivalent? */
|
||
static int
|
||
deplist_equals (struct deplist *d1, struct deplist *d2)
|
||
{
|
||
int i;
|
||
|
||
if (d1->len != d2->len)
|
||
return 0;
|
||
|
||
for (i=0;i < d1->len;i++)
|
||
{
|
||
if (d1->deps[i] != d2->deps[i])
|
||
return 0;
|
||
}
|
||
|
||
return 1;
|
||
}
|
||
|
||
/* add the list of dependencies to the list of dependency lists */
|
||
static short
|
||
insert_deplist(int count, unsigned short *deps)
|
||
{
|
||
/* sort the list, then see if an equivalent list exists already.
|
||
this results in a much smaller set of dependency lists
|
||
*/
|
||
struct deplist *list;
|
||
char set[0x10000];
|
||
int i;
|
||
|
||
memset ((void *)set, 0, sizeof(set));
|
||
for (i=0;i < count;i++)
|
||
set[deps[i]] = 1;
|
||
count = 0;
|
||
for (i=0;i < (int)sizeof(set);i++)
|
||
if (set[i])
|
||
++count;
|
||
|
||
list = tmalloc(struct deplist);
|
||
list->len = count;
|
||
list->deps = (unsigned short *)malloc (sizeof(unsigned short) * count);
|
||
for (i=0, count=0;i < (int)sizeof(set);i++)
|
||
{
|
||
if (set[i])
|
||
{
|
||
list->deps[count++] = i;
|
||
}
|
||
}
|
||
|
||
/* does this list exist already? */
|
||
for (i=0;i < dlistlen;i++)
|
||
{
|
||
if (deplist_equals (list, dlists[i]))
|
||
{
|
||
free (list->deps);
|
||
free (list);
|
||
return i;
|
||
}
|
||
}
|
||
|
||
if (dlistlen == dlisttotlen)
|
||
{
|
||
dlisttotlen += 20;
|
||
dlists = (struct deplist **)
|
||
xrealloc (dlists, sizeof(struct deplist **) * dlisttotlen);
|
||
}
|
||
dlists[dlistlen] = list;
|
||
|
||
return dlistlen++;
|
||
}
|
||
|
||
/* add the given pair of dependency lists to the opcode dependency list */
|
||
static short
|
||
insert_dependencies (int nchks, unsigned short *chks,
|
||
int nregs, unsigned short *regs)
|
||
{
|
||
struct opdep *pair;
|
||
int i;
|
||
int regind = -1;
|
||
int chkind = -1;
|
||
|
||
if (nregs > 0)
|
||
regind = insert_deplist (nregs, regs);
|
||
if (nchks > 0)
|
||
chkind = insert_deplist (nchks, chks);
|
||
|
||
for (i=0;i < opdeplen;i++)
|
||
{
|
||
if (opdeps[i]->chk == chkind
|
||
&& opdeps[i]->reg == regind)
|
||
return i;
|
||
}
|
||
pair = tmalloc(struct opdep);
|
||
pair->chk = chkind;
|
||
pair->reg = regind;
|
||
|
||
if (opdeplen == opdeptotlen)
|
||
{
|
||
opdeptotlen += 20;
|
||
opdeps = (struct opdep **)
|
||
xrealloc (opdeps, sizeof(struct opdep **) * opdeptotlen);
|
||
}
|
||
opdeps[opdeplen] = pair;
|
||
|
||
return opdeplen++;
|
||
}
|
||
|
||
static void
|
||
mark_used (struct iclass *ic, int clear_terminals)
|
||
{
|
||
int i;
|
||
|
||
ic->orphan = 0;
|
||
if (clear_terminals)
|
||
ic->terminal_resolved = 1;
|
||
|
||
for (i=0;i < ic->nsubs;i++)
|
||
{
|
||
mark_used (ics[ic->subs[i]], clear_terminals);
|
||
}
|
||
for (i=0;i < ic->nxsubs;i++)
|
||
{
|
||
mark_used (ics[ic->xsubs[i]], clear_terminals);
|
||
}
|
||
}
|
||
|
||
/* look up an instruction class; if CREATE make a new one if none found;
|
||
returns the index into the insn class array */
|
||
static int
|
||
fetch_insn_class(const char *full_name, int create)
|
||
{
|
||
char *name;
|
||
char *notestr;
|
||
char *xsect;
|
||
char *comment;
|
||
int i, note = 0;
|
||
int ind;
|
||
int is_class = 0;
|
||
|
||
if (strncmp (full_name, "IC:", 3) == 0)
|
||
{
|
||
name = xstrdup (full_name + 3);
|
||
is_class = 1;
|
||
}
|
||
else
|
||
name = xstrdup (full_name);
|
||
|
||
if ((xsect = strchr(name, '\\')) != NULL)
|
||
is_class = 1;
|
||
if ((comment = strchr(name, '[')) != NULL)
|
||
is_class = 1;
|
||
if ((notestr = strchr(name, '+')) != NULL)
|
||
is_class = 1;
|
||
|
||
/* If it is a composite class, then ignore comments and notes that come after
|
||
the '\\', since they don't apply to the part we are decoding now. */
|
||
if (xsect)
|
||
{
|
||
if (comment > xsect)
|
||
comment = 0;
|
||
if (notestr > xsect)
|
||
notestr = 0;
|
||
}
|
||
|
||
if (notestr)
|
||
{
|
||
char *nextnotestr;
|
||
note = atoi (notestr + 1);
|
||
if ((nextnotestr = strchr (notestr + 1, '+')) != NULL)
|
||
{
|
||
if (strcmp (notestr, "+1+13") == 0)
|
||
note = 13;
|
||
else if (!xsect || nextnotestr < xsect)
|
||
fprintf (stderr, "Warning: multiple note %s not handled\n",
|
||
notestr);
|
||
}
|
||
}
|
||
|
||
/* If it's a composite class, leave the notes and comments in place so that
|
||
we have a unique name for the composite class. Otherwise, we remove
|
||
them. */
|
||
if (!xsect)
|
||
{
|
||
if (notestr)
|
||
*notestr = 0;
|
||
if (comment)
|
||
*comment = 0;
|
||
}
|
||
|
||
for (i=0;i < iclen;i++)
|
||
if (strcmp(name, ics[i]->name) == 0
|
||
&& ((comment == NULL && ics[i]->comment == NULL)
|
||
|| (comment != NULL && ics[i]->comment != NULL
|
||
&& strncmp (ics[i]->comment, comment,
|
||
strlen (ics[i]->comment)) == 0))
|
||
&& note == ics[i]->note)
|
||
return i;
|
||
|
||
if (!create)
|
||
return -1;
|
||
|
||
/* doesn't exist, so make a new one */
|
||
if (iclen == ictotlen)
|
||
{
|
||
ictotlen += 20;
|
||
ics = (struct iclass **)
|
||
xrealloc(ics, (ictotlen)*sizeof(struct iclass *));
|
||
}
|
||
ind = iclen++;
|
||
ics[ind] = tmalloc(struct iclass);
|
||
memset((void *)ics[ind], 0, sizeof(struct iclass));
|
||
ics[ind]->name = xstrdup(name);
|
||
ics[ind]->is_class = is_class;
|
||
ics[ind]->orphan = 1;
|
||
|
||
if (comment)
|
||
{
|
||
ics[ind]->comment = xstrdup (comment + 1);
|
||
ics[ind]->comment[strlen(ics[ind]->comment)-1] = 0;
|
||
}
|
||
if (notestr)
|
||
ics[ind]->note = note;
|
||
|
||
/* if it's a composite class, there's a comment or note, look for an
|
||
existing class or terminal with the same name. */
|
||
if ((xsect || comment || notestr) && is_class)
|
||
{
|
||
/* First, populate with the class we're based on. */
|
||
char *subname = name;
|
||
if (xsect)
|
||
*xsect = 0;
|
||
else if (comment)
|
||
*comment = 0;
|
||
else if (notestr)
|
||
*notestr = 0;
|
||
ics[ind]->nsubs = 1;
|
||
ics[ind]->subs = tmalloc(int);
|
||
ics[ind]->subs[0] = fetch_insn_class (subname, 1);;
|
||
}
|
||
|
||
while (xsect)
|
||
{
|
||
char *subname = xsect + 1;
|
||
xsect = strchr (subname, '\\');
|
||
if (xsect)
|
||
*xsect = 0;
|
||
ics[ind]->xsubs[ics[ind]->nxsubs] = fetch_insn_class (subname,1);
|
||
ics[ind]->nxsubs++;
|
||
}
|
||
free (name);
|
||
|
||
return ind;
|
||
}
|
||
|
||
/* for sorting a class's sub-class list only; make sure classes appear before
|
||
terminals */
|
||
static int
|
||
sub_compare (const void *e1, const void *e2)
|
||
{
|
||
struct iclass *ic1 = ics[*(int *)e1];
|
||
struct iclass *ic2 = ics[*(int *)e2];
|
||
|
||
if (ic1->is_class)
|
||
{
|
||
if (!ic2->is_class)
|
||
return -1;
|
||
}
|
||
else if (ic2->is_class)
|
||
return 1;
|
||
|
||
return strcmp (ic1->name, ic2->name);
|
||
}
|
||
|
||
static void
|
||
load_insn_classes()
|
||
{
|
||
FILE *fp = fopen("ia64-ic.tbl", "r");
|
||
char buf[2048];
|
||
|
||
if (fp == NULL){
|
||
fprintf (stderr, "Can't find ia64-ic.tbl for reading\n");
|
||
exit(1);
|
||
}
|
||
|
||
/* discard first line */
|
||
fgets (buf, sizeof(buf), fp);
|
||
|
||
while (!feof(fp))
|
||
{
|
||
int iclass;
|
||
char *name;
|
||
char *tmp;
|
||
|
||
if (fgets (buf, sizeof(buf), fp) == NULL)
|
||
break;
|
||
|
||
while (isspace(buf[strlen(buf)-1]))
|
||
buf[strlen(buf)-1] = '\0';
|
||
|
||
name = tmp = buf;
|
||
while (*tmp != ';')
|
||
{
|
||
++tmp;
|
||
if (tmp == buf + sizeof(buf))
|
||
abort ();
|
||
}
|
||
*tmp++ = '\0';
|
||
|
||
iclass = fetch_insn_class(name, 1);
|
||
ics[iclass]->is_class = 1;
|
||
|
||
if (strcmp (name, "none") == 0)
|
||
{
|
||
ics[iclass]->is_class = 0;
|
||
ics[iclass]->terminal_resolved = 1;
|
||
continue;
|
||
}
|
||
|
||
/* for this class, record all sub-classes */
|
||
while (*tmp)
|
||
{
|
||
char *subname;
|
||
int sub;
|
||
|
||
while (*tmp && isspace(*tmp))
|
||
{
|
||
++tmp;
|
||
if (tmp == buf + sizeof(buf))
|
||
abort();
|
||
}
|
||
subname = tmp;
|
||
while (*tmp && *tmp != ',')
|
||
{
|
||
++tmp;
|
||
if (tmp == buf + sizeof(buf))
|
||
abort();
|
||
}
|
||
if (*tmp == ',')
|
||
*tmp++ = '\0';
|
||
|
||
ics[iclass]->subs = (int *)
|
||
xrealloc((void *)ics[iclass]->subs,
|
||
(ics[iclass]->nsubs+1)*sizeof(int));
|
||
|
||
sub = fetch_insn_class(subname, 1);
|
||
ics[iclass]->subs = (int *)
|
||
xrealloc(ics[iclass]->subs, (ics[iclass]->nsubs+1)*sizeof(int));
|
||
ics[iclass]->subs[ics[iclass]->nsubs++] = sub;
|
||
}
|
||
/* make sure classes come before terminals */
|
||
qsort ((void *)ics[iclass]->subs,
|
||
ics[iclass]->nsubs, sizeof(int), sub_compare);
|
||
}
|
||
fclose(fp);
|
||
|
||
if (debug)
|
||
{
|
||
printf ("%d classes\n", iclen);
|
||
}
|
||
}
|
||
|
||
/* extract the insn classes from the given line */
|
||
static void
|
||
parse_resource_users(ref, usersp, nusersp, notesp)
|
||
char *ref;
|
||
int **usersp;
|
||
int *nusersp;
|
||
int **notesp;
|
||
{
|
||
int c;
|
||
char *line = xstrdup (ref);
|
||
char *tmp = line;
|
||
int *users = *usersp;
|
||
int count = *nusersp;
|
||
int *notes = *notesp;
|
||
|
||
c = *tmp;
|
||
while (c != 0)
|
||
{
|
||
char *notestr;
|
||
int note;
|
||
char *xsect;
|
||
int iclass;
|
||
int create = 0;
|
||
char *name;
|
||
|
||
while (isspace(*tmp))
|
||
++tmp;
|
||
name = tmp;
|
||
while (*tmp && *tmp != ',')
|
||
++tmp;
|
||
c = *tmp;
|
||
*tmp++ = '\0';
|
||
|
||
xsect = strchr(name, '\\');
|
||
if ((notestr = strstr(name, "+")) != NULL)
|
||
{
|
||
char *nextnotestr;
|
||
note = atoi (notestr + 1);
|
||
if ((nextnotestr = strchr (notestr + 1, '+')) != NULL)
|
||
{
|
||
/* note 13 always implies note 1 */
|
||
if (strcmp (notestr, "+1+13") == 0)
|
||
note = 13;
|
||
else if (!xsect || nextnotestr < xsect)
|
||
fprintf (stderr, "Warning: multiple note %s not handled\n",
|
||
notestr);
|
||
}
|
||
if (!xsect)
|
||
*notestr = '\0';
|
||
}
|
||
else
|
||
note = 0;
|
||
|
||
/* All classes are created when the insn class table is parsed;
|
||
Individual instructions might not appear until the dependency tables
|
||
are read. Only create new classes if it's *not* an insn class,
|
||
or if it's a composite class (which wouldn't necessarily be in the IC
|
||
table).
|
||
*/
|
||
if (strncmp(name, "IC:", 3) != 0 || xsect != NULL)
|
||
create = 1;
|
||
|
||
iclass = fetch_insn_class(name, create);
|
||
if (iclass != -1)
|
||
{
|
||
users = (int *)
|
||
xrealloc ((void *)users,(count+1)*sizeof(int));
|
||
notes = (int *)
|
||
xrealloc ((void *)notes,(count+1)*sizeof(int));
|
||
notes[count] = note;
|
||
users[count++] = iclass;
|
||
mark_used (ics[iclass], 0);
|
||
}
|
||
else
|
||
{
|
||
if (debug)
|
||
printf("Class %s not found\n", name);
|
||
}
|
||
}
|
||
/* update the return values */
|
||
*usersp = users;
|
||
*nusersp = count;
|
||
*notesp = notes;
|
||
|
||
free (line);
|
||
}
|
||
|
||
static int
|
||
parse_semantics (char *sem)
|
||
{
|
||
if (strcmp (sem, "none") == 0)
|
||
return IA64_DVS_NONE;
|
||
else if (strcmp (sem, "implied") == 0)
|
||
return IA64_DVS_IMPLIED;
|
||
else if (strcmp (sem, "impliedF") == 0)
|
||
return IA64_DVS_IMPLIEDF;
|
||
else if (strcmp (sem, "data") == 0)
|
||
return IA64_DVS_DATA;
|
||
else if (strcmp (sem, "instr") == 0)
|
||
return IA64_DVS_INSTR;
|
||
else if (strcmp (sem, "specific") == 0)
|
||
return IA64_DVS_SPECIFIC;
|
||
else if (strcmp (sem, "stop") == 0)
|
||
return IA64_DVS_STOP;
|
||
else
|
||
return IA64_DVS_OTHER;
|
||
}
|
||
|
||
static void
|
||
add_dep (const char *name, const char *chk, const char *reg,
|
||
int semantics, int mode, char *extra, int flag)
|
||
{
|
||
struct rdep *rs;
|
||
|
||
rs = insert_resource (name, mode);
|
||
parse_resource_users (chk, &rs->chks, &rs->nchks,
|
||
&rs->chknotes);
|
||
parse_resource_users (reg, &rs->regs, &rs->nregs,
|
||
&rs->regnotes);
|
||
rs->semantics = semantics;
|
||
rs->extra = extra;
|
||
rs->waw_special = flag;
|
||
}
|
||
|
||
static void
|
||
load_depfile (const char *filename, enum ia64_dependency_mode mode)
|
||
{
|
||
FILE *fp = fopen(filename, "r");
|
||
char buf[1024];
|
||
|
||
if (fp == NULL){
|
||
fprintf (stderr, "Can't find %s for reading\n", filename);
|
||
exit(1);
|
||
}
|
||
|
||
fgets(buf, sizeof(buf), fp);
|
||
while (!feof(fp))
|
||
{
|
||
char *name, *tmp;
|
||
int semantics;
|
||
char *extra;
|
||
char *regp, *chkp;
|
||
|
||
if (fgets (buf, sizeof(buf), fp) == NULL)
|
||
break;
|
||
|
||
while (isspace(buf[strlen(buf)-1]))
|
||
buf[strlen(buf)-1] = '\0';
|
||
|
||
name = tmp = buf;
|
||
while (*tmp != ';')
|
||
++tmp;
|
||
*tmp++ = '\0';
|
||
|
||
while (isspace (*tmp))
|
||
++tmp;
|
||
regp = tmp;
|
||
tmp = strchr (tmp, ';');
|
||
if (!tmp)
|
||
abort ();
|
||
*tmp++ = 0;
|
||
while (isspace (*tmp))
|
||
++tmp;
|
||
chkp = tmp;
|
||
tmp = strchr (tmp, ';');
|
||
if (!tmp)
|
||
abort ();
|
||
*tmp++ = 0;
|
||
while (isspace (*tmp))
|
||
++tmp;
|
||
semantics = parse_semantics (tmp);
|
||
extra = semantics == IA64_DVS_OTHER ? xstrdup (tmp) : NULL;
|
||
|
||
/* For WAW entries, if the chks and regs differ, we need to enter the
|
||
entries in both positions so that the tables will be parsed properly,
|
||
without a lot of extra work */
|
||
if (mode == IA64_DV_WAW && strcmp (regp, chkp) != 0)
|
||
{
|
||
add_dep (name, chkp, regp, semantics, mode, extra, 0);
|
||
add_dep (name, regp, chkp, semantics, mode, extra, 1);
|
||
}
|
||
else
|
||
{
|
||
add_dep (name, chkp, regp, semantics, mode, extra, 0);
|
||
}
|
||
}
|
||
fclose(fp);
|
||
}
|
||
|
||
static void
|
||
load_dependencies()
|
||
{
|
||
load_depfile ("ia64-raw.tbl", IA64_DV_RAW);
|
||
load_depfile ("ia64-waw.tbl", IA64_DV_WAW);
|
||
load_depfile ("ia64-war.tbl", IA64_DV_WAR);
|
||
|
||
if (debug)
|
||
printf ("%d RAW/WAW/WAR dependencies\n", rdepslen);
|
||
}
|
||
|
||
/* is the given operand an indirect register file operand? */
|
||
static int
|
||
irf_operand (int op, const char *field)
|
||
{
|
||
if (!field)
|
||
{
|
||
return op == IA64_OPND_RR_R3 || op == IA64_OPND_DBR_R3
|
||
|| op == IA64_OPND_IBR_R3 || op == IA64_OPND_PKR_R3
|
||
|| op == IA64_OPND_PMC_R3 || op == IA64_OPND_PMD_R3
|
||
|| op == IA64_OPND_MSR_R3 || op == IA64_OPND_CPUID_R3;
|
||
}
|
||
else
|
||
{
|
||
return ((op == IA64_OPND_RR_R3 && strstr (field, "rr"))
|
||
|| (op == IA64_OPND_DBR_R3 && strstr (field, "dbr"))
|
||
|| (op == IA64_OPND_IBR_R3 && strstr (field, "ibr"))
|
||
|| (op == IA64_OPND_PKR_R3 && strstr (field, "pkr"))
|
||
|| (op == IA64_OPND_PMC_R3 && strstr (field, "pmc"))
|
||
|| (op == IA64_OPND_PMD_R3 && strstr (field, "pmd"))
|
||
|| (op == IA64_OPND_MSR_R3 && strstr (field, "msr"))
|
||
|| (op == IA64_OPND_CPUID_R3 && strstr (field, "cpuid")));
|
||
}
|
||
}
|
||
|
||
/* handle mov_ar, mov_br, mov_cr, mov_indirect, mov_ip, mov_pr, mov_psr, and
|
||
mov_um insn classes */
|
||
static int
|
||
in_iclass_mov_x (struct ia64_opcode *idesc, struct iclass *ic,
|
||
const char *format, const char *field)
|
||
{
|
||
int plain_mov = strcmp (idesc->name, "mov") == 0;
|
||
|
||
if (!format)
|
||
return 0;
|
||
|
||
switch (ic->name[4])
|
||
{
|
||
default:
|
||
abort ();
|
||
case 'a':
|
||
{
|
||
int i = strcmp (idesc->name, "mov.i") == 0;
|
||
int m = strcmp (idesc->name, "mov.m") == 0;
|
||
int i2627 = i && idesc->operands[0] == IA64_OPND_AR3;
|
||
int i28 = i && idesc->operands[1] == IA64_OPND_AR3;
|
||
int m2930 = m && idesc->operands[0] == IA64_OPND_AR3;
|
||
int m31 = m && idesc->operands[1] == IA64_OPND_AR3;
|
||
int pseudo0 = plain_mov && idesc->operands[1] == IA64_OPND_AR3;
|
||
int pseudo1 = plain_mov && idesc->operands[0] == IA64_OPND_AR3;
|
||
|
||
/* IC:mov ar */
|
||
if (i2627)
|
||
return strstr (format, "I26") || strstr (format, "I27");
|
||
if (i28)
|
||
return strstr (format, "I28") != NULL;
|
||
if (m2930)
|
||
return strstr (format, "M29") || strstr (format, "M30");
|
||
if (m31)
|
||
return strstr (format, "M31") != NULL;
|
||
if (pseudo0 || pseudo1)
|
||
return 1;
|
||
}
|
||
break;
|
||
case 'b':
|
||
{
|
||
int i21 = idesc->operands[0] == IA64_OPND_B1;
|
||
int i22 = plain_mov && idesc->operands[1] == IA64_OPND_B2;
|
||
if (i22)
|
||
return strstr (format, "I22") != NULL;
|
||
if (i21)
|
||
return strstr (format, "I21") != NULL;
|
||
}
|
||
break;
|
||
case 'c':
|
||
{
|
||
int m32 = plain_mov && idesc->operands[0] == IA64_OPND_CR3;
|
||
int m33 = plain_mov && idesc->operands[1] == IA64_OPND_CR3;
|
||
if (m32)
|
||
return strstr (format, "M32") != NULL;
|
||
if (m33)
|
||
return strstr (format, "M33") != NULL;
|
||
}
|
||
break;
|
||
case 'i':
|
||
if (ic->name[5] == 'n')
|
||
{
|
||
int m42 = plain_mov && irf_operand (idesc->operands[0], field);
|
||
int m43 = plain_mov && irf_operand (idesc->operands[1], field);
|
||
if (m42)
|
||
return strstr (format, "M42") != NULL;
|
||
if (m43)
|
||
return strstr (format, "M43") != NULL;
|
||
}
|
||
else if (ic->name[5] == 'p')
|
||
{
|
||
return idesc->operands[1] == IA64_OPND_IP;
|
||
}
|
||
else
|
||
abort ();
|
||
break;
|
||
case 'p':
|
||
if (ic->name[5] == 'r')
|
||
{
|
||
int i25 = plain_mov && idesc->operands[1] == IA64_OPND_PR;
|
||
int i23 = plain_mov && idesc->operands[0] == IA64_OPND_PR;
|
||
int i24 = plain_mov && idesc->operands[0] == IA64_OPND_PR_ROT;
|
||
if (i23)
|
||
return strstr (format, "I23") != NULL;
|
||
if (i24)
|
||
return strstr (format, "I24") != NULL;
|
||
if (i25)
|
||
return strstr (format, "I25") != NULL;
|
||
}
|
||
else if (ic->name[5] == 's')
|
||
{
|
||
int m35 = plain_mov && idesc->operands[0] == IA64_OPND_PSR_L;
|
||
int m36 = plain_mov && idesc->operands[1] == IA64_OPND_PSR;
|
||
if (m35)
|
||
return strstr (format, "M35") != NULL;
|
||
if (m36)
|
||
return strstr (format, "M36") != NULL;
|
||
}
|
||
else
|
||
abort ();
|
||
break;
|
||
case 'u':
|
||
{
|
||
int m35 = plain_mov && idesc->operands[0] == IA64_OPND_PSR_UM;
|
||
int m36 = plain_mov && idesc->operands[1] == IA64_OPND_PSR_UM;
|
||
if (m35)
|
||
return strstr (format, "M35") != NULL;
|
||
if (m36)
|
||
return strstr (format, "M36") != NULL;
|
||
}
|
||
break;
|
||
}
|
||
return 0;
|
||
}
|
||
|
||
|
||
/* is the given opcode in the given insn class? */
|
||
static int
|
||
in_iclass(struct ia64_opcode *idesc, struct iclass *ic,
|
||
const char *format, const char *field, int *notep)
|
||
{
|
||
int i;
|
||
int resolved = 0;
|
||
|
||
if (ic->comment)
|
||
{
|
||
if (!strncmp (ic->comment, "Format", 6))
|
||
{
|
||
/* assume that the first format seen is the most restrictive, and
|
||
only keep a later one if it looks like it's more restrictive. */
|
||
if (format)
|
||
{
|
||
if (strlen (ic->comment) < strlen (format))
|
||
{
|
||
fprintf (stderr, "Warning: most recent format '%s'\n"
|
||
"appears more restrictive than '%s'\n",
|
||
ic->comment, format);
|
||
format = ic->comment;
|
||
}
|
||
}
|
||
else
|
||
format = ic->comment;
|
||
}
|
||
else if (!strncmp (ic->comment, "Field", 5))
|
||
{
|
||
if (field)
|
||
fprintf (stderr, "Overlapping field %s->%s\n",
|
||
ic->comment, field);
|
||
field = ic->comment;
|
||
}
|
||
}
|
||
|
||
/* an insn class matches anything that is the same followed by completers,
|
||
except when the absence and presence of completers constitutes different
|
||
instructions */
|
||
if (ic->nsubs == 0 && ic->nxsubs == 0)
|
||
{
|
||
int is_mov = strncmp (idesc->name, "mov", 3) == 0;
|
||
int plain_mov = strcmp (idesc->name, "mov") == 0;
|
||
int len = strlen(ic->name);
|
||
|
||
resolved = ((strncmp (ic->name, idesc->name, len) == 0)
|
||
&& (idesc->name[len] == '\0'
|
||
|| idesc->name[len] == '.'));
|
||
|
||
/* all break and nop variations must match exactly */
|
||
if (resolved &&
|
||
(strcmp (ic->name, "break") == 0
|
||
|| strcmp (ic->name, "nop") == 0))
|
||
resolved = strcmp (ic->name, idesc->name) == 0;
|
||
|
||
/* assume restrictions in the FORMAT/FIELD negate resolution,
|
||
unless specifically allowed by clauses in this block */
|
||
if (resolved && field)
|
||
{
|
||
/* check Field(sf)==sN against opcode sN */
|
||
if (strstr(field, "(sf)==") != NULL)
|
||
{
|
||
char *sf;
|
||
if ((sf = strstr (idesc->name, ".s")) != 0)
|
||
{
|
||
resolved = strcmp (sf + 1, strstr (field, "==") + 2) == 0;
|
||
}
|
||
}
|
||
/* check Field(lftype)==XXX */
|
||
else if (strstr (field, "(lftype)") != NULL)
|
||
{
|
||
if (strstr (idesc->name, "fault") != NULL)
|
||
resolved = strstr (field, "fault") != NULL;
|
||
else
|
||
resolved = strstr (field, "fault") == NULL;
|
||
}
|
||
/* handle Field(ctype)==XXX */
|
||
else if (strstr (field, "(ctype)") != NULL)
|
||
{
|
||
if (strstr (idesc->name, "or.andcm"))
|
||
resolved = strstr (field, "or.andcm") != NULL;
|
||
else if (strstr (idesc->name, "and.orcm"))
|
||
resolved = strstr (field, "and.orcm") != NULL;
|
||
else if (strstr (idesc->name, "orcm"))
|
||
resolved = strstr (field, "or orcm") != NULL;
|
||
else if (strstr (idesc->name, "or"))
|
||
resolved = strstr (field, "or orcm") != NULL;
|
||
else if (strstr (idesc->name, "andcm"))
|
||
resolved = strstr (field, "and andcm") != NULL;
|
||
else if (strstr (idesc->name, "and"))
|
||
resolved = strstr (field, "and andcm") != NULL;
|
||
else if (strstr (idesc->name, "unc"))
|
||
resolved = strstr (field, "unc") != NULL;
|
||
else
|
||
resolved = strcmp (field, "Field(ctype)==") == 0;
|
||
}
|
||
}
|
||
if (resolved && format)
|
||
{
|
||
if (strncmp (idesc->name, "dep", 3) == 0
|
||
&& strstr (format, "I13") != NULL)
|
||
resolved = idesc->operands[1] == IA64_OPND_IMM8;
|
||
else if (strncmp (idesc->name, "chk", 3) == 0
|
||
&& strstr (format, "M21") != NULL)
|
||
resolved = idesc->operands[0] == IA64_OPND_F2;
|
||
else if (strncmp (idesc->name, "lfetch", 6) == 0)
|
||
resolved = (strstr (format, "M14 M15") != NULL
|
||
&& (idesc->operands[1] == IA64_OPND_R2
|
||
|| idesc->operands[1] == IA64_OPND_IMM9b));
|
||
else if (strncmp (idesc->name, "br.call", 7) == 0
|
||
&& strstr (format, "B5") != NULL)
|
||
resolved = idesc->operands[1] == IA64_OPND_B2;
|
||
else if (strncmp (idesc->name, "br.call", 7) == 0
|
||
&& strstr (format, "B3") != NULL)
|
||
resolved = idesc->operands[1] == IA64_OPND_TGT25c;
|
||
else if (strncmp (idesc->name, "brp", 3) == 0
|
||
&& strstr (format, "B7") != NULL)
|
||
resolved = idesc->operands[0] == IA64_OPND_B2;
|
||
else if (strcmp (ic->name, "invala") == 0)
|
||
resolved = strcmp (idesc->name, ic->name) == 0;
|
||
else if (strncmp (idesc->name, "st", 2) == 0
|
||
&& strstr (format, "M5") != NULL)
|
||
resolved = idesc->flags & IA64_OPCODE_POSTINC;
|
||
else
|
||
resolved = 0;
|
||
}
|
||
|
||
/* misc brl variations ('.cond' is optional);
|
||
plain brl matches brl.cond */
|
||
if (!resolved
|
||
&& (strcmp (idesc->name, "brl") == 0
|
||
|| strncmp (idesc->name, "brl.", 4) == 0)
|
||
&& strcmp (ic->name, "brl.cond") == 0)
|
||
{
|
||
resolved = 1;
|
||
}
|
||
|
||
/* misc br variations ('.cond' is optional) */
|
||
if (!resolved
|
||
&& (strcmp (idesc->name, "br") == 0
|
||
|| strncmp (idesc->name, "br.", 3) == 0)
|
||
&& strcmp (ic->name, "br.cond") == 0)
|
||
{
|
||
if (format)
|
||
resolved = (strstr (format, "B4") != NULL
|
||
&& idesc->operands[0] == IA64_OPND_B2)
|
||
|| (strstr (format, "B1") != NULL
|
||
&& idesc->operands[0] == IA64_OPND_TGT25c);
|
||
else
|
||
resolved = 1;
|
||
}
|
||
|
||
/* probe variations */
|
||
if (!resolved && strncmp (idesc->name, "probe", 5) == 0)
|
||
{
|
||
resolved = strcmp (ic->name, "probe") == 0
|
||
&& !((strstr (idesc->name, "fault") != NULL)
|
||
^ (format && strstr (format, "M40") != NULL));
|
||
}
|
||
/* mov variations */
|
||
if (!resolved && is_mov)
|
||
{
|
||
if (plain_mov)
|
||
{
|
||
/* mov alias for fmerge */
|
||
if (strcmp (ic->name, "fmerge") == 0)
|
||
{
|
||
resolved = idesc->operands[0] == IA64_OPND_F1
|
||
&& idesc->operands[1] == IA64_OPND_F3;
|
||
}
|
||
/* mov alias for adds (r3 or imm14) */
|
||
else if (strcmp (ic->name, "adds") == 0)
|
||
{
|
||
resolved = (idesc->operands[0] == IA64_OPND_R1
|
||
&& (idesc->operands[1] == IA64_OPND_R3
|
||
|| (idesc->operands[1] == IA64_OPND_IMM14)));
|
||
}
|
||
/* mov alias for addl */
|
||
else if (strcmp (ic->name, "addl") == 0)
|
||
{
|
||
resolved = idesc->operands[0] == IA64_OPND_R1
|
||
&& idesc->operands[1] == IA64_OPND_IMM22;
|
||
}
|
||
}
|
||
/* some variants of mov and mov.[im] */
|
||
if (!resolved && strncmp (ic->name, "mov_", 4) == 0)
|
||
{
|
||
resolved = in_iclass_mov_x (idesc, ic, format, field);
|
||
}
|
||
}
|
||
|
||
/* keep track of this so we can flag any insn classes which aren't
|
||
mapped onto at least one real insn */
|
||
if (resolved)
|
||
{
|
||
ic->terminal_resolved = 1;
|
||
}
|
||
}
|
||
else for (i=0;i < ic->nsubs;i++)
|
||
{
|
||
if (in_iclass(idesc, ics[ic->subs[i]], format, field, notep))
|
||
{
|
||
int j;
|
||
for (j=0;j < ic->nxsubs;j++)
|
||
{
|
||
if (in_iclass(idesc, ics[ic->xsubs[j]], NULL, NULL, NULL))
|
||
return 0;
|
||
}
|
||
if (debug > 1)
|
||
printf ("%s is in IC %s\n",
|
||
idesc->name, ic->name);
|
||
resolved = 1;
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* If it's in this IC, add the IC note (if any) to the insn */
|
||
if (resolved)
|
||
{
|
||
if (ic->note && notep)
|
||
{
|
||
if (*notep && *notep != ic->note)
|
||
{
|
||
fprintf (stderr, "Warning: overwriting note %d with note %d"
|
||
"(IC:%s)\n",
|
||
*notep, ic->note, ic->name);
|
||
}
|
||
*notep = ic->note;
|
||
}
|
||
}
|
||
|
||
return resolved;
|
||
}
|
||
|
||
|
||
static int
|
||
lookup_regindex (const char *name, int specifier)
|
||
{
|
||
switch (specifier)
|
||
{
|
||
case IA64_RS_ARX:
|
||
if (strstr (name, "[RSC]"))
|
||
return 16;
|
||
if (strstr (name, "[BSP]"))
|
||
return 17;
|
||
else if (strstr (name, "[BSPSTORE]"))
|
||
return 18;
|
||
else if (strstr (name, "[RNAT]"))
|
||
return 19;
|
||
else if (strstr (name, "[CCV]"))
|
||
return 32;
|
||
else if (strstr (name, "[ITC]"))
|
||
return 44;
|
||
else if (strstr (name, "[PFS]"))
|
||
return 64;
|
||
else if (strstr (name, "[LC]"))
|
||
return 65;
|
||
else if (strstr (name, "[EC]"))
|
||
return 66;
|
||
abort ();
|
||
case IA64_RS_CRX:
|
||
if (strstr (name, "[DCR]"))
|
||
return 0;
|
||
else if (strstr (name, "[ITM]"))
|
||
return 1;
|
||
else if (strstr (name, "[IVA]"))
|
||
return 2;
|
||
else if (strstr (name, "[PTA]"))
|
||
return 8;
|
||
else if (strstr (name, "[GPTA]"))
|
||
return 9;
|
||
else if (strstr (name, "[IPSR]"))
|
||
return 16;
|
||
else if (strstr (name, "[ISR]"))
|
||
return 17;
|
||
else if (strstr (name, "[IIP]"))
|
||
return 19;
|
||
else if (strstr (name, "[IFA]"))
|
||
return 20;
|
||
else if (strstr (name, "[ITIR]"))
|
||
return 21;
|
||
else if (strstr (name, "[IIPA]"))
|
||
return 22;
|
||
else if (strstr (name, "[IFS]"))
|
||
return 23;
|
||
else if (strstr (name, "[IIM]"))
|
||
return 24;
|
||
else if (strstr (name, "[IHA]"))
|
||
return 25;
|
||
else if (strstr (name, "[LID]"))
|
||
return 64;
|
||
else if (strstr (name, "[IVR]"))
|
||
return 65;
|
||
else if (strstr (name, "[TPR]"))
|
||
return 66;
|
||
else if (strstr (name, "[EOI]"))
|
||
return 67;
|
||
else if (strstr (name, "[ITV]"))
|
||
return 72;
|
||
else if (strstr (name, "[PMV]"))
|
||
return 73;
|
||
else if (strstr (name, "[CMCV]"))
|
||
return 74;
|
||
abort ();
|
||
case IA64_RS_PSR:
|
||
if (strstr (name, ".be"))
|
||
return 1;
|
||
else if (strstr (name, ".up"))
|
||
return 2;
|
||
else if (strstr (name, ".ac"))
|
||
return 3;
|
||
else if (strstr (name, ".mfl"))
|
||
return 4;
|
||
else if (strstr (name, ".mfh"))
|
||
return 5;
|
||
else if (strstr (name, ".ic"))
|
||
return 13;
|
||
else if (strstr (name, ".i"))
|
||
return 14;
|
||
else if (strstr (name, ".pk"))
|
||
return 15;
|
||
else if (strstr (name, ".dt"))
|
||
return 17;
|
||
else if (strstr (name, ".dfl"))
|
||
return 18;
|
||
else if (strstr (name, ".dfh"))
|
||
return 19;
|
||
else if (strstr (name, ".sp"))
|
||
return 20;
|
||
else if (strstr (name, ".pp"))
|
||
return 21;
|
||
else if (strstr (name, ".di"))
|
||
return 22;
|
||
else if (strstr (name, ".si"))
|
||
return 23;
|
||
else if (strstr (name, ".db"))
|
||
return 24;
|
||
else if (strstr (name, ".lp"))
|
||
return 25;
|
||
else if (strstr (name, ".tb"))
|
||
return 26;
|
||
else if (strstr (name, ".rt"))
|
||
return 27;
|
||
else if (strstr (name, ".cpl"))
|
||
return 32;
|
||
else if (strstr (name, ".rs"))
|
||
return 34;
|
||
else if (strstr (name, ".mc"))
|
||
return 35;
|
||
else if (strstr (name, ".it"))
|
||
return 36;
|
||
else if (strstr (name, ".id"))
|
||
return 37;
|
||
else if (strstr (name, ".da"))
|
||
return 38;
|
||
else if (strstr (name, ".dd"))
|
||
return 39;
|
||
else if (strstr (name, ".ss"))
|
||
return 40;
|
||
else if (strstr (name, ".ri"))
|
||
return 41;
|
||
else if (strstr (name, ".ed"))
|
||
return 43;
|
||
else if (strstr (name, ".bn"))
|
||
return 44;
|
||
else if (strstr (name, ".ia"))
|
||
return 45;
|
||
else
|
||
abort ();
|
||
default:
|
||
break;
|
||
}
|
||
return REG_NONE;
|
||
}
|
||
|
||
static int
|
||
lookup_specifier (const char *name)
|
||
{
|
||
if (strchr (name, '%'))
|
||
{
|
||
if (strstr (name, "AR[K%]") != NULL)
|
||
return IA64_RS_AR_K;
|
||
if (strstr (name, "AR[UNAT]") != NULL)
|
||
return IA64_RS_AR_UNAT;
|
||
if (strstr (name, "AR%, % in 8") != NULL)
|
||
return IA64_RS_AR;
|
||
if (strstr (name, "AR%, % in 48") != NULL)
|
||
return IA64_RS_ARb;
|
||
if (strstr (name, "BR%") != NULL)
|
||
return IA64_RS_BR;
|
||
if (strstr (name, "CR[IRR%]") != NULL)
|
||
return IA64_RS_CR_IRR;
|
||
if (strstr (name, "CR[LRR%]") != NULL)
|
||
return IA64_RS_CR_LRR;
|
||
if (strstr (name, "CR%") != NULL)
|
||
return IA64_RS_CR;
|
||
if (strstr (name, "FR%, % in 0") != NULL)
|
||
return IA64_RS_FR;
|
||
if (strstr (name, "FR%, % in 2") != NULL)
|
||
return IA64_RS_FRb;
|
||
if (strstr (name, "GR%") != NULL)
|
||
return IA64_RS_GR;
|
||
if (strstr (name, "PR%, % in 1 ") != NULL)
|
||
return IA64_RS_PR;
|
||
if (strstr (name, "PR%, % in 16 ") != NULL)
|
||
return IA64_RS_PRr;
|
||
|
||
fprintf (stderr, "Warning! Don't know how to specify %% dependency %s\n",
|
||
name);
|
||
}
|
||
else if (strchr (name, '#'))
|
||
{
|
||
if (strstr (name, "CPUID#") != NULL)
|
||
return IA64_RS_CPUID;
|
||
if (strstr (name, "DBR#") != NULL)
|
||
return IA64_RS_DBR;
|
||
if (strstr (name, "IBR#") != NULL)
|
||
return IA64_RS_IBR;
|
||
if (strstr (name, "MSR#") != NULL)
|
||
return IA64_RS_MSR;
|
||
if (strstr (name, "PKR#") != NULL)
|
||
return IA64_RS_PKR;
|
||
if (strstr (name, "PMC#") != NULL)
|
||
return IA64_RS_PMC;
|
||
if (strstr (name, "PMD#") != NULL)
|
||
return IA64_RS_PMD;
|
||
if (strstr (name, "RR#") != NULL)
|
||
return IA64_RS_RR;
|
||
|
||
fprintf (stderr, "Warning! Don't know how to specify # dependency %s\n",
|
||
name);
|
||
}
|
||
else if (strncmp (name, "AR[FPSR]", 8) == 0)
|
||
return IA64_RS_AR_FPSR;
|
||
else if (strncmp (name, "AR[", 3) == 0)
|
||
return IA64_RS_ARX;
|
||
else if (strncmp (name, "CR[", 3) == 0)
|
||
return IA64_RS_CRX;
|
||
else if (strncmp (name, "PSR.", 4) == 0)
|
||
return IA64_RS_PSR;
|
||
else if (strcmp (name, "InService*") == 0)
|
||
return IA64_RS_INSERVICE;
|
||
else if (strcmp (name, "GR0") == 0)
|
||
return IA64_RS_GR0;
|
||
else if (strcmp (name, "CFM") == 0)
|
||
return IA64_RS_CFM;
|
||
else if (strcmp (name, "PR63") == 0)
|
||
return IA64_RS_PR63;
|
||
else if (strcmp (name, "RSE") == 0)
|
||
return IA64_RS_RSE;
|
||
|
||
return IA64_RS_ANY;
|
||
}
|
||
|
||
void
|
||
print_dependency_table ()
|
||
{
|
||
int i, j;
|
||
|
||
if (debug)
|
||
{
|
||
for (i=0;i < iclen;i++)
|
||
{
|
||
if (ics[i]->is_class)
|
||
{
|
||
if (!ics[i]->nsubs)
|
||
{
|
||
fprintf (stderr, "Warning: IC:%s", ics[i]->name);
|
||
if (ics[i]->comment)
|
||
fprintf (stderr, "[%s]", ics[i]->comment);
|
||
fprintf (stderr, " has no terminals or sub-classes\n");
|
||
}
|
||
}
|
||
else
|
||
{
|
||
if (!ics[i]->terminal_resolved && !ics[i]->orphan)
|
||
{
|
||
fprintf(stderr, "Warning: no insns mapped directly to "
|
||
"terminal IC %s", ics[i]->name);
|
||
if (ics[i]->comment)
|
||
fprintf(stderr, "[%s] ", ics[i]->comment);
|
||
fprintf(stderr, "\n");
|
||
}
|
||
}
|
||
}
|
||
|
||
for (i=0;i < iclen;i++)
|
||
{
|
||
if (ics[i]->orphan)
|
||
{
|
||
mark_used (ics[i], 1);
|
||
fprintf (stderr, "Warning: class %s is defined but not used\n",
|
||
ics[i]->name);
|
||
}
|
||
}
|
||
|
||
if (debug > 1) for (i=0;i < rdepslen;i++)
|
||
{
|
||
static const char *mode_str[] = { "RAW", "WAW", "WAR" };
|
||
if (rdeps[i]->total_chks == 0)
|
||
{
|
||
fprintf (stderr, "Warning: rsrc %s (%s) has no chks%s\n",
|
||
rdeps[i]->name, mode_str[rdeps[i]->mode],
|
||
rdeps[i]->total_regs ? "" : " or regs");
|
||
}
|
||
else if (rdeps[i]->total_regs == 0)
|
||
{
|
||
fprintf (stderr, "Warning: rsrc %s (%s) has no regs\n",
|
||
rdeps[i]->name, mode_str[rdeps[i]->mode]);
|
||
}
|
||
}
|
||
}
|
||
|
||
/* the dependencies themselves */
|
||
printf ("static const struct ia64_dependency\ndependencies[] = {\n");
|
||
for (i=0;i < rdepslen;i++)
|
||
{
|
||
/* '%', '#', AR[], CR[], or PSR. indicates we need to specify the actual
|
||
resource used */
|
||
int specifier = lookup_specifier (rdeps[i]->name);
|
||
int regindex = lookup_regindex (rdeps[i]->name, specifier);
|
||
|
||
printf (" { \"%s\", %d, %d, %d, %d, ",
|
||
rdeps[i]->name, specifier,
|
||
(int)rdeps[i]->mode, (int)rdeps[i]->semantics, regindex);
|
||
if (rdeps[i]->semantics == IA64_DVS_OTHER)
|
||
printf ("\"%s\", ", rdeps[i]->extra);
|
||
else
|
||
printf ("NULL, ");
|
||
printf("},\n");
|
||
}
|
||
printf ("};\n\n");
|
||
|
||
/* and dependency lists */
|
||
for (i=0;i < dlistlen;i++)
|
||
{
|
||
int len = 2;
|
||
printf ("static const short dep%d[] = {\n ", i);
|
||
for (j=0;j < dlists[i]->len; j++)
|
||
{
|
||
len += printf ("%d, ", dlists[i]->deps[j]);
|
||
if (len > 75)
|
||
{
|
||
printf("\n ");
|
||
len = 2;
|
||
}
|
||
}
|
||
printf ("\n};\n\n");
|
||
}
|
||
|
||
/* and opcode dependency list */
|
||
printf ("#define NELS(X) (sizeof(X)/sizeof(X[0]))\n");
|
||
printf ("static const struct ia64_opcode_dependency\n");
|
||
printf ("op_dependencies[] = {\n");
|
||
for (i=0;i < opdeplen;i++)
|
||
{
|
||
printf (" { ");
|
||
if (opdeps[i]->chk == -1)
|
||
printf ("0, NULL, ");
|
||
else
|
||
printf ("NELS(dep%d), dep%d, ", opdeps[i]->chk, opdeps[i]->chk);
|
||
if (opdeps[i]->reg == -1)
|
||
printf ("0, NULL, ");
|
||
else
|
||
printf ("NELS(dep%d), dep%d, ", opdeps[i]->reg, opdeps[i]->reg);
|
||
printf ("},\n");
|
||
}
|
||
printf ("};\n\n");
|
||
}
|
||
|
||
|
||
/* Add STR to the string table. */
|
||
|
||
static struct string_entry *
|
||
insert_string (str)
|
||
char *str;
|
||
{
|
||
int start = 0, end = strtablen;
|
||
int i, x;
|
||
|
||
if (strtablen == strtabtotlen)
|
||
{
|
||
strtabtotlen += 20;
|
||
string_table = (struct string_entry **)
|
||
xrealloc (string_table,
|
||
sizeof (struct string_entry **) * strtabtotlen);
|
||
}
|
||
|
||
if (strtablen == 0)
|
||
{
|
||
strtablen = 1;
|
||
string_table[0] = tmalloc (struct string_entry);
|
||
string_table[0]->s = xstrdup (str);
|
||
string_table[0]->num = 0;
|
||
return string_table[0];
|
||
}
|
||
|
||
if (strcmp (str, string_table[strtablen - 1]->s) > 0)
|
||
{
|
||
i = end;
|
||
}
|
||
else if (strcmp (str, string_table[0]->s) < 0)
|
||
{
|
||
i = 0;
|
||
}
|
||
else
|
||
{
|
||
while (1)
|
||
{
|
||
int c;
|
||
|
||
i = (start + end) / 2;
|
||
c = strcmp (str, string_table[i]->s);
|
||
if (c < 0)
|
||
{
|
||
end = i - 1;
|
||
}
|
||
else if (c == 0)
|
||
{
|
||
return string_table[i];
|
||
}
|
||
else
|
||
{
|
||
start = i + 1;
|
||
}
|
||
if (start > end)
|
||
{
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
for (; i > 0 && i < strtablen; i--)
|
||
{
|
||
if (strcmp (str, string_table[i - 1]->s) > 0)
|
||
{
|
||
break;
|
||
}
|
||
}
|
||
for (; i < strtablen; i++)
|
||
{
|
||
if (strcmp (str, string_table[i]->s) < 0)
|
||
{
|
||
break;
|
||
}
|
||
}
|
||
for (x = strtablen - 1; x >= i; x--)
|
||
{
|
||
string_table[x + 1] = string_table[x];
|
||
string_table[x + 1]->num = x + 1;
|
||
}
|
||
string_table[i] = tmalloc (struct string_entry);
|
||
string_table[i]->s = xstrdup (str);
|
||
string_table[i]->num = i;
|
||
strtablen++;
|
||
return string_table[i];
|
||
}
|
||
|
||
struct bittree *
|
||
make_bittree_entry ()
|
||
{
|
||
struct bittree *res = tmalloc (struct bittree);
|
||
|
||
res->disent = NULL;
|
||
res->bits[0] = NULL;
|
||
res->bits[1] = NULL;
|
||
res->bits[2] = NULL;
|
||
res->skip_flag = 0;
|
||
res->bits_to_skip = 0;
|
||
return res;
|
||
}
|
||
|
||
struct disent *
|
||
add_dis_table_ent (which, insn, order, completer_index)
|
||
struct disent *which;
|
||
int insn;
|
||
int order;
|
||
int completer_index;
|
||
{
|
||
int ci = 0;
|
||
struct disent *ent;
|
||
|
||
if (which != NULL)
|
||
{
|
||
ent = which;
|
||
|
||
ent->nextcnt++;
|
||
while (ent->nexte != NULL)
|
||
{
|
||
ent = ent->nexte;
|
||
}
|
||
ent = (ent->nexte = tmalloc (struct disent));
|
||
}
|
||
else
|
||
{
|
||
ent = tmalloc (struct disent);
|
||
ent->next_ent = disinsntable;
|
||
disinsntable = ent;
|
||
which = ent;
|
||
}
|
||
ent->nextcnt = 0;
|
||
ent->nexte = NULL;
|
||
ent->insn = insn;
|
||
ent->priority = order;
|
||
|
||
while (completer_index != 1)
|
||
{
|
||
ci = (ci << 1) | (completer_index & 1);
|
||
completer_index >>= 1;
|
||
}
|
||
ent->completer_index = ci;
|
||
return which;
|
||
}
|
||
|
||
void
|
||
finish_distable ()
|
||
{
|
||
struct disent *ent = disinsntable;
|
||
struct disent *prev = ent;
|
||
|
||
ent->ournum = 32768;
|
||
while ((ent = ent->next_ent) != NULL)
|
||
{
|
||
ent->ournum = prev->ournum + prev->nextcnt + 1;
|
||
prev = ent;
|
||
}
|
||
}
|
||
|
||
void
|
||
insert_bit_table_ent (curr_ent, bit, opcode, mask,
|
||
opcodenum, order, completer_index)
|
||
struct bittree *curr_ent;
|
||
int bit;
|
||
ia64_insn opcode;
|
||
ia64_insn mask;
|
||
int opcodenum;
|
||
int order;
|
||
int completer_index;
|
||
{
|
||
ia64_insn m;
|
||
int b;
|
||
struct bittree *next;
|
||
|
||
if (bit == -1)
|
||
{
|
||
struct disent *nent = add_dis_table_ent (curr_ent->disent,
|
||
opcodenum, order,
|
||
completer_index);
|
||
curr_ent->disent = nent;
|
||
return;
|
||
}
|
||
|
||
m = ((ia64_insn) 1) << bit;
|
||
|
||
if (mask & m)
|
||
{
|
||
b = (opcode & m) ? 1 : 0;
|
||
}
|
||
else
|
||
{
|
||
b = 2;
|
||
}
|
||
next = curr_ent->bits[b];
|
||
if (next == NULL)
|
||
{
|
||
next = make_bittree_entry ();
|
||
curr_ent->bits[b] = next;
|
||
}
|
||
insert_bit_table_ent (next, bit - 1, opcode, mask, opcodenum, order,
|
||
completer_index);
|
||
}
|
||
|
||
void
|
||
add_dis_entry (first, opcode, mask, opcodenum, ent, completer_index)
|
||
struct bittree *first;
|
||
ia64_insn opcode;
|
||
ia64_insn mask;
|
||
int opcodenum;
|
||
struct completer_entry *ent;
|
||
int completer_index;
|
||
{
|
||
if (completer_index & (1 << 20))
|
||
{
|
||
abort ();
|
||
}
|
||
|
||
while (ent != NULL)
|
||
{
|
||
ia64_insn newopcode = (opcode & (~ ent->mask)) | ent->bits;
|
||
add_dis_entry (first, newopcode, mask, opcodenum, ent->addl_entries,
|
||
(completer_index << 1) | 1);
|
||
if (ent->is_terminal)
|
||
{
|
||
insert_bit_table_ent (bittree, 40, newopcode, mask,
|
||
opcodenum, opcode_count - ent->order - 1,
|
||
(completer_index << 1) | 1);
|
||
}
|
||
completer_index <<= 1;
|
||
ent = ent->alternative;
|
||
}
|
||
}
|
||
|
||
/* This optimization pass combines multiple "don't care" nodes. */
|
||
void
|
||
compact_distree (ent)
|
||
struct bittree *ent;
|
||
{
|
||
#define IS_SKIP(ent) \
|
||
((ent->bits[2] !=NULL) \
|
||
&& (ent->bits[0] == NULL && ent->bits[1] == NULL && ent->skip_flag == 0))
|
||
|
||
int bitcnt = 0;
|
||
struct bittree *nent = ent;
|
||
int x;
|
||
|
||
while (IS_SKIP (nent))
|
||
{
|
||
bitcnt++;
|
||
nent = nent->bits[2];
|
||
}
|
||
|
||
if (bitcnt)
|
||
{
|
||
struct bittree *next = ent->bits[2];
|
||
|
||
ent->bits[0] = nent->bits[0];
|
||
ent->bits[1] = nent->bits[1];
|
||
ent->bits[2] = nent->bits[2];
|
||
ent->disent = nent->disent;
|
||
ent->skip_flag = 1;
|
||
ent->bits_to_skip = bitcnt;
|
||
while (next != nent)
|
||
{
|
||
struct bittree *b = next;
|
||
next = next->bits[2];
|
||
free (b);
|
||
}
|
||
free (nent);
|
||
}
|
||
|
||
for (x = 0; x < 3; x++)
|
||
{
|
||
struct bittree *i = ent->bits[x];
|
||
if (i != NULL)
|
||
{
|
||
compact_distree (i);
|
||
}
|
||
}
|
||
}
|
||
|
||
static unsigned char *insn_list;
|
||
static int insn_list_len = 0;
|
||
static int tot_insn_list_len = 0;
|
||
|
||
/* Generate the disassembler state machine corresponding to the tree
|
||
in ENT. */
|
||
void
|
||
gen_dis_table (ent)
|
||
struct bittree *ent;
|
||
{
|
||
int x;
|
||
int our_offset = insn_list_len;
|
||
int bitsused = 5;
|
||
int totbits = bitsused;
|
||
int needed_bytes;
|
||
int zero_count = 0;
|
||
int zero_dest = 0; /* initialize this with 0 to keep gcc quiet... */
|
||
|
||
/* If this is a terminal entry, there's no point in skipping any
|
||
bits. */
|
||
if (ent->skip_flag && ent->bits[0] == NULL && ent->bits[1] == NULL &&
|
||
ent->bits[2] == NULL)
|
||
{
|
||
if (ent->disent == NULL)
|
||
{
|
||
abort ();
|
||
}
|
||
else
|
||
{
|
||
ent->skip_flag = 0;
|
||
}
|
||
}
|
||
|
||
/* Calculate the amount of space needed for this entry, or at least
|
||
a conservatively large approximation. */
|
||
if (ent->skip_flag)
|
||
{
|
||
totbits += 5;
|
||
}
|
||
for (x = 1; x < 3; x++)
|
||
{
|
||
if (ent->bits[x] != NULL)
|
||
{
|
||
totbits += 16;
|
||
}
|
||
}
|
||
|
||
if (ent->disent != NULL)
|
||
{
|
||
if (ent->bits[2] != NULL)
|
||
{
|
||
abort ();
|
||
}
|
||
totbits += 16;
|
||
}
|
||
|
||
/* Now allocate the space. */
|
||
needed_bytes = (totbits + 7) / 8;
|
||
if ((needed_bytes + insn_list_len) > tot_insn_list_len)
|
||
{
|
||
tot_insn_list_len += 256;
|
||
insn_list = (char *) xrealloc (insn_list, tot_insn_list_len);
|
||
}
|
||
our_offset = insn_list_len;
|
||
insn_list_len += needed_bytes;
|
||
memset (insn_list + our_offset, 0, needed_bytes);
|
||
|
||
/* Encode the skip entry by setting bit 6 set in the state op field,
|
||
and store the # of bits to skip immediately after. */
|
||
if (ent->skip_flag)
|
||
{
|
||
bitsused += 5;
|
||
insn_list[our_offset + 0] |= 0x40 | ((ent->bits_to_skip >> 2) & 0xf);
|
||
insn_list[our_offset + 1] |= ((ent->bits_to_skip & 3) << 6);
|
||
}
|
||
|
||
#define IS_ONLY_IFZERO(ENT) \
|
||
((ENT)->bits[0] != NULL && (ENT)->bits[1] == NULL && (ENT)->bits[2] == NULL \
|
||
&& (ENT)->disent == NULL && (ENT)->skip_flag == 0)
|
||
|
||
/* Store an "if (bit is zero)" instruction by setting bit 7 in the
|
||
state op field. */
|
||
|
||
if (ent->bits[0] != NULL)
|
||
{
|
||
struct bittree *nent = ent->bits[0];
|
||
zero_count = 0;
|
||
|
||
insn_list[our_offset] |= 0x80;
|
||
|
||
/* We can encode sequences of multiple "if (bit is zero)" tests
|
||
by storing the # of zero bits to check in the lower 3 bits of
|
||
the instruction. However, this only applies if the state
|
||
solely tests for a zero bit. */
|
||
|
||
if (IS_ONLY_IFZERO (ent))
|
||
{
|
||
while (IS_ONLY_IFZERO (nent) && zero_count < 7)
|
||
{
|
||
nent = nent->bits[0];
|
||
zero_count++;
|
||
}
|
||
|
||
insn_list[our_offset + 0] |= zero_count;
|
||
}
|
||
zero_dest = insn_list_len;
|
||
gen_dis_table (nent);
|
||
}
|
||
|
||
/* Now store the remaining tests. We also handle a sole "termination
|
||
entry" by storing it as an "any bit" test. */
|
||
|
||
for (x = 1; x < 3; x++)
|
||
{
|
||
if (ent->bits[x] != NULL || (x == 2 && ent->disent != NULL))
|
||
{
|
||
struct bittree *i = ent->bits[x];
|
||
int idest;
|
||
int currbits = 15;
|
||
|
||
if (i != NULL)
|
||
{
|
||
/* If the instruction being branched to only consists of
|
||
a termination entry, use the termination entry as the
|
||
place to branch to instead. */
|
||
if (i->bits[0] == NULL && i->bits[1] == NULL
|
||
&& i->bits[2] == NULL && i->disent != NULL)
|
||
{
|
||
idest = i->disent->ournum;
|
||
i = NULL;
|
||
}
|
||
else
|
||
{
|
||
idest = insn_list_len - our_offset;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
idest = ent->disent->ournum;
|
||
}
|
||
|
||
/* If the destination offset for the if (bit is 1) test is less
|
||
than 256 bytes away, we can store it as 8-bits instead of 16;
|
||
the instruction has bit 5 set for the 16-bit address, and bit
|
||
4 for the 8-bit address. Since we've already allocated 16
|
||
bits for the address we need to deallocate the space.
|
||
|
||
Note that branchings within the table are relative, and
|
||
there are no branches that branch past our instruction yet
|
||
so we do not need to adjust any other offsets. */
|
||
|
||
if (x == 1)
|
||
{
|
||
if (idest <= 256)
|
||
{
|
||
int start = our_offset + bitsused / 8 + 1;
|
||
|
||
memmove (insn_list + start,
|
||
insn_list + start + 1,
|
||
insn_list_len - (start + 1));
|
||
currbits = 7;
|
||
totbits -= 8;
|
||
needed_bytes--;
|
||
insn_list_len--;
|
||
insn_list[our_offset] |= 0x10;
|
||
idest--;
|
||
}
|
||
else
|
||
{
|
||
insn_list[our_offset] |= 0x20;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
/* An instruction which solely consists of a termination
|
||
marker and whose disassembly name index is < 4096
|
||
can be stored in 16 bits. The encoding is slightly
|
||
odd; the upper 4 bits of the instruction are 0x3, and
|
||
bit 3 loses its normal meaning. */
|
||
|
||
if (ent->bits[0] == NULL && ent->bits[1] == NULL
|
||
&& ent->bits[2] == NULL && ent->skip_flag == 0
|
||
&& ent->disent != NULL
|
||
&& ent->disent->ournum < (32768 + 4096))
|
||
{
|
||
int start = our_offset + bitsused / 8 + 1;
|
||
|
||
memmove (insn_list + start,
|
||
insn_list + start + 1,
|
||
insn_list_len - (start + 1));
|
||
currbits = 11;
|
||
totbits -= 5;
|
||
bitsused--;
|
||
needed_bytes--;
|
||
insn_list_len--;
|
||
insn_list[our_offset] |= 0x30;
|
||
idest &= ~32768;
|
||
}
|
||
else
|
||
{
|
||
insn_list[our_offset] |= 0x08;
|
||
}
|
||
}
|
||
if (debug)
|
||
{
|
||
int id = idest;
|
||
|
||
if (i == NULL)
|
||
{
|
||
id |= 32768;
|
||
}
|
||
else if (! (id & 32768))
|
||
{
|
||
id += our_offset;
|
||
}
|
||
if (x == 1)
|
||
{
|
||
printf ("%d: if (1) goto %d\n", our_offset, id);
|
||
}
|
||
else
|
||
{
|
||
printf ("%d: try %d\n", our_offset, id);
|
||
}
|
||
}
|
||
|
||
/* Store the address of the entry being branched to. */
|
||
while (currbits >= 0)
|
||
{
|
||
char *byte = insn_list + our_offset + bitsused / 8;
|
||
|
||
if (idest & (1 << currbits))
|
||
{
|
||
*byte |= (1 << (7 - (bitsused % 8)));
|
||
}
|
||
bitsused++;
|
||
currbits--;
|
||
}
|
||
|
||
/* Now generate the states for the entry being branched to. */
|
||
if (i != NULL)
|
||
{
|
||
gen_dis_table (i);
|
||
}
|
||
|
||
}
|
||
}
|
||
if (debug)
|
||
{
|
||
if (ent->skip_flag)
|
||
{
|
||
printf ("%d: skipping %d\n", our_offset, ent->bits_to_skip);
|
||
}
|
||
|
||
if (ent->bits[0] != NULL)
|
||
{
|
||
printf ("%d: if (0:%d) goto %d\n", our_offset, zero_count + 1,
|
||
zero_dest);
|
||
}
|
||
}
|
||
if (bitsused != totbits)
|
||
{
|
||
abort ();
|
||
}
|
||
}
|
||
|
||
void
|
||
print_dis_table ()
|
||
{
|
||
int x;
|
||
struct disent *cent = disinsntable;
|
||
|
||
printf ("static const char dis_table[] = {\n");
|
||
for (x = 0; x < insn_list_len; x++)
|
||
{
|
||
if ((x > 0) && ((x % 12) == 0))
|
||
{
|
||
printf ("\n");
|
||
}
|
||
printf ("0x%02x, ", insn_list[x]);
|
||
}
|
||
printf ("\n};\n\n");
|
||
|
||
printf ("static const struct ia64_dis_names ia64_dis_names[] = {\n");
|
||
while (cent != NULL)
|
||
{
|
||
struct disent *ent = cent;
|
||
|
||
while (ent != NULL)
|
||
{
|
||
printf ("{ 0x%x, %d, %d, %d },\n", ent->completer_index,
|
||
ent->insn, (ent->nexte != NULL ? 1 : 0),
|
||
ent->priority);
|
||
ent = ent->nexte;
|
||
}
|
||
cent = cent->next_ent;
|
||
}
|
||
printf ("};\n\n");
|
||
}
|
||
|
||
void
|
||
generate_disassembler ()
|
||
{
|
||
int i;
|
||
|
||
bittree = make_bittree_entry ();
|
||
|
||
for (i=0; i < otlen;i++)
|
||
{
|
||
struct main_entry *ptr = ordered_table[i];
|
||
|
||
if (ptr->opcode->type != IA64_TYPE_DYN)
|
||
{
|
||
add_dis_entry (bittree,
|
||
ptr->opcode->opcode, ptr->opcode->mask,
|
||
ptr->main_index,
|
||
ptr->completers, 1);
|
||
}
|
||
}
|
||
|
||
compact_distree (bittree);
|
||
finish_distable ();
|
||
gen_dis_table (bittree);
|
||
|
||
print_dis_table ();
|
||
}
|
||
|
||
void
|
||
print_string_table ()
|
||
{
|
||
int x;
|
||
char lbuf[80], buf[80];
|
||
int blen = 0;
|
||
|
||
printf ("static const char *ia64_strings[] = {\n");
|
||
lbuf[0] = '\0';
|
||
for (x = 0; x < strtablen; x++)
|
||
{
|
||
int len;
|
||
|
||
if (strlen (string_table[x]->s) > 75)
|
||
{
|
||
abort ();
|
||
}
|
||
sprintf (buf, " \"%s\",", string_table[x]->s);
|
||
len = strlen (buf);
|
||
if ((blen + len) > 75)
|
||
{
|
||
printf (" %s\n", lbuf);
|
||
lbuf[0] = '\0';
|
||
blen = 0;
|
||
}
|
||
strcat (lbuf, buf);
|
||
blen += len;
|
||
}
|
||
if (blen > 0)
|
||
{
|
||
printf (" %s\n", lbuf);
|
||
}
|
||
printf ("};\n\n");
|
||
}
|
||
|
||
static struct completer_entry **glist;
|
||
static int glistlen = 0;
|
||
static int glisttotlen = 0;
|
||
|
||
/* If the completer trees ENT1 and ENT2 are equal, return 1. */
|
||
|
||
int
|
||
completer_entries_eq (ent1, ent2)
|
||
struct completer_entry *ent1, *ent2;
|
||
{
|
||
while (ent1 != NULL && ent2 != NULL)
|
||
{
|
||
if (ent1->name->num != ent2->name->num
|
||
|| ent1->bits != ent2->bits
|
||
|| ent1->mask != ent2->mask
|
||
|| ent1->is_terminal != ent2->is_terminal
|
||
|| ent1->dependencies != ent2->dependencies
|
||
|| ent1->order != ent2->order)
|
||
{
|
||
return 0;
|
||
}
|
||
if (! completer_entries_eq (ent1->addl_entries, ent2->addl_entries))
|
||
{
|
||
return 0;
|
||
}
|
||
ent1 = ent1->alternative;
|
||
ent2 = ent2->alternative;
|
||
}
|
||
return ent1 == ent2;
|
||
}
|
||
|
||
/* Insert ENT into the global list of completers and return it. If an
|
||
equivalent entry (according to completer_entries_eq) already exists,
|
||
it is returned instead. */
|
||
struct completer_entry *
|
||
insert_gclist (ent)
|
||
struct completer_entry *ent;
|
||
{
|
||
if (ent != NULL)
|
||
{
|
||
int i;
|
||
int x;
|
||
int start = 0, end;
|
||
|
||
ent->addl_entries = insert_gclist (ent->addl_entries);
|
||
ent->alternative = insert_gclist (ent->alternative);
|
||
|
||
i = glistlen / 2;
|
||
end = glistlen;
|
||
|
||
if (glisttotlen == glistlen)
|
||
{
|
||
glisttotlen += 20;
|
||
glist = (struct completer_entry **)
|
||
xrealloc (glist, sizeof (struct completer_entry *) * glisttotlen);
|
||
}
|
||
|
||
if (glistlen == 0)
|
||
{
|
||
glist[0] = ent;
|
||
glistlen = 1;
|
||
return ent;
|
||
}
|
||
|
||
if (ent->name->num < glist[0]->name->num)
|
||
{
|
||
i = 0;
|
||
}
|
||
else if (ent->name->num > glist[end - 1]->name->num)
|
||
{
|
||
i = end;
|
||
}
|
||
else
|
||
{
|
||
int c;
|
||
|
||
while (1)
|
||
{
|
||
i = (start + end) / 2;
|
||
c = ent->name->num - glist[i]->name->num;
|
||
if (c < 0)
|
||
{
|
||
end = i - 1;
|
||
}
|
||
else if (c == 0)
|
||
{
|
||
while (i > 0
|
||
&& ent->name->num == glist[i - 1]->name->num)
|
||
{
|
||
i--;
|
||
}
|
||
break;
|
||
}
|
||
else
|
||
{
|
||
start = i + 1;
|
||
}
|
||
if (start > end)
|
||
{
|
||
break;
|
||
}
|
||
}
|
||
if (c == 0)
|
||
{
|
||
while (i < glistlen)
|
||
{
|
||
if (ent->name->num != glist[i]->name->num)
|
||
{
|
||
break;
|
||
}
|
||
if (completer_entries_eq (ent, glist[i]))
|
||
{
|
||
return glist[i];
|
||
}
|
||
i++;
|
||
}
|
||
}
|
||
}
|
||
for (; i > 0 && i < glistlen; i--)
|
||
{
|
||
if (ent->name->num >= glist[i - 1]->name->num)
|
||
{
|
||
break;
|
||
}
|
||
}
|
||
for (; i < glistlen; i++)
|
||
{
|
||
if (ent->name->num < glist[i]->name->num)
|
||
{
|
||
break;
|
||
}
|
||
}
|
||
for (x = glistlen - 1; x >= i; x--)
|
||
{
|
||
glist[x + 1] = glist[x];
|
||
}
|
||
glist[i] = ent;
|
||
glistlen++;
|
||
}
|
||
return ent;
|
||
}
|
||
|
||
static int
|
||
get_prefix_len (name)
|
||
const char *name;
|
||
{
|
||
char *c;
|
||
|
||
if (name[0] == '\0')
|
||
{
|
||
return 0;
|
||
}
|
||
|
||
c = strchr (name, '.');
|
||
if (c != NULL)
|
||
{
|
||
return c - name;
|
||
}
|
||
else
|
||
{
|
||
return strlen (name);
|
||
}
|
||
}
|
||
|
||
static void
|
||
compute_completer_bits (ment, ent)
|
||
struct main_entry *ment;
|
||
struct completer_entry *ent;
|
||
{
|
||
while (ent != NULL)
|
||
{
|
||
compute_completer_bits (ment, ent->addl_entries);
|
||
|
||
if (ent->is_terminal)
|
||
{
|
||
ia64_insn mask = 0;
|
||
ia64_insn our_bits = ent->bits;
|
||
struct completer_entry *p = ent->parent;
|
||
ia64_insn p_bits;
|
||
int x;
|
||
|
||
while (p != NULL && ! p->is_terminal)
|
||
{
|
||
p = p->parent;
|
||
}
|
||
|
||
if (p != NULL)
|
||
{
|
||
p_bits = p->bits;
|
||
}
|
||
else
|
||
{
|
||
p_bits = ment->opcode->opcode;
|
||
}
|
||
|
||
for (x = 0; x < 64; x++)
|
||
{
|
||
ia64_insn m = ((ia64_insn) 1) << x;
|
||
if ((p_bits & m) != (our_bits & m))
|
||
{
|
||
mask |= m;
|
||
}
|
||
else
|
||
{
|
||
our_bits &= ~m;
|
||
}
|
||
}
|
||
ent->bits = our_bits;
|
||
ent->mask = mask;
|
||
}
|
||
else
|
||
{
|
||
ent->bits = 0;
|
||
ent->mask = 0;
|
||
}
|
||
|
||
ent = ent->alternative;
|
||
}
|
||
}
|
||
|
||
/* Find identical completer trees that are used in different
|
||
instructions and collapse their entries. */
|
||
void
|
||
collapse_redundant_completers ()
|
||
{
|
||
struct main_entry *ptr;
|
||
int x;
|
||
|
||
for (ptr = maintable; ptr != NULL; ptr = ptr->next)
|
||
{
|
||
if (ptr->completers == NULL)
|
||
{
|
||
abort ();
|
||
}
|
||
compute_completer_bits (ptr, ptr->completers);
|
||
ptr->completers = insert_gclist (ptr->completers);
|
||
}
|
||
|
||
/* The table has been finalized, now number the indexes. */
|
||
for (x = 0; x < glistlen; x++)
|
||
{
|
||
glist[x]->num = x;
|
||
}
|
||
}
|
||
|
||
|
||
/* attach two lists of dependencies to each opcode.
|
||
1) all resources which, when already marked in use, conflict with this
|
||
opcode (chks)
|
||
2) all resources which must be marked in use when this opcode is used
|
||
(regs)
|
||
*/
|
||
int
|
||
insert_opcode_dependencies (opc, cmp)
|
||
struct ia64_opcode *opc;
|
||
struct completer_entry *cmp ATTRIBUTE_UNUSED;
|
||
{
|
||
/* note all resources which point to this opcode. rfi has the most chks
|
||
(79) and cmpxchng has the most regs (54) so 100 here should be enough */
|
||
int i;
|
||
int nregs = 0;
|
||
unsigned short regs[256];
|
||
int nchks = 0;
|
||
unsigned short chks[256];
|
||
/* flag insns for which no class matched; there should be none */
|
||
int no_class_found = 1;
|
||
|
||
for (i=0;i < rdepslen;i++)
|
||
{
|
||
struct rdep *rs = rdeps[i];
|
||
int j;
|
||
|
||
if (strcmp (opc->name, "cmp.eq.and") == 0
|
||
&& strncmp (rs->name, "PR%", 3) == 0
|
||
&& rs->mode == 1)
|
||
no_class_found = 99;
|
||
|
||
for (j=0; j < rs->nregs;j++)
|
||
{
|
||
int ic_note = 0;
|
||
|
||
if (in_iclass (opc, ics[rs->regs[j]], NULL, NULL, &ic_note))
|
||
{
|
||
/* We can ignore ic_note 11 for non PR resources */
|
||
if (ic_note == 11 && strncmp (rs->name, "PR", 2) != 0)
|
||
ic_note = 0;
|
||
|
||
if (ic_note != 0 && rs->regnotes[j] != 0
|
||
&& ic_note != rs->regnotes[j]
|
||
&& !(ic_note == 11 && rs->regnotes[j] == 1))
|
||
fprintf (stderr, "Warning: IC note %d in opcode %s (IC:%s)"
|
||
" conflicts with resource %s note %d\n",
|
||
ic_note, opc->name, ics[rs->regs[j]]->name,
|
||
rs->name, rs->regnotes[j]);
|
||
/* Instruction class notes override resource notes.
|
||
So far, only note 11 applies to an IC instead of a resource,
|
||
and note 11 implies note 1.
|
||
*/
|
||
if (ic_note)
|
||
regs[nregs++] = RDEP(ic_note, i);
|
||
else
|
||
regs[nregs++] = RDEP(rs->regnotes[j], i);
|
||
no_class_found = 0;
|
||
++rs->total_regs;
|
||
}
|
||
}
|
||
for (j=0;j < rs->nchks;j++)
|
||
{
|
||
int ic_note = 0;
|
||
|
||
if (in_iclass (opc, ics[rs->chks[j]], NULL, NULL, &ic_note))
|
||
{
|
||
/* We can ignore ic_note 11 for non PR resources */
|
||
if (ic_note == 11 && strncmp (rs->name, "PR", 2) != 0)
|
||
ic_note = 0;
|
||
|
||
if (ic_note != 0 && rs->chknotes[j] != 0
|
||
&& ic_note != rs->chknotes[j]
|
||
&& !(ic_note == 11 && rs->chknotes[j] == 1))
|
||
fprintf (stderr, "Warning: IC note %d for opcode %s (IC:%s)"
|
||
" conflicts with resource %s note %d\n",
|
||
ic_note, opc->name, ics[rs->chks[j]]->name,
|
||
rs->name, rs->chknotes[j]);
|
||
if (ic_note)
|
||
chks[nchks++] = RDEP(ic_note, i);
|
||
else
|
||
chks[nchks++] = RDEP(rs->chknotes[j], i);
|
||
no_class_found = 0;
|
||
++rs->total_chks;
|
||
}
|
||
}
|
||
}
|
||
|
||
if (no_class_found)
|
||
fprintf (stderr, "Warning: opcode %s has no class (ops %d %d %d)\n",
|
||
opc->name,
|
||
opc->operands[0], opc->operands[1], opc->operands[2]);
|
||
|
||
return insert_dependencies (nchks, chks, nregs, regs);
|
||
}
|
||
|
||
void
|
||
insert_completer_entry (opc, tabent, order)
|
||
struct ia64_opcode *opc;
|
||
struct main_entry *tabent;
|
||
int order;
|
||
{
|
||
struct completer_entry **ptr = &tabent->completers;
|
||
struct completer_entry *parent = NULL;
|
||
char pcopy[129], *prefix;
|
||
int at_end = 0;
|
||
|
||
if (strlen (opc->name) > 128)
|
||
{
|
||
abort ();
|
||
}
|
||
strcpy (pcopy, opc->name);
|
||
prefix = pcopy + get_prefix_len (pcopy);
|
||
if (prefix[0] != '\0')
|
||
{
|
||
prefix++;
|
||
}
|
||
|
||
while (! at_end)
|
||
{
|
||
int need_new_ent = 1;
|
||
int plen = get_prefix_len (prefix);
|
||
struct string_entry *sent;
|
||
|
||
at_end = (prefix[plen] == '\0');
|
||
prefix[plen] = '\0';
|
||
sent = insert_string (prefix);
|
||
|
||
while (*ptr != NULL)
|
||
{
|
||
int cmpres = sent->num - (*ptr)->name->num;
|
||
|
||
if (cmpres == 0)
|
||
{
|
||
need_new_ent = 0;
|
||
break;
|
||
}
|
||
else
|
||
{
|
||
ptr = &((*ptr)->alternative);
|
||
}
|
||
}
|
||
if (need_new_ent)
|
||
{
|
||
struct completer_entry *nent = tmalloc (struct completer_entry);
|
||
nent->name = sent;
|
||
nent->parent = parent;
|
||
nent->addl_entries = NULL;
|
||
nent->alternative = *ptr;
|
||
*ptr = nent;
|
||
nent->is_terminal = 0;
|
||
nent->dependencies = -1;
|
||
}
|
||
|
||
if (! at_end)
|
||
{
|
||
parent = *ptr;
|
||
ptr = &((*ptr)->addl_entries);
|
||
prefix += plen + 1;
|
||
}
|
||
}
|
||
|
||
if ((*ptr)->is_terminal)
|
||
{
|
||
abort ();
|
||
}
|
||
|
||
(*ptr)->is_terminal = 1;
|
||
(*ptr)->mask = (ia64_insn)-1;
|
||
(*ptr)->bits = opc->opcode;
|
||
(*ptr)->dependencies = insert_opcode_dependencies (opc, *ptr);
|
||
(*ptr)->order = order;
|
||
}
|
||
|
||
void
|
||
print_completer_entry (ent)
|
||
struct completer_entry *ent;
|
||
{
|
||
int moffset = 0;
|
||
ia64_insn mask = ent->mask, bits = ent->bits;
|
||
|
||
if (mask != 0)
|
||
{
|
||
while (! (mask & 1))
|
||
{
|
||
moffset++;
|
||
mask = mask >> 1;
|
||
bits = bits >> 1;
|
||
}
|
||
if (bits & 0xffffffff00000000LL)
|
||
{
|
||
abort ();
|
||
}
|
||
}
|
||
|
||
printf (" { 0x%x, 0x%x, %d, %d, %d, %d, %d, %d },\n",
|
||
(int)bits,
|
||
(int)mask,
|
||
ent->name->num,
|
||
ent->alternative != NULL ? ent->alternative->num : -1,
|
||
ent->addl_entries != NULL ? ent->addl_entries->num : -1,
|
||
moffset,
|
||
ent->is_terminal ? 1 : 0,
|
||
ent->dependencies);
|
||
}
|
||
|
||
void
|
||
print_completer_table ()
|
||
{
|
||
int x;
|
||
|
||
printf ("static const struct ia64_completer_table\ncompleter_table[] = {\n");
|
||
for (x = 0; x < glistlen; x++)
|
||
{
|
||
print_completer_entry (glist[x]);
|
||
}
|
||
printf ("};\n\n");
|
||
}
|
||
|
||
int
|
||
opcodes_eq (opc1, opc2)
|
||
struct ia64_opcode *opc1;
|
||
struct ia64_opcode *opc2;
|
||
{
|
||
int x;
|
||
int plen1, plen2;
|
||
|
||
if ((opc1->mask != opc2->mask) || (opc1->type != opc2->type)
|
||
|| (opc1->num_outputs != opc2->num_outputs)
|
||
|| (opc1->flags != opc2->flags))
|
||
{
|
||
return 0;
|
||
}
|
||
for (x = 0; x < 5; x++)
|
||
{
|
||
if (opc1->operands[x] != opc2->operands[x])
|
||
{
|
||
return 0;
|
||
}
|
||
}
|
||
plen1 = get_prefix_len (opc1->name);
|
||
plen2 = get_prefix_len (opc2->name);
|
||
if (plen1 == plen2 && (memcmp (opc1->name, opc2->name, plen1) == 0))
|
||
{
|
||
return 1;
|
||
}
|
||
return 0;
|
||
}
|
||
|
||
void
|
||
add_opcode_entry (opc)
|
||
struct ia64_opcode *opc;
|
||
{
|
||
struct main_entry **place;
|
||
struct string_entry *name;
|
||
char prefix[129];
|
||
int found_it = 0;
|
||
|
||
if (strlen (opc->name) > 128)
|
||
{
|
||
abort ();
|
||
}
|
||
place = &maintable;
|
||
strcpy (prefix, opc->name);
|
||
prefix[get_prefix_len (prefix)] = '\0';
|
||
name = insert_string (prefix);
|
||
|
||
/* Walk the list of opcode table entries. If it's a new
|
||
instruction, allocate and fill in a new entry. Note
|
||
the main table is alphabetical by opcode name. */
|
||
|
||
while (*place != NULL)
|
||
{
|
||
if ((*place)->name->num == name->num
|
||
&& opcodes_eq ((*place)->opcode, opc))
|
||
{
|
||
found_it = 1;
|
||
break;
|
||
}
|
||
if ((*place)->name->num > name->num)
|
||
{
|
||
break;
|
||
}
|
||
place = &((*place)->next);
|
||
}
|
||
if (! found_it)
|
||
{
|
||
struct main_entry *nent = tmalloc (struct main_entry);
|
||
|
||
nent->name = name;
|
||
nent->opcode = opc;
|
||
nent->next = *place;
|
||
nent->completers = 0;
|
||
*place = nent;
|
||
|
||
if (otlen == ottotlen)
|
||
{
|
||
ottotlen += 20;
|
||
ordered_table = (struct main_entry **)
|
||
xrealloc (ordered_table, sizeof (struct main_entry *) * ottotlen);
|
||
}
|
||
ordered_table[otlen++] = nent;
|
||
}
|
||
|
||
insert_completer_entry (opc, *place, opcode_count++);
|
||
}
|
||
|
||
void
|
||
print_main_table ()
|
||
{
|
||
struct main_entry *ptr = maintable;
|
||
int index = 0;
|
||
|
||
printf ("static const struct ia64_main_table\nmain_table[] = {\n");
|
||
while (ptr != NULL)
|
||
{
|
||
printf (" { %d, %d, %d, 0x",
|
||
ptr->name->num,
|
||
ptr->opcode->type,
|
||
ptr->opcode->num_outputs);
|
||
fprintf_vma (stdout, ptr->opcode->opcode);
|
||
printf ("ull, 0x");
|
||
fprintf_vma (stdout, ptr->opcode->mask);
|
||
printf ("ull, { %d, %d, %d, %d, %d }, 0x%x, %d, },\n",
|
||
ptr->opcode->operands[0],
|
||
ptr->opcode->operands[1],
|
||
ptr->opcode->operands[2],
|
||
ptr->opcode->operands[3],
|
||
ptr->opcode->operands[4],
|
||
ptr->opcode->flags,
|
||
ptr->completers->num);
|
||
|
||
ptr->main_index = index++;
|
||
|
||
ptr = ptr->next;
|
||
}
|
||
printf ("};\n\n");
|
||
}
|
||
|
||
void
|
||
shrink (table)
|
||
struct ia64_opcode *table;
|
||
{
|
||
int curr_opcode;
|
||
|
||
for (curr_opcode = 0; table[curr_opcode].name != NULL; curr_opcode++)
|
||
{
|
||
add_opcode_entry (table + curr_opcode);
|
||
}
|
||
}
|
||
|
||
int
|
||
main (argc, argv)
|
||
int argc;
|
||
char **argv ATTRIBUTE_UNUSED;
|
||
{
|
||
if (argc > 1)
|
||
{
|
||
debug = 1;
|
||
}
|
||
|
||
load_insn_classes();
|
||
load_dependencies();
|
||
|
||
shrink (ia64_opcodes_a);
|
||
shrink (ia64_opcodes_b);
|
||
shrink (ia64_opcodes_f);
|
||
shrink (ia64_opcodes_i);
|
||
shrink (ia64_opcodes_m);
|
||
shrink (ia64_opcodes_x);
|
||
shrink (ia64_opcodes_d);
|
||
|
||
collapse_redundant_completers ();
|
||
|
||
printf ("/* This file is automatically generated by ia64-gen. Do not edit! */\n");
|
||
print_string_table ();
|
||
print_dependency_table ();
|
||
print_completer_table ();
|
||
print_main_table ();
|
||
|
||
generate_disassembler ();
|
||
|
||
exit (0);
|
||
}
|