(call, call_value): Force address into a register if not valid
for a call instruction.
(load_immed_address): Emit a USE of the SYMBOL_REF that is
forced into memory.
* config/c4x/c4x.c (c4x_print_operand): Fix 'C' and 'U' modifiers.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@25090
138bc75d-0d04-0410-961f-
82ee72b054a4
+Tue Feb 9 11:34:15 1999 Michael Hayes <m.hayes@elec.canterbury.ac.nz>
+
+ * config/c4x/c4x.md (all call patterns): Add constraints "Ur".
+ (call, call_value): Force address into a register if not valid
+ for a call instruction.
+ (load_immed_address): Emit a USE of the SYMBOL_REF that is
+ forced into memory.
+ * config/c4x/c4x.c (c4x_print_operand): Fix 'C' and 'U' modifiers.
+
Tue Feb 9 11:08:41 1999 Michael Hayes <m.hayes@elec.canterbury.ac.nz>
* config/c4x/c4x.c (call_address_operand, symbolic_address_operand):
Tue Feb 9 11:08:41 1999 Michael Hayes <m.hayes@elec.canterbury.ac.nz>
* config/c4x/c4x.c (call_address_operand, symbolic_address_operand):
return;
case 'C': /* call */
return;
case 'C': /* call */
- if (code != MEM)
- fatal_insn ("c4x_print_operand: %%C inconsistency", op);
- op = XEXP (op, 0);
- code = GET_CODE (op);
break;
case 'U': /* call/callu */
break;
case 'U': /* call/callu */
- if (code != MEM)
- fatal_insn ("c4x_print_operand: %%U inconsistency", op);
- if (GET_CODE (XEXP (op, 0)) != SYMBOL_REF)
+ if (code != SYMBOL_REF)
asm_fprintf (file, "u");
return;
asm_fprintf (file, "u");
return;
template = insn_template[insn_code_number];
if (template && template[0] == '#' && template[1] == '\0')
template = insn_template[insn_code_number];
if (template && template[0] == '#' && template[1] == '\0')
"TARGET_SMALL
&& (TARGET_C3X || (reload_completed
&& ! std_reg_operand (operands[0], QImode)))"
"TARGET_SMALL
&& (TARGET_C3X || (reload_completed
&& ! std_reg_operand (operands[0], QImode)))"
- [(set (match_dup 0) (match_dup 1))]
+ [(set (match_dup 0) (match_dup 2))
+ (use (match_dup 1))]
"
{
rtx dp_reg = gen_rtx_REG (Pmode, DP_REGNO);
"
{
rtx dp_reg = gen_rtx_REG (Pmode, DP_REGNO);
- operands[1] = force_const_mem (Pmode, operands[1]);
- operands[1] = change_address (operands[1], QImode,
+ operands[2] = force_const_mem (Pmode, operands[1]);
+ operands[2] = change_address (operands[2], QImode,
gen_rtx_LO_SUM (Pmode, dp_reg,
gen_rtx_LO_SUM (Pmode, dp_reg,
- XEXP (operands[1], 0)));
+ XEXP (operands[2], 0)));
}")
(define_insn "load_immed_address"
}")
(define_insn "load_immed_address"
; CALL
;
(define_insn "*call_c3x"
; CALL
;
(define_insn "*call_c3x"
- [(call (mem:QI (match_operand:QI 0 "call_address_operand" ""))
+ [(call (mem:QI (match_operand:QI 0 "call_address_operand" "Ur"))
(match_operand:QI 1 "general_operand" ""))
(clobber (reg:QI 31))]
;; Operand 1 not really used on the C4x. The C30 doesn't have reg 31.
(match_operand:QI 1 "general_operand" ""))
(clobber (reg:QI 31))]
;; Operand 1 not really used on the C4x. The C30 doesn't have reg 31.
; LAJ requires R11 (31) for the return address
(define_insn "*laj"
; LAJ requires R11 (31) for the return address
(define_insn "*laj"
- [(call (mem:QI (match_operand:QI 0 "call_address_operand" ""))
+ [(call (mem:QI (match_operand:QI 0 "call_address_operand" "Ur"))
(match_operand:QI 1 "general_operand" ""))
(clobber (reg:QI 31))]
;; Operand 1 not really used on the C4x.
(match_operand:QI 1 "general_operand" ""))
(clobber (reg:QI 31))]
;; Operand 1 not really used on the C4x.
[(set_attr "type" "laj")])
(define_expand "call"
[(set_attr "type" "laj")])
(define_expand "call"
- [(parallel [(call (mem:QI (match_operand:QI 0 "call_address_operand" ""))
+ [(parallel [(call (match_operand:QI 0 "" "")
(match_operand:QI 1 "general_operand" ""))
(clobber (reg:QI 31))])]
""
(match_operand:QI 1 "general_operand" ""))
(clobber (reg:QI 31))])]
""
+ "
+{
+ if (GET_CODE (operands[0]) == MEM
+ && ! call_address_operand (XEXP (operands[0], 0), Pmode))
+ operands[0] = gen_rtx_MEM (GET_MODE (operands[0]),
+ force_reg (Pmode, XEXP (operands[0], 0)));
+}")
(define_insn "*callv_c3x"
[(set (match_operand 0 "" "=r")
(define_insn "*callv_c3x"
[(set (match_operand 0 "" "=r")
- (call (mem:QI (match_operand:QI 1 "call_address_operand" ""))
+ (call (mem:QI (match_operand:QI 1 "call_address_operand" "Ur"))
(match_operand:QI 2 "general_operand" "")))
(clobber (reg:QI 31))]
;; Operand 0 and 2 not really used for the C4x.
(match_operand:QI 2 "general_operand" "")))
(clobber (reg:QI 31))]
;; Operand 0 and 2 not really used for the C4x.
; LAJ requires R11 (31) for the return address
(define_insn "*lajv"
[(set (match_operand 0 "" "=r")
; LAJ requires R11 (31) for the return address
(define_insn "*lajv"
[(set (match_operand 0 "" "=r")
- (call (mem:QI (match_operand:QI 1 "call_address_operand" ""))
+ (call (mem:QI (match_operand:QI 1 "call_address_operand" "Ur"))
(match_operand:QI 2 "general_operand" "")))
(clobber (reg:QI 31))]
;; Operand 0 and 2 not really used in the C30 instruction.
(match_operand:QI 2 "general_operand" "")))
(clobber (reg:QI 31))]
;; Operand 0 and 2 not really used in the C30 instruction.
(define_expand "call_value"
[(parallel [(set (match_operand 0 "" "")
(define_expand "call_value"
[(parallel [(set (match_operand 0 "" "")
- (call (mem:QI (match_operand:QI 1 "call_address_operand" ""))
+ (call (match_operand:QI 1 "" "")
(match_operand:QI 2 "general_operand" "")))
(clobber (reg:QI 31))])]
""
(match_operand:QI 2 "general_operand" "")))
(clobber (reg:QI 31))])]
""
+ "
+{
+ if (GET_CODE (operands[0]) == MEM
+ && ! call_address_operand (XEXP (operands[1], 0), Pmode))
+ operands[0] = gen_rtx_MEM (GET_MODE (operands[1]),
+ force_reg (Pmode, XEXP (operands[1], 0)));
+}")
(define_insn "return"
[(return)]
(define_insn "return"
[(return)]
(return)]
"c4x_null_epilogue_p ()"
"*
(return)]
"c4x_null_epilogue_p ()"
"*
- if (GET_CODE (XEXP (operands[0], 0)) == REG)
+ if (REG_P (operands[0]))
return \"bu%#\\t%C0\";
else
return \"br%#\\t%C0\";"
return \"bu%#\\t%C0\";
else
return \"br%#\\t%C0\";"
(return)]
"c4x_null_epilogue_p ()"
"*
(return)]
"c4x_null_epilogue_p ()"
"*
- if (GET_CODE (XEXP (operands[1], 0)) == REG)
+ if (REG_P (operands[1]))
return \"bu%#\\t%C1\";
else
return \"br%#\\t%C1\";"
return \"bu%#\\t%C1\";
else
return \"br%#\\t%C1\";"