;; Predicate definitions for DEC Alpha.
|
;; Predicate definitions for DEC Alpha.
|
;; Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
|
;; Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
|
;;
|
;;
|
;; This file is part of GCC.
|
;; This file is part of GCC.
|
;;
|
;;
|
;; GCC is free software; you can redistribute it and/or modify
|
;; GCC is free software; you can redistribute it and/or modify
|
;; it under the terms of the GNU General Public License as published by
|
;; it under the terms of the GNU General Public License as published by
|
;; the Free Software Foundation; either version 3, or (at your option)
|
;; the Free Software Foundation; either version 3, or (at your option)
|
;; any later version.
|
;; any later version.
|
;;
|
;;
|
;; GCC is distributed in the hope that it will be useful,
|
;; GCC is distributed in the hope that it will be useful,
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
;; GNU General Public License for more details.
|
;; GNU General Public License for more details.
|
;;
|
;;
|
;; You should have received a copy of the GNU General Public License
|
;; You should have received a copy of the GNU General Public License
|
;; along with GCC; see the file COPYING3. If not see
|
;; along with GCC; see the file COPYING3. If not see
|
;; .
|
;; .
|
|
|
;; Return 1 if OP is the zero constant for MODE.
|
;; Return 1 if OP is the zero constant for MODE.
|
(define_predicate "const0_operand"
|
(define_predicate "const0_operand"
|
(and (match_code "const_int,const_double,const_vector")
|
(and (match_code "const_int,const_double,const_vector")
|
(match_test "op == CONST0_RTX (mode)")))
|
(match_test "op == CONST0_RTX (mode)")))
|
|
|
;; Returns true if OP is either the constant zero or a register.
|
;; Returns true if OP is either the constant zero or a register.
|
(define_predicate "reg_or_0_operand"
|
(define_predicate "reg_or_0_operand"
|
(ior (match_operand 0 "register_operand")
|
(ior (match_operand 0 "register_operand")
|
(match_operand 0 "const0_operand")))
|
(match_operand 0 "const0_operand")))
|
|
|
;; Return 1 if OP is a constant in the range of 0-63 (for a shift) or
|
;; Return 1 if OP is a constant in the range of 0-63 (for a shift) or
|
;; any register.
|
;; any register.
|
(define_predicate "reg_or_6bit_operand"
|
(define_predicate "reg_or_6bit_operand"
|
(if_then_else (match_code "const_int")
|
(if_then_else (match_code "const_int")
|
(match_test "INTVAL (op) >= 0 && INTVAL (op) < 64")
|
(match_test "INTVAL (op) >= 0 && INTVAL (op) < 64")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
;; Return 1 if OP is an 8-bit constant.
|
;; Return 1 if OP is an 8-bit constant.
|
(define_predicate "cint8_operand"
|
(define_predicate "cint8_operand"
|
(and (match_code "const_int")
|
(and (match_code "const_int")
|
(match_test "INTVAL (op) >= 0 && INTVAL (op) < 256")))
|
(match_test "INTVAL (op) >= 0 && INTVAL (op) < 256")))
|
|
|
;; Return 1 if OP is an 8-bit constant or any register.
|
;; Return 1 if OP is an 8-bit constant or any register.
|
(define_predicate "reg_or_8bit_operand"
|
(define_predicate "reg_or_8bit_operand"
|
(if_then_else (match_code "const_int")
|
(if_then_else (match_code "const_int")
|
(match_test "INTVAL (op) >= 0 && INTVAL (op) < 256")
|
(match_test "INTVAL (op) >= 0 && INTVAL (op) < 256")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
;; Return 1 if OP is a constant or any register.
|
;; Return 1 if OP is a constant or any register.
|
(define_predicate "reg_or_cint_operand"
|
(define_predicate "reg_or_cint_operand"
|
(ior (match_operand 0 "register_operand")
|
(ior (match_operand 0 "register_operand")
|
(match_operand 0 "const_int_operand")))
|
(match_operand 0 "const_int_operand")))
|
|
|
;; Return 1 if the operand is a valid second operand to an add insn.
|
;; Return 1 if the operand is a valid second operand to an add insn.
|
(define_predicate "add_operand"
|
(define_predicate "add_operand"
|
(if_then_else (match_code "const_int")
|
(if_then_else (match_code "const_int")
|
(match_test "CONST_OK_FOR_LETTER_P (INTVAL (op), 'K')
|
(match_test "CONST_OK_FOR_LETTER_P (INTVAL (op), 'K')
|
|| CONST_OK_FOR_LETTER_P (INTVAL (op), 'L')")
|
|| CONST_OK_FOR_LETTER_P (INTVAL (op), 'L')")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
;; Return 1 if the operand is a valid second operand to a
|
;; Return 1 if the operand is a valid second operand to a
|
;; sign-extending add insn.
|
;; sign-extending add insn.
|
(define_predicate "sext_add_operand"
|
(define_predicate "sext_add_operand"
|
(if_then_else (match_code "const_int")
|
(if_then_else (match_code "const_int")
|
(match_test "CONST_OK_FOR_LETTER_P (INTVAL (op), 'I')
|
(match_test "CONST_OK_FOR_LETTER_P (INTVAL (op), 'I')
|
|| CONST_OK_FOR_LETTER_P (INTVAL (op), 'O')")
|
|| CONST_OK_FOR_LETTER_P (INTVAL (op), 'O')")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
;; Return 1 if the operand is a non-symbolic constant operand that
|
;; Return 1 if the operand is a non-symbolic constant operand that
|
;; does not satisfy add_operand.
|
;; does not satisfy add_operand.
|
(define_predicate "non_add_const_operand"
|
(define_predicate "non_add_const_operand"
|
(and (match_code "const_int,const_double,const_vector")
|
(and (match_code "const_int,const_double,const_vector")
|
(not (match_operand 0 "add_operand"))))
|
(not (match_operand 0 "add_operand"))))
|
|
|
;; Return 1 if the operand is a non-symbolic, nonzero constant operand.
|
;; Return 1 if the operand is a non-symbolic, nonzero constant operand.
|
(define_predicate "non_zero_const_operand"
|
(define_predicate "non_zero_const_operand"
|
(and (match_code "const_int,const_double,const_vector")
|
(and (match_code "const_int,const_double,const_vector")
|
(match_test "op != CONST0_RTX (mode)")))
|
(match_test "op != CONST0_RTX (mode)")))
|
|
|
;; Return 1 if OP is the constant 4 or 8.
|
;; Return 1 if OP is the constant 4 or 8.
|
(define_predicate "const48_operand"
|
(define_predicate "const48_operand"
|
(and (match_code "const_int")
|
(and (match_code "const_int")
|
(match_test "INTVAL (op) == 4 || INTVAL (op) == 8")))
|
(match_test "INTVAL (op) == 4 || INTVAL (op) == 8")))
|
|
|
;; Return 1 if OP is a valid first operand to an AND insn.
|
;; Return 1 if OP is a valid first operand to an AND insn.
|
(define_predicate "and_operand"
|
(define_predicate "and_operand"
|
(if_then_else (match_code "const_int")
|
(if_then_else (match_code "const_int")
|
(match_test "(unsigned HOST_WIDE_INT) INTVAL (op) < 0x100
|
(match_test "(unsigned HOST_WIDE_INT) INTVAL (op) < 0x100
|
|| (unsigned HOST_WIDE_INT) ~ INTVAL (op) < 0x100
|
|| (unsigned HOST_WIDE_INT) ~ INTVAL (op) < 0x100
|
|| zap_mask (INTVAL (op))")
|
|| zap_mask (INTVAL (op))")
|
(if_then_else (match_code "const_double")
|
(if_then_else (match_code "const_double")
|
(match_test "GET_MODE (op) == VOIDmode
|
(match_test "GET_MODE (op) == VOIDmode
|
&& zap_mask (CONST_DOUBLE_LOW (op))
|
&& zap_mask (CONST_DOUBLE_LOW (op))
|
&& zap_mask (CONST_DOUBLE_HIGH (op))")
|
&& zap_mask (CONST_DOUBLE_HIGH (op))")
|
(match_operand 0 "register_operand"))))
|
(match_operand 0 "register_operand"))))
|
|
|
;; Return 1 if OP is a valid first operand to an IOR or XOR insn.
|
;; Return 1 if OP is a valid first operand to an IOR or XOR insn.
|
(define_predicate "or_operand"
|
(define_predicate "or_operand"
|
(if_then_else (match_code "const_int")
|
(if_then_else (match_code "const_int")
|
(match_test "(unsigned HOST_WIDE_INT) INTVAL (op) < 0x100
|
(match_test "(unsigned HOST_WIDE_INT) INTVAL (op) < 0x100
|
|| (unsigned HOST_WIDE_INT) ~ INTVAL (op) < 0x100")
|
|| (unsigned HOST_WIDE_INT) ~ INTVAL (op) < 0x100")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
;; Return 1 if OP is a constant that is the width, in bits, of an integral
|
;; Return 1 if OP is a constant that is the width, in bits, of an integral
|
;; mode not larger than DImode.
|
;; mode not larger than DImode.
|
(define_predicate "mode_width_operand"
|
(define_predicate "mode_width_operand"
|
(match_code "const_int")
|
(match_code "const_int")
|
{
|
{
|
HOST_WIDE_INT i = INTVAL (op);
|
HOST_WIDE_INT i = INTVAL (op);
|
return i == 8 || i == 16 || i == 32 || i == 64;
|
return i == 8 || i == 16 || i == 32 || i == 64;
|
})
|
})
|
|
|
;; Return 1 if OP is a constant that is a mask of ones of width of an
|
;; Return 1 if OP is a constant that is a mask of ones of width of an
|
;; integral machine mode not larger than DImode.
|
;; integral machine mode not larger than DImode.
|
(define_predicate "mode_mask_operand"
|
(define_predicate "mode_mask_operand"
|
(match_code "const_int,const_double")
|
(match_code "const_int,const_double")
|
{
|
{
|
if (GET_CODE (op) == CONST_INT)
|
if (GET_CODE (op) == CONST_INT)
|
{
|
{
|
HOST_WIDE_INT value = INTVAL (op);
|
HOST_WIDE_INT value = INTVAL (op);
|
|
|
if (value == 0xff)
|
if (value == 0xff)
|
return 1;
|
return 1;
|
if (value == 0xffff)
|
if (value == 0xffff)
|
return 1;
|
return 1;
|
if (value == 0xffffffff)
|
if (value == 0xffffffff)
|
return 1;
|
return 1;
|
if (value == -1)
|
if (value == -1)
|
return 1;
|
return 1;
|
}
|
}
|
else if (HOST_BITS_PER_WIDE_INT == 32 && GET_CODE (op) == CONST_DOUBLE)
|
else if (HOST_BITS_PER_WIDE_INT == 32 && GET_CODE (op) == CONST_DOUBLE)
|
{
|
{
|
if (CONST_DOUBLE_LOW (op) == 0xffffffff && CONST_DOUBLE_HIGH (op) == 0)
|
if (CONST_DOUBLE_LOW (op) == 0xffffffff && CONST_DOUBLE_HIGH (op) == 0)
|
return 1;
|
return 1;
|
}
|
}
|
return 0;
|
return 0;
|
})
|
})
|
|
|
;; Return 1 if OP is a multiple of 8 less than 64.
|
;; Return 1 if OP is a multiple of 8 less than 64.
|
(define_predicate "mul8_operand"
|
(define_predicate "mul8_operand"
|
(match_code "const_int")
|
(match_code "const_int")
|
{
|
{
|
unsigned HOST_WIDE_INT i = INTVAL (op);
|
unsigned HOST_WIDE_INT i = INTVAL (op);
|
return i < 64 && i % 8 == 0;
|
return i < 64 && i % 8 == 0;
|
})
|
})
|
|
|
;; Return 1 if OP is a hard floating-point register.
|
;; Return 1 if OP is a hard floating-point register.
|
(define_predicate "hard_fp_register_operand"
|
(define_predicate "hard_fp_register_operand"
|
(match_operand 0 "register_operand")
|
(match_operand 0 "register_operand")
|
{
|
{
|
if (GET_CODE (op) == SUBREG)
|
if (GET_CODE (op) == SUBREG)
|
op = SUBREG_REG (op);
|
op = SUBREG_REG (op);
|
return REGNO_REG_CLASS (REGNO (op)) == FLOAT_REGS;
|
return REGNO_REG_CLASS (REGNO (op)) == FLOAT_REGS;
|
})
|
})
|
|
|
;; Return 1 if OP is a hard general register.
|
;; Return 1 if OP is a hard general register.
|
(define_predicate "hard_int_register_operand"
|
(define_predicate "hard_int_register_operand"
|
(match_operand 0 "register_operand")
|
(match_operand 0 "register_operand")
|
{
|
{
|
if (GET_CODE (op) == SUBREG)
|
if (GET_CODE (op) == SUBREG)
|
op = SUBREG_REG (op);
|
op = SUBREG_REG (op);
|
return REGNO_REG_CLASS (REGNO (op)) == GENERAL_REGS;
|
return REGNO_REG_CLASS (REGNO (op)) == GENERAL_REGS;
|
})
|
})
|
|
|
;; Return 1 if OP is something that can be reloaded into a register;
|
;; Return 1 if OP is something that can be reloaded into a register;
|
;; if it is a MEM, it need not be valid.
|
;; if it is a MEM, it need not be valid.
|
(define_predicate "some_operand"
|
(define_predicate "some_operand"
|
(ior (match_code "reg,mem,const_int,const_double,const_vector,
|
(ior (match_code "reg,mem,const_int,const_double,const_vector,
|
label_ref,symbol_ref,const,high")
|
label_ref,symbol_ref,const,high")
|
(and (match_code "subreg")
|
(and (match_code "subreg")
|
(match_test "some_operand (SUBREG_REG (op), VOIDmode)"))))
|
(match_test "some_operand (SUBREG_REG (op), VOIDmode)"))))
|
|
|
;; Likewise, but don't accept constants.
|
;; Likewise, but don't accept constants.
|
(define_predicate "some_ni_operand"
|
(define_predicate "some_ni_operand"
|
(ior (match_code "reg,mem")
|
(ior (match_code "reg,mem")
|
(and (match_code "subreg")
|
(and (match_code "subreg")
|
(match_test "some_ni_operand (SUBREG_REG (op), VOIDmode)"))))
|
(match_test "some_ni_operand (SUBREG_REG (op), VOIDmode)"))))
|
|
|
;; Return 1 if OP is a valid operand for the source of a move insn.
|
;; Return 1 if OP is a valid operand for the source of a move insn.
|
(define_predicate "input_operand"
|
(define_predicate "input_operand"
|
(match_code "label_ref,symbol_ref,const,high,reg,subreg,mem,
|
(match_code "label_ref,symbol_ref,const,high,reg,subreg,mem,
|
const_double,const_vector,const_int")
|
const_double,const_vector,const_int")
|
{
|
{
|
switch (GET_CODE (op))
|
switch (GET_CODE (op))
|
{
|
{
|
case LABEL_REF:
|
case LABEL_REF:
|
case SYMBOL_REF:
|
case SYMBOL_REF:
|
case CONST:
|
case CONST:
|
if (TARGET_EXPLICIT_RELOCS)
|
if (TARGET_EXPLICIT_RELOCS)
|
{
|
{
|
/* We don't split symbolic operands into something unintelligable
|
/* We don't split symbolic operands into something unintelligable
|
until after reload, but we do not wish non-small, non-global
|
until after reload, but we do not wish non-small, non-global
|
symbolic operands to be reconstructed from their high/lo_sum
|
symbolic operands to be reconstructed from their high/lo_sum
|
form. */
|
form. */
|
return (small_symbolic_operand (op, mode)
|
return (small_symbolic_operand (op, mode)
|
|| global_symbolic_operand (op, mode)
|
|| global_symbolic_operand (op, mode)
|
|| gotdtp_symbolic_operand (op, mode)
|
|| gotdtp_symbolic_operand (op, mode)
|
|| gottp_symbolic_operand (op, mode));
|
|| gottp_symbolic_operand (op, mode));
|
}
|
}
|
|
|
/* This handles both the Windows/NT and OSF cases. */
|
/* This handles both the Windows/NT and OSF cases. */
|
return mode == ptr_mode || mode == DImode;
|
return mode == ptr_mode || mode == DImode;
|
|
|
case HIGH:
|
case HIGH:
|
return (TARGET_EXPLICIT_RELOCS
|
return (TARGET_EXPLICIT_RELOCS
|
&& local_symbolic_operand (XEXP (op, 0), mode));
|
&& local_symbolic_operand (XEXP (op, 0), mode));
|
|
|
case REG:
|
case REG:
|
return 1;
|
return 1;
|
|
|
case SUBREG:
|
case SUBREG:
|
if (register_operand (op, mode))
|
if (register_operand (op, mode))
|
return 1;
|
return 1;
|
/* ... fall through ... */
|
/* ... fall through ... */
|
case MEM:
|
case MEM:
|
return ((TARGET_BWX || (mode != HImode && mode != QImode))
|
return ((TARGET_BWX || (mode != HImode && mode != QImode))
|
&& general_operand (op, mode));
|
&& general_operand (op, mode));
|
|
|
case CONST_DOUBLE:
|
case CONST_DOUBLE:
|
return op == CONST0_RTX (mode);
|
return op == CONST0_RTX (mode);
|
|
|
case CONST_VECTOR:
|
case CONST_VECTOR:
|
if (reload_in_progress || reload_completed)
|
if (reload_in_progress || reload_completed)
|
return alpha_legitimate_constant_p (op);
|
return alpha_legitimate_constant_p (op);
|
return op == CONST0_RTX (mode);
|
return op == CONST0_RTX (mode);
|
|
|
case CONST_INT:
|
case CONST_INT:
|
if (mode == QImode || mode == HImode)
|
if (mode == QImode || mode == HImode)
|
return true;
|
return true;
|
if (reload_in_progress || reload_completed)
|
if (reload_in_progress || reload_completed)
|
return alpha_legitimate_constant_p (op);
|
return alpha_legitimate_constant_p (op);
|
return add_operand (op, mode);
|
return add_operand (op, mode);
|
|
|
default:
|
default:
|
gcc_unreachable ();
|
gcc_unreachable ();
|
}
|
}
|
return 0;
|
return 0;
|
})
|
})
|
|
|
;; Return 1 if OP is a SYMBOL_REF for a function known to be in this
|
;; Return 1 if OP is a SYMBOL_REF for a function known to be in this
|
;; file, and in the same section as the current function.
|
;; file, and in the same section as the current function.
|
|
|
(define_predicate "samegp_function_operand"
|
(define_predicate "samegp_function_operand"
|
(match_code "symbol_ref")
|
(match_code "symbol_ref")
|
{
|
{
|
/* Easy test for recursion. */
|
/* Easy test for recursion. */
|
if (op == XEXP (DECL_RTL (current_function_decl), 0))
|
if (op == XEXP (DECL_RTL (current_function_decl), 0))
|
return true;
|
return true;
|
|
|
/* Functions that are not local can be overridden, and thus may
|
/* Functions that are not local can be overridden, and thus may
|
not share the same gp. */
|
not share the same gp. */
|
if (! SYMBOL_REF_LOCAL_P (op))
|
if (! SYMBOL_REF_LOCAL_P (op))
|
return false;
|
return false;
|
|
|
/* If -msmall-data is in effect, assume that there is only one GP
|
/* If -msmall-data is in effect, assume that there is only one GP
|
for the module, and so any local symbol has this property. We
|
for the module, and so any local symbol has this property. We
|
need explicit relocations to be able to enforce this for symbols
|
need explicit relocations to be able to enforce this for symbols
|
not defined in this unit of translation, however. */
|
not defined in this unit of translation, however. */
|
if (TARGET_EXPLICIT_RELOCS && TARGET_SMALL_DATA)
|
if (TARGET_EXPLICIT_RELOCS && TARGET_SMALL_DATA)
|
return true;
|
return true;
|
|
|
/* Functions that are not external are defined in this UoT,
|
/* Functions that are not external are defined in this UoT,
|
and thus must share the same gp. */
|
and thus must share the same gp. */
|
return ! SYMBOL_REF_EXTERNAL_P (op);
|
return ! SYMBOL_REF_EXTERNAL_P (op);
|
})
|
})
|
|
|
;; Return 1 if OP is a SYMBOL_REF for which we can make a call via bsr.
|
;; Return 1 if OP is a SYMBOL_REF for which we can make a call via bsr.
|
(define_predicate "direct_call_operand"
|
(define_predicate "direct_call_operand"
|
(match_operand 0 "samegp_function_operand")
|
(match_operand 0 "samegp_function_operand")
|
{
|
{
|
tree op_decl, cfun_sec, op_sec;
|
tree op_decl, cfun_sec, op_sec;
|
|
|
/* If profiling is implemented via linker tricks, we can't jump
|
/* If profiling is implemented via linker tricks, we can't jump
|
to the nogp alternate entry point. Note that current_function_profile
|
to the nogp alternate entry point. Note that current_function_profile
|
would not be correct, since that doesn't indicate if the target
|
would not be correct, since that doesn't indicate if the target
|
function uses profiling. */
|
function uses profiling. */
|
/* ??? TARGET_PROFILING_NEEDS_GP isn't really the right test,
|
/* ??? TARGET_PROFILING_NEEDS_GP isn't really the right test,
|
but is approximately correct for the OSF ABIs. Don't know
|
but is approximately correct for the OSF ABIs. Don't know
|
what to do for VMS, NT, or UMK. */
|
what to do for VMS, NT, or UMK. */
|
if (!TARGET_PROFILING_NEEDS_GP && profile_flag)
|
if (!TARGET_PROFILING_NEEDS_GP && profile_flag)
|
return false;
|
return false;
|
|
|
/* Must be a function. In some cases folks create thunks in static
|
/* Must be a function. In some cases folks create thunks in static
|
data structures and then make calls to them. If we allow the
|
data structures and then make calls to them. If we allow the
|
direct call, we'll get an error from the linker about !samegp reloc
|
direct call, we'll get an error from the linker about !samegp reloc
|
against a symbol without a .prologue directive. */
|
against a symbol without a .prologue directive. */
|
if (!SYMBOL_REF_FUNCTION_P (op))
|
if (!SYMBOL_REF_FUNCTION_P (op))
|
return false;
|
return false;
|
|
|
/* Must be "near" so that the branch is assumed to reach. With
|
/* Must be "near" so that the branch is assumed to reach. With
|
-msmall-text, this is assumed true of all local symbols. Since
|
-msmall-text, this is assumed true of all local symbols. Since
|
we've already checked samegp, locality is already assured. */
|
we've already checked samegp, locality is already assured. */
|
if (TARGET_SMALL_TEXT)
|
if (TARGET_SMALL_TEXT)
|
return true;
|
return true;
|
|
|
/* Otherwise, a decl is "near" if it is defined in the same section. */
|
/* Otherwise, a decl is "near" if it is defined in the same section. */
|
if (flag_function_sections)
|
if (flag_function_sections)
|
return false;
|
return false;
|
|
|
op_decl = SYMBOL_REF_DECL (op);
|
op_decl = SYMBOL_REF_DECL (op);
|
if (DECL_ONE_ONLY (current_function_decl)
|
if (DECL_ONE_ONLY (current_function_decl)
|
|| (op_decl && DECL_ONE_ONLY (op_decl)))
|
|| (op_decl && DECL_ONE_ONLY (op_decl)))
|
return false;
|
return false;
|
|
|
cfun_sec = DECL_SECTION_NAME (current_function_decl);
|
cfun_sec = DECL_SECTION_NAME (current_function_decl);
|
op_sec = op_decl ? DECL_SECTION_NAME (op_decl) : NULL;
|
op_sec = op_decl ? DECL_SECTION_NAME (op_decl) : NULL;
|
return ((!cfun_sec && !op_sec)
|
return ((!cfun_sec && !op_sec)
|
|| (cfun_sec && op_sec
|
|| (cfun_sec && op_sec
|
&& strcmp (TREE_STRING_POINTER (cfun_sec),
|
&& strcmp (TREE_STRING_POINTER (cfun_sec),
|
TREE_STRING_POINTER (op_sec)) == 0));
|
TREE_STRING_POINTER (op_sec)) == 0));
|
})
|
})
|
|
|
;; Return 1 if OP is a valid operand for the MEM of a CALL insn.
|
;; Return 1 if OP is a valid operand for the MEM of a CALL insn.
|
;;
|
;;
|
;; For TARGET_ABI_OSF, we want to restrict to R27 or a pseudo.
|
;; For TARGET_ABI_OSF, we want to restrict to R27 or a pseudo.
|
;; For TARGET_ABI_UNICOSMK, we want to restrict to registers.
|
;; For TARGET_ABI_UNICOSMK, we want to restrict to registers.
|
|
|
(define_predicate "call_operand"
|
(define_predicate "call_operand"
|
(if_then_else (match_code "reg")
|
(if_then_else (match_code "reg")
|
(match_test "!TARGET_ABI_OSF
|
(match_test "!TARGET_ABI_OSF
|
|| REGNO (op) == 27 || REGNO (op) > LAST_VIRTUAL_REGISTER")
|
|| REGNO (op) == 27 || REGNO (op) > LAST_VIRTUAL_REGISTER")
|
(and (match_test "!TARGET_ABI_UNICOSMK")
|
(and (match_test "!TARGET_ABI_UNICOSMK")
|
(match_code "symbol_ref"))))
|
(match_code "symbol_ref"))))
|
|
|
;; Return true if OP is a LABEL_REF, or SYMBOL_REF or CONST referencing
|
;; Return true if OP is a LABEL_REF, or SYMBOL_REF or CONST referencing
|
;; a (non-tls) variable known to be defined in this file.
|
;; a (non-tls) variable known to be defined in this file.
|
(define_predicate "local_symbolic_operand"
|
(define_predicate "local_symbolic_operand"
|
(match_code "label_ref,const,symbol_ref")
|
(match_code "label_ref,const,symbol_ref")
|
{
|
{
|
if (GET_CODE (op) == LABEL_REF)
|
if (GET_CODE (op) == LABEL_REF)
|
return 1;
|
return 1;
|
|
|
if (GET_CODE (op) == CONST
|
if (GET_CODE (op) == CONST
|
&& GET_CODE (XEXP (op, 0)) == PLUS
|
&& GET_CODE (XEXP (op, 0)) == PLUS
|
&& GET_CODE (XEXP (XEXP (op, 0), 1)) == CONST_INT)
|
&& GET_CODE (XEXP (XEXP (op, 0), 1)) == CONST_INT)
|
op = XEXP (XEXP (op, 0), 0);
|
op = XEXP (XEXP (op, 0), 0);
|
|
|
if (GET_CODE (op) != SYMBOL_REF)
|
if (GET_CODE (op) != SYMBOL_REF)
|
return 0;
|
return 0;
|
|
|
return (SYMBOL_REF_LOCAL_P (op)
|
return (SYMBOL_REF_LOCAL_P (op)
|
&& !SYMBOL_REF_WEAK (op)
|
&& !SYMBOL_REF_WEAK (op)
|
&& !SYMBOL_REF_TLS_MODEL (op));
|
&& !SYMBOL_REF_TLS_MODEL (op));
|
})
|
})
|
|
|
;; Return true if OP is a SYMBOL_REF or CONST referencing a variable
|
;; Return true if OP is a SYMBOL_REF or CONST referencing a variable
|
;; known to be defined in this file in the small data area.
|
;; known to be defined in this file in the small data area.
|
(define_predicate "small_symbolic_operand"
|
(define_predicate "small_symbolic_operand"
|
(match_code "const,symbol_ref")
|
(match_code "const,symbol_ref")
|
{
|
{
|
if (! TARGET_SMALL_DATA)
|
if (! TARGET_SMALL_DATA)
|
return 0;
|
return 0;
|
|
|
if (GET_CODE (op) == CONST
|
if (GET_CODE (op) == CONST
|
&& GET_CODE (XEXP (op, 0)) == PLUS
|
&& GET_CODE (XEXP (op, 0)) == PLUS
|
&& GET_CODE (XEXP (XEXP (op, 0), 1)) == CONST_INT)
|
&& GET_CODE (XEXP (XEXP (op, 0), 1)) == CONST_INT)
|
op = XEXP (XEXP (op, 0), 0);
|
op = XEXP (XEXP (op, 0), 0);
|
|
|
if (GET_CODE (op) != SYMBOL_REF)
|
if (GET_CODE (op) != SYMBOL_REF)
|
return 0;
|
return 0;
|
|
|
/* ??? There's no encode_section_info equivalent for the rtl
|
/* ??? There's no encode_section_info equivalent for the rtl
|
constant pool, so SYMBOL_FLAG_SMALL never gets set. */
|
constant pool, so SYMBOL_FLAG_SMALL never gets set. */
|
if (CONSTANT_POOL_ADDRESS_P (op))
|
if (CONSTANT_POOL_ADDRESS_P (op))
|
return GET_MODE_SIZE (get_pool_mode (op)) <= g_switch_value;
|
return GET_MODE_SIZE (get_pool_mode (op)) <= g_switch_value;
|
|
|
return (SYMBOL_REF_LOCAL_P (op)
|
return (SYMBOL_REF_LOCAL_P (op)
|
&& SYMBOL_REF_SMALL_P (op)
|
&& SYMBOL_REF_SMALL_P (op)
|
&& !SYMBOL_REF_WEAK (op)
|
&& !SYMBOL_REF_WEAK (op)
|
&& !SYMBOL_REF_TLS_MODEL (op));
|
&& !SYMBOL_REF_TLS_MODEL (op));
|
})
|
})
|
|
|
;; Return true if OP is a SYMBOL_REF or CONST referencing a variable
|
;; Return true if OP is a SYMBOL_REF or CONST referencing a variable
|
;; not known (or known not) to be defined in this file.
|
;; not known (or known not) to be defined in this file.
|
(define_predicate "global_symbolic_operand"
|
(define_predicate "global_symbolic_operand"
|
(match_code "const,symbol_ref")
|
(match_code "const,symbol_ref")
|
{
|
{
|
if (GET_CODE (op) == CONST
|
if (GET_CODE (op) == CONST
|
&& GET_CODE (XEXP (op, 0)) == PLUS
|
&& GET_CODE (XEXP (op, 0)) == PLUS
|
&& GET_CODE (XEXP (XEXP (op, 0), 1)) == CONST_INT)
|
&& GET_CODE (XEXP (XEXP (op, 0), 1)) == CONST_INT)
|
op = XEXP (XEXP (op, 0), 0);
|
op = XEXP (XEXP (op, 0), 0);
|
|
|
if (GET_CODE (op) != SYMBOL_REF)
|
if (GET_CODE (op) != SYMBOL_REF)
|
return 0;
|
return 0;
|
|
|
return ((!SYMBOL_REF_LOCAL_P (op) || SYMBOL_REF_WEAK (op))
|
return ((!SYMBOL_REF_LOCAL_P (op) || SYMBOL_REF_WEAK (op))
|
&& !SYMBOL_REF_TLS_MODEL (op));
|
&& !SYMBOL_REF_TLS_MODEL (op));
|
})
|
})
|
|
|
;; Returns 1 if OP is a symbolic operand, i.e. a symbol_ref or a label_ref,
|
;; Returns 1 if OP is a symbolic operand, i.e. a symbol_ref or a label_ref,
|
;; possibly with an offset.
|
;; possibly with an offset.
|
(define_predicate "symbolic_operand"
|
(define_predicate "symbolic_operand"
|
(ior (match_code "symbol_ref,label_ref")
|
(ior (match_code "symbol_ref,label_ref")
|
(and (match_code "const")
|
(and (match_code "const")
|
(match_test "GET_CODE (XEXP (op,0)) == PLUS
|
(match_test "GET_CODE (XEXP (op,0)) == PLUS
|
&& GET_CODE (XEXP (XEXP (op,0), 0)) == SYMBOL_REF
|
&& GET_CODE (XEXP (XEXP (op,0), 0)) == SYMBOL_REF
|
&& GET_CODE (XEXP (XEXP (op,0), 1)) == CONST_INT"))))
|
&& GET_CODE (XEXP (XEXP (op,0), 1)) == CONST_INT"))))
|
|
|
;; Return true if OP is valid for 16-bit DTP relative relocations.
|
;; Return true if OP is valid for 16-bit DTP relative relocations.
|
(define_predicate "dtp16_symbolic_operand"
|
(define_predicate "dtp16_symbolic_operand"
|
(and (match_code "const")
|
(and (match_code "const")
|
(match_test "tls_symbolic_operand_1 (op, 16, UNSPEC_DTPREL)")))
|
(match_test "tls_symbolic_operand_1 (op, 16, UNSPEC_DTPREL)")))
|
|
|
;; Return true if OP is valid for 32-bit DTP relative relocations.
|
;; Return true if OP is valid for 32-bit DTP relative relocations.
|
(define_predicate "dtp32_symbolic_operand"
|
(define_predicate "dtp32_symbolic_operand"
|
(and (match_code "const")
|
(and (match_code "const")
|
(match_test "tls_symbolic_operand_1 (op, 32, UNSPEC_DTPREL)")))
|
(match_test "tls_symbolic_operand_1 (op, 32, UNSPEC_DTPREL)")))
|
|
|
;; Return true if OP is valid for 64-bit DTP relative relocations.
|
;; Return true if OP is valid for 64-bit DTP relative relocations.
|
(define_predicate "gotdtp_symbolic_operand"
|
(define_predicate "gotdtp_symbolic_operand"
|
(and (match_code "const")
|
(and (match_code "const")
|
(match_test "tls_symbolic_operand_1 (op, 64, UNSPEC_DTPREL)")))
|
(match_test "tls_symbolic_operand_1 (op, 64, UNSPEC_DTPREL)")))
|
|
|
;; Return true if OP is valid for 16-bit TP relative relocations.
|
;; Return true if OP is valid for 16-bit TP relative relocations.
|
(define_predicate "tp16_symbolic_operand"
|
(define_predicate "tp16_symbolic_operand"
|
(and (match_code "const")
|
(and (match_code "const")
|
(match_test "tls_symbolic_operand_1 (op, 16, UNSPEC_TPREL)")))
|
(match_test "tls_symbolic_operand_1 (op, 16, UNSPEC_TPREL)")))
|
|
|
;; Return true if OP is valid for 32-bit TP relative relocations.
|
;; Return true if OP is valid for 32-bit TP relative relocations.
|
(define_predicate "tp32_symbolic_operand"
|
(define_predicate "tp32_symbolic_operand"
|
(and (match_code "const")
|
(and (match_code "const")
|
(match_test "tls_symbolic_operand_1 (op, 32, UNSPEC_TPREL)")))
|
(match_test "tls_symbolic_operand_1 (op, 32, UNSPEC_TPREL)")))
|
|
|
;; Return true if OP is valid for 64-bit TP relative relocations.
|
;; Return true if OP is valid for 64-bit TP relative relocations.
|
(define_predicate "gottp_symbolic_operand"
|
(define_predicate "gottp_symbolic_operand"
|
(and (match_code "const")
|
(and (match_code "const")
|
(match_test "tls_symbolic_operand_1 (op, 64, UNSPEC_TPREL)")))
|
(match_test "tls_symbolic_operand_1 (op, 64, UNSPEC_TPREL)")))
|
|
|
;; Return 1 if this memory address is a known aligned register plus
|
;; Return 1 if this memory address is a known aligned register plus
|
;; a constant. It must be a valid address. This means that we can do
|
;; a constant. It must be a valid address. This means that we can do
|
;; this as an aligned reference plus some offset.
|
;; this as an aligned reference plus some offset.
|
;;
|
;;
|
;; Take into account what reload will do. Oh god this is awful.
|
;; Take into account what reload will do. Oh god this is awful.
|
;; The horrible comma-operator construct below is to prevent genrecog
|
;; The horrible comma-operator construct below is to prevent genrecog
|
;; from thinking that this predicate accepts REG and SUBREG. We don't
|
;; from thinking that this predicate accepts REG and SUBREG. We don't
|
;; use recog during reload, so pretending these codes are accepted
|
;; use recog during reload, so pretending these codes are accepted
|
;; pessimizes things a tad.
|
;; pessimizes things a tad.
|
|
|
(define_predicate "aligned_memory_operand"
|
(define_predicate "aligned_memory_operand"
|
(ior (match_test "op = resolve_reload_operand (op), 0")
|
(ior (match_test "op = resolve_reload_operand (op), 0")
|
(match_code "mem"))
|
(match_code "mem"))
|
{
|
{
|
rtx base;
|
rtx base;
|
|
|
if (MEM_ALIGN (op) >= 32)
|
if (MEM_ALIGN (op) >= 32)
|
return 1;
|
return 1;
|
op = XEXP (op, 0);
|
op = XEXP (op, 0);
|
|
|
/* LEGITIMIZE_RELOAD_ADDRESS creates (plus (plus reg const_hi) const_lo)
|
/* LEGITIMIZE_RELOAD_ADDRESS creates (plus (plus reg const_hi) const_lo)
|
sorts of constructs. Dig for the real base register. */
|
sorts of constructs. Dig for the real base register. */
|
if (reload_in_progress
|
if (reload_in_progress
|
&& GET_CODE (op) == PLUS
|
&& GET_CODE (op) == PLUS
|
&& GET_CODE (XEXP (op, 0)) == PLUS)
|
&& GET_CODE (XEXP (op, 0)) == PLUS)
|
base = XEXP (XEXP (op, 0), 0);
|
base = XEXP (XEXP (op, 0), 0);
|
else
|
else
|
{
|
{
|
if (! memory_address_p (mode, op))
|
if (! memory_address_p (mode, op))
|
return 0;
|
return 0;
|
base = (GET_CODE (op) == PLUS ? XEXP (op, 0) : op);
|
base = (GET_CODE (op) == PLUS ? XEXP (op, 0) : op);
|
}
|
}
|
|
|
return (GET_CODE (base) == REG && REGNO_POINTER_ALIGN (REGNO (base)) >= 32);
|
return (GET_CODE (base) == REG && REGNO_POINTER_ALIGN (REGNO (base)) >= 32);
|
})
|
})
|
|
|
;; Similar, but return 1 if OP is a MEM which is not alignable.
|
;; Similar, but return 1 if OP is a MEM which is not alignable.
|
|
|
(define_predicate "unaligned_memory_operand"
|
(define_predicate "unaligned_memory_operand"
|
(ior (match_test "op = resolve_reload_operand (op), 0")
|
(ior (match_test "op = resolve_reload_operand (op), 0")
|
(match_code "mem"))
|
(match_code "mem"))
|
{
|
{
|
rtx base;
|
rtx base;
|
|
|
if (MEM_ALIGN (op) >= 32)
|
if (MEM_ALIGN (op) >= 32)
|
return 0;
|
return 0;
|
op = XEXP (op, 0);
|
op = XEXP (op, 0);
|
|
|
/* LEGITIMIZE_RELOAD_ADDRESS creates (plus (plus reg const_hi) const_lo)
|
/* LEGITIMIZE_RELOAD_ADDRESS creates (plus (plus reg const_hi) const_lo)
|
sorts of constructs. Dig for the real base register. */
|
sorts of constructs. Dig for the real base register. */
|
if (reload_in_progress
|
if (reload_in_progress
|
&& GET_CODE (op) == PLUS
|
&& GET_CODE (op) == PLUS
|
&& GET_CODE (XEXP (op, 0)) == PLUS)
|
&& GET_CODE (XEXP (op, 0)) == PLUS)
|
base = XEXP (XEXP (op, 0), 0);
|
base = XEXP (XEXP (op, 0), 0);
|
else
|
else
|
{
|
{
|
if (! memory_address_p (mode, op))
|
if (! memory_address_p (mode, op))
|
return 0;
|
return 0;
|
base = (GET_CODE (op) == PLUS ? XEXP (op, 0) : op);
|
base = (GET_CODE (op) == PLUS ? XEXP (op, 0) : op);
|
}
|
}
|
|
|
return (GET_CODE (base) == REG && REGNO_POINTER_ALIGN (REGNO (base)) < 32);
|
return (GET_CODE (base) == REG && REGNO_POINTER_ALIGN (REGNO (base)) < 32);
|
})
|
})
|
|
|
;; Return 1 if OP is any memory location. During reload a pseudo matches.
|
;; Return 1 if OP is any memory location. During reload a pseudo matches.
|
(define_predicate "any_memory_operand"
|
(define_predicate "any_memory_operand"
|
(ior (match_code "mem,reg")
|
(ior (match_code "mem,reg")
|
(and (match_code "subreg")
|
(and (match_code "subreg")
|
(match_test "GET_CODE (SUBREG_REG (op)) == REG"))))
|
(match_test "GET_CODE (SUBREG_REG (op)) == REG"))))
|
|
|
;; Return 1 if OP is either a register or an unaligned memory location.
|
;; Return 1 if OP is either a register or an unaligned memory location.
|
(define_predicate "reg_or_unaligned_mem_operand"
|
(define_predicate "reg_or_unaligned_mem_operand"
|
(ior (match_operand 0 "register_operand")
|
(ior (match_operand 0 "register_operand")
|
(match_operand 0 "unaligned_memory_operand")))
|
(match_operand 0 "unaligned_memory_operand")))
|
|
|
;; Return 1 is OP is a memory location that is not a reference
|
;; Return 1 is OP is a memory location that is not a reference
|
;; (using an AND) to an unaligned location. Take into account
|
;; (using an AND) to an unaligned location. Take into account
|
;; what reload will do.
|
;; what reload will do.
|
(define_predicate "normal_memory_operand"
|
(define_predicate "normal_memory_operand"
|
(ior (match_test "op = resolve_reload_operand (op), 0")
|
(ior (match_test "op = resolve_reload_operand (op), 0")
|
(and (match_code "mem")
|
(and (match_code "mem")
|
(match_test "GET_CODE (XEXP (op, 0)) != AND"))))
|
(match_test "GET_CODE (XEXP (op, 0)) != AND"))))
|
|
|
;; Returns 1 if OP is not an eliminable register.
|
;; Returns 1 if OP is not an eliminable register.
|
;;
|
;;
|
;; This exists to cure a pathological failure in the s8addq (et al) patterns,
|
;; This exists to cure a pathological failure in the s8addq (et al) patterns,
|
;;
|
;;
|
;; long foo () { long t; bar(); return (long) &t * 26107; }
|
;; long foo () { long t; bar(); return (long) &t * 26107; }
|
;;
|
;;
|
;; which run afoul of a hack in reload to cure a (presumably) similar
|
;; which run afoul of a hack in reload to cure a (presumably) similar
|
;; problem with lea-type instructions on other targets. But there is
|
;; problem with lea-type instructions on other targets. But there is
|
;; one of us and many of them, so work around the problem by selectively
|
;; one of us and many of them, so work around the problem by selectively
|
;; preventing combine from making the optimization.
|
;; preventing combine from making the optimization.
|
|
|
(define_predicate "reg_not_elim_operand"
|
(define_predicate "reg_not_elim_operand"
|
(match_operand 0 "register_operand")
|
(match_operand 0 "register_operand")
|
{
|
{
|
if (GET_CODE (op) == SUBREG)
|
if (GET_CODE (op) == SUBREG)
|
op = SUBREG_REG (op);
|
op = SUBREG_REG (op);
|
return op != frame_pointer_rtx && op != arg_pointer_rtx;
|
return op != frame_pointer_rtx && op != arg_pointer_rtx;
|
})
|
})
|
|
|
;; Accept a register, but not a subreg of any kind. This allows us to
|
;; Accept a register, but not a subreg of any kind. This allows us to
|
;; avoid pathological cases in reload wrt data movement common in
|
;; avoid pathological cases in reload wrt data movement common in
|
;; int->fp conversion. */
|
;; int->fp conversion. */
|
(define_predicate "reg_no_subreg_operand"
|
(define_predicate "reg_no_subreg_operand"
|
(and (match_code "reg")
|
(and (match_code "reg")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
;; Return 1 if OP is a valid Alpha comparison operator for "cmp" style
|
;; Return 1 if OP is a valid Alpha comparison operator for "cmp" style
|
;; instructions.
|
;; instructions.
|
(define_predicate "alpha_comparison_operator"
|
(define_predicate "alpha_comparison_operator"
|
(match_code "eq,le,lt,leu,ltu"))
|
(match_code "eq,le,lt,leu,ltu"))
|
|
|
;; Similarly, but with swapped operands.
|
;; Similarly, but with swapped operands.
|
(define_predicate "alpha_swapped_comparison_operator"
|
(define_predicate "alpha_swapped_comparison_operator"
|
(match_code "eq,ge,gt,gtu"))
|
(match_code "eq,ge,gt,gtu"))
|
|
|
;; Return 1 if OP is a valid Alpha comparison operator against zero
|
;; Return 1 if OP is a valid Alpha comparison operator against zero
|
;; for "bcc" style instructions.
|
;; for "bcc" style instructions.
|
(define_predicate "alpha_zero_comparison_operator"
|
(define_predicate "alpha_zero_comparison_operator"
|
(match_code "eq,ne,le,lt,leu,ltu"))
|
(match_code "eq,ne,le,lt,leu,ltu"))
|
|
|
;; Return 1 if OP is a signed comparison operation.
|
;; Return 1 if OP is a signed comparison operation.
|
(define_predicate "signed_comparison_operator"
|
(define_predicate "signed_comparison_operator"
|
(match_code "eq,ne,le,lt,ge,gt"))
|
(match_code "eq,ne,le,lt,ge,gt"))
|
|
|
;; Return 1 if OP is a valid Alpha floating point comparison operator.
|
;; Return 1 if OP is a valid Alpha floating point comparison operator.
|
(define_predicate "alpha_fp_comparison_operator"
|
(define_predicate "alpha_fp_comparison_operator"
|
(match_code "eq,le,lt,unordered"))
|
(match_code "eq,le,lt,unordered"))
|
|
|
;; Return 1 if this is a divide or modulus operator.
|
;; Return 1 if this is a divide or modulus operator.
|
(define_predicate "divmod_operator"
|
(define_predicate "divmod_operator"
|
(match_code "div,mod,udiv,umod"))
|
(match_code "div,mod,udiv,umod"))
|
|
|
;; Return 1 if this is a float->int conversion operator.
|
;; Return 1 if this is a float->int conversion operator.
|
(define_predicate "fix_operator"
|
(define_predicate "fix_operator"
|
(match_code "fix,unsigned_fix"))
|
(match_code "fix,unsigned_fix"))
|
|
|
;; Recognize an addition operation that includes a constant. Used to
|
;; Recognize an addition operation that includes a constant. Used to
|
;; convince reload to canonize (plus (plus reg c1) c2) during register
|
;; convince reload to canonize (plus (plus reg c1) c2) during register
|
;; elimination.
|
;; elimination.
|
|
|
(define_predicate "addition_operation"
|
(define_predicate "addition_operation"
|
(and (match_code "plus")
|
(and (match_code "plus")
|
(match_test "register_operand (XEXP (op, 0), mode)
|
(match_test "register_operand (XEXP (op, 0), mode)
|
&& GET_CODE (XEXP (op, 1)) == CONST_INT
|
&& GET_CODE (XEXP (op, 1)) == CONST_INT
|
&& CONST_OK_FOR_LETTER_P (INTVAL (XEXP (op, 1)), 'K')")))
|
&& CONST_OK_FOR_LETTER_P (INTVAL (XEXP (op, 1)), 'K')")))
|
|
|
;; For TARGET_EXPLICIT_RELOCS, we don't obfuscate a SYMBOL_REF to a
|
;; For TARGET_EXPLICIT_RELOCS, we don't obfuscate a SYMBOL_REF to a
|
;; small symbolic operand until after reload. At which point we need
|
;; small symbolic operand until after reload. At which point we need
|
;; to replace (mem (symbol_ref)) with (mem (lo_sum $29 symbol_ref))
|
;; to replace (mem (symbol_ref)) with (mem (lo_sum $29 symbol_ref))
|
;; so that sched2 has the proper dependency information. */
|
;; so that sched2 has the proper dependency information. */
|
(define_predicate "some_small_symbolic_operand"
|
(define_predicate "some_small_symbolic_operand"
|
(match_code "set,parallel,prefetch,unspec,unspec_volatile")
|
(match_code "set,parallel,prefetch,unspec,unspec_volatile")
|
{
|
{
|
/* Avoid search unless necessary. */
|
/* Avoid search unless necessary. */
|
if (!TARGET_EXPLICIT_RELOCS || !reload_completed)
|
if (!TARGET_EXPLICIT_RELOCS || !reload_completed)
|
return false;
|
return false;
|
return for_each_rtx (&op, some_small_symbolic_operand_int, NULL);
|
return for_each_rtx (&op, some_small_symbolic_operand_int, NULL);
|
})
|
})
|
|
|