https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108800
Bug ID: 108800
Summary: Missed optimization: IPA-SRA keeps a single-field
structure formal parameter even when IPA-CP knows its
contents
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: normal
Priority: P3
Component: ipa
Assignee: unassigned at gcc dot gnu.org
Reporter: jamborm at gcc dot gnu.org
CC: marxin at gcc dot gnu.org
Target Milestone: ---
This is a follow-up from PR 108679. In testcase gcc.dg/ipa/pr108679.c
IPA-SRA replaces a bigger structure with a smaller one, containing
just one field, even though IPA-CP knows the contents of the single
scalar in it at compile time.
The problem is that removing it confuses call-redirection which is
unable to re-construct the single-field structure in a local variable
to pass it as an argument in a call to a different (external)
function.
