https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92800
Bug ID: 92800
Summary: IPA escape analysis for structs
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ipa
Assignee: unassigned at gcc dot gnu.org
Reporter: christoph.muell...@theobroma-systems.com
CC: marxin at gcc dot gnu.org
Target Milestone: ---
Having GCC infrastructure code to detect non-escaping
structs during whole-program analysis opens the door
for the field of struct reorganisation optimisations.
We are currently working on such infrastructure
and want to use this ticket to further publish
details and patches, and to collect feedback from
the community.
First implementation details:
* escape analysis for RECORD_TYPE types
* supporting code for IPA passes
* running after IPA visibility
* checking all externally visible symbols/signatures
* checking all type casts
