public inbox for
 help / color / mirror / Atom feed
From: Qing Zhao <>
To: Jan Hubicka <>
Cc: "Richard Biener" <>,
	"Martin Liška" <>,
	"" <>
Subject: Re: [PATCH] IPA: support -flto + -flive-patching=inline-clone
Date: Fri, 7 Oct 2022 14:30:49 +0000	[thread overview]
Message-ID: <> (raw)
In-Reply-To: <>

> On Oct 7, 2022, at 9:03 AM, Jan Hubicka <> wrote:
>>> WPA is Whole Program Analysis?
>> Yes.
>>> Okay, then  It will promote all static function to extern functions. That’s reasonable.
>> No, all extern functions to static functions.
>>> Is it hard to preserve the original “static” visibility in the IR?
>> Probably not hard, and the IPA pass adjusting visbility could as well
>> mark the functions
>> as not to be inlined with -flive-patching=inline-only-static.
>>>> OTOH inline-only-static could disable WPA inlining and do all inlining early ...
>>> Inline-only-static ONLY inlines static functions, how can it disable WPA inlining? Don’t quite understand here.
>> it's a flag so it can be used to control other things
> GCC has two inliners
> 1) ealry inlininer which happens at compile time and is quite
> restricted only to obvious cases (always_inline, flatten and very small
> functions)
> 2) IPA inlining happening at link-time (WPA) which is using greedy
> algorithm and makes more complicated code size/speed tradeoffs
> Indeed betwen 1 and 2 previously global functions may become static by
> resolution info (they won't currently with kernel since we do
> incremental linking).  We could easily keep track of originally static
> functions and promoted to static functions and make IPA inlining to
> honnor the patch.

Yes, this is similar as Studio compiler (an early inliner and a IPA inliner) 
But I still don’t quite understand why during IPA inlining, extern functions need to be changed to static functions?
 (in Studio compiler, it’s opposite, static functions are all promoted to extern functions to enable inter-procedural inlining)
Is there a file I can read to understand more details on this?

> I however wonder how much LTO optimization would remain. If we disable
> all inter-module inlining

Oh, wait,  so, demoting “extern” functions to “static” functions in GCC’s IPA inlining is to disable inter-module inlining? 
Why? Is there any technical issue with inter-module inlining in GCC? 

> and with live patching we also disable most of
> other optimization,

Yes, with live-patching, most of the IPA optimization need to be disabled. But this functionality is needed, right? When user requests live-patching support, 
They should know that most of IPA optimization will be disabled.


> I think basically only unreachable code removal will
> remain and possibly some propagation of "coldness" across the code.
> I can implement this incrementally.
> Martin, if live patching is happy about some symbols being promoted
> static, the patch is OK.
> Honza

  reply	other threads:[~2022-10-07 14:30 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-10-05 11:41 Martin Liška
2022-10-05 14:50 ` Qing Zhao
2022-10-05 17:36   ` Martin Liška
2022-10-05 18:18     ` Qing Zhao
2022-10-06  8:29       ` Richard Biener
2022-10-06  8:40         ` Martin Liška
2022-10-06 13:18         ` Qing Zhao
2022-10-07  6:34           ` Richard Biener
2022-10-07 13:03             ` Jan Hubicka
2022-10-07 14:30               ` Qing Zhao [this message]
2022-10-07 14:43                 ` Jan Hubicka
2022-10-07 15:36                   ` Qing Zhao
2022-10-07 13:04             ` Qing Zhao
2022-10-07 13:50               ` Martin Liška

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).