CFG by daVinci (fwd)

[Peng Zhao <pengzhao@xxxxxxxxxxxxxx>]

Hi,

        I have a question about the CFG drew by daVinci.

        Enclosed are two files, one is a very simple c program and the
other one is the corresponding CFG just after annotation. It is a little 
strange for me.

        First, block 2 and 4 should be one (basic block) and 3&5 too. Why
draw them two separated blocks.

        What is the meaning of block 6 ( especially: the meanning of
"-----")? Does it mean the "return" statement in the program?

        What does the block 7 stand for?

        BTW1: what is the relationship between the ID of each block in
the CFG drew by daVinci and the corresponding BB_NODE->Id()?

        BTW2: What is COMMA, RCOMMA, MU and CHI?


        Thanks.




-- 
                Regards

                                          Peng
  Peng Zhao   pengzhao@xxxxxxxxxxxxxx   
  http://www.cs.ualberta.ca/~pengzhao   
  TEL (Lab): (780)492-3725                  Lab:  CSC251

xx
Description: CFG(.ps)

test.c
Description: a simple c program