Patchwork [MIPS] : Remove ugly hack from "call_internal" splitter

login
register
mail settings
Submitter Richard Sandiford
Date Nov. 13, 2010, 5:34 p.m.
Message ID <87y68xxh3g.fsf@firetop.home>
Download mbox | patch
Permalink /patch/71062/
State New
Headers show

Comments

Richard Sandiford - Nov. 13, 2010, 5:34 p.m.
Uros Bizjak <ubizjak@gmail.com> writes:
> 2010-11-03  Uros Bizjak  <ubizjak@gmail.com>
>
> 	* config/mips/mips.md (call_internal): Pass curr_insn to
> 	mips_split_call.
> 	(call_internal_direct): Ditto.
> 	(call_value_internal): Ditto.
> 	(call_value_internal_direct): Ditto.
> 	(call_value_multiple_internal): Ditto.
> 	* config/mips/mips.c (mips_split_call): Do not copy
> 	CALL_INSN_FUNCTION_USAGE here.
>
> Attached patch was tested by building a cross to mips-elf.
> Unfortunatelly, I have no access to real mips target, so I would like
> to ask somebody if can do a regression test of attached patch.

Thanks, tested on mips64-linux-gnu.  I had to make a trivial change
(removing the new_insn variable to avoid a warning), so I applied
the patch as tested.

Richard


2010-11-13  Uros Bizjak  <ubizjak@gmail.com>

	* config/mips/mips.md (call_internal): Pass curr_insn to
	mips_split_call.
	(call_internal_direct): Ditto.
	(call_value_internal): Ditto.
	(call_value_internal_direct): Ditto.
	(call_value_multiple_internal): Ditto.
	* config/mips/mips.c (mips_split_call): Do not copy
	CALL_INSN_FUNCTION_USAGE here.

Patch

Index: gcc/config/mips/mips.md
===================================================================
--- gcc/config/mips/mips.md	2010-11-13 17:30:42.000000000 +0000
+++ gcc/config/mips/mips.md	2010-11-13 17:32:02.000000000 +0000
@@ -6051,18 +6051,16 @@  (define_expand "call"
 ;;     But once we generate the separate insns, it becomes obvious that
 ;;     $gp is not live on entry to the call.
 ;;
-;; ??? The operands[2] = insn check is a hack to make the original insn
-;; available to the splitter.
 (define_insn_and_split "call_internal"
   [(call (mem:SI (match_operand 0 "call_insn_operand" "c,S"))
 	 (match_operand 1 "" ""))
    (clobber (reg:SI RETURN_ADDR_REGNUM))]
   ""
   { return TARGET_SPLIT_CALLS ? "#" : MIPS_CALL ("jal", operands, 0, 1); }
-  "reload_completed && TARGET_SPLIT_CALLS && (operands[2] = insn)"
+  "reload_completed && TARGET_SPLIT_CALLS"
   [(const_int 0)]
 {
-  mips_split_call (operands[2], gen_call_split (operands[0], operands[1]));
+  mips_split_call (curr_insn, gen_call_split (operands[0], operands[1]));
   DONE;
 }
   [(set_attr "jal" "indirect,direct")])
@@ -6087,10 +6085,10 @@  (define_insn_and_split "call_internal_di
    (clobber (reg:SI RETURN_ADDR_REGNUM))]
   ""
   { return TARGET_SPLIT_CALLS ? "#" : MIPS_CALL ("jal", operands, 0, -1); }
-  "reload_completed && TARGET_SPLIT_CALLS && (operands[2] = insn)"
+  "reload_completed && TARGET_SPLIT_CALLS"
   [(const_int 0)]
 {
-  mips_split_call (operands[2],
+  mips_split_call (curr_insn,
 		   gen_call_direct_split (operands[0], operands[1]));
   DONE;
 }
@@ -6126,10 +6124,10 @@  (define_insn_and_split "call_value_inter
    (clobber (reg:SI RETURN_ADDR_REGNUM))]
   ""
   { return TARGET_SPLIT_CALLS ? "#" : MIPS_CALL ("jal", operands, 1, 2); }
-  "reload_completed && TARGET_SPLIT_CALLS && (operands[3] = insn)"
+  "reload_completed && TARGET_SPLIT_CALLS"
   [(const_int 0)]
 {
-  mips_split_call (operands[3],
+  mips_split_call (curr_insn,
 		   gen_call_value_split (operands[0], operands[1],
 					 operands[2]));
   DONE;
@@ -6155,10 +6153,10 @@  (define_insn_and_split "call_value_inter
    (clobber (reg:SI RETURN_ADDR_REGNUM))]
   ""
   { return TARGET_SPLIT_CALLS ? "#" : MIPS_CALL ("jal", operands, 1, -1); }
-  "reload_completed && TARGET_SPLIT_CALLS && (operands[3] = insn)"
+  "reload_completed && TARGET_SPLIT_CALLS"
   [(const_int 0)]
 {
-  mips_split_call (operands[3],
+  mips_split_call (curr_insn,
 		   gen_call_value_direct_split (operands[0], operands[1],
 						operands[2]));
   DONE;
@@ -6187,10 +6185,10 @@  (define_insn_and_split "call_value_multi
    (clobber (reg:SI RETURN_ADDR_REGNUM))]
   ""
   { return TARGET_SPLIT_CALLS ? "#" : MIPS_CALL ("jal", operands, 1, 2); }
-  "reload_completed && TARGET_SPLIT_CALLS && (operands[4] = insn)"
+  "reload_completed && TARGET_SPLIT_CALLS"
   [(const_int 0)]
 {
-  mips_split_call (operands[4],
+  mips_split_call (curr_insn,
 		   gen_call_value_multiple_split (operands[0], operands[1],
 						  operands[2], operands[3]));
   DONE;
Index: gcc/config/mips/mips.c
===================================================================
--- gcc/config/mips/mips.c	2010-11-13 17:30:42.000000000 +0000
+++ gcc/config/mips/mips.c	2010-11-13 17:32:02.000000000 +0000
@@ -6520,11 +6520,7 @@  mips_expand_call (enum mips_call_type ty
 void
 mips_split_call (rtx insn, rtx call_pattern)
 {
-  rtx new_insn;
-
-  new_insn = emit_call_insn (call_pattern);
-  CALL_INSN_FUNCTION_USAGE (new_insn)
-    = copy_rtx (CALL_INSN_FUNCTION_USAGE (insn));
+  emit_call_insn (call_pattern);
   if (!find_reg_note (insn, REG_NORETURN, 0))
     /* Pick a temporary register that is suitable for both MIPS16 and
        non-MIPS16 code.  $4 and $5 are used for returning complex double