Re: PING^2: [RFC] Whole Program Devirtualization

Hi Feng, On Tue, Sep 14 2021, Feng Xue OS via Gcc wrote: > Ping again. > I have read your email but do not have much to comment. I think that you have identified all the potential issues yourself. IIUC, I am afraid that they will mean that at least the "Typeinfo symbol resolution by linker-plug

PING^2: [RFC] Whole Program Devirtualization

Ping again. Thanks, Feng From: Feng Xue OS Sent: Wednesday, September 1, 2021 9:46 AM To: Martin Liška; Jan Hubicka; gcc@gcc.gnu.org Cc: JiangNing OS Subject: PING: [RFC] Whole Program Devirtualization Honza, How do you think about proposal in this

PING: [RFC] Whole Program Devirtualization

Honza, How do you think about proposal in this RFC? Thanks a lot. Best Regards, Feng From: Martin Liška Sent: Friday, August 20, 2021 9:45 PM To: Feng Xue OS; gcc@gcc.gnu.org Cc: JiangNing OS; Jan Hubicka Subject: Re: [RFC] Whole Program

Re: GCC [RFC] Whole Program Devirtualization

[RFC] Whole Program Devirtualization Hello Feng Xue OS Your project is interesting, but ambitious. I think the major points are: whole program analysis. Static analysis tools like https://frama-c.com/ or https://github.com/bstarynk/bismon/ could be relevant. Projects like https://www.decoder

Re: GCC [RFC] Whole Program Devirtualization

On Fri, 20 Aug 2021, 13:37 Basile Starynkevitch, wrote: > > *computed gotos* or *labels as values* (see > https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html > for more) are > making this difficult. But they do exist, and probably co

Re: [RFC] Whole Program Devirtualization

... adding Honza to CC who spent quite some time on devirtualization pass. Martin

GCC [RFC] Whole Program Devirtualization

Hello Feng Xue OS Your project is interesting, but ambitious. I think the major points are: *whole program analysis*. Static analysis tools like https://frama-c.com/ or https://github.com/bstarynk/bismon/ could be relevant. Projec

[RFC] Whole Program Devirtualization

1. Background C++ Devirtualization is meant to determine all possible class type identities of a virtual dynamic call, and try to transform it to direct static call, or certain kind of statements with lower runtime cost. Current implementation in GCC tends to adopt a somewhat conservative scheme,