]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/ipa-ref.c
arm: Factorize several occurrences of the same code into reg_needs_saving_p
[thirdparty/gcc.git] / gcc / ipa-ref.c
CommitLineData
369451ec 1/* Interprocedural reference lists.
8d9254fc 2 Copyright (C) 2010-2020 Free Software Foundation, Inc.
369451ec
JH
3 Contributed by Jan Hubicka
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9Software Foundation; either version 3, or (at your option) any later
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
16
17You should have received a copy of the GNU General Public License
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
20
21#include "config.h"
22#include "system.h"
23#include "coretypes.h"
369451ec 24#include "target.h"
957060b5 25#include "tree.h"
369451ec
JH
26#include "cgraph.h"
27
d122681a 28/* Remove reference. */
369451ec
JH
29
30void
d122681a 31ipa_ref::remove_reference ()
369451ec 32{
d122681a
ML
33 struct ipa_ref_list *list = referred_ref_list ();
34 struct ipa_ref_list *list2 = referring_ref_list ();
9771b263 35 vec<ipa_ref_t, va_gc> *old_references = list2->references;
369451ec
JH
36 struct ipa_ref *last;
37
d122681a 38 gcc_assert (list->referring[referred_index] == this);
e55637b7 39
9771b263 40 last = list->referring.last ();
d122681a 41 if (this != last)
369451ec 42 {
e55637b7
ML
43 if (use == IPA_REF_ALIAS)
44 {
45 /* If deleted item is IPA_REF_ALIAS, we have to move last
46 item of IPA_REF_LIST type to the deleted position. After that
47 we replace last node with deletion slot. */
48 struct ipa_ref *last_alias = list->last_alias ();
49
50 if (last_alias && referred_index < last_alias->referred_index
51 && last_alias != last)
52 {
53 unsigned last_alias_index = last_alias->referred_index;
54
55 list->referring[referred_index] = last_alias;
56 list->referring[referred_index]->referred_index = referred_index;
57
58 /* New position for replacement is previous index
59 of the last_alias. */
60 referred_index = last_alias_index;
61 }
62 }
63
d122681a 64 list->referring[referred_index] = list->referring.last ();
e55637b7 65 list->referring[referred_index]->referred_index= referred_index;
369451ec 66 }
9771b263 67 list->referring.pop ();
369451ec 68
9771b263 69 last = &list2->references->last ();
d122681a
ML
70
71 struct ipa_ref *ref = this;
72
369451ec
JH
73 if (ref != last)
74 {
75 *ref = *last;
e55637b7 76 ref->referred_ref_list ()->referring[referred_index] = ref;
369451ec 77 }
9771b263 78 list2->references->pop ();
369451ec
JH
79 gcc_assert (list2->references == old_references);
80}
81
d122681a
ML
82/* Return true when execution of reference can lead to return from
83 function. */
369451ec 84
f10ea640 85bool
d122681a 86ipa_ref::cannot_lead_to_return ()
f10ea640 87{
d52f5295 88 return dyn_cast <cgraph_node *> (referring)->cannot_return_p ();
39e2db00 89}
4502fe8d 90
d122681a 91/* Return reference list this reference is in. */
4502fe8d 92
d122681a
ML
93struct ipa_ref_list *
94ipa_ref::referring_ref_list (void)
4502fe8d 95{
d122681a 96 return &referring->ref_list;
4502fe8d 97}
82338059 98
d122681a 99/* Return reference list this reference is in. */
82338059 100
d122681a
ML
101struct ipa_ref_list *
102ipa_ref::referred_ref_list (void)
82338059 103{
d122681a 104 return &referred->ref_list;
71cafea9 105}