2000-12-03 15:35:17 +01:00
|
|
|
|
/* Instruction scheduling pass.
|
|
|
|
|
Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998,
|
attribs.c, [...]: Update copyright.
* attribs.c, c-pragma.c, caller-save.c, cfghooks.h,
coverage.c, cselib.h, domwalk.c, domwalk.h, errors.c,
errors.h, gcov-dump.c, gcov-io.c, gcov-io.h, gen-protos.c,
genattrtab.h, genextract.c, gthr-win32.h, insn-notes.def,
integrate.c, lambda-mat.c, lambda.h, libgcov.c, local-alloc.c,
machmode.def, mips-tfile.c, params.c, pretty-print.c,
print-rtl.c, protoize.c, regmove.c, sched-vis.c, tree-chrec.h,
tree-data-ref.h, vec.h, config/darwin-c.c, config/sol2-c.c,
config/sol2.c, config/arm/arm-cores.def, config/arm/cirrus.md,
config/arm/symbian.h, config/c4x/c4x.c, config/c4x/c4x.h,
config/i386/cygming.h, config/i386/djgpp.h,
config/i386/lynx.h, config/i386/netware.c,
config/i386/winnt.c, config/ia64/ia64-c.c,
config/iq2000/iq2000.c, config/m32r/little.h,
config/m68k/m68k-protos.h, config/m68k/m68k.h,
config/m68k/m68k.md, config/mcore/mcore.c,
config/mcore/mcore.h, config/mmix/mmix.c, config/mmix/mmix.md,
config/mn10300/mn10300-protos.h, config/mn10300/mn10300.c,
config/mn10300/mn10300.h, config/ns32k/netbsd.h,
config/ns32k/ns32k.c, config/ns32k/ns32k.h,
config/pa/pa-hpux11.h, config/pdp11/pdp11.c,
config/pdp11/pdp11.h, config/rs6000/darwin.h,
config/rs6000/default64.h, config/rs6000/rs6000-c.c,
config/s390/2064.md, config/s390/2084.md,
config/s390/s390-modes.def, config/s390/s390-protos.h,
config/s390/tpf.h, config/sh/sh.h, config/sh/symbian.c,
config/stormy16/stormy16.c, config/vax/vax-protos.h,
config/vax/vax.c, config/vax/vax.h,
config/xtensa/lib1funcs.asm, config/xtensa/xtensa.md: Update
copyright.
From-SVN: r98914
2005-04-28 07:38:50 +02:00
|
|
|
|
1999, 2000, 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
|
2000-12-03 15:35:17 +01:00
|
|
|
|
Contributed by Michael Tiemann (tiemann@cygnus.com) Enhanced by,
|
|
|
|
|
and currently maintained by, Jim Wilson (wilson@cygnus.com)
|
|
|
|
|
|
Makefile.in, [...]: replace "GNU CC" with "GCC".
* Makefile.in, alias.c, basic-block.h, bb-reorder.c, bitmap.c,
bitmap.h, builtin-types.def, builtins.c, builtins.def,
c-aux-info.c, c-common.c, c-common.def, c-common.h,
c-convert.c, c-decl.c, c-dump.c, c-dump.h, c-errors.c,
c-format.c, c-lang.c, c-lex.c, c-lex.h, c-parse.in,
c-pragma.c, c-pragma.h, c-semantics.c, c-tree.h, c-typeck.c,
caller-save.c, calls.c, collect2.c, collect2.h, combine.c,
conditions.h, config.gcc, configure.frag, configure.in,
conflict.c, convert.c, convert.h, cppspec.c, crtstuff.c,
cse.c, cselib.c, cselib.h, dbxout.c, dbxout.h, defaults.h,
dependence.c, df.c, df.h, diagnostic.c, diagnostic.h,
doloop.c, dominance.c, dwarf.h, dwarf2.h, dwarf2asm.c,
dwarf2asm.h, dwarf2out.c, dwarf2out.h, dwarfout.c,
emit-rtl.c, errors.c, errors.h, except.c, except.h,
exgettext, explow.c, expmed.c, expr.c, expr.h, final.c,
fixproto, flags.h, flow.c, fold-const.c, fp-test.c,
function.c, function.h, gbl-ctors.h, gcc.c, gcc.h, gcc.hlp,
gccspec.c, gcov-io.h, gcse.c, genattr.c, genattrtab.c,
gencheck.c, gencodes.c, genconfig.c, genemit.c,
genextract.c, genflags.c, gengenrtl.c, genmultilib,
genopinit.c, genoutput.c, genpeep.c, genrecog.c,
gensupport.c, gensupport.h, ggc-callbacks.c, ggc-common.c,
ggc-none.c, ggc-page.c, ggc-simple.c, ggc.h, global.c,
graph.c, graph.h, gthr-aix.h, gthr-dce.h, gthr-posix.h,
gthr-rtems.h, gthr-single.h, gthr-solaris.h, gthr-vxworks.h,
gthr-win32.h, gthr.h, haifa-sched.c, halfpic.c, halfpic.h,
hard-reg-set.h, hwint.h, ifcvt.c, input.h, insn-addr.h,
integrate.c, integrate.h, jump.c, lcm.c, libgcc2.c,
libgcc2.h, lists.c, local-alloc.c, loop.c, loop.h,
machmode.def, machmode.h, main.c, mbchar.c, mbchar.h,
mips-tdump.c, mips-tfile.c, mklibgcc.in, mkmap-flat.awk,
mkmap-symver.awk, optabs.c, output.h, params.c, params.def,
params.h, predict.c, predict.def, predict.h, prefix.c,
prefix.h, print-rtl.c, print-tree.c, profile.c, protoize.c,
read-rtl.c, real.c, real.h, recog.c, recog.h, reg-stack.c,
regclass.c, regmove.c, regrename.c, regs.h, reload.c,
reload.h, reload1.c, reorg.c, resource.c, resource.h, rtl.c,
rtl.def, rtl.h, rtlanal.c, sbitmap.c, sbitmap.h,
sched-deps.c, sched-ebb.c, sched-int.h, sched-rgn.c,
sched-vis.c, sdbout.c, sdbout.h, sibcall.c, simplify-rtx.c,
ssa-ccp.c, ssa-dce.c, ssa.c, ssa.h, stmt.c, stor-layout.c,
stringpool.c, system.h, timevar.c, timevar.def, timevar.h,
tlink.c, toplev.c, toplev.h, tree.c, tree.def, tree.h,
tsystem.h, unroll.c, unwind-dw2-fde.c, unwind-dw2-fde.h,
unwind-dw2.c, unwind-pe.h, unwind-sjlj.c, unwind.h,
unwind.inc, varasm.c, varray.c, varray.h, xcoffout.c,
xcoffout.h: replace "GNU CC" with "GCC".
From-SVN: r45105
2001-08-22 16:35:51 +02:00
|
|
|
|
This file is part of GCC.
|
2000-12-03 15:35:17 +01:00
|
|
|
|
|
Makefile.in, [...]: replace "GNU CC" with "GCC".
* Makefile.in, alias.c, basic-block.h, bb-reorder.c, bitmap.c,
bitmap.h, builtin-types.def, builtins.c, builtins.def,
c-aux-info.c, c-common.c, c-common.def, c-common.h,
c-convert.c, c-decl.c, c-dump.c, c-dump.h, c-errors.c,
c-format.c, c-lang.c, c-lex.c, c-lex.h, c-parse.in,
c-pragma.c, c-pragma.h, c-semantics.c, c-tree.h, c-typeck.c,
caller-save.c, calls.c, collect2.c, collect2.h, combine.c,
conditions.h, config.gcc, configure.frag, configure.in,
conflict.c, convert.c, convert.h, cppspec.c, crtstuff.c,
cse.c, cselib.c, cselib.h, dbxout.c, dbxout.h, defaults.h,
dependence.c, df.c, df.h, diagnostic.c, diagnostic.h,
doloop.c, dominance.c, dwarf.h, dwarf2.h, dwarf2asm.c,
dwarf2asm.h, dwarf2out.c, dwarf2out.h, dwarfout.c,
emit-rtl.c, errors.c, errors.h, except.c, except.h,
exgettext, explow.c, expmed.c, expr.c, expr.h, final.c,
fixproto, flags.h, flow.c, fold-const.c, fp-test.c,
function.c, function.h, gbl-ctors.h, gcc.c, gcc.h, gcc.hlp,
gccspec.c, gcov-io.h, gcse.c, genattr.c, genattrtab.c,
gencheck.c, gencodes.c, genconfig.c, genemit.c,
genextract.c, genflags.c, gengenrtl.c, genmultilib,
genopinit.c, genoutput.c, genpeep.c, genrecog.c,
gensupport.c, gensupport.h, ggc-callbacks.c, ggc-common.c,
ggc-none.c, ggc-page.c, ggc-simple.c, ggc.h, global.c,
graph.c, graph.h, gthr-aix.h, gthr-dce.h, gthr-posix.h,
gthr-rtems.h, gthr-single.h, gthr-solaris.h, gthr-vxworks.h,
gthr-win32.h, gthr.h, haifa-sched.c, halfpic.c, halfpic.h,
hard-reg-set.h, hwint.h, ifcvt.c, input.h, insn-addr.h,
integrate.c, integrate.h, jump.c, lcm.c, libgcc2.c,
libgcc2.h, lists.c, local-alloc.c, loop.c, loop.h,
machmode.def, machmode.h, main.c, mbchar.c, mbchar.h,
mips-tdump.c, mips-tfile.c, mklibgcc.in, mkmap-flat.awk,
mkmap-symver.awk, optabs.c, output.h, params.c, params.def,
params.h, predict.c, predict.def, predict.h, prefix.c,
prefix.h, print-rtl.c, print-tree.c, profile.c, protoize.c,
read-rtl.c, real.c, real.h, recog.c, recog.h, reg-stack.c,
regclass.c, regmove.c, regrename.c, regs.h, reload.c,
reload.h, reload1.c, reorg.c, resource.c, resource.h, rtl.c,
rtl.def, rtl.h, rtlanal.c, sbitmap.c, sbitmap.h,
sched-deps.c, sched-ebb.c, sched-int.h, sched-rgn.c,
sched-vis.c, sdbout.c, sdbout.h, sibcall.c, simplify-rtx.c,
ssa-ccp.c, ssa-dce.c, ssa.c, ssa.h, stmt.c, stor-layout.c,
stringpool.c, system.h, timevar.c, timevar.def, timevar.h,
tlink.c, toplev.c, toplev.h, tree.c, tree.def, tree.h,
tsystem.h, unroll.c, unwind-dw2-fde.c, unwind-dw2-fde.h,
unwind-dw2.c, unwind-pe.h, unwind-sjlj.c, unwind.h,
unwind.inc, varasm.c, varray.c, varray.h, xcoffout.c,
xcoffout.h: replace "GNU CC" with "GCC".
From-SVN: r45105
2001-08-22 16:35:51 +02:00
|
|
|
|
GCC 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.
|
2000-12-03 15:35:17 +01:00
|
|
|
|
|
Makefile.in, [...]: replace "GNU CC" with "GCC".
* Makefile.in, alias.c, basic-block.h, bb-reorder.c, bitmap.c,
bitmap.h, builtin-types.def, builtins.c, builtins.def,
c-aux-info.c, c-common.c, c-common.def, c-common.h,
c-convert.c, c-decl.c, c-dump.c, c-dump.h, c-errors.c,
c-format.c, c-lang.c, c-lex.c, c-lex.h, c-parse.in,
c-pragma.c, c-pragma.h, c-semantics.c, c-tree.h, c-typeck.c,
caller-save.c, calls.c, collect2.c, collect2.h, combine.c,
conditions.h, config.gcc, configure.frag, configure.in,
conflict.c, convert.c, convert.h, cppspec.c, crtstuff.c,
cse.c, cselib.c, cselib.h, dbxout.c, dbxout.h, defaults.h,
dependence.c, df.c, df.h, diagnostic.c, diagnostic.h,
doloop.c, dominance.c, dwarf.h, dwarf2.h, dwarf2asm.c,
dwarf2asm.h, dwarf2out.c, dwarf2out.h, dwarfout.c,
emit-rtl.c, errors.c, errors.h, except.c, except.h,
exgettext, explow.c, expmed.c, expr.c, expr.h, final.c,
fixproto, flags.h, flow.c, fold-const.c, fp-test.c,
function.c, function.h, gbl-ctors.h, gcc.c, gcc.h, gcc.hlp,
gccspec.c, gcov-io.h, gcse.c, genattr.c, genattrtab.c,
gencheck.c, gencodes.c, genconfig.c, genemit.c,
genextract.c, genflags.c, gengenrtl.c, genmultilib,
genopinit.c, genoutput.c, genpeep.c, genrecog.c,
gensupport.c, gensupport.h, ggc-callbacks.c, ggc-common.c,
ggc-none.c, ggc-page.c, ggc-simple.c, ggc.h, global.c,
graph.c, graph.h, gthr-aix.h, gthr-dce.h, gthr-posix.h,
gthr-rtems.h, gthr-single.h, gthr-solaris.h, gthr-vxworks.h,
gthr-win32.h, gthr.h, haifa-sched.c, halfpic.c, halfpic.h,
hard-reg-set.h, hwint.h, ifcvt.c, input.h, insn-addr.h,
integrate.c, integrate.h, jump.c, lcm.c, libgcc2.c,
libgcc2.h, lists.c, local-alloc.c, loop.c, loop.h,
machmode.def, machmode.h, main.c, mbchar.c, mbchar.h,
mips-tdump.c, mips-tfile.c, mklibgcc.in, mkmap-flat.awk,
mkmap-symver.awk, optabs.c, output.h, params.c, params.def,
params.h, predict.c, predict.def, predict.h, prefix.c,
prefix.h, print-rtl.c, print-tree.c, profile.c, protoize.c,
read-rtl.c, real.c, real.h, recog.c, recog.h, reg-stack.c,
regclass.c, regmove.c, regrename.c, regs.h, reload.c,
reload.h, reload1.c, reorg.c, resource.c, resource.h, rtl.c,
rtl.def, rtl.h, rtlanal.c, sbitmap.c, sbitmap.h,
sched-deps.c, sched-ebb.c, sched-int.h, sched-rgn.c,
sched-vis.c, sdbout.c, sdbout.h, sibcall.c, simplify-rtx.c,
ssa-ccp.c, ssa-dce.c, ssa.c, ssa.h, stmt.c, stor-layout.c,
stringpool.c, system.h, timevar.c, timevar.def, timevar.h,
tlink.c, toplev.c, toplev.h, tree.c, tree.def, tree.h,
tsystem.h, unroll.c, unwind-dw2-fde.c, unwind-dw2-fde.h,
unwind-dw2.c, unwind-pe.h, unwind-sjlj.c, unwind.h,
unwind.inc, varasm.c, varray.c, varray.h, xcoffout.c,
xcoffout.h: replace "GNU CC" with "GCC".
From-SVN: r45105
2001-08-22 16:35:51 +02:00
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
2000-12-03 15:35:17 +01:00
|
|
|
|
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
|
2001-09-14 13:05:39 +02:00
|
|
|
|
along with GCC; see the file COPYING. If not, write to the Free
|
2005-06-25 04:02:01 +02:00
|
|
|
|
Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
|
|
|
|
|
02110-1301, USA. */
|
2000-12-03 15:35:17 +01:00
|
|
|
|
|
|
|
|
|
#include "config.h"
|
|
|
|
|
#include "system.h"
|
2002-12-16 19:23:00 +01:00
|
|
|
|
#include "coretypes.h"
|
|
|
|
|
#include "tm.h"
|
2000-12-03 15:35:17 +01:00
|
|
|
|
#include "rtl.h"
|
2006-01-25 18:39:37 +01:00
|
|
|
|
#include "obstack.h"
|
2000-12-20 18:19:39 +01:00
|
|
|
|
#include "hard-reg-set.h"
|
|
|
|
|
#include "basic-block.h"
|
2002-05-04 02:51:02 +02:00
|
|
|
|
#include "real.h"
|
2000-12-03 15:35:17 +01:00
|
|
|
|
#include "sched-int.h"
|
2006-01-25 18:39:37 +01:00
|
|
|
|
#include "tree-pass.h"
|
2000-12-03 15:35:17 +01:00
|
|
|
|
|
2003-07-06 14:35:56 +02:00
|
|
|
|
static char *safe_concat (char *, char *, const char *);
|
|
|
|
|
static void print_exp (char *, rtx, int);
|
|
|
|
|
static void print_value (char *, rtx, int);
|
|
|
|
|
static void print_pattern (char *, rtx, int);
|
2000-12-03 15:35:17 +01:00
|
|
|
|
|
|
|
|
|
#define BUF_LEN 2048
|
|
|
|
|
|
|
|
|
|
static char *
|
2003-07-06 14:35:56 +02:00
|
|
|
|
safe_concat (char *buf, char *cur, const char *str)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
{
|
|
|
|
|
char *end = buf + BUF_LEN - 2; /* Leave room for null. */
|
|
|
|
|
int c;
|
|
|
|
|
|
|
|
|
|
if (cur > end)
|
|
|
|
|
{
|
|
|
|
|
*end = '\0';
|
|
|
|
|
return end;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
while (cur < end && (c = *str++) != '\0')
|
|
|
|
|
*cur++ = c;
|
|
|
|
|
|
|
|
|
|
*cur = '\0';
|
|
|
|
|
return cur;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* This recognizes rtx, I classified as expressions. These are always
|
|
|
|
|
represent some action on values or results of other expression, that
|
|
|
|
|
may be stored in objects representing values. */
|
|
|
|
|
|
|
|
|
|
static void
|
2003-07-06 14:35:56 +02:00
|
|
|
|
print_exp (char *buf, rtx x, int verbose)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
{
|
|
|
|
|
char tmp[BUF_LEN];
|
|
|
|
|
const char *st[4];
|
|
|
|
|
char *cur = buf;
|
|
|
|
|
const char *fun = (char *) 0;
|
|
|
|
|
const char *sep;
|
|
|
|
|
rtx op[4];
|
|
|
|
|
int i;
|
|
|
|
|
|
|
|
|
|
for (i = 0; i < 4; i++)
|
|
|
|
|
{
|
|
|
|
|
st[i] = (char *) 0;
|
|
|
|
|
op[i] = NULL_RTX;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
switch (GET_CODE (x))
|
|
|
|
|
{
|
|
|
|
|
case PLUS:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
if (GET_CODE (XEXP (x, 1)) == CONST_INT
|
|
|
|
|
&& INTVAL (XEXP (x, 1)) < 0)
|
|
|
|
|
{
|
|
|
|
|
st[1] = "-";
|
|
|
|
|
op[1] = GEN_INT (-INTVAL (XEXP (x, 1)));
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
st[1] = "+";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
case LO_SUM:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "+low(";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
st[2] = ")";
|
|
|
|
|
break;
|
|
|
|
|
case MINUS:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "-";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case COMPARE:
|
|
|
|
|
fun = "cmp";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case NEG:
|
|
|
|
|
st[0] = "-";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case MULT:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "*";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case DIV:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "/";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case UDIV:
|
|
|
|
|
fun = "udiv";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case MOD:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "%";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case UMOD:
|
|
|
|
|
fun = "umod";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case SMIN:
|
|
|
|
|
fun = "smin";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case SMAX:
|
|
|
|
|
fun = "smax";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case UMIN:
|
|
|
|
|
fun = "umin";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case UMAX:
|
|
|
|
|
fun = "umax";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case NOT:
|
|
|
|
|
st[0] = "!";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case AND:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "&";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case IOR:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "|";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case XOR:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "^";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case ASHIFT:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "<<";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case LSHIFTRT:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = " 0>>";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case ASHIFTRT:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = ">>";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case ROTATE:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "<-<";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case ROTATERT:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = ">->";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case ABS:
|
|
|
|
|
fun = "abs";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case SQRT:
|
|
|
|
|
fun = "sqrt";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case FFS:
|
|
|
|
|
fun = "ffs";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case EQ:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "==";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case NE:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "!=";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case GT:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = ">";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case GTU:
|
|
|
|
|
fun = "gtu";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case LT:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "<";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case LTU:
|
|
|
|
|
fun = "ltu";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case GE:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = ">=";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case GEU:
|
|
|
|
|
fun = "geu";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case LE:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "<=";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case LEU:
|
|
|
|
|
fun = "leu";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
break;
|
|
|
|
|
case SIGN_EXTRACT:
|
|
|
|
|
fun = (verbose) ? "sign_extract" : "sxt";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
op[2] = XEXP (x, 2);
|
|
|
|
|
break;
|
|
|
|
|
case ZERO_EXTRACT:
|
|
|
|
|
fun = (verbose) ? "zero_extract" : "zxt";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
op[2] = XEXP (x, 2);
|
|
|
|
|
break;
|
|
|
|
|
case SIGN_EXTEND:
|
|
|
|
|
fun = (verbose) ? "sign_extend" : "sxn";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case ZERO_EXTEND:
|
|
|
|
|
fun = (verbose) ? "zero_extend" : "zxn";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case FLOAT_EXTEND:
|
|
|
|
|
fun = (verbose) ? "float_extend" : "fxn";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case TRUNCATE:
|
|
|
|
|
fun = (verbose) ? "trunc" : "trn";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case FLOAT_TRUNCATE:
|
|
|
|
|
fun = (verbose) ? "float_trunc" : "ftr";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case FLOAT:
|
|
|
|
|
fun = (verbose) ? "float" : "flt";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case UNSIGNED_FLOAT:
|
|
|
|
|
fun = (verbose) ? "uns_float" : "ufl";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case FIX:
|
|
|
|
|
fun = "fix";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case UNSIGNED_FIX:
|
|
|
|
|
fun = (verbose) ? "uns_fix" : "ufx";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case PRE_DEC:
|
|
|
|
|
st[0] = "--";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case PRE_INC:
|
|
|
|
|
st[0] = "++";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
break;
|
|
|
|
|
case POST_DEC:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "--";
|
|
|
|
|
break;
|
|
|
|
|
case POST_INC:
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = "++";
|
|
|
|
|
break;
|
|
|
|
|
case CALL:
|
|
|
|
|
st[0] = "call ";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
if (verbose)
|
|
|
|
|
{
|
|
|
|
|
st[1] = " argc:";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
case IF_THEN_ELSE:
|
|
|
|
|
st[0] = "{(";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
st[1] = ")?";
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
st[2] = ":";
|
|
|
|
|
op[2] = XEXP (x, 2);
|
|
|
|
|
st[3] = "}";
|
|
|
|
|
break;
|
|
|
|
|
case TRAP_IF:
|
|
|
|
|
fun = "trap_if";
|
|
|
|
|
op[0] = TRAP_CONDITION (x);
|
|
|
|
|
break;
|
2001-12-04 01:47:14 +01:00
|
|
|
|
case PREFETCH:
|
|
|
|
|
fun = "prefetch";
|
|
|
|
|
op[0] = XEXP (x, 0);
|
|
|
|
|
op[1] = XEXP (x, 1);
|
|
|
|
|
op[2] = XEXP (x, 2);
|
|
|
|
|
break;
|
2000-12-03 15:35:17 +01:00
|
|
|
|
case UNSPEC:
|
|
|
|
|
case UNSPEC_VOLATILE:
|
|
|
|
|
{
|
|
|
|
|
cur = safe_concat (buf, cur, "unspec");
|
|
|
|
|
if (GET_CODE (x) == UNSPEC_VOLATILE)
|
|
|
|
|
cur = safe_concat (buf, cur, "/v");
|
|
|
|
|
cur = safe_concat (buf, cur, "[");
|
|
|
|
|
sep = "";
|
|
|
|
|
for (i = 0; i < XVECLEN (x, 0); i++)
|
|
|
|
|
{
|
|
|
|
|
print_pattern (tmp, XVECEXP (x, 0, i), verbose);
|
|
|
|
|
cur = safe_concat (buf, cur, sep);
|
|
|
|
|
cur = safe_concat (buf, cur, tmp);
|
|
|
|
|
sep = ",";
|
|
|
|
|
}
|
|
|
|
|
cur = safe_concat (buf, cur, "] ");
|
|
|
|
|
sprintf (tmp, "%d", XINT (x, 1));
|
|
|
|
|
cur = safe_concat (buf, cur, tmp);
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
default:
|
|
|
|
|
/* If (verbose) debug_rtx (x); */
|
|
|
|
|
st[0] = GET_RTX_NAME (GET_CODE (x));
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Print this as a function? */
|
|
|
|
|
if (fun)
|
|
|
|
|
{
|
|
|
|
|
cur = safe_concat (buf, cur, fun);
|
|
|
|
|
cur = safe_concat (buf, cur, "(");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
for (i = 0; i < 4; i++)
|
|
|
|
|
{
|
|
|
|
|
if (st[i])
|
|
|
|
|
cur = safe_concat (buf, cur, st[i]);
|
|
|
|
|
|
|
|
|
|
if (op[i])
|
|
|
|
|
{
|
|
|
|
|
if (fun && i != 0)
|
|
|
|
|
cur = safe_concat (buf, cur, ",");
|
|
|
|
|
|
|
|
|
|
print_value (tmp, op[i], verbose);
|
|
|
|
|
cur = safe_concat (buf, cur, tmp);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (fun)
|
|
|
|
|
cur = safe_concat (buf, cur, ")");
|
|
|
|
|
} /* print_exp */
|
|
|
|
|
|
2003-07-01 14:18:01 +02:00
|
|
|
|
/* Prints rtxes, I customarily classified as values. They're constants,
|
2000-12-03 15:35:17 +01:00
|
|
|
|
registers, labels, symbols and memory accesses. */
|
|
|
|
|
|
|
|
|
|
static void
|
2003-07-06 14:35:56 +02:00
|
|
|
|
print_value (char *buf, rtx x, int verbose)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
{
|
|
|
|
|
char t[BUF_LEN];
|
|
|
|
|
char *cur = buf;
|
|
|
|
|
|
|
|
|
|
switch (GET_CODE (x))
|
|
|
|
|
{
|
|
|
|
|
case CONST_INT:
|
|
|
|
|
sprintf (t, HOST_WIDE_INT_PRINT_HEX, INTVAL (x));
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
break;
|
|
|
|
|
case CONST_DOUBLE:
|
2002-05-04 02:51:02 +02:00
|
|
|
|
if (FLOAT_MODE_P (GET_MODE (x)))
|
real.c (real_to_decimal): Accept BUF_SIZE and CROP_TRAILING_ZEROS as arguments.
gcc/
* real.c (real_to_decimal): Accept BUF_SIZE and CROP_TRAILING_ZEROS
as arguments. Bound DIGITS by the available buffer size.
(real_to_hexadecimal): Likewise.
* real.h (real_to_decimal, real_to_hexadecimal): Update prototypes.
(REAL_VALUE_TO_DECIMAL): Remove.
* c-common.c, c-pretty-print.c, print-rtl.c, print-tree.c,
sched-vis.c, config/arc/arc.c, config/c4x/c4x.c, config/fr30/fr30.c,
config/i370/i370.h, config/i386/i386.c, config/i960/i960.c,
config/ip2k/ip2k.c, config/m32r/m32r.c, config/m68hc11/m68hc11.c,
config/m68k/hp320.h, config/m68k/m68k.h, config/m68k/sun2o4.h,
config/m68k/sun3.h, config/mips/mips.c, config/ns32k/ns32k.c,
config/pdp11/pdp11.h, config/vax/vax.h: Update all callers to
use real_to_decimal directly, and with the proper arguments.
* doc/tm.texi (REAL_VALUE_TO_DECIMAL): Remove.
gcc/cp/
* error.c (dump_expr): Use real_to_decimal directly, and with
the new arguments.
gcc/f/
* target.h (ffetarget_print_real1, ffetarget_print_real2): Use
real_to_decimal directly, and with the new arguments.
From-SVN: r58187
2002-10-16 02:40:39 +02:00
|
|
|
|
real_to_decimal (t, CONST_DOUBLE_REAL_VALUE (x), sizeof (t), 0, 1);
|
2002-05-04 02:51:02 +02:00
|
|
|
|
else
|
2007-05-19 01:05:50 +02:00
|
|
|
|
sprintf (t,
|
|
|
|
|
"<" HOST_WIDE_INT_PRINT_HEX "," HOST_WIDE_INT_PRINT_HEX ">",
|
|
|
|
|
(unsigned HOST_WIDE_INT) CONST_DOUBLE_LOW (x),
|
|
|
|
|
(unsigned HOST_WIDE_INT) CONST_DOUBLE_HIGH (x));
|
2000-12-03 15:35:17 +01:00
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
break;
|
|
|
|
|
case CONST_STRING:
|
|
|
|
|
cur = safe_concat (buf, cur, "\"");
|
|
|
|
|
cur = safe_concat (buf, cur, XSTR (x, 0));
|
|
|
|
|
cur = safe_concat (buf, cur, "\"");
|
|
|
|
|
break;
|
|
|
|
|
case SYMBOL_REF:
|
|
|
|
|
cur = safe_concat (buf, cur, "`");
|
|
|
|
|
cur = safe_concat (buf, cur, XSTR (x, 0));
|
|
|
|
|
cur = safe_concat (buf, cur, "'");
|
|
|
|
|
break;
|
|
|
|
|
case LABEL_REF:
|
|
|
|
|
sprintf (t, "L%d", INSN_UID (XEXP (x, 0)));
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
break;
|
|
|
|
|
case CONST:
|
|
|
|
|
print_value (t, XEXP (x, 0), verbose);
|
|
|
|
|
cur = safe_concat (buf, cur, "const(");
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
cur = safe_concat (buf, cur, ")");
|
|
|
|
|
break;
|
|
|
|
|
case HIGH:
|
|
|
|
|
print_value (t, XEXP (x, 0), verbose);
|
|
|
|
|
cur = safe_concat (buf, cur, "high(");
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
cur = safe_concat (buf, cur, ")");
|
|
|
|
|
break;
|
|
|
|
|
case REG:
|
|
|
|
|
if (REGNO (x) < FIRST_PSEUDO_REGISTER)
|
|
|
|
|
{
|
|
|
|
|
int c = reg_names[REGNO (x)][0];
|
c-format.c (maybe_read_dollar_number): Use safe-ctype macros and/or fold extra calls into fewer ones.
* c-format.c (maybe_read_dollar_number): Use safe-ctype macros
and/or fold extra calls into fewer ones.
* collect2.c (dump_file): Likewise.
* cppexp.c (parse_number): Likewise.
* cpplex.c (_cpp_lex_direct): Likewise.
* final.c (output_asm_insn, asm_fprintf): Likewise.
* fix-header.c (inf_scan_ident, main): Likewise.
* fixinc/fixfixes.c (char_macro_use_fix, char_macro_def_fix):
Likewise.
* fold-const.c (real_hex_to_f): Likewise.
* gen-protos.c (parse_fn_proto): Likewise.
* genattrtab.c (check_attr_test, check_attr_value): Likewise.
* genrecog.c (change_state, write_action): Likewise.
* gensupport.c (shift_output_template): Likewise.
* local-alloc.c (requires_inout): Likewise.
* mips-tfile.c (IS_ASM_IDENT): Likewise.
* protoize.c (is_id_char, main): Likewise.
* real.c (asctoeg): Likewise.
* recog.c (asm_operand_ok): Likewise.
* reload.c (find_reloads): Likewise.
* scan.c (scan_identget_token): Likewise.
* sched-vis.c (print_value): Likewise.
* stringpool.c (ggc_alloc_string): Likewise.
* toplev.c (read_integral_parameter, decode_g_option): Likewise.
* tradcif.y (parse_number, yylex, parse_escape): Likewise.
* tradcpp.c (rescan): Likewise.
* tree.c (clean_symbol_name): Likewise.
* varasm.c (decode_reg_name): Likewise.
* alpha.h (ASM_OUTPUT_ASCII): Likewise.
* darwin.c (name_needs_quotes, func_name_maybe_scoped): Likewise.
* dsp16xx.h (ASM_OUTPUT_ASCII): Likewise.
* m88k.c (output_ascii): Likewise.
* m88k.h (OVERRIDE_OPTIONS): Likewise.
* mcore.h (REG_CLASS_FROM_LETTER): Likewise.
* ns32k/encore.h (ASM_OUTPUT_ASCII): Likewise.
* sh.h (REG_CLASS_FROM_LETTER): Likewise.
cp:
* xref.c (GNU_xref_member): Use safe-ctype macros and/or fold
extra calls into fewer ones.
f:
* bad.c (ffebad_finish): Use safe-ctype macros and/or fold extra
calls into fewer ones.
* implic.c (ffeimplic_lookup_): Likewise.
* intdoc.c (dumpimp): Likewise.
* intrin.c (ffeintrin_init_0): Likewise.
* lex.c (ffelex_backslash_, ffelex_cfebackslash_, ffelex_hash_):
Likewise.
* lex.h (ffelex_is_firstnamechar): Likewise.
* target.c (ffetarget_integerhex): Likewise.
java:
* gjavah.c (jni_print_char, decode_signature_piece): Use
safe-ctype macros and/or fold extra calls into fewer ones.
* lex.c (java_read_unicode, java_lex): Likewise.
* lex.h (JAVA_START_CHAR_P, JAVA_PART_CHAR_P, JAVA_ASCII_DIGIT,
JAVA_ASCII_HEXDIGIT, JAVA_ASCII_LETTER): Likewise.
* mangle_name.c (append_unicode_mangled_name,
unicode_mangling_length): Likewise.
From-SVN: r46397
2001-10-21 23:32:15 +02:00
|
|
|
|
if (ISDIGIT (c))
|
2000-12-03 15:35:17 +01:00
|
|
|
|
cur = safe_concat (buf, cur, "%");
|
|
|
|
|
|
|
|
|
|
cur = safe_concat (buf, cur, reg_names[REGNO (x)]);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
sprintf (t, "r%d", REGNO (x));
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
}
|
2006-01-25 18:39:37 +01:00
|
|
|
|
if (verbose
|
|
|
|
|
#ifdef INSN_SCHEDULING
|
|
|
|
|
&& !current_sched_info
|
|
|
|
|
#endif
|
|
|
|
|
)
|
|
|
|
|
{
|
|
|
|
|
sprintf (t, ":%s", GET_MODE_NAME (GET_MODE (x)));
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
}
|
2000-12-03 15:35:17 +01:00
|
|
|
|
break;
|
|
|
|
|
case SUBREG:
|
|
|
|
|
print_value (t, SUBREG_REG (x), verbose);
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
Use byte offsets in SUBREGs instead of words.
2001-04-03 Jakub Jelinek <jakub@redhat.com>
David S. Miller <davem@pierdol.cobaltmicro.com>
Andrew MacLeod <amacleod@redhat.com>
Use byte offsets in SUBREGs instead of words.
* alias.c (nonlocal_mentioned_p): Use subreg_regno function.
* caller-save.c (mark_set_regs): Change callers of subreg_hard_regno
to pass new argument.
(add_stored_regs): Use subreg_regno_offset function.
* calls.c (expand_call): For non-paradoxical SUBREG take endianess
into account.
(precompute_arguments): Use gen_lowpart_SUBREG.
* combine.c (try_combine): Replace explicit XEXP with SUBREG_REG.
(combine_simplify_rtx): Rework to use SUBREG_BYTE.
(simplify_set): Rework to use SUBREG_BYTE.
(expand_field_assignment): Use SUBREG_BYTE.
(make_extraction): Use SUBREG_BYTE.
(if_then_else_cond): Use SUBREG_BYTE.
(apply_distributive_law): Use SUBREG_BYTE and fixup subreg comments.
(gen_lowpart_for_combine): Compute full byte offset.
* cse.c (mention_regs): Use SUBREG_BYTE.
(remove_invalid_subreg_refs): Rework to use SUBREG_BYTE.
(canon_hash): Use SUBREG_BYTE.
(fold_rtx): Pass SUBREG_BYTE div UNITS_PER_WORD to operand_subword.
(gen_lowpart_if_possible): Formatting.
* dbxout.c (dbxout_symbol_location): Compute SUBREG hard regnos
correctly.
* dwarf2out.c (is_pseudo_reg): Fixup explicit XEXP into SUBREG_REG
(mem_loc_descriptor): Fixup explicit XEXP into SUBREG_REG
(loc_descriptor): Fixup explicit XEXP into SUBREG_REG
* dwarfout.c (is_pseudo_reg): Fixup explicit XEXP into SUBREG_REG
(output_mem_loc_descriptor): Fixup explicit XEXP into SUBREG_REG
(output_loc_descriptor): Fixup explicit XEXP into SUBREG_REG
* emit-rtl.c (gen_rtx_SUBREG): New function, used to verify
certain invariants about SUBREGs the compiler creates.
(gen_lowpart_SUBREG): New function.
(subreg_hard_regno): New function to get the final register number.
(gen_lowpart_common): Use SUBREG_BYTE.
(gen_imagpart): Spacing nits.
(subreg_realpart_p): Use SUBREG_BYTE.
(gen_highpart): Use SUBREG_BYTE.
(subreg_lowpart_p): Always compute endian corrected goal offset,
even at the byte level, then compare against that.
(constant_subword): New function, pulled out all constant cases
from operand_subword and changed second argument name to offset.
(operand_subword): Detect non REG/SUBREG/CONCAT/MEM cases early
and call constant_subword to do the work. Return const0_rtx if
looking for a word outside of OP.
(operand_subword_force): Change second arg name to offset.
* expmed.c (store_bit_field): Use SUBREG_BYTE.
(store_split_bit_field): Use SUBREG_BYTE.
(extract_bit_field): Use SUBREG_BYTE.
(extract_split_bit_field): Use SUBREG_BYTE.
(expand_shift): Use SUBREG_BYTE.
* expr.c (store_expr, expand_expr): Use gen_lowpart_SUBREG.
* final.c (alter_subreg) Use subreg_hard_regno and SUBREG_BYTE.
* flow.c (set_noop_p): Use SUBREG_BYTE.
(mark_set_1): Remove ALTER_HARD_SUBREG. Use subreg_regno_offset instead.
* function.c (fixup_var_refs_1): Fixup explicit XEXP into a SUBREG_REG.
(fixup_memory_subreg): Use SUBREG_BYTE and remove byte endian
correction code.
(optimize_bit_field): Use SUBREG_BYTE.
(purge_addressof_1): Use SUBREG_BYTE.
(purge_single_hard_subreg_set): Use subreg_regno_offset function.
(assign_params): Mark arguments SUBREG_PROMOTED_VAR_P if they are
actually promoted by the caller and PROMOTE_FOR_CALLS_ONLY is true.
* gengenrtl.c (special_rtx): Add SUBREG.
* global.c (mark_reg_store): Use SUBREG_BYTE.
(set_preference): Rework to use subreg_regno_offset and SUBREG_BYTE.
* ifcvt (noce_emit_move_insn): Use SUBREG_BYTE.
* integrate.c (copy_rtx_and_substitute): Use SUBREG_BYTE and make sure
final byte offset is congruent to subreg's mode size.
(subst_constants): Use SUBREG_BYTE.
(mark_stores): Use subreg_regno_offset function.
* jump.c (rtx_renumbered_equal_p, true_regnum): Use subreg_regno_offset
function and SUBREG_BYTE.
* local-alloc.c (combine_regs): Use subreg_regno_offset function.
(reg_is_born): Use subreg_hard_regno.
* recog.c (valid_replace_rtx_1): Use SUBREG_BYTE and remove byte
endian correction code. Don't combine subregs unless resulting
offset aligns with type. Fix subreg constant extraction for DImode.
Simplify SUBREG of VOIDmode CONST_DOUBLE.
(general_operand): Remove dead mode_altering_drug code.
(indirect_operand): Use SUBREG_BYTE.
(constrain_operands): Use subreg_regno_offset function.
* reg-stack.c (get_true_reg): Use subreg_regno_offset function.
* regmove.c (regmove_optimize): Use SUBREG_BYTE.
(optimize_reg_copy_3): Use gen_lowpart_SUBREG.
* regs.h (REG_SIZE): Allow target to override.
(REGMODE_NATURAL_SIZE): New macro which target can override.
* reload.c (reload_inner_reg_of_subreg): subreg_regno should be used
on the entire subreg rtx.
(push_reload): Use SUBREG_BYTE in comments and code.
(find_dummy_reload): Use subreg_regno_offset. Only adjust offsets
for hard registers inside subregs.
(operands_match_p): Use subreg_regno_offset.
(find_reloads): Use SUBREG_BYTE and only advance offset for subregs
containing hard regs.
(find_reload_toplev): Use SUBREG_BYTE. Remove byte endian
corrections when fixing up MEM subregs.
(find_reloads_address_1): Use SUBREG_BYTE, subreg_regno, and
subreg_regno_offset where appropriate.
(find_reloads_subreg_address): Use SUBREG_BYTE. Remove
byte endian corrections when fixing up MEM subregs.
(subst_reloads): When combining two subregs, make sure final
offset is congruent to subreg's mode size.
(find_replacement): Use SUBREG_BYTE and subreg_regno_offset.
(refers_to_regno_for_reload_p): Use subreg_regno.
(reg_overlap_mentioned_for_reload_p): Use subreg_regno_offset.
* reload1.c (eliminate_regs) Use SUBREG_BYTE. Remove byte endian
correction code for memory subreg fixups.
(forget_old_reload_1): Use subreg_regno_offset.
(choose_reload_regs): Use subreg_regno.
(emit_input_reload_insns): Use SUBREG_BYTE.
(reload_combine_note_store): Use subreg_regno_offset.
(move2add_note_store): Use subreg_regno_offset.
* resource.c (update_live_status, mark_referenced_resources): Use
subreg_regno function.
(mark_set_resources): Use subreg_regno function.
* rtl.h (SUBREG_WORD): Rename to SUBREG_BYTE.
(subreg_regno_offset, subreg_regno): Define prototypes.
(subreg_hard_regno, constant_subword, gen_rtx_SUBREG): Newi functions.
(gen_lowpart_SUBREG): Add prototype.
* rtl.texi (subreg): Update to reflect new byte offset representation.
Add mentioning of the effect that BYTES_BIG_ENDIAN has on subregs now.
* rtlanal.c (refers_to_regno_p): Use subreg_regno.
(reg_overlap_mentioned_p): Use subreg_regno.
(replace_regs); Make sure final offset of combined subreg is
congruent to size of subreg's mode.
(subreg_regno_offset): New function.
(subreg_regno): New function.
* sched-vis.c (print_value): Change SUBREG_WORD to SUBREG_BYTE.
* sdbout.c (sdbout_symbol): Compute offset using alter_subreg.
* stmt.c (expand_anon_union_decl): Use gen_lowpart_SUBREG.
* tm.texi (ALTER_HARD_SUBREG): Remove, it is now dead.
(SUBREG_REGNO_OFFSET): Describe SUBREG_REGNO_OFFSET overrides.
* config/a29k/a29k.c (gpc_reg_operand): Use subreg_regno.
(a29k_get_reloaded_address): Use SUBREG_BYTE.
(print_operand): Use SUBREG_BYTE.
* config/alpha/alpha.c (print_operand_address): Use SUBREG_BYTE.
* config/arm/arm.c (arm_reload_in_hi): Use SUBREG_BYTE.
(arm_reload_out_hi): Use SUBREG_BYTE.
* config/d30v/d30v.c (d30v_split_double): Use subreg_regno_offset
instead of SUBREG_WORD.
(d30v_print_operand_memory_reference): Use subreg_regno_offset.
* config/dsp16xx/dsp16xx.md (extendqihi2, zero_extendqihi2): Fix
SUBREG creation to use byte offset.
* config/h8300/h8300.md (Unnamed HImode zero extraction and 16bit
inverted load insns): Fix explicit rtl subregs to use byte
offsets.
* config/i370/i370.md (cmpstrsi, movstrsi, mulsi3, divsi3,
udivsi3, umodsi3): Generate SUBREGs with byte offsets.
* config/i860/i860.c (single_insn_src_p): Use SUBREG_BYTE.
* config/i860/i860.md (mulsi3_big): Fixup explicit SUBREGs in rtl
to use byte offsets.
(unnamed fmlow.dd insn): Fixup SUBREGS to use byte offsets.
* config/i960/i960.md (extendhisi2): Generate SUBREGs with byte
offsets, also make sure it is congruent to SUBREG's mode size.
(extendqisi2, extendqihi2, zero_extendhisi2, zero_extendqisi2,
unnamed ldob insn): Generate SUBREGs with byte offset.
(zero_extendqihi2): SUBREG's are byte offsets.
* config/m68hc11/m68hc11.c (m68hc11_gen_lowpart): Use SUBREG_BYTE.
(m68hc11_gen_highpart): Use SUBREG_BYTE.
* config/m68k/m68k.md (zero_extendhisi2, zero_extendqihi2,
zero-extendqisi2): Generate SUBREGs with byte offset.
(umulsidi3, mulsidi3, subreghi1ashrdi_const32,
subregsi1ashrdi_const32, subreg1lshrdi_const32): Fixup explicit
subregs in rtl to use byte offsets.
* config/m88k/m88k.md (extendsidi2): fixup subregs to use byte offset.
* config/mips/mips.c (mips_move_1word): Use subreg_regno_offset.
(mips_move_2words): Use subreg_regno_offset.
(mips_secondary_reload_class): Use subreg_regno_offset.
* config/mips/mips.md (DImode plus, minus, move, and logical op
splits): Fixup explicit subregs in rtl to use byte offsets.
* config/mn10200/mn10200.c (print_operand): Use subreg_regno function.
* config/mn10300/mn10300.c (print_operand): Use subreg_regno function.
* config/ns32k/ns32k.md (udivmoddisi4): Fix explicit subregs in
rtl to use byte offsets.
* config/pa/pa.c (emit_move_sequence): Use SUBREG_BYTE.
* config/pa/pa.md (floatunssisf2, floatunssidf2, mulsi3): fix explicit
subregs to use byte offsets.
* config/pdp11/pdp11.md (zero_extendhisi2, modhi3, modhi3+1):
Fixup explicit subregs in rtl to use byte offsets.
* config/romp/romp.c (memory_offset_in_range_p): Use SUBREG_BYTE
and remove byte endian correction code.
* config/sh/sh.c (output_movedouble): Use subreg_regno.
(gen_ashift_hi): Use SUBREG_BYTE.
(regs_used): Use subreg_regno_offset.
(machine_dependent_reorg): Use subreg_regno_offset.
* config/sh/sh.h (INDEX_REGISTER_RTX_P): Use SUBREG_BYTE.
* config/sh/sh.md (DImode and DFmode move splits): Use subreg_regno.
(movdf_i4): Subregs are byte offsets now.
* config/sparc/sparc.c (ultra_find_type): Use SUBREG_BYTE.
* config/sparc/sparc.h (ALTER_HARD_SUBREG): Removed.
(REGMODE_NATURAL_SIZE): Override.
(REG_SIZE): For SUBREG check float mode on SUBREG_REG's mode.
* config/sparc/sparc.md (TFmode move splits): Generate SUBREGs
with byte offsets.
(zero_extendhisi2, zero_extendqidi2_insn, extendhisi2,
extendqihi2, sign_extendqihi2_insn, sign_extendqisi2_insn,
extendqidi2): Generate SUBREGs with byte offsets, also make sure
it is congruent to SUBREG's mode size.
(smulsi3_highpart_v8plus): Fix explicit subregs in rtl to use byte
offsets.
(cmp_siqi_trunc, cmp_siqi_trunc_set, cmp_diqi_trunc,
cmp_diqi_trunc_set, lshrdi3_v8plus+1, lshrdi3_v8plus+2,
lshrdi3_v8plus+3, lshrdi3_v8plus+4): Use proper
SUBREG_BYTE offset for non-paradoxical subregs in patterns.
* config/v850/v850.c (print_operand, output_move_double): Use
subreg_regno function.
Co-Authored-By: Andrew MacLeod <amacleod@redhat.com>
Co-Authored-By: David S. Miller <davem@pierdol.cobaltmicro.com>
From-SVN: r41058
2001-04-03 17:06:12 +02:00
|
|
|
|
sprintf (t, "#%d", SUBREG_BYTE (x));
|
2000-12-03 15:35:17 +01:00
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
break;
|
|
|
|
|
case SCRATCH:
|
|
|
|
|
cur = safe_concat (buf, cur, "scratch");
|
|
|
|
|
break;
|
|
|
|
|
case CC0:
|
|
|
|
|
cur = safe_concat (buf, cur, "cc0");
|
|
|
|
|
break;
|
|
|
|
|
case PC:
|
|
|
|
|
cur = safe_concat (buf, cur, "pc");
|
|
|
|
|
break;
|
|
|
|
|
case MEM:
|
|
|
|
|
print_value (t, XEXP (x, 0), verbose);
|
|
|
|
|
cur = safe_concat (buf, cur, "[");
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
cur = safe_concat (buf, cur, "]");
|
|
|
|
|
break;
|
|
|
|
|
default:
|
|
|
|
|
print_exp (t, x, verbose);
|
|
|
|
|
cur = safe_concat (buf, cur, t);
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
} /* print_value */
|
|
|
|
|
|
|
|
|
|
/* The next step in insn detalization, its pattern recognition. */
|
|
|
|
|
|
|
|
|
|
static void
|
2003-07-06 14:35:56 +02:00
|
|
|
|
print_pattern (char *buf, rtx x, int verbose)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
{
|
|
|
|
|
char t1[BUF_LEN], t2[BUF_LEN], t3[BUF_LEN];
|
|
|
|
|
|
|
|
|
|
switch (GET_CODE (x))
|
|
|
|
|
{
|
|
|
|
|
case SET:
|
|
|
|
|
print_value (t1, SET_DEST (x), verbose);
|
|
|
|
|
print_value (t2, SET_SRC (x), verbose);
|
|
|
|
|
sprintf (buf, "%s=%s", t1, t2);
|
|
|
|
|
break;
|
|
|
|
|
case RETURN:
|
|
|
|
|
sprintf (buf, "return");
|
|
|
|
|
break;
|
|
|
|
|
case CALL:
|
|
|
|
|
print_exp (buf, x, verbose);
|
|
|
|
|
break;
|
|
|
|
|
case CLOBBER:
|
|
|
|
|
print_value (t1, XEXP (x, 0), verbose);
|
|
|
|
|
sprintf (buf, "clobber %s", t1);
|
|
|
|
|
break;
|
|
|
|
|
case USE:
|
|
|
|
|
print_value (t1, XEXP (x, 0), verbose);
|
|
|
|
|
sprintf (buf, "use %s", t1);
|
|
|
|
|
break;
|
|
|
|
|
case COND_EXEC:
|
|
|
|
|
if (GET_CODE (COND_EXEC_TEST (x)) == NE
|
|
|
|
|
&& XEXP (COND_EXEC_TEST (x), 1) == const0_rtx)
|
|
|
|
|
print_value (t1, XEXP (COND_EXEC_TEST (x), 0), verbose);
|
|
|
|
|
else if (GET_CODE (COND_EXEC_TEST (x)) == EQ
|
2002-05-09 14:02:29 +02:00
|
|
|
|
&& XEXP (COND_EXEC_TEST (x), 1) == const0_rtx)
|
|
|
|
|
{
|
2000-12-03 15:35:17 +01:00
|
|
|
|
t1[0] = '!';
|
|
|
|
|
print_value (t1 + 1, XEXP (COND_EXEC_TEST (x), 0), verbose);
|
|
|
|
|
}
|
|
|
|
|
else
|
2002-05-09 14:02:29 +02:00
|
|
|
|
print_value (t1, COND_EXEC_TEST (x), verbose);
|
2000-12-03 15:35:17 +01:00
|
|
|
|
print_pattern (t2, COND_EXEC_CODE (x), verbose);
|
|
|
|
|
sprintf (buf, "(%s) %s", t1, t2);
|
|
|
|
|
break;
|
|
|
|
|
case PARALLEL:
|
|
|
|
|
{
|
|
|
|
|
int i;
|
|
|
|
|
|
|
|
|
|
sprintf (t1, "{");
|
|
|
|
|
for (i = 0; i < XVECLEN (x, 0); i++)
|
|
|
|
|
{
|
|
|
|
|
print_pattern (t2, XVECEXP (x, 0, i), verbose);
|
|
|
|
|
sprintf (t3, "%s%s;", t1, t2);
|
|
|
|
|
strcpy (t1, t3);
|
|
|
|
|
}
|
|
|
|
|
sprintf (buf, "%s}", t1);
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
case SEQUENCE:
|
Delete SEQUENCE rtl usage outside of reorg and ssa passes.
2002-06-05 David S. Miller <davem@redhat.com>
Delete SEQUENCE rtl usage outside of reorg and ssa passes.
* rtl.h (gen_sequence, emit_insns, emit_insns_before,
emit_insns_before_scope, emit_insns_after,
emit_insns_after_scope): Delete declaration.
* ada/misc.c (insert_code_for): Use emit_insn* instead of
emit_insns_foo.
* config/alpha/alpha.c (alpha_set_memflags_1): Abort on SEQUENCE.
(alpha_set_memflags): Fix comment.
(set_frame_related_p): Use get_insns instead of gen_sequence.
* config/alpha/alpha.md (setjmp receiver splitter): Avoid
emitting no insns.
* config/arm/arm.c (arm_finalize_pic): Use get_insns instead of
gen_sequence.
(arm_gen_load_multiple, arm_gen_store_multiple): Likewise.
* config/fr30/fr30.c (fr30_move_double): Likewise.
* config/i386/i386.c (ix86_expand_int_movcc, ix86_expand_movstr):
Likewise.
* config/ia64/ia64.c (spill_restore_mem): Likewise.
* config/ia64/ia64.md (conditional move spliiter): Avoid emitting
no insns.
* config/m32r/m32r.c (gen_split_move_double): Use get_insns
instead of gen_sequence.
* config/mips/mips.c (embedded_pic_fnaddr_reg): Likewise.
(mips_expand_prologue, mips16_gp_pseudo_reg): Likewise.
* config/sh/sh.c (sh_need_epilogue): Likewise.
* config/sparc/sparc.md (current_function_calls_alloca, flat): New
attributes.
(setjmp pattern and split): Use them to avoid splitter which emits
no RTL.
* genattrtab.c (main): Emit include of function.h
* config/stormy16/stormy16.c (xstormy16_split_cbranch): Use
get_insns instead of gen_sequence.
* config/cris/cris.c (cris_split_movdx): Likewise.
* emit-rtl.c (emit_insns*): Kill.
(try_split): Expect insn list instead of SEQUENCE.
(make_jump_insn_raw, make_call_insn_raw): Fix comments.
(emit_*insn*): Reimplement to work with INSN lists and PATTERNs.
Make them abort if a SEQUENCE is given and RTL checking is
enabled.
(emit_*_scope): Don't forget to set scope on final insn.
(gen_sequence): Move from here...
* ssa.c (gen_sequence): To here as private function.
* builtins.c (expand_builtin_apply_args): Use emit_insn_foo, fix
comments.
(expand_builtin_return, expand_builtin_mathfn): Likewise.
(expand_builtin_strlen): Use get_insns instead of gen_sequence.
(expand_builtin_saveregs): Use emit_insn_foo, fix comments.
(expand_builtin_expect_jump): Use get_insns and fix comments.
* calls.c (try_to_integrate): Use emit_insn_foo.
(expand_call, emit_library_call_value_1): Likewise.
* expr.c (emit_queue): Handle insn lists instead of SEQUENCE.
(emit_move_insn_1): Use get_insns instead of gen_sequence.
(expand_expr): Use emit_insn_foo.
* cfgrtl.c (commit_one_edge_insertion): Use emit_insn_foo.
* except.c (build_post_landing_pads): Likewise.
* flow.c (attempt_auto_inc): Likewise.
* stmt.c (expand_fixup, fixup_gotos, expand_nl_handler_label,
expand_nl_goto_receivers, expand_decl_cleanup): Likewise.
* function.c (fixup_var_refs_insn): Use get_insns instead of
gen_sequence.
(fixup_var_refs_1): Likewise and expect insn list from gen_foo.
(fixup_memory_subreg): Use get_insns instead of gen_sequence.
(fixup_stack_1, purge_addressof_1, expand_main_function,
get_arg_pointer_save_area): Likewise.
(optimize_bit_field, instantiate_virtual_regs_1, assign_parms,
expand_function_end): Use emit_insn_foo.
(record_insns, keep_stack_depressed): Work with insn list instead
of SEQUENCE, fix comments.
* ifcvt.c (noce_emit_store_flag, noce_try_store_flag,
noce_try_store_flag_constants, noce_try_store_flag_inc,
noce_try_store_flag_mask, noce_emit_cmove, noce_try_cmove_arith,
noce_try_minmax, noce_try_abs): Use emit_insn_foo.
(noce_process_if_block): Use get_insns instead of gen_sequence.
* optabs.c (add_equal_note): Work with insn list, fix comments.
(expand_binop): Expect insn list from GEN_FCN(), use emit_insn_foo.
(expand_unop, expand_complex_abs, expand_unop_insn,
expand_no_conflict_block): Likewise.
(gen_move_insn): Use get_insns instead of gen_sequence.
(gen_cond_trap): Likewise.
* integrate.c (copy_rtx_and_substitute): Likewise.
(emit_initial_value_sets): Use emit_insn_foo.
* reload1.c (emit_output_reload_insns, emit_reload_insns): Likewise.
(fixup_abnormal_edges): Avoid losing REG_NOTES more intelligently
now that RTL generators give insn lists.
* sibcall.c (replace_call_placeholder): Use emit_insn_foo.
* doloop.c (doloop_modify, doloop_modify_runtime): Use get_insns
instead of gen_sequence.
(doloop_optimize): Work with insn lists instead of SEQUENCE rtl.
* explow.c (emit_stack_save, emit_stack_restore): Use get_insns
instead of gen_sequence.
* loop.c (move_movables, emit_prefetch_instructions,
gen_add_mult, check_dbra_loop, gen_load_of_final_value):
Likewise.
(loop_regs_update): Work with insn list instead of SEQUENCE rtl.
(product_cheap_p): Likewise, and add commentary about RTL wastage
here.
* lcm.c (optimize_mode_switching): Use get_insns instead of
gen_sequence.
* profile.c (gen_edge_profiler): Likewise.
* regmove.c (copy_src_to_dest): Likewise.
* reg-stack.c (compensate_edge): Likewise and fix comment.
* gcse.c (process_insert_insn): Likewise.
(insert_insn_end_bb): Work with insn list instead of SEQUENCE rtl.
* jump.c (delete_prior_computation): Update comment.
* genemit.c (gen_expand, gen_split, main): Use get_insns instead
of gen_sequence, update comments to match.
* recog.c (peephole2_optimize): Work with insn lists instead of
SEQUENCE rtl.
* sched-vis.c (print_pattern): Abort on SEQUENCE.
* unroll.c (unroll_loop, find_splittable_givs, final_giv_value):
Use get_insns instead of gen_sequence.
(copy_loop_body): Likewise and don't emit dummy NOTE.
* genrecog.c: Don't mention SEQUENCE rtl in comments.
* combine.c (try_combine): Expect insn lists from split generator.
* reorg.c (relax_delay_slots): Emit SEQUENCE into insn list by
hand.
From-SVN: r54497
2002-06-11 14:22:48 +02:00
|
|
|
|
/* Should never see SEQUENCE codes until after reorg. */
|
ra-build.c (copy_insn_p, [...]): Use gcc_assert and gcc_unreachable instead of abort.
* ra-build.c (copy_insn_p, remember_move, defuse_overlap_p_1,
live_out_1, prune_hardregs_for_mode, init_one_web_common,
reinit_one_web, add_subweb, add_subweb_2, init_web_parts,
record_conflict, compare_and_free_webs, init_webs_defs_uses,
parts_to_webs_1, parts_to_webs, reset_conflicts,
check_conflict_numbers, remember_web_was_spilled, handle_asm_insn,
ra_build_free): Use gcc_assert and gcc_unreachable instead of abort.
* ra-colorize.c (push_list, put_web, reset_lists, put_web_at_end,
put_move, remove_move, combine, select_spill, colorize_one_web,
try_recolor_web, insert_coalesced_conflicts, check_colors,
break_precolored_alias, restore_conflicts_from_coalesce,
sort_and_combine_web_pairs, check_uncoalesced_moves): Likewise.
* ra-rewrite.c (spill_coalescing, slots_overlap_p, emit_loads,
reloads_to_loads, rewrite_program2, emit_colors): Likewise.
* ra.c (first_hard_reg, create_insn_info, find_subweb, init_ra,
check_df): Likewise.
* real.c (do_add, do_multiply, do_divide, do_compare, do_fix_trunc,
real_arithmetic, real_compare, real_exponent, real_ldexp,
real_identical, real_to_integer, real_to_integer2, real_to_decimal,
real_to_hexadecimal, real_from_integer, ten_to_ptwo, ten_to_mptwo,
real_digit, real_nan, real_maxval, round_for_format, real_convert,
real_to_target, real_from_target, real_hash, encode_ieee_single,
encode_ieee_double, encode_ieee_extended, encode_ieee_quad,
encode_vax_f, encode_vax_d, encode_vax_g, encode_i370_single,
encode_i370_double, encode_c4x_single, encode_c4x_extended): Likewise.
* recog.c (validate_change, validate_replace_rtx_1, asm_operand_ok,
extract_insn, peep2_next_insn, peep2_reg_dead_p,
peep2_find_free_register, peephole2_optimize, store_data_bypass_p,
if_test_bypass_p): Likewise.
* reg-stack.c (record_label_references, get_asm_operand_n_inputs,
stack_result, remove_regno_note, get_hard_regnum, emit_pop_insn,
emit_swap_insn, swap_to_top, move_for_stack_reg,
subst_stack_regs_pat, subst_asm_stack_regs, change_stack,
compensate_edge, convert_regs_1): Likewise.
* regclass.c (init_reg_sets, init_reg_sets_1,
memory_move_secondary_cost): Likewise.
* regrename.c (note_sets, clear_dead_regs, scan_rtx_reg, scan_rtx):
Likewise.
* reload.c (push_secondary_reload, find_valid_class, push_reload,
operands_match_p, decompose, immune_p, find_reloads,
find_reloads_toplev, find_reloads_address_1, subst_reloads,
copy_replacements, refers_to_regno_for_reload_p,
reg_overlap_mentioned_for_reload_p): Likewise.
* reload1.c (compute_use_by_pseudos, replace_pseudos_in, reload,
count_pseudo, find_reg, eliminate_regs, eliminate_regs_in_insn,
verify_initial_elim_offsets, finish_spills, clear_reload_reg_in_use,
reload_reg_free_p, reload_reg_reaches_end_p, reloads_conflict,
choose_reload_regs, merge_assigned_reloads, emit_input_reload_insns,
do_output_reload, fixup_abnormal_edges): Likewise.
* reorg.c (stop_search_p, emit_delay_sequence, get_jump_flags,
fill_slots_from_thread, relax_delay_slots): Likewise.
* resource.c (mark_referenced_resources, mark_set_resources):
Likewise.
* rtl.c (copy_rtx, rtx_equal_p): Likewise.
* rtlanal.c (insn_dependent_p, reg_overlap_mentioned_p,
dead_or_set_p, find_reg_fusage, remove_note, replace_rtx,
subreg_lsb_1, subreg_regno_offset, subreg_offset_representable_p,
find_first_parameter_load, can_hoist_insn_p, hoist_update_store,
hoist_insn_after, hoist_insn_to_edge, nonzero_bits1): Likewise.
* rtlhooks.c (gen_lowpart_general): Likewise.
* sbitmap.c (sbitmap_difference): Likewise.
* sched-deps.c (add_dependence, sched_analyze_1, sched_analyze_2,
sched_analyze, add_forward_dependence): Likewise.
* sched-ebb.c (fix_basic_block_boundaries, schedule_ebb): Likewise.
* sched-rgn.c (debug_regions, compute_trg_info, schedule_region,
schedule_insns): Likewise.
* sched-vis.c (print_pattern): Likewise.
* sdbout.c (sdbout_symbol, sdbout_toplevel_data): Likewise.
* simplify-rtx.c (simplify_unary_operation, simplify_binary_operation,
simplify_const_relational_operation, simplify_ternary_operation,
simplify_immed_subreg, simplify_subreg, simplify_gen_subreg):
Likewise.
* sreal.c (copy, sreal_sub, sreal_div): Likewise.
* stmt.c (force_label_rtx, expand_goto, expand_asm_operands,
resolve_operand_name_1, expand_return, expand_decl,
expand_anon_union_decl, emit_case_bit_tests, expand_case): Likewise.
* stor-layout.c (put_pending_size, smallest_mode_for_size,
int_mode_for_mode, layout_decl, finish_builtin_struct, layout_type,
set_sizetype, get_mode_bounds): Likewise.
From-SVN: r87244
2004-09-09 19:19:16 +02:00
|
|
|
|
gcc_unreachable ();
|
2000-12-03 15:35:17 +01:00
|
|
|
|
case ASM_INPUT:
|
|
|
|
|
sprintf (buf, "asm {%s}", XSTR (x, 0));
|
|
|
|
|
break;
|
|
|
|
|
case ADDR_VEC:
|
|
|
|
|
break;
|
|
|
|
|
case ADDR_DIFF_VEC:
|
|
|
|
|
print_value (buf, XEXP (x, 0), verbose);
|
|
|
|
|
break;
|
|
|
|
|
case TRAP_IF:
|
|
|
|
|
print_value (t1, TRAP_CONDITION (x), verbose);
|
|
|
|
|
sprintf (buf, "trap_if %s", t1);
|
|
|
|
|
break;
|
|
|
|
|
case UNSPEC:
|
|
|
|
|
{
|
|
|
|
|
int i;
|
|
|
|
|
|
|
|
|
|
sprintf (t1, "unspec{");
|
|
|
|
|
for (i = 0; i < XVECLEN (x, 0); i++)
|
|
|
|
|
{
|
|
|
|
|
print_pattern (t2, XVECEXP (x, 0, i), verbose);
|
|
|
|
|
sprintf (t3, "%s%s;", t1, t2);
|
|
|
|
|
strcpy (t1, t3);
|
|
|
|
|
}
|
|
|
|
|
sprintf (buf, "%s}", t1);
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
case UNSPEC_VOLATILE:
|
|
|
|
|
{
|
|
|
|
|
int i;
|
|
|
|
|
|
|
|
|
|
sprintf (t1, "unspec/v{");
|
|
|
|
|
for (i = 0; i < XVECLEN (x, 0); i++)
|
|
|
|
|
{
|
|
|
|
|
print_pattern (t2, XVECEXP (x, 0, i), verbose);
|
|
|
|
|
sprintf (t3, "%s%s;", t1, t2);
|
|
|
|
|
strcpy (t1, t3);
|
|
|
|
|
}
|
|
|
|
|
sprintf (buf, "%s}", t1);
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
default:
|
|
|
|
|
print_value (buf, x, verbose);
|
|
|
|
|
}
|
|
|
|
|
} /* print_pattern */
|
|
|
|
|
|
|
|
|
|
/* This is the main function in rtl visualization mechanism. It
|
|
|
|
|
accepts an rtx and tries to recognize it as an insn, then prints it
|
|
|
|
|
properly in human readable form, resembling assembler mnemonics.
|
|
|
|
|
For every insn it prints its UID and BB the insn belongs too.
|
|
|
|
|
(Probably the last "option" should be extended somehow, since it
|
|
|
|
|
depends now on sched.c inner variables ...) */
|
|
|
|
|
|
2002-05-03 02:05:52 +02:00
|
|
|
|
void
|
2003-07-06 14:35:56 +02:00
|
|
|
|
print_insn (char *buf, rtx x, int verbose)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
{
|
|
|
|
|
char t[BUF_LEN];
|
|
|
|
|
rtx insn = x;
|
|
|
|
|
|
|
|
|
|
switch (GET_CODE (x))
|
|
|
|
|
{
|
|
|
|
|
case INSN:
|
|
|
|
|
print_pattern (t, PATTERN (x), verbose);
|
2006-01-25 18:39:37 +01:00
|
|
|
|
#ifdef INSN_SCHEDULING
|
|
|
|
|
if (verbose && current_sched_info)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
sprintf (buf, "%s: %s", (*current_sched_info->print_insn) (x, 1),
|
|
|
|
|
t);
|
|
|
|
|
else
|
2006-01-25 18:39:37 +01:00
|
|
|
|
#endif
|
|
|
|
|
sprintf (buf, " %4d %s", INSN_UID (x), t);
|
2000-12-03 15:35:17 +01:00
|
|
|
|
break;
|
|
|
|
|
case JUMP_INSN:
|
|
|
|
|
print_pattern (t, PATTERN (x), verbose);
|
2006-01-25 18:39:37 +01:00
|
|
|
|
#ifdef INSN_SCHEDULING
|
|
|
|
|
if (verbose && current_sched_info)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
sprintf (buf, "%s: jump %s", (*current_sched_info->print_insn) (x, 1),
|
|
|
|
|
t);
|
|
|
|
|
else
|
2006-01-25 18:39:37 +01:00
|
|
|
|
#endif
|
|
|
|
|
sprintf (buf, " %4d %s", INSN_UID (x), t);
|
2000-12-03 15:35:17 +01:00
|
|
|
|
break;
|
|
|
|
|
case CALL_INSN:
|
|
|
|
|
x = PATTERN (insn);
|
|
|
|
|
if (GET_CODE (x) == PARALLEL)
|
|
|
|
|
{
|
|
|
|
|
x = XVECEXP (x, 0, 0);
|
|
|
|
|
print_pattern (t, x, verbose);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
strcpy (t, "call <...>");
|
2006-01-25 18:39:37 +01:00
|
|
|
|
#ifdef INSN_SCHEDULING
|
|
|
|
|
if (verbose && current_sched_info)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
sprintf (buf, "%s: %s", (*current_sched_info->print_insn) (x, 1), t);
|
|
|
|
|
else
|
2006-01-25 18:39:37 +01:00
|
|
|
|
#endif
|
|
|
|
|
sprintf (buf, " %4d %s", INSN_UID (insn), t);
|
2000-12-03 15:35:17 +01:00
|
|
|
|
break;
|
|
|
|
|
case CODE_LABEL:
|
|
|
|
|
sprintf (buf, "L%d:", INSN_UID (x));
|
|
|
|
|
break;
|
|
|
|
|
case BARRIER:
|
2006-01-25 18:39:37 +01:00
|
|
|
|
sprintf (buf, "i%4d: barrier", INSN_UID (x));
|
2000-12-03 15:35:17 +01:00
|
|
|
|
break;
|
|
|
|
|
case NOTE:
|
2007-05-21 08:19:50 +02:00
|
|
|
|
sprintf (buf, " %4d %s", INSN_UID (x),
|
|
|
|
|
GET_NOTE_INSN_NAME (NOTE_KIND (x)));
|
2000-12-03 15:35:17 +01:00
|
|
|
|
break;
|
|
|
|
|
default:
|
2006-01-25 18:39:37 +01:00
|
|
|
|
sprintf (buf, "i%4d <What %s?>", INSN_UID (x),
|
|
|
|
|
GET_RTX_NAME (GET_CODE (x)));
|
|
|
|
|
}
|
|
|
|
|
} /* print_insn */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Emit a slim dump of X (an insn) to the file F, including any register
|
|
|
|
|
note attached to the instruction. */
|
|
|
|
|
void
|
|
|
|
|
dump_insn_slim (FILE *f, rtx x)
|
|
|
|
|
{
|
|
|
|
|
char t[BUF_LEN + 32];
|
|
|
|
|
rtx note;
|
|
|
|
|
|
|
|
|
|
print_insn (t, x, 1);
|
|
|
|
|
fputs (t, f);
|
|
|
|
|
putc ('\n', f);
|
|
|
|
|
if (INSN_P (x) && REG_NOTES (x))
|
|
|
|
|
for (note = REG_NOTES (x); note; note = XEXP (note, 1))
|
|
|
|
|
{
|
|
|
|
|
print_value (t, XEXP (note, 0), 1);
|
|
|
|
|
fprintf (f, " %s: %s\n",
|
|
|
|
|
GET_REG_NOTE_NAME (REG_NOTE_KIND (note)), t);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Emit a slim dump of X (an insn) to stderr. */
|
|
|
|
|
void
|
|
|
|
|
debug_insn_slim (rtx x)
|
|
|
|
|
{
|
|
|
|
|
dump_insn_slim (stderr, x);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Provide a slim dump the instruction chain starting at FIRST to F, honoring
|
|
|
|
|
the dump flags given in FLAGS. Currently, TDF_BLOCKS and TDF_DETAILS
|
|
|
|
|
include more information on the basic blocks. */
|
|
|
|
|
void
|
|
|
|
|
print_rtl_slim_with_bb (FILE *f, rtx first, int flags)
|
|
|
|
|
{
|
|
|
|
|
basic_block current_bb = NULL;
|
|
|
|
|
rtx insn;
|
|
|
|
|
|
|
|
|
|
for (insn = first; NULL != insn; insn = NEXT_INSN (insn))
|
|
|
|
|
{
|
|
|
|
|
if ((flags & TDF_BLOCKS)
|
|
|
|
|
&& (INSN_P (insn) || GET_CODE (insn) == NOTE)
|
|
|
|
|
&& BLOCK_FOR_INSN (insn)
|
|
|
|
|
&& !current_bb)
|
2000-12-03 15:35:17 +01:00
|
|
|
|
{
|
2006-01-25 18:39:37 +01:00
|
|
|
|
current_bb = BLOCK_FOR_INSN (insn);
|
|
|
|
|
dump_bb_info (current_bb, true, false, flags, ";; ", f);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
dump_insn_slim (f, insn);
|
|
|
|
|
|
|
|
|
|
if ((flags & TDF_BLOCKS)
|
|
|
|
|
&& current_bb
|
|
|
|
|
&& insn == BB_END (current_bb))
|
|
|
|
|
{
|
|
|
|
|
dump_bb_info (current_bb, false, true, flags, ";; ", f);
|
|
|
|
|
current_bb = NULL;
|
2000-12-03 15:35:17 +01:00
|
|
|
|
}
|
|
|
|
|
}
|
2006-01-25 18:39:37 +01:00
|
|
|
|
}
|
2000-12-03 15:35:17 +01:00
|
|
|
|
|