On Sun, 5 May 2019, Kewen.Lin wrote: > on 2019/4/27 上午11:44, Bin.Cheng wrote: > > GCC lacks the capability passing information to later passes. Gimple > > analyzer worked hard collecting various information but discards it > > entering RTL or earlier. Other examples are like runtime alias > > information, non-wrapping information for specific operations, etc. > > IMHO, this is what needs to be done. As for this case, it could be > > finite loop info, or non-wrapping info of the iv_var's increment > > operation. By passing more information, RTL passes can be simplified > > too. > > > > Thanks for the information! Is there any under development work for this? > That would be fine if we can pass down those information to downstream > passes based on upcoming feature.
GCC keeps several bits of information across passes, notably everything stored in struct loop. Richard.
