diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2021-11-02 18:57:51 +0100 |
|---|---|---|
| committer | Jan Hubicka <hubicka@ucw.cz> | 2021-11-02 18:57:51 +0100 |
| commit | a70c05120ae6f15f204a04a7df7d19941ab33ef1 (patch) | |
| tree | 234844b801a3446e044d1c2be530e4afb386d0d5 /gcc/tree-ssa-structalias.c | |
| parent | 164bbf701ff10ff44e272525e8f462ed3ff1cf43 (diff) | |
| download | gcc-a70c05120ae6f15f204a04a7df7d19941ab33ef1.zip gcc-a70c05120ae6f15f204a04a7df7d19941ab33ef1.tar.gz gcc-a70c05120ae6f15f204a04a7df7d19941ab33ef1.tar.bz2 | |
Static chain support in ipa-modref
Teach ipa-modref about the static chain that is, like
retslot, a hiden argument. The patch is pretty much symemtric to what
was done for retslot handling and I verified it does the intended job
for Ada LTO bootstrap.
gcc/ChangeLog:
* gimple.c (gimple_call_static_chain_flags): New function.
* gimple.h (gimple_call_static_chain_flags): Declare
* ipa-modref.c (modref_summary::modref_summary): Initialize
static_chain_flags.
(modref_summary_lto::modref_summary_lto): Likewise.
(modref_summary::useful_p): Test static_chain_flags.
(modref_summary_lto::useful_p): Likewise.
(struct modref_summary_lto): Add static_chain_flags.
(modref_summary::dump): Dump static_chain_flags.
(modref_summary_lto::dump): Likewise.
(struct escape_point): Add static_cahin_arg.
(analyze_ssa_name_flags): Use gimple_call_static_chain_flags.
(analyze_parms): Handle static chains.
(modref_summaries::duplicate): Duplicate static_chain_flags.
(modref_summaries_lto::duplicate): Likewise.
(modref_write): Stream static_chain_flags.
(read_section): Likewise.
(modref_merge_call_site_flags): Handle static_chain_flags.
* ipa-modref.h (struct modref_summary): Add static_chain_flags.
* tree-ssa-structalias.c (handle_rhs_call): Use
gimple_static_chain_flags.
gcc/testsuite/ChangeLog:
* gcc.dg/ipa/modref-3.c: New test.
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 5f24c01..c70f5af 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -4254,7 +4254,8 @@ handle_rhs_call (gcall *stmt, vec<ce_s> *results, /* The static chain escapes as well. */ if (gimple_call_chain (stmt)) handle_call_arg (stmt, gimple_call_chain (stmt), results, - implicit_eaf_flags, + implicit_eaf_flags + | gimple_call_static_chain_flags (stmt), callescape->id, writes_global_memory); /* And if we applied NRV the address of the return slot escapes as well. */ |