Remove libcall notes.

	* see.c (see_analyse_one_def): Do not look for REG_LIBCALL and
	REG_RETVAL notes.
	(see_update_relevancy): Likewise.
	* fwprop.c (try_fwprop_subst): Likewise.
	* rtlanal.c (noop_move_p): Likewise.
	* builtins.c (expand_buitlin_mathfn): Don't try to add REG_EQUAL
	notes to non-existing libcall blocks.
	* cse.c (cse_insn): Change prototype.  Don't update libcall notes.
	Remove orig_set.
	(cse_extended_basic_block): Don't track libcall and no-conflict notes.
	(dead_libcall_p): Remove.
	(delete_trivially_dead_insns): Don't use it.
	* web.c (union_defs): Remove comment about keeping nops.
	* gcse.c (hash_scan_insn): Don't take libcall pointers.
	(compute_hash_table_work): Don't track libcall notes.
	(do_local_cprop): Don't take libcall pointers.  Don't update
	libcall notes.
	(adjust_libcall_notes): Deleted.
	(local_cprop_pass): Remove stack for nested libcalls (which shouldn't
	ever have existed in the first place).
	(replace_store_insn): Don't try to remove libcall notes.
	* lower-subreg.c (move_libcall_note, move_retval_note): Deleted.
	(resolve_reg_notes): Don't call them.
	(resolve_simple_move): Likewise.
	(decompose_multiword_subregs): Remove block handling REG_RETVAL notes.
	Don't remove REG_RETVAL notes.
	* emit-rtl.c (try_split): Don't update libcall notes.
	(emit_copy_of_insn_after): Dito.
	* cselib.c (cselib_current_insn_in_libcall): Remove.
	(cselib_process_insn): Don't set/clear it.
	(new_elt_loc_list): Don't record it.
	(cselib_init): Don't initialize it.
	* cselib.c (struct elt_loc_list): Remove in_libcall field.
	* loop-invariant.c (find_invariant_insn): Don't look for libcall
	notes.
	* sched-deps.c (sched_analyze_insn): Don't group libcall blocks.
	(sched_analyze): Don't set up deps->libcall_block_tail_insn.
	(init_deps): Don't initialize it.
	* sched-int.h (struct deps): Rremove libcall_block_tail_insn field.
	* combine.c (delete_noop_moves): Don't update libcall notes.
	(can_combine_p): Remove now pointless #if 0 block.
	(try_combine): Remove another obsolete #if 0 block.
	(distribute_notes): Don't distribute libcall notes.
	* reg-notes.def (REG_LIBCALL, REG_RETVAL): Remove.
	* dce.c (libcall_dead_p): Remove.
	(delete_unmarked_insns): Don't handle libcall blocks.
	(preserve_libcall_for_dce): Remove.
	(prescan_insns_for_dce): Don't special-case libcall block insns.
	* reload1 (reload): Don't handle libcall notes. 
	* doc/rtl.texi (REG_LIBCALL, REG_RETVAL, REG_LIBCALL_ID): Remove
	documentation.

From-SVN: r136861

1 files changed, 0 insertions, 52 deletions

diff --git a/gcc/sched-deps.c b/gcc/sched-deps.c
index b62797f..b8b3a44 100644
--- a/gcc/sched-deps.c
+++ b/gcc/sched-deps.c
@@ -2121,16 +2121,6 @@ sched_analyze_insn (struct deps *deps, rtx x, rtx insn)
       reg_pending_barrier = NOT_A_BARRIER;
     }
 
-  /* If we are currently in a libcall scheduling group, then mark the
-     current insn as being in a scheduling group and that it can not
-     be moved into a different basic block.  */
-
-  if (deps->libcall_block_tail_insn)
-    {
-      SCHED_GROUP_P (insn) = 1;
-      CANT_MOVE (insn) = 1;
-    }
-
   /* If a post-call group is still open, see if it should remain so.
      This insn must be a simple move of a hard reg to a pseudo or
      vice-versa.
@@ -2226,8 +2216,6 @@ sched_analyze (struct deps *deps, rtx head, rtx tail)
     }
   for (insn = head;; insn = NEXT_INSN (insn))
     {
-      rtx link, end_seq, r0, set;
-
       if (INSN_P (insn))
 	{
 	  /* And initialize deps_lists.  */
@@ -2326,45 +2314,6 @@ sched_analyze (struct deps *deps, rtx head, rtx tail)
       if (current_sched_info->use_cselib)
 	cselib_process_insn (insn);
 
-      /* Now that we have completed handling INSN, check and see if it is
-	 a CLOBBER beginning a libcall block.   If it is, record the
-	 end of the libcall sequence.
-
-	 We want to schedule libcall blocks as a unit before reload.  While
-	 this restricts scheduling, it preserves the meaning of a libcall
-	 block.
-
-	 As a side effect, we may get better code due to decreased register
-	 pressure as well as less chance of a foreign insn appearing in
-	 a libcall block.  */
-      if (!reload_completed
-	  /* Note we may have nested libcall sequences.  We only care about
-	     the outermost libcall sequence.  */
-	  && deps->libcall_block_tail_insn == 0
-	  /* The sequence must start with a clobber of a register.  */
-	  && NONJUMP_INSN_P (insn)
-	  && GET_CODE (PATTERN (insn)) == CLOBBER
-          && (r0 = XEXP (PATTERN (insn), 0), REG_P (r0))
-	  && REG_P (XEXP (PATTERN (insn), 0))
-	  /* The CLOBBER must also have a REG_LIBCALL note attached.  */
-	  && (link = find_reg_note (insn, REG_LIBCALL, NULL_RTX)) != 0
-	  && (end_seq = XEXP (link, 0)) != 0
-	  /* The insn referenced by the REG_LIBCALL note must be a
-	     simple nop copy with the same destination as the register
-	     mentioned in the clobber.  */
-	  && (set = single_set (end_seq)) != 0
-	  && SET_DEST (set) == r0 && SET_SRC (set) == r0
-	  /* And finally the insn referenced by the REG_LIBCALL must
-	     also contain a REG_EQUAL note and a REG_RETVAL note.  */
-	  && find_reg_note (end_seq, REG_EQUAL, NULL_RTX) != 0
-	  && find_reg_note (end_seq, REG_RETVAL, NULL_RTX) != 0)
-	deps->libcall_block_tail_insn = XEXP (link, 0);
-
-      /* If we have reached the end of a libcall block, then close the
-	 block.  */
-      if (deps->libcall_block_tail_insn == insn)
-	deps->libcall_block_tail_insn = 0;
-
       if (insn == tail)
 	{
 	  if (current_sched_info->use_cselib)
@@ -2452,7 +2401,6 @@ init_deps (struct deps *deps)
   deps->last_function_call = 0;
   deps->sched_before_next_call = 0;
   deps->in_post_call_group_p = not_post_call;
-  deps->libcall_block_tail_insn = 0;
 }
 
 /* Free insn lists found in DEPS.  */