On Tue, 17 Nov 2020, Jan Hubicka wrote: > Hi, > thanks! > > > > So do we want to actually compute alias sets and stream them, > > "freeing up" TYPE_CANONICAL again? We're sort-of taking it away > > I am not sure what you mean by freeing up TYPE_CANONICAL again :) but I > was playing with idea of streaming the alias sets from WPA to ltrans. It > may simplify things especially if our canonical type logic gets more > complex... In particular I would eventually like to avoid pesimizing > C/C++ code just becuase we worry about compatibility with Fortran and > such and had some patches for this direction but so far there was more > pressing issues with TBAA than this. > > We do not really use TYPE_CANONICAL outside of tree-ssa-alias and > alias.c
GIMPLE type checking uses it heavily (aka useless_type_conversion_p). Richard. > Honza > > from FEs which use it before and recompute it possibly in different > > ways ... > > > > Richard. > -- Richard Biener <rguent...@suse.de> SUSE Software Solutions Germany GmbH, Maxfeldstrasse 5, 90409 Nuernberg, Germany; GF: Felix Imend