[PATCH] Docs: cfg.texi: Correct statement about CFG

[PATCH] Docs: cfg.texi: Correct statement about CFG

[陳韋任]

The patch correct statement about CFG. According to the comment on
the function gimple_expand_cfg in gcc/cfgexpand.c, the tree CFG now
is preserved and expanded to RTL representation.

2011-06-14  Wei-Ren Chen <chenwj@iis.sinica.edu.tw>

  * gcc/doc/cfg.texi: Correct statement about CFG.

Index: cfg.texi
===================================================================
--- cfg.texi    (revision 175007)
+++ cfg.texi    (working copy)
@@ -612,11 +612,10 @@
 code.

 Note that at present, the representation of control flow in the
-@code{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 @code{tree} itself.
+@code{tree} representation is maintained and ``expanded'' to the RTL
+representation. So the CFG simultaneously consist of basic blocks
+containing RTL and GIMPLE trees.

-
 @node Liveness information
 @section Liveness information
 @cindex Liveness representation

-- 
Wei-Ren Chen (陳韋任)
Computer Systems Lab, Institute of Information Science,
Academia Sinica, Taiwan (R.O.C.)
Tel:886-2-2788-3799 #1667

Re: [PATCH] Docs: cfg.texi: Correct statement about CFG

[Mingjie Xing]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset=GB2312, Size: 1437 bytes --]

2011/6/14 êífÈÎ <chenwj@iis.sinica.edu.tw>:
> The patch correct statement about CFG. According to the comment on
> the function gimple_expand_cfg in gcc/cfgexpand.c, the tree CFG now
> is preserved and expanded to RTL representation.
>
> 2011-06-14  Wei-Ren Chen <chenwj@iis.sinica.edu.tw>
>
>  * gcc/doc/cfg.texi: Correct statement about CFG.
>
> Index: cfg.texi
> ===================================================================
> --- cfg.texi    (revision 175007)
> +++ cfg.texi    (working copy)
> @@ -612,11 +612,10 @@
>  code.
>
>  Note that at present, the representation of control flow in the
> -@code{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 @code{tree} itself.
> +@code{tree} representation is maintained and ``expanded'' to the RTL
> +representation. So the CFG simultaneously consist of basic blocks
> +containing RTL and GIMPLE trees.
>
> -
>  @node Liveness information
>  @section Liveness information
>  @cindex Liveness representation
>
> --
> Wei-Ren Chen (êífÈÎ)
> Computer Systems Lab, Institute of Information Science,
> Academia Sinica, Taiwan (R.O.C.)
> Tel:886-2-2788-3799 #1667
>

The document cfg.texi is out of date.  This reminds me another sinking
patch (http://gcc.gnu.org/ml/gcc-patches/2011-02/msg01624.html).

Thanks,
Mingjie