> > fixup_cfg already removes write-only stores so that seems fit for that > purpose. > > Btw, > > static int x = 1; > > int main() > { > x = 1; > } > > should ideally be handled as well as maybe the more common(?) > > static int x[128]; > > int main() > { > memset (x, 0, 128*4); > } > > so we'd like to store a (constant) RHS for the stores in the summaries? > (I suppose we cannot selectively stream in a single stmt ;))
Yep, what we want is to have way to attach summaries to particular IPA_REF_load/store/addr just like we annotate call sites... It would be nice to extend symbol-summary.h for that. Martin, would you be interested to look into it? Honza