Constructing the Control Dependence Graph form Dominance Frontier in SSA ?

Sun Apr 20 15:57:00 GMT 2008

    In the process of translating the GIMPLE into SSA, gcc first
computed the dominance frontier of the CFG. I want to compute the
control dependence graph from the dominance frontiers computed just

   The computed dominance frontier for all basic blocks is stored in
the array of bitmap structure -"dfs", which means dfs[X] is the
dominance frontier of basic block X. The process  in the function

    However I don't understand clearly about what a certain bit in
dfs[x] stands for.Without the clear notation of dfs, I can't change it
to the CDG.

   Would someone tell me how the "dfs" represents dominance frontier ,
or another way to compute control dependence graph ?

   Thanks in advance~^_^

More information about the Gcc-help mailing list