陳韋任 <che...@iis.sinica.edu.tw> writes:

>> >   At the end of the link belows,
>> >   
>> > http://gcc.gnu.org/onlinedocs/gccint/Maintaining-the-CFG.html#Maintaining-the-CFG
>> >
>> >   It says,
>> >
>> > "Note that at present, the representation of control flow in the tree
>> > representation is discarded before expanding to RTL. Long term the CFG
>> > should be maintained and "expanded" to the RTL representation along
>> > with the function tree itself."
>> >
>> >   Does this mean in the end of GCC compilation, the CFG information is
>> > lost? Thanks!
>> 
>> That documentation is out of date.  The CFG is now retained through most
>> of the RTL passes.
>
>   The comment on function gimple_expand_cfg in gcc/cfgexpand.c prove the
> document is wrong, right?
>
>   "We do conversion per basic block and preserve/update the tree CFG.
>    This implies we have to do some magic as the CFG can simultaneously
>    consist of basic blocks containing RTL and GIMPLE trees."
>
>   Is there a way for me to correct the document? Thanks!  

Sure: the document source is gcc/doc/cfg.texi.  Thanks.

Ian

Reply via email to