#include "config.h"
#include "system.h"
#include "toplev.h"
#include "rtl.h"
#include "tree.h"
#include "tm_p.h"
#include "flags.h"
#include "function.h"
#include "expr.h"
#include "optabs.h"
#include "hard-reg-set.h"
#include "insn-config.h"
#include "ggc.h"
#include "recog.h"
static rtx break_out_memory_refs PARAMS ((rtx));
static void emit_stack_probe PARAMS ((rtx));
HOST_WIDE_INT
trunc_int_for_mode (c, mode)
HOST_WIDE_INT c;
enum machine_mode mode;
{
int width = GET_MODE_BITSIZE (mode);
if (mode == BImode)
return c & 1 ? STORE_FLAG_VALUE : 0;
if (width < HOST_BITS_PER_WIDE_INT)
{
HOST_WIDE_INT sign = 1;
sign <<= width - 1;
c &= (sign << 1) - 1;
c ^= sign;
c -= sign;
}
return c;
}
rtx
plus_constant_wide (x, c)
rtx x;
HOST_WIDE_INT c;
{
RTX_CODE code;
rtx y;
enum machine_mode mode;
rtx tem;
int all_constant = 0;
if (c == 0)
return x;
restart:
code = GET_CODE (x);
mode = GET_MODE (x);
y = x;
switch (code)
{
case CONST_INT:
return GEN_INT (INTVAL (x) + c);
case CONST_DOUBLE:
{
unsigned HOST_WIDE_INT l1 = CONST_DOUBLE_LOW (x);
HOST_WIDE_INT h1 = CONST_DOUBLE_HIGH (x);
unsigned HOST_WIDE_INT l2 = c;
HOST_WIDE_INT h2 = c < 0 ? ~0 : 0;
unsigned HOST_WIDE_INT lv;
HOST_WIDE_INT hv;
add_double (l1, h1, l2, h2, &lv, &hv);
return immed_double_const (lv, hv, VOIDmode);
}
case MEM:
if (GET_CODE (XEXP (x, 0)) == SYMBOL_REF
&& CONSTANT_POOL_ADDRESS_P (XEXP (x, 0)))
{
tem
= force_const_mem (GET_MODE (x),
plus_constant (get_pool_constant (XEXP (x, 0)),
c));
if (memory_address_p (GET_MODE (tem), XEXP (tem, 0)))
return tem;
}
break;
case CONST:
x = XEXP (x, 0);
all_constant = 1;
goto restart;
case SYMBOL_REF:
case LABEL_REF:
all_constant = 1;
break;
case PLUS:
if (GET_CODE (XEXP (x, 1)) == CONST_INT)
{
c += INTVAL (XEXP (x, 1));
if (GET_MODE (x) != VOIDmode)
c = trunc_int_for_mode (c, GET_MODE (x));
x = XEXP (x, 0);
goto restart;
}
else if (CONSTANT_P (XEXP (x, 1)))
{
x = gen_rtx_PLUS (mode, XEXP (x, 0), plus_constant (XEXP (x, 1), c));
c = 0;
}
else if (find_constant_term_loc (&y))
{
rtx copy = copy_rtx (x);
rtx *const_loc = find_constant_term_loc (©);
*const_loc = plus_constant (*const_loc, c);
x = copy;
c = 0;
}
break;
default:
break;
}
if (c != 0)
x = gen_rtx_PLUS (mode, x, GEN_INT (c));
if (GET_CODE (x) == SYMBOL_REF || GET_CODE (x) == LABEL_REF)
return x;
else if (all_constant)
return gen_rtx_CONST (mode, x);
else
return x;
}
rtx
eliminate_constant_term (x, constptr)
rtx x;
rtx *constptr;
{
rtx x0, x1;
rtx tem;
if (GET_CODE (x) != PLUS)
return x;
if (GET_CODE (XEXP (x, 1)) == CONST_INT
&& 0 != (tem = simplify_binary_operation (PLUS, GET_MODE (x), *constptr,
XEXP (x, 1)))
&& GET_CODE (tem) == CONST_INT)
{
*constptr = tem;
return eliminate_constant_term (XEXP (x, 0), constptr);
}
tem = const0_rtx;
x0 = eliminate_constant_term (XEXP (x, 0), &tem);
x1 = eliminate_constant_term (XEXP (x, 1), &tem);
if ((x1 != XEXP (x, 1) || x0 != XEXP (x, 0))
&& 0 != (tem = simplify_binary_operation (PLUS, GET_MODE (x),
*constptr, tem))
&& GET_CODE (tem) == CONST_INT)
{
*constptr = tem;
return gen_rtx_PLUS (GET_MODE (x), x0, x1);
}
return x;
}
rtx
find_next_ref (reg, insn)
rtx reg;
rtx insn;
{
rtx next;
for (insn = NEXT_INSN (insn); insn; insn = next)
{
next = NEXT_INSN (insn);
if (GET_CODE (insn) == NOTE)
continue;
if (GET_CODE (insn) == CODE_LABEL
|| GET_CODE (insn) == BARRIER)
return 0;
if (GET_CODE (insn) == INSN
|| GET_CODE (insn) == JUMP_INSN
|| GET_CODE (insn) == CALL_INSN)
{
if (reg_set_p (reg, insn))
return 0;
if (reg_mentioned_p (reg, PATTERN (insn)))
return insn;
if (GET_CODE (insn) == JUMP_INSN)
{
if (any_uncondjump_p (insn))
next = JUMP_LABEL (insn);
else
return 0;
}
if (GET_CODE (insn) == CALL_INSN
&& REGNO (reg) < FIRST_PSEUDO_REGISTER
&& call_used_regs[REGNO (reg)])
return 0;
}
else
abort ();
}
return 0;
}
rtx
expr_size (exp)
tree exp;
{
tree size;
if (TREE_CODE_CLASS (TREE_CODE (exp)) == 'd'
&& DECL_SIZE_UNIT (exp) != 0)
size = DECL_SIZE_UNIT (exp);
else
size = size_in_bytes (TREE_TYPE (exp));
if (TREE_CODE (size) != INTEGER_CST
&& contains_placeholder_p (size))
size = build (WITH_RECORD_EXPR, sizetype, size, exp);
return expand_expr (size, NULL_RTX, TYPE_MODE (sizetype), 0);
}
static rtx
break_out_memory_refs (x)
rtx x;
{
if (GET_CODE (x) == MEM
|| (CONSTANT_P (x) && CONSTANT_ADDRESS_P (x)
&& GET_MODE (x) != VOIDmode))
x = force_reg (GET_MODE (x), x);
else if (GET_CODE (x) == PLUS || GET_CODE (x) == MINUS
|| GET_CODE (x) == MULT)
{
rtx op0 = break_out_memory_refs (XEXP (x, 0));
rtx op1 = break_out_memory_refs (XEXP (x, 1));
if (op0 != XEXP (x, 0) || op1 != XEXP (x, 1))
x = gen_rtx_fmt_ee (GET_CODE (x), Pmode, op0, op1);
}
return x;
}
#ifdef POINTERS_EXTEND_UNSIGNED
rtx
convert_memory_address (to_mode, x)
enum machine_mode to_mode;
rtx x;
{
enum machine_mode from_mode = to_mode == ptr_mode ? Pmode : ptr_mode;
rtx temp;
switch (GET_CODE (x))
{
case CONST_INT:
case CONST_DOUBLE:
return x;
case SUBREG:
if (POINTERS_EXTEND_UNSIGNED >= 0
&& (SUBREG_PROMOTED_VAR_P (x) || REG_POINTER (SUBREG_REG (x)))
&& GET_MODE (SUBREG_REG (x)) == to_mode)
return SUBREG_REG (x);
break;
case LABEL_REF:
if (POINTERS_EXTEND_UNSIGNED >= 0)
{
temp = gen_rtx_LABEL_REF (to_mode, XEXP (x, 0));
LABEL_REF_NONLOCAL_P (temp) = LABEL_REF_NONLOCAL_P (x);
return temp;
}
break;
case SYMBOL_REF:
if (POINTERS_EXTEND_UNSIGNED >= 0)
{
temp = gen_rtx_SYMBOL_REF (to_mode, XSTR (x, 0));
SYMBOL_REF_FLAG (temp) = SYMBOL_REF_FLAG (x);
CONSTANT_POOL_ADDRESS_P (temp) = CONSTANT_POOL_ADDRESS_P (x);
STRING_POOL_ADDRESS_P (temp) = STRING_POOL_ADDRESS_P (x);
return temp;
}
break;
case CONST:
if (POINTERS_EXTEND_UNSIGNED >= 0)
return gen_rtx_CONST (to_mode,
convert_memory_address (to_mode, XEXP (x, 0)));
break;
case PLUS:
case MULT:
if (POINTERS_EXTEND_UNSIGNED >= 0
&& (GET_MODE_SIZE (to_mode) < GET_MODE_SIZE (from_mode)
|| (GET_CODE (x) == PLUS && GET_CODE (XEXP (x, 1)) == CONST_INT
&& (INTVAL (XEXP (x, 1)) + 20000 < 40000
|| CONSTANT_P (XEXP (x, 0))))))
return gen_rtx_fmt_ee (GET_CODE (x), to_mode,
convert_memory_address (to_mode, XEXP (x, 0)),
convert_memory_address (to_mode, XEXP (x, 1)));
break;
default:
break;
}
return convert_modes (to_mode, from_mode,
x, POINTERS_EXTEND_UNSIGNED);
}
#endif
rtx
copy_all_regs (x)
rtx x;
{
if (GET_CODE (x) == REG)
{
if (REGNO (x) != FRAME_POINTER_REGNUM
#if HARD_FRAME_POINTER_REGNUM != FRAME_POINTER_REGNUM
&& REGNO (x) != HARD_FRAME_POINTER_REGNUM
#endif
)
x = copy_to_reg (x);
}
else if (GET_CODE (x) == MEM)
x = copy_to_reg (x);
else if (GET_CODE (x) == PLUS || GET_CODE (x) == MINUS
|| GET_CODE (x) == MULT)
{
rtx op0 = copy_all_regs (XEXP (x, 0));
rtx op1 = copy_all_regs (XEXP (x, 1));
if (op0 != XEXP (x, 0) || op1 != XEXP (x, 1))
x = gen_rtx_fmt_ee (GET_CODE (x), Pmode, op0, op1);
}
return x;
}
rtx
memory_address (mode, x)
enum machine_mode mode;
rtx x;
{
rtx oldx = x;
if (GET_CODE (x) == ADDRESSOF)
return x;
#ifdef POINTERS_EXTEND_UNSIGNED
if (GET_MODE (x) != Pmode)
x = convert_memory_address (Pmode, x);
#endif
if (! cse_not_expected && CONSTANT_P (x) && CONSTANT_ADDRESS_P (x))
x = force_reg (Pmode, x);
else if (GET_CODE (x) == QUEUED
&& GET_CODE (QUEUED_VAR (x)) == REG)
;
else
{
if (! cse_not_expected && GET_CODE (x) != REG)
x = break_out_memory_refs (x);
GO_IF_LEGITIMATE_ADDRESS (mode, x, win);
if (memory_address_p (mode, oldx))
goto win2;
LEGITIMIZE_ADDRESS (x, oldx, mode, win);
if (GET_CODE (x) == PLUS)
{
rtx constant_term = const0_rtx;
rtx y = eliminate_constant_term (x, &constant_term);
if (constant_term == const0_rtx
|| ! memory_address_p (mode, y))
x = force_operand (x, NULL_RTX);
else
{
y = gen_rtx_PLUS (GET_MODE (x), copy_to_reg (y), constant_term);
if (! memory_address_p (mode, y))
x = force_operand (x, NULL_RTX);
else
x = y;
}
}
else if (GET_CODE (x) == MULT || GET_CODE (x) == MINUS)
x = force_operand (x, NULL_RTX);
else if (GET_CODE (x) == REG)
x = copy_to_reg (x);
else
x = force_reg (Pmode, x);
goto done;
win2:
x = oldx;
win:
if (flag_force_addr && ! cse_not_expected && GET_CODE (x) != REG
&& ! (GET_CODE (x) == PLUS
&& (XEXP (x, 0) == virtual_stack_vars_rtx
|| XEXP (x, 0) == virtual_incoming_args_rtx)))
{
if (general_operand (x, Pmode))
x = force_reg (Pmode, x);
else
x = force_operand (x, NULL_RTX);
}
}
done:
if (oldx == x)
return x;
else if (GET_CODE (x) == REG)
mark_reg_pointer (x, BITS_PER_UNIT);
else if (GET_CODE (x) == PLUS
&& GET_CODE (XEXP (x, 0)) == REG
&& GET_CODE (XEXP (x, 1)) == CONST_INT)
mark_reg_pointer (XEXP (x, 0), BITS_PER_UNIT);
update_temp_slot_address (oldx, x);
return x;
}
rtx
memory_address_noforce (mode, x)
enum machine_mode mode;
rtx x;
{
int ambient_force_addr = flag_force_addr;
rtx val;
flag_force_addr = 0;
val = memory_address (mode, x);
flag_force_addr = ambient_force_addr;
return val;
}
rtx
validize_mem (ref)
rtx ref;
{
if (GET_CODE (ref) != MEM)
return ref;
if (! (flag_force_addr && CONSTANT_ADDRESS_P (XEXP (ref, 0)))
&& memory_address_p (GET_MODE (ref), XEXP (ref, 0)))
return ref;
return replace_equiv_address (ref, XEXP (ref, 0));
}
void
maybe_set_unchanging (ref, t)
rtx ref;
tree t;
{
if ((TREE_READONLY (t) && DECL_P (t)
&& (TREE_CODE (t) == PARM_DECL
|| DECL_INITIAL (t) == NULL_TREE
|| TREE_CONSTANT (DECL_INITIAL (t))))
|| TREE_CODE_CLASS (TREE_CODE (t)) == 'c')
RTX_UNCHANGING_P (ref) = 1;
}
rtx
stabilize (x)
rtx x;
{
if (GET_CODE (x) != MEM
|| ! rtx_unstable_p (XEXP (x, 0)))
return x;
return
replace_equiv_address (x, force_reg (Pmode, copy_all_regs (XEXP (x, 0))));
}
rtx
copy_to_reg (x)
rtx x;
{
rtx temp = gen_reg_rtx (GET_MODE (x));
if (! general_operand (x, VOIDmode))
x = force_operand (x, temp);
if (x != temp)
emit_move_insn (temp, x);
return temp;
}
rtx
copy_addr_to_reg (x)
rtx x;
{
return copy_to_mode_reg (Pmode, x);
}
rtx
copy_to_mode_reg (mode, x)
enum machine_mode mode;
rtx x;
{
rtx temp = gen_reg_rtx (mode);
if (! general_operand (x, VOIDmode))
x = force_operand (x, temp);
if (GET_MODE (x) != mode && GET_MODE (x) != VOIDmode)
abort ();
if (x != temp)
emit_move_insn (temp, x);
return temp;
}
rtx
force_reg (mode, x)
enum machine_mode mode;
rtx x;
{
rtx temp, insn, set;
if (GET_CODE (x) == REG)
return x;
if (general_operand (x, mode))
{
temp = gen_reg_rtx (mode);
insn = emit_move_insn (temp, x);
}
else
{
temp = force_operand (x, NULL_RTX);
if (GET_CODE (temp) == REG)
insn = get_last_insn ();
else
{
rtx temp2 = gen_reg_rtx (mode);
insn = emit_move_insn (temp2, temp);
temp = temp2;
}
}
if (CONSTANT_P (x)
&& (set = single_set (insn)) != 0
&& SET_DEST (set) == temp)
set_unique_reg_note (insn, REG_EQUAL, x);
return temp;
}
rtx
force_not_mem (x)
rtx x;
{
rtx temp;
if (GET_CODE (x) != MEM || GET_MODE (x) == BLKmode)
return x;
temp = gen_reg_rtx (GET_MODE (x));
emit_move_insn (temp, x);
return temp;
}
rtx
copy_to_suggested_reg (x, target, mode)
rtx x, target;
enum machine_mode mode;
{
rtx temp;
if (target && GET_CODE (target) == REG)
temp = target;
else
temp = gen_reg_rtx (mode);
emit_move_insn (temp, x);
return temp;
}
enum machine_mode
promote_mode (type, mode, punsignedp, for_call)
tree type;
enum machine_mode mode;
int *punsignedp;
int for_call ATTRIBUTE_UNUSED;
{
enum tree_code code = TREE_CODE (type);
int unsignedp = *punsignedp;
#ifdef PROMOTE_FOR_CALL_ONLY
if (! for_call)
return mode;
#endif
switch (code)
{
#ifdef PROMOTE_MODE
case INTEGER_TYPE: case ENUMERAL_TYPE: case BOOLEAN_TYPE:
case CHAR_TYPE: case REAL_TYPE: case OFFSET_TYPE:
PROMOTE_MODE (mode, unsignedp, type);
break;
#endif
#ifdef POINTERS_EXTEND_UNSIGNED
case REFERENCE_TYPE:
case POINTER_TYPE:
mode = Pmode;
unsignedp = POINTERS_EXTEND_UNSIGNED;
break;
#endif
default:
break;
}
*punsignedp = unsignedp;
return mode;
}
void
adjust_stack (adjust)
rtx adjust;
{
rtx temp;
adjust = protect_from_queue (adjust, 0);
if (adjust == const0_rtx)
return;
if (GET_CODE (adjust) == CONST_INT)
stack_pointer_delta -= INTVAL (adjust);
temp = expand_binop (Pmode,
#ifdef STACK_GROWS_DOWNWARD
add_optab,
#else
sub_optab,
#endif
stack_pointer_rtx, adjust, stack_pointer_rtx, 0,
OPTAB_LIB_WIDEN);
if (temp != stack_pointer_rtx)
emit_move_insn (stack_pointer_rtx, temp);
}
void
anti_adjust_stack (adjust)
rtx adjust;
{
rtx temp;
adjust = protect_from_queue (adjust, 0);
if (adjust == const0_rtx)
return;
if (GET_CODE (adjust) == CONST_INT)
stack_pointer_delta += INTVAL (adjust);
temp = expand_binop (Pmode,
#ifdef STACK_GROWS_DOWNWARD
sub_optab,
#else
add_optab,
#endif
stack_pointer_rtx, adjust, stack_pointer_rtx, 0,
OPTAB_LIB_WIDEN);
if (temp != stack_pointer_rtx)
emit_move_insn (stack_pointer_rtx, temp);
}
rtx
round_push (size)
rtx size;
{
int align = PREFERRED_STACK_BOUNDARY / BITS_PER_UNIT;
if (align == 1)
return size;
if (GET_CODE (size) == CONST_INT)
{
int new = (INTVAL (size) + align - 1) / align * align;
if (INTVAL (size) != new)
size = GEN_INT (new);
}
else
{
size = expand_binop (Pmode, add_optab, size, GEN_INT (align - 1),
NULL_RTX, 1, OPTAB_LIB_WIDEN);
size = expand_divmod (0, TRUNC_DIV_EXPR, Pmode, size, GEN_INT (align),
NULL_RTX, 1);
size = expand_mult (Pmode, size, GEN_INT (align), NULL_RTX, 1);
}
return size;
}
void
emit_stack_save (save_level, psave, after)
enum save_level save_level;
rtx *psave;
rtx after;
{
rtx sa = *psave;
rtx (*fcn) PARAMS ((rtx, rtx)) = gen_move_insn;
enum machine_mode mode = STACK_SAVEAREA_MODE (save_level);
switch (save_level)
{
#ifdef HAVE_save_stack_block
case SAVE_BLOCK:
if (HAVE_save_stack_block)
fcn = gen_save_stack_block;
break;
#endif
#ifdef HAVE_save_stack_function
case SAVE_FUNCTION:
if (HAVE_save_stack_function)
fcn = gen_save_stack_function;
break;
#endif
#ifdef HAVE_save_stack_nonlocal
case SAVE_NONLOCAL:
if (HAVE_save_stack_nonlocal)
fcn = gen_save_stack_nonlocal;
break;
#endif
default:
break;
}
if (sa == 0)
{
if (mode != VOIDmode)
{
if (save_level == SAVE_NONLOCAL)
*psave = sa = assign_stack_local (mode, GET_MODE_SIZE (mode), 0);
else
*psave = sa = gen_reg_rtx (mode);
}
}
else
{
if (mode == VOIDmode || GET_MODE (sa) != mode)
abort ();
}
if (after)
{
rtx seq;
start_sequence ();
if (sa != 0)
sa = validize_mem (sa);
emit_insn (fcn (sa, stack_pointer_rtx));
seq = gen_sequence ();
end_sequence ();
emit_insn_after (seq, after);
}
else
{
if (sa != 0)
sa = validize_mem (sa);
emit_insn (fcn (sa, stack_pointer_rtx));
}
}
void
emit_stack_restore (save_level, sa, after)
enum save_level save_level;
rtx after;
rtx sa;
{
rtx (*fcn) PARAMS ((rtx, rtx)) = gen_move_insn;
switch (save_level)
{
#ifdef HAVE_restore_stack_block
case SAVE_BLOCK:
if (HAVE_restore_stack_block)
fcn = gen_restore_stack_block;
break;
#endif
#ifdef HAVE_restore_stack_function
case SAVE_FUNCTION:
if (HAVE_restore_stack_function)
fcn = gen_restore_stack_function;
break;
#endif
#ifdef HAVE_restore_stack_nonlocal
case SAVE_NONLOCAL:
if (HAVE_restore_stack_nonlocal)
fcn = gen_restore_stack_nonlocal;
break;
#endif
default:
break;
}
if (sa != 0)
sa = validize_mem (sa);
if (after)
{
rtx seq;
start_sequence ();
emit_insn (fcn (stack_pointer_rtx, sa));
seq = gen_sequence ();
end_sequence ();
emit_insn_after (seq, after);
}
else
emit_insn (fcn (stack_pointer_rtx, sa));
}
#ifdef SETJMP_VIA_SAVE_AREA
void
optimize_save_area_alloca (insns)
rtx insns;
{
rtx insn;
for (insn = insns; insn; insn = NEXT_INSN(insn))
{
rtx note;
if (GET_CODE (insn) != INSN)
continue;
for (note = REG_NOTES (insn); note; note = XEXP (note, 1))
{
if (REG_NOTE_KIND (note) != REG_SAVE_AREA)
continue;
if (!current_function_calls_setjmp)
{
rtx pat = PATTERN (insn);
if (GET_CODE (pat) != SET
|| SET_DEST (pat) != stack_pointer_rtx
|| GET_CODE (SET_SRC (pat)) != MINUS
|| XEXP (SET_SRC (pat), 0) != stack_pointer_rtx)
abort ();
XEXP (SET_SRC (pat), 1) = XEXP (note, 0);
REG_NOTES (insn) = NULL_RTX;
}
else
{
if (note == REG_NOTES (insn))
{
REG_NOTES (insn) = XEXP (note, 1);
}
else
{
rtx srch;
for (srch = REG_NOTES (insn); srch; srch = XEXP (srch, 1))
if (XEXP (srch, 1) == note)
break;
if (srch == NULL_RTX)
abort ();
XEXP (srch, 1) = XEXP (note, 1);
}
}
break;
}
}
}
#endif
rtx
allocate_dynamic_stack_space (size, target, known_align)
rtx size;
rtx target;
int known_align;
{
#ifdef SETJMP_VIA_SAVE_AREA
rtx setjmpless_size = NULL_RTX;
#endif
if (size == const0_rtx)
return virtual_stack_dynamic_rtx;
current_function_calls_alloca = 1;
if (GET_MODE (size) != VOIDmode && GET_MODE (size) != Pmode)
size = convert_to_mode (Pmode, size, 1);
cfun->preferred_stack_boundary = PREFERRED_STACK_BOUNDARY;
#if defined (STACK_DYNAMIC_OFFSET) || defined (STACK_POINTER_OFFSET)
#define MUST_ALIGN 1
#else
#define MUST_ALIGN (PREFERRED_STACK_BOUNDARY < BIGGEST_ALIGNMENT)
#endif
if (MUST_ALIGN)
size
= force_operand (plus_constant (size,
BIGGEST_ALIGNMENT / BITS_PER_UNIT - 1),
NULL_RTX);
#ifdef SETJMP_VIA_SAVE_AREA
{
rtx dynamic_offset
= expand_binop (Pmode, sub_optab, virtual_stack_dynamic_rtx,
stack_pointer_rtx, NULL_RTX, 1, OPTAB_LIB_WIDEN);
if (!current_function_calls_setjmp)
{
int align = PREFERRED_STACK_BOUNDARY / BITS_PER_UNIT;
if (PREFERRED_STACK_BOUNDARY != BIGGEST_ALIGNMENT)
abort ();
if (GET_CODE (size) == CONST_INT)
{
HOST_WIDE_INT new = INTVAL (size) / align * align;
if (INTVAL (size) != new)
setjmpless_size = GEN_INT (new);
else
setjmpless_size = size;
}
else
{
setjmpless_size = expand_divmod (0, TRUNC_DIV_EXPR, Pmode, size,
GEN_INT (align), NULL_RTX, 1);
setjmpless_size = expand_mult (Pmode, setjmpless_size,
GEN_INT (align), NULL_RTX, 1);
}
if (!register_operand (setjmpless_size, Pmode))
setjmpless_size = force_reg (Pmode, setjmpless_size);
}
size = expand_binop (Pmode, add_optab, size, dynamic_offset,
NULL_RTX, 1, OPTAB_LIB_WIDEN);
}
#endif
#if !defined (SETJMP_VIA_SAVE_AREA)
if (MUST_ALIGN || known_align % PREFERRED_STACK_BOUNDARY != 0)
#endif
size = round_push (size);
do_pending_stack_adjust ();
if (stack_pointer_delta % (PREFERRED_STACK_BOUNDARY / BITS_PER_UNIT))
abort ();
if (flag_stack_check && ! STACK_CHECK_BUILTIN)
probe_stack_range (STACK_CHECK_MAX_FRAME_SIZE + STACK_CHECK_PROTECT, size);
if (target == 0 || GET_CODE (target) != REG
|| REGNO (target) < FIRST_PSEUDO_REGISTER
|| GET_MODE (target) != Pmode)
target = gen_reg_rtx (Pmode);
mark_reg_pointer (target, known_align);
#ifdef HAVE_allocate_stack
if (HAVE_allocate_stack)
{
enum machine_mode mode = STACK_SIZE_MODE;
insn_operand_predicate_fn pred;
if (mode == VOIDmode)
mode = insn_data[(int) CODE_FOR_allocate_stack].operand[1].mode;
pred = insn_data[(int) CODE_FOR_allocate_stack].operand[1].predicate;
if (pred && ! ((*pred) (size, mode)))
size = copy_to_mode_reg (mode, size);
emit_insn (gen_allocate_stack (target, size));
}
else
#endif
{
#ifndef STACK_GROWS_DOWNWARD
emit_move_insn (target, virtual_stack_dynamic_rtx);
#endif
if (current_function_limit_stack)
{
rtx available;
rtx space_available = gen_label_rtx ();
#ifdef STACK_GROWS_DOWNWARD
available = expand_binop (Pmode, sub_optab,
stack_pointer_rtx, stack_limit_rtx,
NULL_RTX, 1, OPTAB_WIDEN);
#else
available = expand_binop (Pmode, sub_optab,
stack_limit_rtx, stack_pointer_rtx,
NULL_RTX, 1, OPTAB_WIDEN);
#endif
emit_cmp_and_jump_insns (available, size, GEU, NULL_RTX, Pmode, 1,
space_available);
#ifdef HAVE_trap
if (HAVE_trap)
emit_insn (gen_trap ());
else
#endif
error ("stack limits not supported on this target");
emit_barrier ();
emit_label (space_available);
}
anti_adjust_stack (size);
#ifdef SETJMP_VIA_SAVE_AREA
if (setjmpless_size != NULL_RTX)
{
rtx note_target = get_last_insn ();
REG_NOTES (note_target)
= gen_rtx_EXPR_LIST (REG_SAVE_AREA, setjmpless_size,
REG_NOTES (note_target));
}
#endif
#ifdef STACK_GROWS_DOWNWARD
emit_move_insn (target, virtual_stack_dynamic_rtx);
#endif
}
if (MUST_ALIGN)
{
target = expand_binop (Pmode, add_optab, target,
GEN_INT (BIGGEST_ALIGNMENT / BITS_PER_UNIT - 1),
NULL_RTX, 1, OPTAB_LIB_WIDEN);
target = expand_divmod (0, TRUNC_DIV_EXPR, Pmode, target,
GEN_INT (BIGGEST_ALIGNMENT / BITS_PER_UNIT),
NULL_RTX, 1);
target = expand_mult (Pmode, target,
GEN_INT (BIGGEST_ALIGNMENT / BITS_PER_UNIT),
NULL_RTX, 1);
}
#ifdef HAVE_probe
if (HAVE_probe)
emit_insn (gen_probe ());
#endif
if (nonlocal_goto_handler_slots != 0)
emit_stack_save (SAVE_NONLOCAL, &nonlocal_goto_stack_level, NULL_RTX);
return target;
}
static rtx stack_check_libfunc;
void
set_stack_check_libfunc (libfunc)
rtx libfunc;
{
stack_check_libfunc = libfunc;
ggc_add_rtx_root (&stack_check_libfunc, 1);
}
static void
emit_stack_probe (address)
rtx address;
{
rtx memref = gen_rtx_MEM (word_mode, address);
MEM_VOLATILE_P (memref) = 1;
if (STACK_CHECK_PROBE_LOAD)
emit_move_insn (gen_reg_rtx (word_mode), memref);
else
emit_move_insn (memref, const0_rtx);
}
#ifdef STACK_GROWS_DOWNWARD
#define STACK_GROW_OP MINUS
#else
#define STACK_GROW_OP PLUS
#endif
void
probe_stack_range (first, size)
HOST_WIDE_INT first;
rtx size;
{
if (GET_MODE (size) != VOIDmode && GET_MODE (size) != Pmode)
size = convert_to_mode (Pmode, size, 1);
if (stack_check_libfunc != 0)
{
rtx addr = memory_address (QImode,
gen_rtx (STACK_GROW_OP, Pmode,
stack_pointer_rtx,
plus_constant (size, first)));
#ifdef POINTERS_EXTEND_UNSIGNED
if (GET_MODE (addr) != ptr_mode)
addr = convert_memory_address (ptr_mode, addr);
#endif
emit_library_call (stack_check_libfunc, LCT_NORMAL, VOIDmode, 1, addr,
ptr_mode);
}
#ifdef HAVE_check_stack
else if (HAVE_check_stack)
{
insn_operand_predicate_fn pred;
rtx last_addr
= force_operand (gen_rtx_STACK_GROW_OP (Pmode,
stack_pointer_rtx,
plus_constant (size, first)),
NULL_RTX);
pred = insn_data[(int) CODE_FOR_check_stack].operand[0].predicate;
if (pred && ! ((*pred) (last_addr, Pmode)))
last_addr = copy_to_mode_reg (Pmode, last_addr);
emit_insn (gen_check_stack (last_addr));
}
#endif
else if (GET_CODE (size) == CONST_INT
&& INTVAL (size) < 10 * STACK_CHECK_PROBE_INTERVAL)
{
HOST_WIDE_INT offset;
for (offset = first + STACK_CHECK_PROBE_INTERVAL;
offset < INTVAL (size);
offset = offset + STACK_CHECK_PROBE_INTERVAL)
emit_stack_probe (gen_rtx_fmt_ee (STACK_GROW_OP, Pmode,
stack_pointer_rtx,
GEN_INT (offset)));
emit_stack_probe (gen_rtx_fmt_ee (STACK_GROW_OP, Pmode,
stack_pointer_rtx,
plus_constant (size, first)));
}
else
{
rtx test_addr
= force_operand (gen_rtx_fmt_ee (STACK_GROW_OP, Pmode,
stack_pointer_rtx,
GEN_INT (first + STACK_CHECK_PROBE_INTERVAL)),
NULL_RTX);
rtx last_addr
= force_operand (gen_rtx_fmt_ee (STACK_GROW_OP, Pmode,
stack_pointer_rtx,
plus_constant (size, first)),
NULL_RTX);
rtx incr = GEN_INT (STACK_CHECK_PROBE_INTERVAL);
rtx loop_lab = gen_label_rtx ();
rtx test_lab = gen_label_rtx ();
rtx end_lab = gen_label_rtx ();
rtx temp;
if (GET_CODE (test_addr) != REG
|| REGNO (test_addr) < FIRST_PSEUDO_REGISTER)
test_addr = force_reg (Pmode, test_addr);
emit_note (NULL, NOTE_INSN_LOOP_BEG);
emit_jump (test_lab);
emit_label (loop_lab);
emit_stack_probe (test_addr);
emit_note (NULL, NOTE_INSN_LOOP_CONT);
#ifdef STACK_GROWS_DOWNWARD
#define CMP_OPCODE GTU
temp = expand_binop (Pmode, sub_optab, test_addr, incr, test_addr,
1, OPTAB_WIDEN);
#else
#define CMP_OPCODE LTU
temp = expand_binop (Pmode, add_optab, test_addr, incr, test_addr,
1, OPTAB_WIDEN);
#endif
if (temp != test_addr)
abort ();
emit_label (test_lab);
emit_cmp_and_jump_insns (test_addr, last_addr, CMP_OPCODE,
NULL_RTX, Pmode, 1, loop_lab);
emit_jump (end_lab);
emit_note (NULL, NOTE_INSN_LOOP_END);
emit_label (end_lab);
emit_stack_probe (last_addr);
}
}
rtx
hard_function_value (valtype, func, outgoing)
tree valtype;
tree func ATTRIBUTE_UNUSED;
int outgoing ATTRIBUTE_UNUSED;
{
rtx val;
#ifdef FUNCTION_OUTGOING_VALUE
if (outgoing)
val = FUNCTION_OUTGOING_VALUE (valtype, func);
else
#endif
val = FUNCTION_VALUE (valtype, func);
if (GET_CODE (val) == REG
&& GET_MODE (val) == BLKmode)
{
unsigned HOST_WIDE_INT bytes = int_size_in_bytes (valtype);
enum machine_mode tmpmode;
for (tmpmode = GET_CLASS_NARROWEST_MODE (MODE_INT);
tmpmode != VOIDmode;
tmpmode = GET_MODE_WIDER_MODE (tmpmode))
{
if (GET_MODE_SIZE (tmpmode) >= bytes)
break;
}
if (tmpmode == VOIDmode)
abort ();
PUT_MODE (val, tmpmode);
}
return val;
}
rtx
hard_libcall_value (mode)
enum machine_mode mode;
{
return LIBCALL_VALUE (mode);
}
int
rtx_to_tree_code (code)
enum rtx_code code;
{
enum tree_code tcode;
switch (code)
{
case PLUS:
tcode = PLUS_EXPR;
break;
case MINUS:
tcode = MINUS_EXPR;
break;
case MULT:
tcode = MULT_EXPR;
break;
case DIV:
tcode = RDIV_EXPR;
break;
case SMIN:
tcode = MIN_EXPR;
break;
case SMAX:
tcode = MAX_EXPR;
break;
default:
tcode = LAST_AND_UNUSED_TREE_CODE;
break;
}
return ((int) tcode);
}