1992-07-06 21:55:04 +02:00
|
|
|
/* Sets (bit vectors) of hard registers, and operations on them.
|
2007-07-26 10:37:01 +02:00
|
|
|
Copyright (C) 1987, 1992, 1994, 2000, 2003, 2004, 2005, 2007
|
bitmap.c, [...]: Update copyright.
* bitmap.c, bitmap.h, builtin-attrs.def, cfglayout.h,
collect2.h, conflict.c, coretypes.h, coverage.h, errors.h,
gcc.h, gcov-dump.c, gen-protos.c, gencheck.c, gencodes.c,
genconstants.c, gengenrtl.c, genmodes.c, genpeep.c,
gensupport.h, graph.h, gthr-gnat.c, gthr-gnat.h, gthr-posix.c,
gthr-posix.h, hard-reg-set.h, hwint.h, integrate.h, libgcc2.c,
lists.c, machmode.def, mips-tdump.c, opts.h, params.c,
predict.def, predict.h, protoize.c, reload.h, resource.h,
rtl-error.c, sbitmap.c, sbitmap.h, sreal.c, tlink.c,
tree-dump.h, tree-inline.h, unwind-dw2-fde.c, unwind-dw2.c,
unwind-sjlj.c, value-prof.h: Update copyright.
From-SVN: r89097
2004-10-15 16:47:12 +02:00
|
|
|
Free Software Foundation, Inc.
|
1992-07-06 21:55:04 +02: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
|
|
|
This file is part of GCC
|
1992-07-06 21:55:04 +02: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
|
2007-07-26 10:37:01 +02:00
|
|
|
Software Foundation; either version 3, or (at your option) any later
|
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
|
|
|
version.
|
1992-07-06 21:55:04 +02: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
|
|
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
|
for more details.
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
2007-07-26 10:37:01 +02:00
|
|
|
along with GCC; see the file COPYING3. If not see
|
|
|
|
<http://www.gnu.org/licenses/>. */
|
1992-07-06 21:55:04 +02:00
|
|
|
|
2001-05-26 03:31:47 +02:00
|
|
|
#ifndef GCC_HARD_REG_SET_H
|
|
|
|
#define GCC_HARD_REG_SET_H
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
/* Define the type of a set of hard registers. */
|
|
|
|
|
1993-07-10 21:26:27 +02:00
|
|
|
/* HARD_REG_ELT_TYPE is a typedef of the unsigned integral type which
|
|
|
|
will be used for hard reg sets, either alone or in an array.
|
|
|
|
|
|
|
|
If HARD_REG_SET is a macro, its definition is HARD_REG_ELT_TYPE,
|
|
|
|
and it has enough bits to represent all the target machine's hard
|
|
|
|
registers. Otherwise, it is a typedef for a suitably sized array
|
|
|
|
of HARD_REG_ELT_TYPEs. HARD_REG_SET_LONGS is defined as how many.
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
Note that lots of code assumes that the first part of a regset is
|
|
|
|
the same format as a HARD_REG_SET. To help make sure this is true,
|
2004-08-31 02:29:04 +02:00
|
|
|
we only try the widest fast integer mode (HOST_WIDEST_FAST_INT)
|
|
|
|
instead of all the smaller types. This approach loses only if
|
c-common.c, [...]: Fix comment typos.
* c-common.c, cfgexpand.c, cgraphunit.c, defaults.h,
et-forest.c, expr.c, gimplify.c, global.c, gthr-lynx.h,
hard-reg-set.h, modulo-sched.c, optabs.c, postreload-gcse.c,
tree-data-ref.c, tree-flow.h, tree-if-conv.c, tree-inline.c,
tree-sra.c, tree-ssa-loop-im.c, tree-ssa-loop-ivopts.c,
tree-ssa-loop-niter.c, tree-ssa-operands.c,
tree-ssa-operands.h, tree-ssa-propagate.c,
tree-ssa-propagate.h, tree-ssa-threadupdate.c, value-prof.c,
vec.c, vec.h: Fix comment typos. Follow spelling conventions.
From-SVN: r87104
2004-09-05 17:24:15 +02:00
|
|
|
there are very few registers and then only in the few cases where
|
2004-08-31 02:29:04 +02:00
|
|
|
we have an array of HARD_REG_SETs, so it needn't be as complex as
|
|
|
|
it used to be. */
|
1993-07-10 21:26:27 +02:00
|
|
|
|
2004-08-31 02:29:04 +02:00
|
|
|
typedef unsigned HOST_WIDEST_FAST_INT HARD_REG_ELT_TYPE;
|
1992-07-06 21:55:04 +02:00
|
|
|
|
2004-08-31 02:29:04 +02:00
|
|
|
#if FIRST_PSEUDO_REGISTER <= HOST_BITS_PER_WIDEST_FAST_INT
|
1993-07-10 21:26:27 +02:00
|
|
|
|
|
|
|
#define HARD_REG_SET HARD_REG_ELT_TYPE
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
#define HARD_REG_SET_LONGS \
|
2004-08-31 02:29:04 +02:00
|
|
|
((FIRST_PSEUDO_REGISTER + HOST_BITS_PER_WIDEST_FAST_INT - 1) \
|
|
|
|
/ HOST_BITS_PER_WIDEST_FAST_INT)
|
1993-07-10 21:26:27 +02:00
|
|
|
typedef HARD_REG_ELT_TYPE HARD_REG_SET[HARD_REG_SET_LONGS];
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#endif
|
|
|
|
|
1993-07-10 21:26:27 +02:00
|
|
|
/* HARD_CONST is used to cast a constant to the appropriate type
|
|
|
|
for use with a HARD_REG_SET. */
|
1992-07-06 21:55:04 +02:00
|
|
|
|
1993-07-10 21:26:27 +02:00
|
|
|
#define HARD_CONST(X) ((HARD_REG_ELT_TYPE) (X))
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
/* Define macros SET_HARD_REG_BIT, CLEAR_HARD_REG_BIT and TEST_HARD_REG_BIT
|
|
|
|
to set, clear or test one bit in a hard reg set of type HARD_REG_SET.
|
|
|
|
All three take two arguments: the set and the register number.
|
|
|
|
|
|
|
|
In the case where sets are arrays of longs, the first argument
|
|
|
|
is actually a pointer to a long.
|
|
|
|
|
|
|
|
Define two macros for initializing a set:
|
|
|
|
CLEAR_HARD_REG_SET and SET_HARD_REG_SET.
|
|
|
|
These take just one argument.
|
|
|
|
|
|
|
|
Also define macros for copying hard reg sets:
|
|
|
|
COPY_HARD_REG_SET and COMPL_HARD_REG_SET.
|
|
|
|
These take two arguments TO and FROM; they read from FROM
|
|
|
|
and store into TO. COMPL_HARD_REG_SET complements each bit.
|
|
|
|
|
|
|
|
Also define macros for combining hard reg sets:
|
|
|
|
IOR_HARD_REG_SET and AND_HARD_REG_SET.
|
|
|
|
These take two arguments TO and FROM; they read from FROM
|
|
|
|
and combine bitwise into TO. Define also two variants
|
|
|
|
IOR_COMPL_HARD_REG_SET and AND_COMPL_HARD_REG_SET
|
|
|
|
which use the complement of the set FROM.
|
|
|
|
|
2007-05-22 21:33:37 +02:00
|
|
|
Also define:
|
|
|
|
|
|
|
|
hard_reg_set_subset_p (X, Y), which returns true if X is a subset of Y.
|
|
|
|
hard_reg_set_equal_p (X, Y), which returns true if X and Y are equal.
|
|
|
|
hard_reg_set_intersect_p (X, Y), which returns true if X and Y intersect.
|
|
|
|
hard_reg_set_empty_p (X), which returns true if X is empty. */
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#ifdef HARD_REG_SET
|
|
|
|
|
|
|
|
#define SET_HARD_REG_BIT(SET, BIT) \
|
|
|
|
((SET) |= HARD_CONST (1) << (BIT))
|
|
|
|
#define CLEAR_HARD_REG_BIT(SET, BIT) \
|
|
|
|
((SET) &= ~(HARD_CONST (1) << (BIT)))
|
|
|
|
#define TEST_HARD_REG_BIT(SET, BIT) \
|
2002-07-16 07:54:07 +02:00
|
|
|
(!!((SET) & (HARD_CONST (1) << (BIT))))
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#define CLEAR_HARD_REG_SET(TO) ((TO) = HARD_CONST (0))
|
1993-07-10 21:26:27 +02:00
|
|
|
#define SET_HARD_REG_SET(TO) ((TO) = ~ HARD_CONST (0))
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#define COPY_HARD_REG_SET(TO, FROM) ((TO) = (FROM))
|
|
|
|
#define COMPL_HARD_REG_SET(TO, FROM) ((TO) = ~(FROM))
|
|
|
|
|
|
|
|
#define IOR_HARD_REG_SET(TO, FROM) ((TO) |= (FROM))
|
|
|
|
#define IOR_COMPL_HARD_REG_SET(TO, FROM) ((TO) |= ~ (FROM))
|
|
|
|
#define AND_HARD_REG_SET(TO, FROM) ((TO) &= (FROM))
|
|
|
|
#define AND_COMPL_HARD_REG_SET(TO, FROM) ((TO) &= ~ (FROM))
|
|
|
|
|
2007-05-22 21:33:37 +02:00
|
|
|
static inline bool
|
|
|
|
hard_reg_set_subset_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return (x & ~y) == HARD_CONST (0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_equal_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return x == y;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_intersect_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return (x & y) != HARD_CONST (0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_empty_p (const HARD_REG_SET x)
|
|
|
|
{
|
|
|
|
return x == HARD_CONST (0);
|
|
|
|
}
|
1993-07-10 21:26:27 +02:00
|
|
|
|
1992-07-06 21:55:04 +02:00
|
|
|
#else
|
|
|
|
|
2004-08-31 02:29:04 +02:00
|
|
|
#define UHOST_BITS_PER_WIDE_INT ((unsigned) HOST_BITS_PER_WIDEST_FAST_INT)
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#define SET_HARD_REG_BIT(SET, BIT) \
|
|
|
|
((SET)[(BIT) / UHOST_BITS_PER_WIDE_INT] \
|
1993-07-10 21:26:27 +02:00
|
|
|
|= HARD_CONST (1) << ((BIT) % UHOST_BITS_PER_WIDE_INT))
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#define CLEAR_HARD_REG_BIT(SET, BIT) \
|
|
|
|
((SET)[(BIT) / UHOST_BITS_PER_WIDE_INT] \
|
1993-07-10 21:26:27 +02:00
|
|
|
&= ~(HARD_CONST (1) << ((BIT) % UHOST_BITS_PER_WIDE_INT)))
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#define TEST_HARD_REG_BIT(SET, BIT) \
|
2002-07-16 07:54:07 +02:00
|
|
|
(!!((SET)[(BIT) / UHOST_BITS_PER_WIDE_INT] \
|
|
|
|
& (HARD_CONST (1) << ((BIT) % UHOST_BITS_PER_WIDE_INT))))
|
1992-07-06 21:55:04 +02:00
|
|
|
|
2004-08-31 02:29:04 +02:00
|
|
|
#if FIRST_PSEUDO_REGISTER <= 2*HOST_BITS_PER_WIDEST_FAST_INT
|
1996-02-19 14:23:44 +01:00
|
|
|
#define CLEAR_HARD_REG_SET(TO) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = 0; \
|
|
|
|
scan_tp_[1] = 0; } while (0)
|
|
|
|
|
|
|
|
#define SET_HARD_REG_SET(TO) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = -1; \
|
|
|
|
scan_tp_[1] = -1; } while (0)
|
|
|
|
|
|
|
|
#define COPY_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = scan_fp_[0]; \
|
|
|
|
scan_tp_[1] = scan_fp_[1]; } while (0)
|
|
|
|
|
|
|
|
#define COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] = ~ scan_fp_[1]; } while (0)
|
|
|
|
|
|
|
|
#define AND_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
scan_tp_[0] &= scan_fp_[0]; \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[1] &= scan_fp_[1]; } while (0)
|
|
|
|
|
|
|
|
#define AND_COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] &= ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] &= ~ scan_fp_[1]; } while (0)
|
|
|
|
|
|
|
|
#define IOR_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] |= scan_fp_[0]; \
|
|
|
|
scan_tp_[1] |= scan_fp_[1]; } while (0)
|
|
|
|
|
|
|
|
#define IOR_COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] |= ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] |= ~ scan_fp_[1]; } while (0)
|
|
|
|
|
2007-05-22 21:33:37 +02:00
|
|
|
static inline bool
|
|
|
|
hard_reg_set_subset_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return (x[0] & ~y[0]) == 0 && (x[1] & ~y[1]) == 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_equal_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return x[0] == y[0] && x[1] == y[1];
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_intersect_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return (x[0] & y[0]) != 0 || (x[1] & y[1]) != 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_empty_p (const HARD_REG_SET x)
|
|
|
|
{
|
|
|
|
return x[0] == 0 && x[1] == 0;
|
|
|
|
}
|
1996-02-19 14:23:44 +01:00
|
|
|
|
|
|
|
#else
|
2004-08-31 03:25:40 +02:00
|
|
|
#if FIRST_PSEUDO_REGISTER <= 3*HOST_BITS_PER_WIDEST_FAST_INT
|
1996-02-19 14:23:44 +01:00
|
|
|
#define CLEAR_HARD_REG_SET(TO) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = 0; \
|
|
|
|
scan_tp_[1] = 0; \
|
|
|
|
scan_tp_[2] = 0; } while (0)
|
|
|
|
|
|
|
|
#define SET_HARD_REG_SET(TO) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = -1; \
|
|
|
|
scan_tp_[1] = -1; \
|
|
|
|
scan_tp_[2] = -1; } while (0)
|
|
|
|
|
|
|
|
#define COPY_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = scan_fp_[0]; \
|
|
|
|
scan_tp_[1] = scan_fp_[1]; \
|
|
|
|
scan_tp_[2] = scan_fp_[2]; } while (0)
|
|
|
|
|
|
|
|
#define COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] = ~ scan_fp_[1]; \
|
|
|
|
scan_tp_[2] = ~ scan_fp_[2]; } while (0)
|
|
|
|
|
|
|
|
#define AND_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
scan_tp_[0] &= scan_fp_[0]; \
|
|
|
|
scan_tp_[1] &= scan_fp_[1]; \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[2] &= scan_fp_[2]; } while (0)
|
|
|
|
|
|
|
|
#define AND_COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] &= ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] &= ~ scan_fp_[1]; \
|
|
|
|
scan_tp_[2] &= ~ scan_fp_[2]; } while (0)
|
|
|
|
|
|
|
|
#define IOR_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] |= scan_fp_[0]; \
|
|
|
|
scan_tp_[1] |= scan_fp_[1]; \
|
|
|
|
scan_tp_[2] |= scan_fp_[2]; } while (0)
|
|
|
|
|
|
|
|
#define IOR_COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] |= ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] |= ~ scan_fp_[1]; \
|
|
|
|
scan_tp_[2] |= ~ scan_fp_[2]; } while (0)
|
|
|
|
|
2007-05-22 21:33:37 +02:00
|
|
|
static inline bool
|
|
|
|
hard_reg_set_subset_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return ((x[0] & ~y[0]) == 0
|
|
|
|
&& (x[1] & ~y[1]) == 0
|
|
|
|
&& (x[2] & ~y[2]) == 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_equal_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return x[0] == y[0] && x[1] == y[1] && x[2] == y[2];
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_intersect_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return ((x[0] & y[0]) != 0
|
|
|
|
|| (x[1] & y[1]) != 0
|
|
|
|
|| (x[2] & y[2]) != 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_empty_p (const HARD_REG_SET x)
|
|
|
|
{
|
|
|
|
return x[0] == 0 && x[1] == 0 && x[2] == 0;
|
|
|
|
}
|
1996-02-19 14:23:44 +01:00
|
|
|
|
|
|
|
#else
|
2004-08-31 02:29:04 +02:00
|
|
|
#if FIRST_PSEUDO_REGISTER <= 4*HOST_BITS_PER_WIDEST_FAST_INT
|
1996-02-19 14:23:44 +01:00
|
|
|
#define CLEAR_HARD_REG_SET(TO) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = 0; \
|
|
|
|
scan_tp_[1] = 0; \
|
|
|
|
scan_tp_[2] = 0; \
|
|
|
|
scan_tp_[3] = 0; } while (0)
|
|
|
|
|
|
|
|
#define SET_HARD_REG_SET(TO) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = -1; \
|
|
|
|
scan_tp_[1] = -1; \
|
|
|
|
scan_tp_[2] = -1; \
|
|
|
|
scan_tp_[3] = -1; } while (0)
|
|
|
|
|
|
|
|
#define COPY_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = scan_fp_[0]; \
|
|
|
|
scan_tp_[1] = scan_fp_[1]; \
|
|
|
|
scan_tp_[2] = scan_fp_[2]; \
|
|
|
|
scan_tp_[3] = scan_fp_[3]; } while (0)
|
|
|
|
|
|
|
|
#define COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] = ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] = ~ scan_fp_[1]; \
|
|
|
|
scan_tp_[2] = ~ scan_fp_[2]; \
|
|
|
|
scan_tp_[3] = ~ scan_fp_[3]; } while (0)
|
|
|
|
|
|
|
|
#define AND_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
scan_tp_[0] &= scan_fp_[0]; \
|
|
|
|
scan_tp_[1] &= scan_fp_[1]; \
|
|
|
|
scan_tp_[2] &= scan_fp_[2]; \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[3] &= scan_fp_[3]; } while (0)
|
|
|
|
|
|
|
|
#define AND_COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] &= ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] &= ~ scan_fp_[1]; \
|
|
|
|
scan_tp_[2] &= ~ scan_fp_[2]; \
|
|
|
|
scan_tp_[3] &= ~ scan_fp_[3]; } while (0)
|
|
|
|
|
|
|
|
#define IOR_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] |= scan_fp_[0]; \
|
|
|
|
scan_tp_[1] |= scan_fp_[1]; \
|
|
|
|
scan_tp_[2] |= scan_fp_[2]; \
|
|
|
|
scan_tp_[3] |= scan_fp_[3]; } while (0)
|
|
|
|
|
|
|
|
#define IOR_COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
1996-02-19 14:23:44 +01:00
|
|
|
scan_tp_[0] |= ~ scan_fp_[0]; \
|
|
|
|
scan_tp_[1] |= ~ scan_fp_[1]; \
|
|
|
|
scan_tp_[2] |= ~ scan_fp_[2]; \
|
|
|
|
scan_tp_[3] |= ~ scan_fp_[3]; } while (0)
|
|
|
|
|
2007-05-22 21:33:37 +02:00
|
|
|
static inline bool
|
|
|
|
hard_reg_set_subset_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return ((x[0] & ~y[0]) == 0
|
|
|
|
&& (x[1] & ~y[1]) == 0
|
|
|
|
&& (x[2] & ~y[2]) == 0
|
|
|
|
&& (x[3] & ~y[3]) == 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_equal_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return x[0] == y[0] && x[1] == y[1] && x[2] == y[2] && x[3] == y[3];
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_intersect_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
return ((x[0] & y[0]) != 0
|
|
|
|
|| (x[1] & y[1]) != 0
|
|
|
|
|| (x[2] & y[2]) != 0
|
|
|
|
|| (x[3] & y[3]) != 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_empty_p (const HARD_REG_SET x)
|
|
|
|
{
|
|
|
|
return x[0] == 0 && x[1] == 0 && x[2] == 0 && x[3] == 0;
|
|
|
|
}
|
1996-02-19 14:23:44 +01:00
|
|
|
|
ra-conflict.c: New file.
2007-09-02 Kenneth Zadeck <zadeck@naturalbridge.com>
* ra-conflict.c: New file.
* ra.h: New file.
* reload.c (push_reload, find_dummy_reload): Change DF_RA_LIVE
usage to DF_LIVE usage.
* rtlanal.c (subreg_nregs_with_regno): New function.
* df-scan.c (df_def_record_1, df_uses_record): Add code to set
DF_REF_EXTRACT, DF_REF_STRICT_LOWER_PART, and DF_REF_SUBREG flags.
(df_has_eh_preds): Removed.
(df_bb_refs_collect, df_bb_refs_collect, df_bb_refs_collect,
df_exit_block_uses_collect): Changed call from df_has_eh_preds to
bb_has_eh_pred.
* global.c (allocno, max_allocno, conflicts, allocno_row_words,
reg_allocno, EXECUTE_IF_SET_IN_ALLOCNO_SET): Moved to ra.h
(SET_ALLOCNO_LIVE, CLEAR_ALLOCNO_LIVE): Moved to ra-conflicts.c.
(regs_set, record_one_conflict, record_conflicts, mark_reg_store,
mark_reg_clobber, mark_reg_conflicts, mark_reg_death): Deleted.
(global_alloc): Turn off rescanning insns after call to
global_conflicts and added call to set_preferences.
(global_conflicts): Moved to ra-alloc.c.
(set_preferences_1, set_preferences): New function.
(mirror_conflicts): Changed types for various variables.
(mark_elimination): Change DF_RA_LIVE
usage to DF_LIVE usage.
(build_insn_chain): Rewritten from scratch and made local.
(print_insn_chain, print_insn_chains): New functions.
(dump_conflicts): Do not print conflicts for fixed_regs.
(rest_of_handle_global_alloc): Turn off insn rescanning.
* hard-reg-set.h: Fixed comment.
* local-alloc.c (update_equiv_regs): Change DF_RA_LIVE
usage to DF_LIVE usage and delete refs to TOP sets.
(block_alloc): Mark regs as live if they are in the artificial
defs at top of block.
(find_stack_regs): New function.
(rest_of_handle_local_alloc): Changed urec problem to live
problem and do not turn off df rescanning.
* df.h (DF_UREC, DF_UREC_BB_INFO, DF_LIVE_TOP, DF_RA_LIVE_IN,
DF_RA_LIVE_TOP, DF_RA_LIVE_OUT, df_urec_bb_info, df_urec,
df_urec_add_problem, df_urec_get_bb_info, df_has_eh_preds): Removed.
(DF_CHAIN, DF_NOTE, DF_CHAIN): Renumbered.
(DF_REF_EXTRACT, DF_REF_STRICT_LOWER_PART, DF_REF_SUBREG): New
fields in df_ref_flags. The rest have been renumbered.
* init-regs.c (initialize_uninitialized_regs): Enhanced debugging
at -O1.
* rtl.h (subreg_nregs_with_regno): New function.
* df-problems.c: (df_get_live_out, df_get_live_in,
df_get_live_top): Removed reference to DF_RA_LIVE.
(df_lr_reset, df_lr_transfer_function, df_live_free_bb_info,
df_live_alloc, df_live_reset, df_live_local_finalize,
df_live_free): Make top set only if different from in set.
(df_lr_top_dump, df_live_top_dump): Only print top set if
different from in set.
(df_lr_bb_local_compute): Removed unnecessary check.
(df_urec_problem_data, df_urec_set_bb_info, df_urec_free_bb_info,
df_urec_alloc, df_urec_mark_reg_change, earlyclobber_regclass,
df_urec_check_earlyclobber, df_urec_mark_reg_use_for_earlyclobber,
df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
df_urec_local_compute, df_urec_init, df_urec_local_finalize,
df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
df_urec_top_dump, df_urec_bottom_dump, problem_UREC,
df_urec_add_problem): Removed.
(df_simulate_fixup_sets): Changed call from df_has_eh_preds to
bb_has_eh_pred.
* Makefile.in (ra-conflict.o, ra.h): New dependencies.
* basic_block.h (bb_has_abnormal_pred): New function.
* reload1.c (compute_use_by_pseudos): Change DF_RA_LIVE
usage to DF_LIVE usage.
From-SVN: r128957
2007-10-02 15:10:07 +02:00
|
|
|
#else /* FIRST_PSEUDO_REGISTER > 4*HOST_BITS_PER_WIDEST_FAST_INT */
|
1996-02-19 14:23:44 +01:00
|
|
|
|
1992-07-06 21:55:04 +02:00
|
|
|
#define CLEAR_HARD_REG_SET(TO) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
|
|
|
|
int i; \
|
1992-07-06 21:55:04 +02:00
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++) \
|
|
|
|
*scan_tp_++ = 0; } while (0)
|
|
|
|
|
|
|
|
#define SET_HARD_REG_SET(TO) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO); \
|
|
|
|
int i; \
|
1992-07-06 21:55:04 +02:00
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++) \
|
|
|
|
*scan_tp_++ = -1; } while (0)
|
|
|
|
|
|
|
|
#define COPY_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
int i; \
|
1992-07-06 21:55:04 +02:00
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++) \
|
|
|
|
*scan_tp_++ = *scan_fp_++; } while (0)
|
|
|
|
|
|
|
|
#define COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
int i; \
|
1992-07-06 21:55:04 +02:00
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++) \
|
|
|
|
*scan_tp_++ = ~ *scan_fp_++; } while (0)
|
|
|
|
|
|
|
|
#define AND_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
int i; \
|
1992-07-06 21:55:04 +02:00
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++) \
|
|
|
|
*scan_tp_++ &= *scan_fp_++; } while (0)
|
|
|
|
|
|
|
|
#define AND_COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
int i; \
|
1992-07-06 21:55:04 +02:00
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++) \
|
|
|
|
*scan_tp_++ &= ~ *scan_fp_++; } while (0)
|
|
|
|
|
|
|
|
#define IOR_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
int i; \
|
1992-07-06 21:55:04 +02:00
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++) \
|
|
|
|
*scan_tp_++ |= *scan_fp_++; } while (0)
|
|
|
|
|
|
|
|
#define IOR_COMPL_HARD_REG_SET(TO, FROM) \
|
2001-10-11 05:16:15 +02:00
|
|
|
do { HARD_REG_ELT_TYPE *scan_tp_ = (TO), *scan_fp_ = (FROM); \
|
|
|
|
int i; \
|
1992-07-06 21:55:04 +02:00
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++) \
|
|
|
|
*scan_tp_++ |= ~ *scan_fp_++; } while (0)
|
|
|
|
|
2007-05-22 21:33:37 +02:00
|
|
|
static inline bool
|
|
|
|
hard_reg_set_subset_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++)
|
|
|
|
if ((x[i] & ~y[i]) != 0)
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_equal_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++)
|
|
|
|
if (x[i] != y[i])
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_intersect_p (const HARD_REG_SET x, const HARD_REG_SET y)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++)
|
|
|
|
if ((x[i] & y[i]) != 0)
|
|
|
|
return true;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool
|
|
|
|
hard_reg_set_empty_p (const HARD_REG_SET x)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
for (i = 0; i < HARD_REG_SET_LONGS; i++)
|
|
|
|
if (x[i] != 0)
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
#endif
|
1996-02-19 14:23:44 +01:00
|
|
|
#endif
|
|
|
|
#endif
|
|
|
|
#endif
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
/* Define some standard sets of registers. */
|
|
|
|
|
|
|
|
/* Indexed by hard register number, contains 1 for registers
|
|
|
|
that are fixed use (stack pointer, pc, frame pointer, etc.).
|
|
|
|
These are the registers that cannot be used to allocate
|
|
|
|
a pseudo reg whose life does not cross calls. */
|
|
|
|
|
|
|
|
extern char fixed_regs[FIRST_PSEUDO_REGISTER];
|
|
|
|
|
|
|
|
/* The same info as a HARD_REG_SET. */
|
|
|
|
|
|
|
|
extern HARD_REG_SET fixed_reg_set;
|
|
|
|
|
|
|
|
/* Indexed by hard register number, contains 1 for registers
|
|
|
|
that are fixed use or are clobbered by function calls.
|
|
|
|
These are the registers that cannot be used to allocate
|
|
|
|
a pseudo reg whose life crosses calls. */
|
|
|
|
|
|
|
|
extern char call_used_regs[FIRST_PSEUDO_REGISTER];
|
|
|
|
|
2002-08-02 16:55:08 +02:00
|
|
|
#ifdef CALL_REALLY_USED_REGISTERS
|
|
|
|
extern char call_really_used_regs[];
|
|
|
|
#endif
|
|
|
|
|
1992-07-06 21:55:04 +02:00
|
|
|
/* The same info as a HARD_REG_SET. */
|
|
|
|
|
|
|
|
extern HARD_REG_SET call_used_reg_set;
|
|
|
|
|
1996-01-01 03:32:57 +01:00
|
|
|
/* Registers that we don't want to caller save. */
|
|
|
|
extern HARD_REG_SET losing_caller_save_reg_set;
|
|
|
|
|
1992-07-06 21:55:04 +02:00
|
|
|
/* Indexed by hard register number, contains 1 for registers that are
|
|
|
|
fixed use -- i.e. in fixed_regs -- or a function value return register
|
targhooks.c: New file.
* targhooks.c: New file.
* targhooks.h: New file.
* Makefile.in: Add targhooks.o support.
(function.o): Depend on$(TARGET_H).
(stmt.o): Likewise.
(combine.o): Depend on $(TREE_H) and $(TARGET_H).
* builtins.c (apply_args_size, expand_builtin_apply_args_1,
expand_builtin_apply): Convert to calls.struct_value_rtx hook.
(expand_builtin_saveregs): Convert to
calls.expand_builtin_saveregs hook.
* c-decl.c (start_decl): Handle new calls.promote_prototypes hook
here, instead of ...
(get_parm_info) ... here.
(store_parm_decls_oldstyle): Convert to calls.promote_prototypes
hook.
(finish_function): Handle calls.promote_prototypes hook here too.
* c-typeck.c (convert_arguments): Convert to
calls.promote_prototypes hook.
(c_convert_parm_for_inlining): Likewise.
* calls.c (initialize_argument_information): Convert to
calls.promote_function_args hook.
(expand_call): Convert to calls.struct_value_rtx,
calls.strict_argument_naming,
calls.pretend_outgoing_varargs_named, and
calls.promote_function_return hooks. Pass fndecl to
aggregate_value_p. Initialize CUMULATIVE_ARGS before calling
hooks, so they can use that.
(emit_library_call_value_1): Likewise.
* combine.c (setup_incoming_promotions): Convert to
calls.promote_function_args hook.
* emit-rtl.c: Convert to calls.struct_value_rtx hook.
* expr.c (expand_assignment): Pass call to aggregate_value_p.
(expand_expr): Likewise.
* expr.h: Remove support for SETUP_INCOMING_VARARGS,
STRICT_ARGUMENT_NAMING, PRETEND_OUTGOING_VARARGS_NAMED,
RETURN_IN_MEMORY macro defaults.
* final.c (profile_function): Convert to calls.struct_value_rtx
hook.
* function.c (aggregate_value_p): Accept function type tree as
second parameter; try to deduce fntype from it. Convert to
calls.return_in_memory hook.
(assign_parms): Convert to calls.setup_incoming_varargs,
calls.strict_argument_naming, calls.promote_function_args,
calls.pretend_outgoing_varargs_named hooks. Pass fndecl to
aggregate_value_p.
(expand_function_start): Likewise. Convert to
calls.struct_value_rtx hook.
(expand_function_end): Convert to calls.promote_function_return hook.
(allocate_struct_function): Pass fndecl to aggregate_value_p.
* hard-reg-set.h: Update comments to new hook names.
* integrate.c (expand_inline_function): Pass fndecl to aggregate_value_p.
* reg-stack.c (stack_result): Likewise.
* rtl.h (struct_value_rtx, struct_value_incoming_rtx): Delete.
* stmt.c (expand_value_return): Convert to
calls.promote_function_return hook.
* target-def.h: Add TARGET_PROMOTE_FUNCTION_ARGS,
TARGET_PROMOTE_FUNCTION_RETURN, TARGET_PROMOTE_PROTOTYPES,
TARGET_STRUCT_VALUE_RTX, TARGET_RETURN_IN_MEMORY,
TARGET_EXPAND_BUILTIN_SAVEREGS, TARGET_SETUP_INCOMING_VARARGS,
TARGET_STRICT_ARGUMENT_NAMING,
TARGET_PRETEND_OUTGOING_VARARGS_NAMED, and TARGET_CALLS.
* target.h: Likewise.
* tree.h (aggregate_value_p): Also takes a tree to deduce function
attributes from (for target hooks).
* doc/tm.texi (PROMOTE_FUNCTION_ARGS, PROMOTE_FUNCTION_RETURN,
PROMOTE_PROTOTYPES, RETURN_IN_MEMORY, STRUCT_VALUE_REGNUM,
STRUCT_VALUE, STRUCT_VALUE_INCOMING_REGNUM, STRUCT_VALUE_INCOMING,
EXPAND_BUILTIN_SAVEREGS, SETUP_INCOMING_VARARGS,
STRICT_ARGUMENT_NAMING, PRETEND_OUTGOING_VARARGS_NAMED): Convert
to hooks.
* config/alpha/alpha.c (alpha_output_mi_thunk_osf): Pass function
to aggregate_value_p.
* config/arm/arm.c (arm_init_cumulative_args,
arm_output_mi_thunk): Likewise.
* config/i386/i386.c (ix86_return_pops_args, x86_this_parameter):
Likewise.
* config/mips/mips.c (mips_save_reg_p, mips_expand_prologue,
mips_can_use_return_insn): Likewise.
* config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
* config/s390/s390.c (s390_output_mi_thunk): Likewise.
* config/sparc/sparc.c (sparc_output_mi_thunk): Pass function to
aggregate_value_p.
* config/story16/stormy16.c (xstormy16_asm_output_mi_thunk): Pass
function to aggregate_value_p.
* objc/objc-act.c (generate_struct_by_value_array): Pass NULL to
aggregate_value_p.
* config/sh/sh-protos.h (sh_builtin_saveregs): Remove.
(sh_attr_renesas_p, sh_cfun_attr_renesas_p, sh_function_arg,
sh_function_arg_advance, sh_pass_in_reg_p): New. * config/sh/sh.c
(sh_handle_renesas_attribute, sh_promote_prototypes,
sh_struct_value_rtx, sh_return_in_memory, sh_builtin_saveregs,
sh_setup_incoming_varargs, sh_strict_argument_naming,
sh_pretend_outgoing_varargs_named): New decls.
(targetm): Add new hooks.
(calc_live_regs): Save MACL and MACH if the function has the
renesas attribute.
(sh_expand_prologue): Support renesas attribute.
(sh_builtin_saveregs): Make static.
(sh_build_va_list): Support renesas attribute.
(sh_va_start): Likewise.
(sh_va_arg): Likewise.
(sh_promote_prototypes): New.
(sh_function_arg): New, moved from sh.h. Support renesas
attribute.
(sh_function_arg_advance): Likewise.
(sh_return_in_memory): Likewise.
(sh_strict_argument_naming): Likewise.
(sh_pretend_outgoing_varargs_named): Likewise.
(sh_struct_value_rtx): New.
(sh_attribute): Add renesas attribute.
(sh_handle_renesas_attribute): New.
(sh_attr_renesas_p, sh_cfun_attr_renesas_p): New.
(sh_ms_bitfield_layout_p): Support renesas attribute also.
(sh_output_mi_thunk): Pass function to aggregate_value_p. *
config/sh/sh.h (TARGET_SWITCHES): Add -mrenesas as an alias for
-mhitachi.
(STRUCT_VALUE_REGNUM, STRUCT_VALUE, RETURN_IN_MEMORY): Moved to
target hooks.
(sh_args): Add renesas_abi flag.
(INIT_CUMULATIVE_ARGS): Set it. Pass fndecl to aggregate_value_p.
(FUNCTION_ARG_ADVANCE, FUNCTION_ARG): Move to sh.c.
(PASS_IN_REG_P): Support renesas attribute. Pass DF and TF on the
stack for the renesas abi.
(STRICT_ARGUMENT_NAMING, PRETEND_OUTGOING_VARARGS_NAMED,
SETUP_INCOMING_VARARGS, EXPAND_BUILTIN_SAVEREGS,
PROMOTE_PROTOTYPES): Moved to sh.c. * config/sh/sh.md (call): Set
call cookie to indicate renesas calls.
* decl.c (finish_function): Pass fndecl to aggregate_value_p.
* misc.c (default_pass_by_ref): Convert to calls.return_in_memory
hook.
From-SVN: r71048
2003-09-04 05:18:05 +02:00
|
|
|
or TARGET_STRUCT_VALUE_RTX or STATIC_CHAIN_REGNUM. These are the
|
1992-07-06 21:55:04 +02:00
|
|
|
registers that cannot hold quantities across calls even if we are
|
|
|
|
willing to save and restore them. */
|
|
|
|
|
|
|
|
extern char call_fixed_regs[FIRST_PSEUDO_REGISTER];
|
|
|
|
|
|
|
|
/* The same info as a HARD_REG_SET. */
|
|
|
|
|
|
|
|
extern HARD_REG_SET call_fixed_reg_set;
|
|
|
|
|
|
|
|
/* Indexed by hard register number, contains 1 for registers
|
|
|
|
that are being used for global register decls.
|
|
|
|
These must be exempt from ordinary flow analysis
|
|
|
|
and are also considered fixed. */
|
|
|
|
|
|
|
|
extern char global_regs[FIRST_PSEUDO_REGISTER];
|
|
|
|
|
2001-07-16 19:54:34 +02:00
|
|
|
/* Contains 1 for registers that are set or clobbered by calls. */
|
|
|
|
/* ??? Ideally, this would be just call_used_regs plus global_regs, but
|
|
|
|
for someone's bright idea to have call_used_regs strictly include
|
|
|
|
fixed_regs. Which leaves us guessing as to the set of fixed_regs
|
|
|
|
that are actually preserved. We know for sure that those associated
|
|
|
|
with the local stack frame are safe, but scant others. */
|
|
|
|
|
|
|
|
extern HARD_REG_SET regs_invalidated_by_call;
|
|
|
|
|
1999-12-13 14:21:35 +01:00
|
|
|
#ifdef REG_ALLOC_ORDER
|
1992-07-06 21:55:04 +02:00
|
|
|
/* Table of register numbers in the order in which to try to use them. */
|
|
|
|
|
|
|
|
extern int reg_alloc_order[FIRST_PSEUDO_REGISTER];
|
1999-12-13 14:21:35 +01:00
|
|
|
|
|
|
|
/* The inverse of reg_alloc_order. */
|
|
|
|
|
|
|
|
extern int inv_reg_alloc_order[FIRST_PSEUDO_REGISTER];
|
1992-07-06 21:55:04 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
/* For each reg class, a HARD_REG_SET saying which registers are in it. */
|
|
|
|
|
2001-12-23 05:59:13 +01:00
|
|
|
extern HARD_REG_SET reg_class_contents[N_REG_CLASSES];
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
/* For each reg class, number of regs it contains. */
|
|
|
|
|
* Rework fields used to describe positions of bitfields and
modify sizes to be unsigned and use HOST_WIDE_INT.
* alias.c (reg_known_value_size): Now unsigned.
* c-typeck.c (build_unary_op, case ADDR_EXPR): Use byte_position.
(really_start_incremental_init): Use bitsize_zero_node.
(push_init_level, pop_init_level, output_init_element): Likewise.
Use bitsize_unit_node and bitsize_one_node.
(output_pending_init_elements, process_init_element): Likewise.
* combine.c (combine_max_regno, reg_sign_bit_copies): Now unsigned.
(make_extraction): Position and length HOST_WIDE_INT and unsigned
HOST_WIDE_INT, respectively.
(get_pos_from_mask): Passed in value is unsigned HOST_WIDE_INT.
(num_sign_bit_copies): Returns unsigned.
BITWIDTH now unsigned; rework arithmetic.
Remove recursive call from arg to MAX.
(combine_instructions, init_reg_last_arrays): NREGS now unsigned.
(setup_incoming_promotions, can_combine_p, try_combine, simplify_set):
REGNO now unsigned.
(set_nonzero_bit_and_sign_copies): NUM now unsigned.
(find_split_point, expand_compound_operation, make_extraction): LEN
now unsigned HOST_WIDE_INT, POS now HOST_WIDE_INT.
(make_field_assignment): Likewise.
(combine_simplify_rtx): Add cast.
(expand_compound_operation): MODEWIDTH now unsigned; rework arithmetic.
(force_to_mode): WIDTH now unsigned; add cast.
(if_then_else_cond): SIZE now unsigned.
(nonzero_bits): MODE_WIDTH, RESULT_WIDTH, and WIDTH now unsigned.
(extended_count): Now returns unsigned.
(simplify_shift_const): COUNT unsigned; arg is now INPUT_COUNT.
Add SIGNED_COUNT variable; MODE_WORDS and FIRST_COUNT now unsigned.
(simplify_comparison): MODE_WIDTH now unsigned.
(update_table_tick): REGNO and ENDREGNO now unsigned; new var R.
(mark_used_regs_combine): Likewise; rework arithmetic.
(record_value_for_reg): REGNO, ENDREGNO, and I now unsigned.
(record_dead_and_set_regs, reg_dead_at_p, distribute_notes): Likewise.
(record_promoted_value): REGNO now unsigned.
(get_last_value_validate): REGNO, ENDREGNO, and J now unsigned.
(get_last_value): REGNO now unsigned.
(use_crosses_set_p): REGNO and ENDREGNO now unsigned.
(reg_dead_regno, reg_dead_endregno): Now unsigned.
(remove_death): Arg REGNO now unsigned.
(move_deaths): REGNO, DEADREGNO, DEADEND, OUREND, and I now unsigned.
(reg_bitfield_target_p): REGNO, REGNO, ENDREGNO, and ENDTREGNO
now unsigned.
* convert.c (convert_to_integer): INPREC and OUTPREC now unsigned.
* cse.c (struct qty_table_elem): FIRST_REG and LAST_REG now unsigned.
(struct cse_reg_info): REGNO now unsigned.
(cached_regno): Now unsigned.
(REGNO_QTY_VALID_P): Add cast.
(make_new_qty, make_regs_eqv, delete_reg_eqiv): Regno args unsigned.
(remove_invalid_regs): Likewise.
(remove_invalid_subreg_refs): Likewise; arg WORD also unsigned
as are variables END and I.
(get_cse_reg_info, insert): Likewise.
(mention_regs, invalidate_for_call): REGNO, ENDREGNO, and I unsigned.
(canon_hash): Likewise.
(insert_regs, lookup_for_remove): REGNO now unsigned.
(invalidate): REGNO, ENDREGNO, TREGNO, and TENDREGNO now unsigned.
New variable RN.
* dbxout.c (dbxout_parms, dbxout_reg_parms): Don't check for REGNO < 0.
* dwarf2out.c (dwarf2ou_frame_debug_expr): Remove cast.
* emit-rtl.c (subreg_realpart_p): Add cast.
(operand_subword): Arg I is now unsigned as is var PARTWORDS.
(operand_subword_force): Arg I is now unsigned.
* except.c (eh_regs): Variable I is now unsigned.
* explow.c (hard_function_value): BYTES is unsigned HOST_WIDE_INT.
* expmed.c (store_fixed_bit_field): Position is HOST_WIDE_INT;
length is unsigned HOST_WIDE_INT; likewise for internal variables.
(store_split_bit_field, extract_fixed_bit_field): Likewise.
(extract_split_bit_field, store_bit_field, extract_bit_field):
Likewise.
* expr.c (store_constructor_fields, store_constructor, store_field):
Positions are HOST_WIDE_INT and lengths are unsigned HOST_WIDE_INT.
(expand_assignment, expand_expr, expand_expr_unaligned): Likewise.
(do_jump): Likewise.
(move_by_pieces, move_by_pieces_ninsns, clear_by_pieces):
MAX_SIZE is now unsigned.
(emit_group_load): BYTEPOS is HOST_WIDE_INT; BYTELEN is unsigned.
(emit_group_store): Likewise.
(emit_move_insn): I now unsigned.
(store_constructor): Use host_integerp, tree_low_cst, and
bitsize_unit_node.
(get_inner_reference): Return bitpos and bitsize as HOST_WIDE_INT.
Rework all calculations to use trees and new fields.
* expr.h (promoted_input_arg): Regno now unsigned.
(store_bit_field, extract_bit_field): Adjust types of pos and size.
(mark_seen_cases): Arg is HOST_WIDE_INT.
* flow.c (verify_wide_reg_1): REGNO now unsigned.
* fold-const.c (decode_field_reference): Size and pos HOST_WIDE_INT;
precisions and alignments are unsigned.
(optimize_bit_field_compare, fold_truthop): Likewise.
(int_const_binop): Adjust threshold for size_int_type_wide call.
(fold_convert): Likewise.
(size_int_type_wide): Make table larger and fix thinko that only
had half of table used.
(all_ones_mask_p, fold): Precisions are unsigned.
* function.c (put_reg_info_stack): REGNO is unsigned.
(instantiate_decl): Size is HOST_WIDE_INT.
(instantiate_virtual_regs): I is unsigned.
(assign_parms): REGNO, REGNOI, and REGNOR are unsigned.
(promoted_input_arg): REGNO is unsigned.
* function.h (struct function): x_max_parm_reg is now unsigned.
* gcse.c (max_gcse_regno): Now unsigned.
(struct null_pointer_info): min_reg and max_reg now unsigned.
(lookup_set, next_set): REGNO arg now unsigned.
(compute_hash_table): REGNO and I now unsigned.
(handle_avail_expr): regnum_for_replacing now unsigned.
(cprop_insn): REGNO now unsigned.
(delete_null_pointer_checks_1): BLOCK_REG now pointer to unsigned.
* ggc-common.c (ggc_mark_tree_children, case FIELD_DECL): New case.
* global.c (set_preference): SRC_REGNO, DEST_REGNO, and I now unsigned.
* hard-reg-set.h (reg_class_size): Now unsigned.
* integrate.c (mark_stores): LAST_REG and I now unsigned; new UREGNO.
* jump.c (mark_modified_reg): I now unsigned; add cast.
(rtx_equal_for_thread_p): Add cast.
* loop.c (max_reg_before_loop): Now unsigned.
(struct_movable): REGNO now unsigned.
(try_copy_prop): REGNO arg unsigned.
(regs_match_p): XN and YN now unsigned.
(consec_sets_invariant_p, maybe_eliminate_biv): REGNO now unsigned.
(strength_reduce): Likewise; NREGS also unsigned.
(first_increment_giv, last_increment_giv unsigned): Now unsigned.
* loop.h (struct iv_class): REGNO now unsigned.
(max_reg_before_loop, first_increment_giv, last_increment_giv):
Now unsigned.
* machmode.h (mode_size, mode_unit_size): Now unsigned.
(mode_for_size, smallest_mode_for_size): Pass size as unsigned.
* optabs.c (expand_binop): I and NWORDS now unsigned.
(expand_unop): I now unsigned.
* print-tree.c (print_node): Don't print DECL_FIELD_BITPOS, but do
print DECL_FIELD_OFFSET and DECL_FIELD_BIT_OFFSET.
* real.c (significand_size): Now returns unsigned.
* real.h (significand_size): Likewise.
* regclass.c (reg_class_size): Now unsigned.
(choose_hard_reg_mode): Both operands now unsigned.
(record_reg_classes): REGNO and NR now unsigned.
(reg_scan): NREGS now unsigned.
(reg_scan_update): old_max_regno now unsigned.
(reg_scan_mark_refs): Arg MIN_REGNO and var REGNO now unsigned.
* reload.c (find_valid_class): BEST_SIZE now unsigned.
(find_dummy_reload): REGNO, NWORDS, and I now unsigned.
(hard_reg_set_here_p): Args BEG_REGNO and END_REGNO now unsigned.
Likewise for variable R.
(refers_to_regno_for_reload_p): Args REGNO and END_REGNO now unsigned,
as are variables INNER_REGNO and INNER_ENDREGNO; add new variable R.
(find_equiv_reg): Add casts.
(regno_clobbered_p): Arg REGNO now unsigned.
* reload.h (struct reload): NREGS now unsigned.
(refers_to_regno_for_reload_p): Regno args are unsigned.
(regno_clobbered_p): Likewise.
* reload1.c (reg_max_ref_width, spill_stack_slot_width): Now unsigned.
(compute_use_by_pseudos): REGNO now unsigned.
(find_reg): I and J now unsigned, new variable K, and change loop
variables accordingly; THIS_NREGS now unsigned.
(alter_reg): INHERENT_SIZE and TOTAL_SIZE now unsigned.
(spill_hard_reg): REGNO arg now unsigned; add casts.
(forget_old_reloads_1): REGNO, NR, and I now unsigned.
(mark_reload_reg_in_use): Arg REGNO and vars NREGS and I now unsigned.
(clear_reload_reg_in_use): Arg REGNO and vars NREGS, START_REGNO,
END_REGNO, CONFLICT_START, and CONFLICT_END now unsigned.
(reload_reg_free_p, reload_reg_reaches_end_p): Arg REGNO now unsigned.
(choose_reload_regs): MAX_GROUP_SIZE now unsigned.
(emit_reload_insns): REGNO now unsigned.
(reload_cse_move2add): Add cast.
(move2add_note_store): REGNO and I now unsigned; new variable ENDREGNO
and rework loop.
* resource.c (mark_referenced_resources, mark_set_resources): New
variable R; REGNO and LAST_REGNO now unsigned.
(mark_target_live_regs): J and REGNO now unsigned.
* rtl.c (mode_size, mode_unit_size): Now unsigned.
* rtl.h (union rtunion_def): New field rtuint.
(XCUINT): New macro.
(ADDRESSOF_REGNO, REGNO, SUBREG_WORD): New XCUINT.
(operand_subword, operand_subword_force): Word number is unsigned.
(choose_hard_reg_mode): Operands are unsigned.
(refers_to-regno_p, dead_or_set_regno_p): Regno arg is unsigned.
(find_regno_note, find_regno_fusage, replace_regs): Likewise.
(regno_use_in, combine_instructions, remove_death): Likewise.
(reg_scan, reg_scan_update): Likewise.
(extended_count): Return is unsigned.
* rtlanal.c (refers_to_regno_p): Args REGNO and ENDREGNO and vars I,
INNER_REGNO, and INNER_ENDREGNO now unsigned; new variable X_REGNO.
(reg_overlap_mentioned_p): REGNO and ENDREGNO now unsigned.
(reg_set_last_first_regno, reg_set_last_last_regno): Now unsigned.
(reg_reg_last_1): FIRS and LAST now unsigned.
(dead_or_set_p): REGNO, LAST_REGNO, and I now unsigned.
(dead_or_set_regno_p): Arg TEST_REGNO and vars REGNO and ENDREGNO
now unsigned.
(find_regno_note, regno_use_in): Arg REGNO now unsigned.
(find_regno_fusage): Likewise; also var REGNOTE now unsigned.
(find_reg_fusage): Variables REGNO, END_REGNO, and I now unsigned.
(replace_regs): Arg NREGS now unsigned.
* sdbout.c (sdbout_parms, sdbout_reg_parms): Don't check REGNO < 0.
* simplify-rtx.c (simplify_unary_operation): WIDTH now unsigned.
(simplify_binary_operation): Likewise.
(cselib_invalidate_regno): Arg REGNO and variables ENDREGNO, I, and
THIS_LAST now unsigned.
(cselib_record_set): Add cast.
* ssa.c (ssa_max_reg_num): Now unsigned.
(rename_block): REGNO now unsigned.
* stmt.c (expand_return): Bit positions unsigned HOST_WIDE_INT;
sizes now unsigned.
(all_cases_count): Just return -1 not -2.
COUNT, MINVAL, and LASTVAL now HOST_WIDE_INT.
Rework tests to use trees whenever possible.
Use host_integerp and tree_low_cst.
(mark_seen_cases): COUNT arg now HOST_WIDE_INT;
Likewise variable NEXT_NODE_OFFSET; XLO now unsigned.
(check_for_full_enumeration_handing): BYTES_NEEDED, I to HOST_WIDE_INT.
* stor-layout.c (mode_for_size): SIZE arg now unsigned.
(smallest_mode_for_size): Likewise.
(layout_decl): Simplify handing of a specified DECL_SIZE_UNIT.
KNOWN_ALIGN is now an alignment, so simplify code.
Don't turn off DECL_BIT_FIELD if field is BLKmode, but not type.
(start_record_layout): Renamed from new_record_layout_info.
Update to new fields.
(debug_rli, normalize_rli, rli_size_unit_so_far, rli_size_so_far):
New functions.
(place_union_field): Renamed from layout_union_field.
Update to use new fields in rli.
(place_field): Renamed from layout_field.
Major rewrite to use new fields in rli; pass alignment to layout_decl.
(finalize_record_size): Rework to use new fields in rli and handle
union.
(compute_record_mode): Rework to simplify and to use new DECL fields.
(finalize_type_size): Make rounding more consistent.
(finish_union_layout): Deleted.
(layout_type, case VOID_TYPE): Don't set TYPE_SIZE_UNIT either.
(layout_type, case RECORD_TYPE): Call new function names.
(initialize_sizetypes): Set TYPE_IS_SIZETYPE.
(set_sizetype): Set TYPE_IS_SIZETYPE earlier.
(get_best_mode): UNIT is now unsigned; remove casts.
* tree.c (bit_position): Compute from new fields.
(byte_position, int_byte_position): New functions.
(print_type_hash_statistics): Cast to remove warning.
(build_range_type): Use host_integerp and tree_low_cst to try to hash.
(build_index_type): Likewise; make subtype of sizetype.
(build_index_2_type): Pass sizetype to build_range_type.
(build_common_tree_nodes): Use size_int and bitsize_int to
initialize nodes; add bitsize_{zero,one,unit}_node.
* tree.h (DECL_FIELD_CONTEXT): Use FIELD_DECL_CHECK.
(DECL_BIT_FIELD_TYPE, DECL_QUALIFIER, DECL_FCONTEXT): Likewise.
(DECL_PACKED, DECL_BIT_FIELD): Likewise.
(DECL_FIELD_BITPOS): Deleted.
(DECL_FIELD_OFFSET, DECL_FIELD_BIT_OFFSET): New fields.
(DECL_RESULT, DECL_SAVED_INSNS): Use FUNCTION_DECL_CHECK.
(DECL_FRAME_SIZE, DECL_FUNCTION_CODE, DECL_NO_STATIC_CHAIN): Likewise.
(DECL_INLINE, DECL_BUILT_IN_NONANSI, DECL_IS_MALLOC): Likewise.
(DECL_BUILT_IN_CLASS, DECL_STATIC_CONSTRUCTOR): Likewise.
(DECL_STATIC_DESTRUCTOR, DECL_NO_CHECK_MEMORY_USAGE): Likewise.
(DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT, DECL_NO_LIMIT_STACK) Likewise.
(DECL_ORIGINAL_TYPE, TYPE_DECL_SUPPRESS_DEBUG): Use TYPE_DECL_CHECK.
(DECL_ARG_TYPE_AS_WRITEN, DECL_ARG_TYPE): Use PARM_DECL_CHECK.
(DECL_INCOMING_RTL, DECL_TRANSPARENT_UNION): Likewise.
(DECL_ALIGN): Adjust to new field in union.
(DECL_OFFSET_ALIGN): New field.
(DECL_ERROR_ISSUED, DECL_TOO_LATE): Use LABEL_DECL_CHECK.
(DECL_IN_TEXT_SECTION): Use VAR_DECL_CHECK.
(union tree_decl): Add struct for both aligns.
(enum tree_index): Add TI_BITSIZE_{ZERO,ONE,UNIT}.
(bitsize_zero_node, bitsize_one_node, bitsize_unit_node): Added.
(struct record_layout_info): Rework fields to have offset
alignment and byte and bit position.
(start_record_layout, place_field): Renamed from old names.
(rli_size_so_far, rli_size_unit_so_far, normalize_rli): New decls.
(byte_position, int_byte_position): Likewise.
(get_inner_reference): Change types of position and length.
* unroll.c (unroll_loop): New variable R; use for some loops.
MAX_LOCAL_REGNUM and MAXREGNUM now unsigned.
(calculate_giv_inc): Arg REGNO now unsigned.
(copy_loop_body): REGNO and SRC_REGNO now unsigned.
* varasm.c (assemble_variable): Clean up handling of size using
host_integerp and tree_low_cst.
(decode_addr_const): Use byte, not bit, position.
(output_constructor): bitpos and offsets are HOST_WIDE_INT;
use tree_low_cst and int_bit_position.
* objc/objc-act.c (build_ivar_list_initializer): Use byte_position.
* ch/actions.c (check_missing_cases): BYTES_NEEDED is HOST_WIDE_INT.
* ch/typeck.c (expand_constant_to_buffer): Use int_byte_position.
(extract_constant_from_buffer): Likewise.
* cp/class.c (build_vbase_pointer_fields): layout_field now
place_field.
(get_vfield_offset): Use byte_position.
(set_rtti_entry): Set OFFSET to ssizetype zero.
(get_binfo_offset_as_int): Deleted.
(dfs_record_base_offsets): Use tree_low_cst.
(dfs_search_base_offsets): Likewise.
(layout_nonempty_base_or_field): Reflect changes in RLI format
and call byte_position.
(layout_empty_base): Convert offset to ssizetype.
(build_base_field): use rli_size_unit_so_far.
(dfs_propagate_binfo_offsets): Do computation in proper type.
(layout_virtual_bases): Pass ssizetype to propagate_binfo_offsets.
(layout_class_type): Reflect changes in RLI names and fields.
(finish_struct_1): Set DECL_FIELD_OFFSET.
* cp/dump.c (dequeue_and_dump): Call bit_position.
* cp/expr.c (cplus_expand_constant): Use byte_position.
* cp/rtti.c (expand_class_desc): Use bitsize_one_node.
* cp/typeck.c (build_component_addr): Use byte_position and don't
special case for zero offset.
* f/com.c (ffecom_tree_canonize_ptr_): Use bitsize_zero_node.
(ffecom_tree_canonize_ref_): Likewise.
* java/class.c (make_field_value): Use byte_position.
* java/expr.c (JAVA_ARRAY_LENGTH_OFFSET): Use byte_position.
(java_array_data_offset): Likewise.
* java/java-tree.h (MAYBE_CREATE_TYPE_TYPE_LANG_SPECIFIC): Add case to
bzero call.
From-SVN: r32742
2000-03-25 19:34:13 +01:00
|
|
|
extern unsigned int reg_class_size[N_REG_CLASSES];
|
1992-07-06 21:55:04 +02:00
|
|
|
|
|
|
|
/* For each pair of reg classes,
|
|
|
|
a largest reg class contained in their union. */
|
|
|
|
|
|
|
|
extern enum reg_class reg_class_subunion[N_REG_CLASSES][N_REG_CLASSES];
|
|
|
|
|
|
|
|
/* For each pair of reg classes,
|
|
|
|
the smallest reg class that contains their union. */
|
|
|
|
|
|
|
|
extern enum reg_class reg_class_superunion[N_REG_CLASSES][N_REG_CLASSES];
|
|
|
|
|
|
|
|
/* Vector indexed by hardware reg giving its name. */
|
|
|
|
|
2000-05-28 05:24:57 +02:00
|
|
|
extern const char * reg_names[FIRST_PSEUDO_REGISTER];
|
hard-reg-set.h: Add multiple include guard.
* hard-reg-set.h: Add multiple include guard.
* basic-block.h (struct loop): Add `sink' field.
* loop.h: Include sbitmap.h, hard-reg-set.h, and basic-block.h.
(emit_iv_add_mult): Delete.
(loop_iv_add_mult_hoist, loop_iv_add_mult_sink): Define.
(loop_iv_add_mult_emit_before, loop_insn_sink): Define.
(unroll_loop): Remove end_insert_before argument.
* loop.c (loop_givs_rescan): Remove end_insert_before argument.
(maybe_eliminate_biv_1): Likewise.
(emit_iv_add_mult): Delete.
(gen_add_mult, loop_regs_update): New.
(loop_insn_emit_after, loop_insn_emit_before): New.
(loop_insn_sink, loop_insn_sink_or_swim): New.
(emit_iv_add_mult): Delete.
(scan_loop): Set loop->sink.
(loop_givs_reduce): Use loop_insn_sink and its ilk.
(loop_givs_rescan, strength_reduce, check_dbra_loop): Likewise.
(maybe_eliminate_biv_1): Likewise.
(maybe_eliminate_biv_1): Add basic block argument.
* unroll.c (unroll_loop): Remove end_insert_before argument.
(find_splittable_regs): Likewise.
(find_splittable_regs): Use loop_insn_sink and its ilk.
(find_splittable_givs, final_biv_value, final_giv_value): Likewise.
From-SVN: r38766
2001-01-07 11:38:29 +01:00
|
|
|
|
2005-01-15 17:06:17 +01:00
|
|
|
/* Vector indexed by reg class giving its name. */
|
|
|
|
|
|
|
|
extern const char * reg_class_names[];
|
|
|
|
|
2002-11-16 18:52:53 +01:00
|
|
|
/* Given a hard REGN a FROM mode and a TO mode, return nonzero if
|
2002-11-04 17:58:39 +01:00
|
|
|
REGN cannot change modes between the specified modes. */
|
|
|
|
#define REG_CANNOT_CHANGE_MODE_P(REGN, FROM, TO) \
|
2003-02-01 00:34:17 +01:00
|
|
|
CANNOT_CHANGE_MODE_CLASS (FROM, TO, REGNO_REG_CLASS (REGN))
|
2002-11-04 17:58:39 +01:00
|
|
|
|
2001-05-26 03:31:47 +02:00
|
|
|
#endif /* ! GCC_HARD_REG_SET_H */
|