/* Declarations of static functions. */
static bool decl_in_text_section
PARAMS ((tree));
+static int some_small_symbolic_mem_operand_1
+ PARAMS ((rtx *, void *));
+static int split_small_symbolic_mem_operand_1
+ PARAMS ((rtx *, void *));
static bool local_symbol_p
PARAMS ((rtx));
static void alpha_set_memflags_1
rtx x;
enum machine_mode mode ATTRIBUTE_UNUSED;
{
- /* Get rid of SIGN_EXTEND, etc. */
- while (GET_RTX_CLASS (GET_CODE (x)) == '1')
- x = XEXP (x, 0);
+ return for_each_rtx (&x, some_small_symbolic_mem_operand_1, NULL);
+}
+
+static int
+some_small_symbolic_mem_operand_1 (px, data)
+ rtx *px;
+ void *data ATTRIBUTE_UNUSED;
+{
+ rtx x = *px;
if (GET_CODE (x) != MEM)
return 0;
-
x = XEXP (x, 0);
+
/* If this is an ldq_u type address, discard the outer AND. */
- if (GET_CODE (x) == AND && GET_MODE (x) == DImode
- && GET_CODE (XEXP (x, 1)) == CONST_INT
- && INTVAL (XEXP (x, 1)) == -8)
+ if (GET_CODE (x) == AND)
x = XEXP (x, 0);
- return small_symbolic_operand (x, Pmode);
+
+ return small_symbolic_operand (x, Pmode) ? 1 : -1;
}
rtx
split_small_symbolic_mem_operand (x)
rtx x;
{
- rtx *p;
+ x = copy_rtx (x);
+ for_each_rtx (&x, split_small_symbolic_mem_operand_1, NULL);
+ return x;
+}
- if (GET_CODE (x) == MEM)
- {
- rtx tmp = XEXP (x, 0);
+static int
+split_small_symbolic_mem_operand_1 (px, data)
+ rtx *px;
+ void *data ATTRIBUTE_UNUSED;
+{
+ rtx x = *px;
- if (GET_CODE (tmp) == AND && GET_MODE (tmp) == DImode
- && GET_CODE (XEXP (tmp, 1)) == CONST_INT
- && INTVAL (XEXP (tmp, 1)) == -8)
- {
- tmp = gen_rtx_LO_SUM (DImode, pic_offset_table_rtx, XEXP (tmp, 0));
- tmp = gen_rtx_AND (DImode, tmp, GEN_INT (-8));
- }
- else
- tmp = gen_rtx_LO_SUM (DImode, pic_offset_table_rtx, tmp);
- return replace_equiv_address (x, tmp);
- }
+ if (GET_CODE (x) != MEM)
+ return 0;
- x = copy_rtx (x);
- p = &x;
- while (GET_RTX_CLASS (GET_CODE (*p)) == '1')
- p = &XEXP (*p, 0);
+ px = &XEXP (x, 0), x = *px;
+ if (GET_CODE (x) == AND)
+ px = &XEXP (x, 0), x = *px;
- *p = split_small_symbolic_mem_operand (*p);
- return x;
+ if (small_symbolic_operand (x, Pmode))
+ {
+ x = gen_rtx_LO_SUM (Pmode, pic_offset_table_rtx, x);
+ *px = x;
+ }
+
+ return -1;
}
/* Try a machine-dependent way of reloading an illegitimate address
{"reg_no_subreg_operand", {REG}}, \
{"addition_operation", {PLUS}}, \
{"symbolic_operand", {SYMBOL_REF, LABEL_REF, CONST}}, \
- {"some_small_symbolic_mem_operand", {MEM, SIGN_EXTEND, ZERO_EXTEND, \
- FLOAT_EXTEND}},
+ {"some_small_symbolic_mem_operand", {SET, PARALLEL}},
\f
/* Define the `__builtin_va_list' type for the ABI. */
#define BUILD_VA_LIST_TYPE(VALIST) \
"operands[2] = pic_offset_table_rtx;")
(define_split
- [(set (match_operand 0 "some_small_symbolic_mem_operand" "")
- (match_operand 1 "" ""))]
+ [(match_operand 0 "some_small_symbolic_mem_operand" "")]
"TARGET_EXPLICIT_RELOCS && reload_completed"
- [(set (match_dup 0) (match_dup 1))]
+ [(match_dup 0)]
"operands[0] = split_small_symbolic_mem_operand (operands[0]);")
-(define_split
- [(set (match_operand 0 "" "")
- (match_operand 1 "some_small_symbolic_mem_operand" ""))]
- "TARGET_EXPLICIT_RELOCS && reload_completed"
- [(set (match_dup 0) (match_dup 1))]
- "operands[1] = split_small_symbolic_mem_operand (operands[1]);")
-
(define_insn "movdi_er_high_g"
[(set (match_operand:DI 0 "register_operand" "=r")
(unspec:DI [(match_operand:DI 1 "register_operand" "r")