625 lines
24 KiB
C
625 lines
24 KiB
C
/* Definitions for code generation pass of GNU compiler.
|
||
Copyright (C) 1987-2014 Free Software Foundation, Inc.
|
||
|
||
This file is part of GCC.
|
||
|
||
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 3, or (at your option) any later
|
||
version.
|
||
|
||
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.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with GCC; see the file COPYING3. If not see
|
||
<http://www.gnu.org/licenses/>. */
|
||
|
||
#ifndef GCC_EXPR_H
|
||
#define GCC_EXPR_H
|
||
|
||
/* For inhibit_defer_pop */
|
||
#include "hashtab.h"
|
||
#include "hash-set.h"
|
||
#include "vec.h"
|
||
#include "machmode.h"
|
||
#include "tm.h"
|
||
#include "hard-reg-set.h"
|
||
#include "input.h"
|
||
#include "function.h"
|
||
/* For XEXP, GEN_INT, rtx_code */
|
||
#include "rtl.h"
|
||
/* For optimize_size */
|
||
#include "flags.h"
|
||
/* For tree_fits_[su]hwi_p, tree_to_[su]hwi, fold_convert, size_binop,
|
||
ssize_int, TREE_CODE, TYPE_SIZE, int_size_in_bytes, */
|
||
#include "tree-core.h"
|
||
/* For GET_MODE_BITSIZE, word_mode */
|
||
#include "insn-config.h"
|
||
|
||
/* This is the 4th arg to `expand_expr'.
|
||
EXPAND_STACK_PARM means we are possibly expanding a call param onto
|
||
the stack.
|
||
EXPAND_SUM means it is ok to return a PLUS rtx or MULT rtx.
|
||
EXPAND_INITIALIZER is similar but also record any labels on forced_labels.
|
||
EXPAND_CONST_ADDRESS means it is ok to return a MEM whose address
|
||
is a constant that is not a legitimate address.
|
||
EXPAND_WRITE means we are only going to write to the resulting rtx.
|
||
EXPAND_MEMORY means we are interested in a memory result, even if
|
||
the memory is constant and we could have propagated a constant value,
|
||
or the memory is unaligned on a STRICT_ALIGNMENT target. */
|
||
enum expand_modifier {EXPAND_NORMAL = 0, EXPAND_STACK_PARM, EXPAND_SUM,
|
||
EXPAND_CONST_ADDRESS, EXPAND_INITIALIZER, EXPAND_WRITE,
|
||
EXPAND_MEMORY};
|
||
|
||
/* Prevent the compiler from deferring stack pops. See
|
||
inhibit_defer_pop for more information. */
|
||
#define NO_DEFER_POP (inhibit_defer_pop += 1)
|
||
|
||
/* Allow the compiler to defer stack pops. See inhibit_defer_pop for
|
||
more information. */
|
||
#define OK_DEFER_POP (inhibit_defer_pop -= 1)
|
||
|
||
/* This structure is used to pass around information about exploded
|
||
unary, binary and trinary expressions between expand_expr_real_1 and
|
||
friends. */
|
||
typedef struct separate_ops
|
||
{
|
||
enum tree_code code;
|
||
location_t location;
|
||
tree type;
|
||
tree op0, op1, op2;
|
||
} *sepops;
|
||
|
||
/* Functions from expmed.c: */
|
||
|
||
/* Arguments MODE, RTX: return an rtx for the negation of that value.
|
||
May emit insns. */
|
||
extern rtx negate_rtx (machine_mode, rtx);
|
||
|
||
/* Expand a logical AND operation. */
|
||
extern rtx expand_and (machine_mode, rtx, rtx, rtx);
|
||
|
||
/* Emit a store-flag operation. */
|
||
extern rtx emit_store_flag (rtx, enum rtx_code, rtx, rtx, machine_mode,
|
||
int, int);
|
||
|
||
/* Like emit_store_flag, but always succeeds. */
|
||
extern rtx emit_store_flag_force (rtx, enum rtx_code, rtx, rtx,
|
||
machine_mode, int, int);
|
||
|
||
/* Choose a minimal N + 1 bit approximation to 1/D that can be used to
|
||
replace division by D, and put the least significant N bits of the result
|
||
in *MULTIPLIER_PTR and return the most significant bit. */
|
||
extern unsigned HOST_WIDE_INT choose_multiplier (unsigned HOST_WIDE_INT, int,
|
||
int, unsigned HOST_WIDE_INT *,
|
||
int *, int *);
|
||
|
||
/* Functions from expr.c: */
|
||
|
||
/* This is run during target initialization to set up which modes can be
|
||
used directly in memory and to initialize the block move optab. */
|
||
extern void init_expr_target (void);
|
||
|
||
/* This is run at the start of compiling a function. */
|
||
extern void init_expr (void);
|
||
|
||
/* Emit some rtl insns to move data between rtx's, converting machine modes.
|
||
Both modes must be floating or both fixed. */
|
||
extern void convert_move (rtx, rtx, int);
|
||
|
||
/* Convert an rtx to specified machine mode and return the result. */
|
||
extern rtx convert_to_mode (machine_mode, rtx, int);
|
||
|
||
/* Convert an rtx to MODE from OLDMODE and return the result. */
|
||
extern rtx convert_modes (machine_mode, machine_mode, rtx, int);
|
||
|
||
/* Emit code to move a block Y to a block X. */
|
||
|
||
enum block_op_methods
|
||
{
|
||
BLOCK_OP_NORMAL,
|
||
BLOCK_OP_NO_LIBCALL,
|
||
BLOCK_OP_CALL_PARM,
|
||
/* Like BLOCK_OP_NORMAL, but the libcall can be tail call optimized. */
|
||
BLOCK_OP_TAILCALL
|
||
};
|
||
|
||
extern GTY(()) tree block_clear_fn;
|
||
extern void init_block_move_fn (const char *);
|
||
extern void init_block_clear_fn (const char *);
|
||
|
||
extern rtx emit_block_move (rtx, rtx, rtx, enum block_op_methods);
|
||
extern rtx emit_block_move_via_libcall (rtx, rtx, rtx, bool);
|
||
extern rtx emit_block_move_hints (rtx, rtx, rtx, enum block_op_methods,
|
||
unsigned int, HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT);
|
||
extern bool emit_storent_insn (rtx to, rtx from);
|
||
|
||
/* Copy all or part of a value X into registers starting at REGNO.
|
||
The number of registers to be filled is NREGS. */
|
||
extern void move_block_to_reg (int, rtx, int, machine_mode);
|
||
|
||
/* Copy all or part of a BLKmode value X out of registers starting at REGNO.
|
||
The number of registers to be filled is NREGS. */
|
||
extern void move_block_from_reg (int, rtx, int);
|
||
|
||
/* Generate a non-consecutive group of registers represented by a PARALLEL. */
|
||
extern rtx gen_group_rtx (rtx);
|
||
|
||
/* Load a BLKmode value into non-consecutive registers represented by a
|
||
PARALLEL. */
|
||
extern void emit_group_load (rtx, rtx, tree, int);
|
||
|
||
/* Similarly, but load into new temporaries. */
|
||
extern rtx emit_group_load_into_temps (rtx, rtx, tree, int);
|
||
|
||
/* Move a non-consecutive group of registers represented by a PARALLEL into
|
||
a non-consecutive group of registers represented by a PARALLEL. */
|
||
extern void emit_group_move (rtx, rtx);
|
||
|
||
/* Move a group of registers represented by a PARALLEL into pseudos. */
|
||
extern rtx emit_group_move_into_temps (rtx);
|
||
|
||
/* Store a BLKmode value from non-consecutive registers represented by a
|
||
PARALLEL. */
|
||
extern void emit_group_store (rtx, rtx, tree, int);
|
||
|
||
extern rtx maybe_emit_group_store (rtx, tree);
|
||
|
||
/* Copy BLKmode object from a set of registers. */
|
||
extern void copy_blkmode_from_reg (rtx, rtx, tree);
|
||
|
||
/* Mark REG as holding a parameter for the next CALL_INSN.
|
||
Mode is TYPE_MODE of the non-promoted parameter, or VOIDmode. */
|
||
extern void use_reg_mode (rtx *, rtx, machine_mode);
|
||
extern void clobber_reg_mode (rtx *, rtx, machine_mode);
|
||
|
||
extern rtx copy_blkmode_to_reg (machine_mode, tree);
|
||
|
||
/* Mark REG as holding a parameter for the next CALL_INSN. */
|
||
static inline void
|
||
use_reg (rtx *fusage, rtx reg)
|
||
{
|
||
use_reg_mode (fusage, reg, VOIDmode);
|
||
}
|
||
|
||
/* Mark REG as clobbered by the call with FUSAGE as CALL_INSN_FUNCTION_USAGE. */
|
||
static inline void
|
||
clobber_reg (rtx *fusage, rtx reg)
|
||
{
|
||
clobber_reg_mode (fusage, reg, VOIDmode);
|
||
}
|
||
|
||
/* Mark NREGS consecutive regs, starting at REGNO, as holding parameters
|
||
for the next CALL_INSN. */
|
||
extern void use_regs (rtx *, int, int);
|
||
|
||
/* Mark a PARALLEL as holding a parameter for the next CALL_INSN. */
|
||
extern void use_group_regs (rtx *, rtx);
|
||
|
||
/* Write zeros through the storage of OBJECT.
|
||
If OBJECT has BLKmode, SIZE is its length in bytes. */
|
||
extern rtx clear_storage (rtx, rtx, enum block_op_methods);
|
||
extern rtx clear_storage_hints (rtx, rtx, enum block_op_methods,
|
||
unsigned int, HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT);
|
||
/* The same, but always output an library call. */
|
||
rtx set_storage_via_libcall (rtx, rtx, rtx, bool);
|
||
|
||
/* Expand a setmem pattern; return true if successful. */
|
||
extern bool set_storage_via_setmem (rtx, rtx, rtx, unsigned int,
|
||
unsigned int, HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT);
|
||
|
||
extern unsigned HOST_WIDE_INT move_by_pieces_ninsns (unsigned HOST_WIDE_INT,
|
||
unsigned int,
|
||
unsigned int);
|
||
|
||
/* Return nonzero if it is desirable to store LEN bytes generated by
|
||
CONSTFUN with several move instructions by store_by_pieces
|
||
function. CONSTFUNDATA is a pointer which will be passed as argument
|
||
in every CONSTFUN call.
|
||
ALIGN is maximum alignment we can assume.
|
||
MEMSETP is true if this is a real memset/bzero, not a copy
|
||
of a const string. */
|
||
extern int can_store_by_pieces (unsigned HOST_WIDE_INT,
|
||
rtx (*) (void *, HOST_WIDE_INT,
|
||
machine_mode),
|
||
void *, unsigned int, bool);
|
||
|
||
/* Generate several move instructions to store LEN bytes generated by
|
||
CONSTFUN to block TO. (A MEM rtx with BLKmode). CONSTFUNDATA is a
|
||
pointer which will be passed as argument in every CONSTFUN call.
|
||
ALIGN is maximum alignment we can assume.
|
||
MEMSETP is true if this is a real memset/bzero, not a copy.
|
||
Returns TO + LEN. */
|
||
extern rtx store_by_pieces (rtx, unsigned HOST_WIDE_INT,
|
||
rtx (*) (void *, HOST_WIDE_INT, machine_mode),
|
||
void *, unsigned int, bool, int);
|
||
|
||
/* Emit insns to set X from Y. */
|
||
extern rtx_insn *emit_move_insn (rtx, rtx);
|
||
extern rtx gen_move_insn (rtx, rtx);
|
||
|
||
/* Emit insns to set X from Y, with no frills. */
|
||
extern rtx_insn *emit_move_insn_1 (rtx, rtx);
|
||
|
||
extern rtx_insn *emit_move_complex_push (machine_mode, rtx, rtx);
|
||
extern rtx_insn *emit_move_complex_parts (rtx, rtx);
|
||
extern void write_complex_part (rtx, rtx, bool);
|
||
extern rtx emit_move_resolve_push (machine_mode, rtx);
|
||
|
||
/* Push a block of length SIZE (perhaps variable)
|
||
and return an rtx to address the beginning of the block. */
|
||
extern rtx push_block (rtx, int, int);
|
||
|
||
/* Generate code to push something onto the stack, given its mode and type. */
|
||
extern void emit_push_insn (rtx, machine_mode, tree, rtx, unsigned int,
|
||
int, rtx, int, rtx, rtx, int, rtx);
|
||
|
||
/* Expand an assignment that stores the value of FROM into TO. */
|
||
extern void expand_assignment (tree, tree, bool);
|
||
|
||
/* Generate code for computing expression EXP,
|
||
and storing the value into TARGET.
|
||
If SUGGEST_REG is nonzero, copy the value through a register
|
||
and return that register, if that is possible. */
|
||
extern rtx store_expr_with_bounds (tree, rtx, int, bool, tree);
|
||
extern rtx store_expr (tree, rtx, int, bool);
|
||
|
||
/* Given an rtx that may include add and multiply operations,
|
||
generate them as insns and return a pseudo-reg containing the value.
|
||
Useful after calling expand_expr with 1 as sum_ok. */
|
||
extern rtx force_operand (rtx, rtx);
|
||
|
||
/* Work horses for expand_expr. */
|
||
extern rtx expand_expr_real (tree, rtx, machine_mode,
|
||
enum expand_modifier, rtx *, bool);
|
||
extern rtx expand_expr_real_1 (tree, rtx, machine_mode,
|
||
enum expand_modifier, rtx *, bool);
|
||
extern rtx expand_expr_real_2 (sepops, rtx, machine_mode,
|
||
enum expand_modifier);
|
||
|
||
/* Generate code for computing expression EXP.
|
||
An rtx for the computed value is returned. The value is never null.
|
||
In the case of a void EXP, const0_rtx is returned. */
|
||
static inline rtx
|
||
expand_expr (tree exp, rtx target, machine_mode mode,
|
||
enum expand_modifier modifier)
|
||
{
|
||
return expand_expr_real (exp, target, mode, modifier, NULL, false);
|
||
}
|
||
|
||
static inline rtx
|
||
expand_normal (tree exp)
|
||
{
|
||
return expand_expr_real (exp, NULL_RTX, VOIDmode, EXPAND_NORMAL, NULL, false);
|
||
}
|
||
|
||
/* At the start of a function, record that we have no previously-pushed
|
||
arguments waiting to be popped. */
|
||
extern void init_pending_stack_adjust (void);
|
||
|
||
/* Discard any pending stack adjustment. */
|
||
extern void discard_pending_stack_adjust (void);
|
||
|
||
/* When exiting from function, if safe, clear out any pending stack adjust
|
||
so the adjustment won't get done. */
|
||
extern void clear_pending_stack_adjust (void);
|
||
|
||
/* Pop any previously-pushed arguments that have not been popped yet. */
|
||
extern void do_pending_stack_adjust (void);
|
||
|
||
/* Struct for saving/restoring of pending_stack_adjust/stack_pointer_delta
|
||
values. */
|
||
|
||
struct saved_pending_stack_adjust
|
||
{
|
||
/* Saved value of pending_stack_adjust. */
|
||
int x_pending_stack_adjust;
|
||
|
||
/* Saved value of stack_pointer_delta. */
|
||
int x_stack_pointer_delta;
|
||
};
|
||
|
||
/* Remember pending_stack_adjust/stack_pointer_delta.
|
||
To be used around code that may call do_pending_stack_adjust (),
|
||
but the generated code could be discarded e.g. using delete_insns_since. */
|
||
|
||
extern void save_pending_stack_adjust (saved_pending_stack_adjust *);
|
||
|
||
/* Restore the saved pending_stack_adjust/stack_pointer_delta. */
|
||
|
||
extern void restore_pending_stack_adjust (saved_pending_stack_adjust *);
|
||
|
||
/* Return the tree node and offset if a given argument corresponds to
|
||
a string constant. */
|
||
extern tree string_constant (tree, tree *);
|
||
|
||
/* Generate code to evaluate EXP and jump to LABEL if the value is zero. */
|
||
extern void jumpifnot (tree, rtx, int);
|
||
extern void jumpifnot_1 (enum tree_code, tree, tree, rtx, int);
|
||
|
||
/* Generate code to evaluate EXP and jump to LABEL if the value is nonzero. */
|
||
extern void jumpif (tree, rtx, int);
|
||
extern void jumpif_1 (enum tree_code, tree, tree, rtx, int);
|
||
|
||
/* Generate code to evaluate EXP and jump to IF_FALSE_LABEL if
|
||
the result is zero, or IF_TRUE_LABEL if the result is one. */
|
||
extern void do_jump (tree, rtx, rtx, int);
|
||
extern void do_jump_1 (enum tree_code, tree, tree, rtx, rtx, int);
|
||
|
||
extern void do_compare_rtx_and_jump (rtx, rtx, enum rtx_code, int,
|
||
machine_mode, rtx, rtx, rtx, int);
|
||
|
||
/* Two different ways of generating switch statements. */
|
||
extern int try_casesi (tree, tree, tree, tree, rtx, rtx, rtx, int);
|
||
extern int try_tablejump (tree, tree, tree, tree, rtx, rtx, int);
|
||
|
||
/* Functions from alias.c */
|
||
#include "alias.h"
|
||
|
||
|
||
/* rtl.h and tree.h were included. */
|
||
/* Return an rtx for the size in bytes of the value of an expr. */
|
||
extern rtx expr_size (tree);
|
||
|
||
/* Return a wide integer for the size in bytes of the value of EXP, or -1
|
||
if the size can vary or is larger than an integer. */
|
||
extern HOST_WIDE_INT int_expr_size (tree);
|
||
|
||
/* Return an rtx that refers to the value returned by a function
|
||
in its original home. This becomes invalid if any more code is emitted. */
|
||
extern rtx hard_function_value (const_tree, const_tree, const_tree, int);
|
||
|
||
extern rtx prepare_call_address (tree, rtx, rtx, rtx *, int, int);
|
||
|
||
extern bool shift_return_value (machine_mode, bool, rtx);
|
||
|
||
extern rtx expand_call (tree, rtx, int);
|
||
|
||
extern void fixup_tail_calls (void);
|
||
|
||
#ifdef TREE_CODE
|
||
extern rtx expand_variable_shift (enum tree_code, machine_mode,
|
||
rtx, tree, rtx, int);
|
||
extern rtx expand_shift (enum tree_code, machine_mode, rtx, int, rtx,
|
||
int);
|
||
extern rtx expand_divmod (int, enum tree_code, machine_mode, rtx, rtx,
|
||
rtx, int);
|
||
#endif
|
||
|
||
/* Return the CODE_LABEL rtx for a LABEL_DECL, creating it if necessary. */
|
||
extern rtx label_rtx (tree);
|
||
|
||
/* As label_rtx, but additionally the label is placed on the forced label
|
||
list of its containing function (i.e. it is treated as reachable even
|
||
if how is not obvious). */
|
||
extern rtx force_label_rtx (tree);
|
||
|
||
/* Return an rtx like arg but sans any constant terms.
|
||
Returns the original rtx if it has no constant terms.
|
||
The constant terms are added and stored via a second arg. */
|
||
extern rtx eliminate_constant_term (rtx, rtx *);
|
||
|
||
/* Convert arg to a valid memory address for specified machine mode that points
|
||
to a specific named address space, by emitting insns to perform arithmetic
|
||
if necessary. */
|
||
extern rtx memory_address_addr_space (machine_mode, rtx, addr_space_t);
|
||
|
||
/* Like memory_address_addr_space, except assume the memory address points to
|
||
the generic named address space. */
|
||
#define memory_address(MODE,RTX) \
|
||
memory_address_addr_space ((MODE), (RTX), ADDR_SPACE_GENERIC)
|
||
|
||
/* Return a memory reference like MEMREF, but with its mode changed
|
||
to MODE and its address changed to ADDR.
|
||
(VOIDmode means don't change the mode.
|
||
NULL for ADDR means don't change the address.) */
|
||
extern rtx change_address (rtx, machine_mode, rtx);
|
||
|
||
/* Return a memory reference like MEMREF, but with its mode changed
|
||
to MODE and its address offset by OFFSET bytes. */
|
||
#define adjust_address(MEMREF, MODE, OFFSET) \
|
||
adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 0, 0)
|
||
|
||
/* Likewise, but the reference is not required to be valid. */
|
||
#define adjust_address_nv(MEMREF, MODE, OFFSET) \
|
||
adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1, 0, 0)
|
||
|
||
/* Return a memory reference like MEMREF, but with its mode changed
|
||
to MODE and its address offset by OFFSET bytes. Assume that it's
|
||
for a bitfield and conservatively drop the underlying object if we
|
||
cannot be sure to stay within its bounds. */
|
||
#define adjust_bitfield_address(MEMREF, MODE, OFFSET) \
|
||
adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 1, 0)
|
||
|
||
/* As for adjust_bitfield_address, but specify that the width of
|
||
BLKmode accesses is SIZE bytes. */
|
||
#define adjust_bitfield_address_size(MEMREF, MODE, OFFSET, SIZE) \
|
||
adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 1, SIZE)
|
||
|
||
/* Likewise, but the reference is not required to be valid. */
|
||
#define adjust_bitfield_address_nv(MEMREF, MODE, OFFSET) \
|
||
adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1, 1, 0)
|
||
|
||
/* Return a memory reference like MEMREF, but with its mode changed
|
||
to MODE and its address changed to ADDR, which is assumed to be
|
||
increased by OFFSET bytes from MEMREF. */
|
||
#define adjust_automodify_address(MEMREF, MODE, ADDR, OFFSET) \
|
||
adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 1)
|
||
|
||
/* Likewise, but the reference is not required to be valid. */
|
||
#define adjust_automodify_address_nv(MEMREF, MODE, ADDR, OFFSET) \
|
||
adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 0)
|
||
|
||
extern rtx adjust_address_1 (rtx, machine_mode, HOST_WIDE_INT, int, int,
|
||
int, HOST_WIDE_INT);
|
||
extern rtx adjust_automodify_address_1 (rtx, machine_mode, rtx,
|
||
HOST_WIDE_INT, int);
|
||
|
||
/* Return a memory reference like MEMREF, but whose address is changed by
|
||
adding OFFSET, an RTX, to it. POW2 is the highest power of two factor
|
||
known to be in OFFSET (possibly 1). */
|
||
extern rtx offset_address (rtx, rtx, unsigned HOST_WIDE_INT);
|
||
|
||
/* Definitions from emit-rtl.c */
|
||
#include "emit-rtl.h"
|
||
|
||
/* Return a memory reference like MEMREF, but with its mode widened to
|
||
MODE and adjusted by OFFSET. */
|
||
extern rtx widen_memory_access (rtx, machine_mode, HOST_WIDE_INT);
|
||
|
||
/* Return a memory reference like MEMREF, but which is known to have a
|
||
valid address. */
|
||
extern rtx validize_mem (rtx);
|
||
|
||
extern rtx use_anchored_address (rtx);
|
||
|
||
/* Given REF, a MEM, and T, either the type of X or the expression
|
||
corresponding to REF, set the memory attributes. OBJECTP is nonzero
|
||
if we are making a new object of this type. */
|
||
extern void set_mem_attributes (rtx, tree, int);
|
||
|
||
/* Similar, except that BITPOS has not yet been applied to REF, so if
|
||
we alter MEM_OFFSET according to T then we should subtract BITPOS
|
||
expecting that it'll be added back in later. */
|
||
extern void set_mem_attributes_minus_bitpos (rtx, tree, int, HOST_WIDE_INT);
|
||
|
||
/* Return OFFSET if XEXP (MEM, 0) - OFFSET is known to be ALIGN
|
||
bits aligned for 0 <= OFFSET < ALIGN / BITS_PER_UNIT, or
|
||
-1 if not known. */
|
||
extern int get_mem_align_offset (rtx, unsigned int);
|
||
|
||
/* Assemble the static constant template for function entry trampolines. */
|
||
extern rtx assemble_trampoline_template (void);
|
||
|
||
/* Copy given rtx to a new temp reg and return that. */
|
||
extern rtx copy_to_reg (rtx);
|
||
|
||
/* Like copy_to_reg but always make the reg Pmode. */
|
||
extern rtx copy_addr_to_reg (rtx);
|
||
|
||
/* Like copy_to_reg but always make the reg the specified mode MODE. */
|
||
extern rtx copy_to_mode_reg (machine_mode, rtx);
|
||
|
||
/* Copy given rtx to given temp reg and return that. */
|
||
extern rtx copy_to_suggested_reg (rtx, rtx, machine_mode);
|
||
|
||
/* Copy a value to a register if it isn't already a register.
|
||
Args are mode (in case value is a constant) and the value. */
|
||
extern rtx force_reg (machine_mode, rtx);
|
||
|
||
/* Return given rtx, copied into a new temp reg if it was in memory. */
|
||
extern rtx force_not_mem (rtx);
|
||
|
||
/* Return mode and signedness to use when an argument or result in the
|
||
given mode is promoted. */
|
||
extern machine_mode promote_function_mode (const_tree, machine_mode, int *,
|
||
const_tree, int);
|
||
|
||
/* Return mode and signedness to use when an object in the given mode
|
||
is promoted. */
|
||
extern machine_mode promote_mode (const_tree, machine_mode, int *);
|
||
|
||
/* Return mode and signedness to use when object is promoted. */
|
||
machine_mode promote_decl_mode (const_tree, int *);
|
||
|
||
/* Remove some bytes from the stack. An rtx says how many. */
|
||
extern void adjust_stack (rtx);
|
||
|
||
/* Add some bytes to the stack. An rtx says how many. */
|
||
extern void anti_adjust_stack (rtx);
|
||
|
||
/* Add some bytes to the stack while probing it. An rtx says how many. */
|
||
extern void anti_adjust_stack_and_probe (rtx, bool);
|
||
|
||
/* This enum is used for the following two functions. */
|
||
enum save_level {SAVE_BLOCK, SAVE_FUNCTION, SAVE_NONLOCAL};
|
||
|
||
/* Save the stack pointer at the specified level. */
|
||
extern void emit_stack_save (enum save_level, rtx *);
|
||
|
||
/* Restore the stack pointer from a save area of the specified level. */
|
||
extern void emit_stack_restore (enum save_level, rtx);
|
||
|
||
/* Invoke emit_stack_save for the nonlocal_goto_save_area. */
|
||
extern void update_nonlocal_goto_save_area (void);
|
||
|
||
/* Allocate some space on the stack dynamically and return its address. */
|
||
extern rtx allocate_dynamic_stack_space (rtx, unsigned, unsigned, bool);
|
||
|
||
/* Emit one stack probe at ADDRESS, an address within the stack. */
|
||
extern void emit_stack_probe (rtx);
|
||
|
||
/* Probe a range of stack addresses from FIRST to FIRST+SIZE, inclusive.
|
||
FIRST is a constant and size is a Pmode RTX. These are offsets from
|
||
the current stack pointer. STACK_GROWS_DOWNWARD says whether to add
|
||
or subtract them from the stack pointer. */
|
||
extern void probe_stack_range (HOST_WIDE_INT, rtx);
|
||
|
||
/* Return an rtx that refers to the value returned by a library call
|
||
in its original home. This becomes invalid if any more code is emitted. */
|
||
extern rtx hard_libcall_value (machine_mode, rtx);
|
||
|
||
extern void store_bit_field (rtx, unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT,
|
||
machine_mode, rtx);
|
||
extern rtx extract_bit_field (rtx, unsigned HOST_WIDE_INT,
|
||
unsigned HOST_WIDE_INT, int, rtx,
|
||
machine_mode, machine_mode);
|
||
extern rtx extract_low_bits (machine_mode, machine_mode, rtx);
|
||
extern rtx expand_mult (machine_mode, rtx, rtx, rtx, int);
|
||
extern rtx expand_mult_highpart_adjust (machine_mode, rtx, rtx, rtx, rtx, int);
|
||
|
||
extern rtx assemble_static_space (unsigned HOST_WIDE_INT);
|
||
extern int safe_from_p (const_rtx, tree, int);
|
||
extern bool split_comparison (enum rtx_code, machine_mode,
|
||
enum rtx_code *, enum rtx_code *);
|
||
|
||
/* Get the personality libfunc for a function decl. */
|
||
rtx get_personality_function (tree);
|
||
|
||
|
||
/* In stmt.c */
|
||
|
||
/* Expand a GIMPLE_SWITCH statement. */
|
||
extern void expand_case (gswitch *);
|
||
|
||
/* Like expand_case but special-case for SJLJ exception dispatching. */
|
||
extern void expand_sjlj_dispatch_table (rtx, vec<tree> );
|
||
|
||
/* Determine whether the LEN bytes can be moved by using several move
|
||
instructions. Return nonzero if a call to move_by_pieces should
|
||
succeed. */
|
||
extern int can_move_by_pieces (unsigned HOST_WIDE_INT, unsigned int);
|
||
|
||
extern unsigned HOST_WIDE_INT highest_pow2_factor (const_tree);
|
||
bool array_at_struct_end_p (tree);
|
||
|
||
/* Return a tree of sizetype representing the size, in bytes, of the element
|
||
of EXP, an ARRAY_REF or an ARRAY_RANGE_REF. */
|
||
extern tree array_ref_element_size (tree);
|
||
|
||
extern bool categorize_ctor_elements (const_tree, HOST_WIDE_INT *,
|
||
HOST_WIDE_INT *, bool *);
|
||
|
||
/* Return a tree representing the offset, in bytes, of the field referenced
|
||
by EXP. This does not include any offset in DECL_FIELD_BIT_OFFSET. */
|
||
extern tree component_ref_field_offset (tree);
|
||
|
||
extern void expand_operands (tree, tree, rtx, rtx*, rtx*,
|
||
enum expand_modifier);
|
||
#endif /* GCC_EXPR_H */
|