Hi,
I have changed the name to make the target hook more general and not
create the illusion it is related to sanitizers.
Is this OK for trunk?
Cheers,
Andre
gcc/ChangeLog:
2019-10-15 Andre Vieira <andre.simoesdiasvie...@arm.com>
* cgraphclones.c(create_clone): Call new target hook when
creating a new node.
(create_version_clone_with_body): Likewise.
* target.def(modify_clone_cgraph_node): New target hook.
* targhooks.c(default_modify_clone_cgraph_node): New.
* targhooks.h(default_modify_clone_cgraph_node): New.
* doc/tm.texi.in: Include new TARGET_MODIFY_CLONE_CGRAPH_NODE.
* doc/tm.texi: Regenerated
On 09/10/2019 16:35, Andre Vieira (lists) wrote:
Adding Jakub to CC'
On 09/10/2019 16:29, Andre Vieira (lists) wrote:
Hi Martin,
I see thank you. For my particular use case I only need to strip
attributes for local symbols. However, if I were to claim it is only
used for non-externally visible clones than I would also need to make
sure they are non-externally visible now and put something in place
that checks this in the future. I feel it's easier and more flexible
to leave it up to the users of the hook to check it themselves using
DECL_EXTERNAL. I will mention it in the description though.
Cheers,
Andre
gcc/ChangeLog:
2019-10-09 Andre Vieira <andre.simoesdiasvie...@arm.com>
* cgraphclones.c(create_clone): Call new target hook when
creating a new node.
(create_version_clone): Likewise.
(create_version_clone_with_body): Likewise.
* target.def(sanitize_clone_attributes): New target hook.
* targhooks.c(default_sanitize_clone_attributes): New.
* targhooks.h(default_sanitize_clone_attributes): New.
* doc/tm.texi.in: Document new target hook.
* doc/tm.texi: Regenerated
On 09/10/2019 12:43, Martin Jambor wrote:
Hi,
On Wed, Oct 09 2019, Andre Vieira (lists) wrote:
Hi Martin,
Thanks for the suggestion. I have moved the target hook to the
following functions:
'create_clone'
'create_version_clone'
I am not sure that calling the hook in create_version_clone is what you
want. It should perhaps be made clearer in the API but unlike
(functions that call) create_clone and create_version_clone_with_body,
the result is not a local symbol but it may also be an externally
visible "version" of the original. OpenMP uses it to create nodes for
external declarations (not definitions!) of variants of functions marked
with omp declare simd and the function calling it in trans-mem.c also
apparently uses it to create possibly externally visible clones.
diff --git a/gcc/cgraphclones.c b/gcc/cgraphclones.c
index 909407b9a71690fe7b6ce731e5ddaa06af6d4410..4526329244677cd01a66d43eaf905b6f72948db9 100644
--- a/gcc/cgraphclones.c
+++ b/gcc/cgraphclones.c
@@ -80,6 +80,7 @@ along with GCC; see the file COPYING3. If not see
#include "tree-inline.h"
#include "dumpfile.h"
#include "gimple-pretty-print.h"
+#include "target.h"
/* Create clone of edge in the node N represented by CALL_EXPR
the callgraph. */
@@ -407,6 +408,8 @@ cgraph_node::create_clone (tree new_decl, profile_count prof_count,
if (!new_inlined_to)
dump_callgraph_transformation (this, new_node, suffix);
+ targetm.modify_clone_cgraph_node (new_node);
+
return new_node;
}
@@ -1004,6 +1007,9 @@ cgraph_node::create_version_clone_with_body
update_call_expr (new_version_node);
symtab->call_cgraph_insertion_hooks (new_version_node);
+
+ targetm.modify_clone_cgraph_node (new_version_node);
+
return new_version_node;
}
diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
index a86c210d4fe390bd0356b6e50ba7c6c34a36239a..1fecf91505e13bab6b1c061fef89eb210e32f1b6 100644
--- a/gcc/doc/tm.texi
+++ b/gcc/doc/tm.texi
@@ -12039,6 +12039,12 @@ If defined, this function returns an appropriate alignment in bits for an atomic
ISO C11 requires atomic compound assignments that may raise floating-point exceptions to raise exceptions corresponding to the arithmetic operation whose result was successfully stored in a compare-and-exchange sequence. This requires code equivalent to calls to @code{feholdexcept}, @code{feclearexcept} and @code{feupdateenv} to be generated at appropriate points in the compare-and-exchange sequence. This hook should set @code{*@var{hold}} to an expression equivalent to the call to @code{feholdexcept}, @code{*@var{clear}} to an expression equivalent to the call to @code{feclearexcept} and @code{*@var{update}} to an expression equivalent to the call to @code{feupdateenv}. The three expressions are @code{NULL_TREE} on entry to the hook and may be left as @code{NULL_TREE} if no code is required in a particular place. The default implementation leaves all three expressions as @code{NULL_TREE}. The @code{__atomic_feraiseexcept} function from @code{libatomic} may be of use as part of the code generated in @code{*@var{update}}.
@end deftypefn
+@deftypefn {Target Hook} void TARGET_MODIFY_CLONE_CGRAPH_NODE (struct cgraph_node *@var{})
+This target hook enables targets to modify the the cgraph_node
+@code{*@var{node}} of a cloned function. This hook is used only for
+non-externally visible clones.
+@end deftypefn
+
@deftypefn {Target Hook} void TARGET_RECORD_OFFLOAD_SYMBOL (tree)
Used when offloaded functions are seen in the compilation unit and no named
sections are available. It is called once for each symbol that must be
diff --git a/gcc/doc/tm.texi.in b/gcc/doc/tm.texi.in
index 06dfcda35abea7396c288a59c38ee4ef57c6fef6..1121bed5adb3f3dcad538dd34ff1880e96ac0bfc 100644
--- a/gcc/doc/tm.texi.in
+++ b/gcc/doc/tm.texi.in
@@ -8134,6 +8134,8 @@ and the associated definitions of those functions.
@hook TARGET_ATOMIC_ASSIGN_EXPAND_FENV
+@hook TARGET_MODIFY_CLONE_CGRAPH_NODE
+
@hook TARGET_RECORD_OFFLOAD_SYMBOL
@hook TARGET_OFFLOAD_OPTIONS
diff --git a/gcc/ipa-cp.c b/gcc/ipa-cp.c
index b4fb74e097e2c9f80aa38f8e150be593200d9bdf..1d788d4159560a7da00fc15e4a11bc97fcfec7d2 100644
--- a/gcc/ipa-cp.c
+++ b/gcc/ipa-cp.c
@@ -4017,6 +4017,7 @@ create_specialized_node (struct cgraph_node *node,
ipcp_discover_new_direct_edges (new_node, known_csts, known_contexts, aggvals);
callers.release ();
+
return new_node;
}
diff --git a/gcc/target.def b/gcc/target.def
index f9446fa05a22c79154c2ef36d3d8aea48a5efcc6..d201e55c061eae045b30a1938853a547e1484de2 100644
--- a/gcc/target.def
+++ b/gcc/target.def
@@ -6582,6 +6582,14 @@ DEFHOOK
void, (tree *hold, tree *clear, tree *update),
default_atomic_assign_expand_fenv)
+DEFHOOK
+(modify_clone_cgraph_node,
+"This target hook enables targets to modify the the cgraph_node\n\
+@code{*@var{node}} of a cloned function. This hook is used only for\n\
+non-externally visible clones.",
+void, (struct cgraph_node *),
+default_modify_clone_cgraph_node)
+
/* Leave the boolean fields at the end. */
/* True if we can create zeroed data by switching to a BSS section
diff --git a/gcc/targhooks.h b/gcc/targhooks.h
index 5aba67660f85406b9fd475e75a3cc65b0d1952f5..3ab04601bbc99d4fe2e2a682df244e96470d4505 100644
--- a/gcc/targhooks.h
+++ b/gcc/targhooks.h
@@ -284,4 +284,6 @@ extern rtx default_speculation_safe_value (machine_mode, rtx, rtx, rtx);
extern void default_remove_extra_call_preserved_regs (rtx_insn *,
HARD_REG_SET *);
+extern void default_modify_clone_cgraph_node (struct cgraph_node *);
+
#endif /* GCC_TARGHOOKS_H */
diff --git a/gcc/targhooks.c b/gcc/targhooks.c
index ed77afb1da57e59bc0725dc0d6fac477391bae03..23fe6a66acc47f054dea310be262e06fbdadaf34 100644
--- a/gcc/targhooks.c
+++ b/gcc/targhooks.c
@@ -2120,6 +2120,12 @@ default_atomic_assign_expand_fenv (tree *, tree *, tree *)
{
}
+/* Default implementation of TARGET_SANITIZE_CLONE_ATTRIBUTES. */
+
+void default_modify_clone_cgraph_node (struct cgraph_node *node)
+{
+}
+
#ifndef PAD_VARARGS_DOWN
#define PAD_VARARGS_DOWN BYTES_BIG_ENDIAN
#endif
