tests/ifelse2.lst.exp.dot

   1 digraph G {
   2 node [shape=box]
   3 "ENTRY" -> "05"
   4 "05" [label="05: BBlock"]
   5 subgraph "cluster_0_05.if" {
   6   label=IfElse
   7   "05.if" [label="05.if: BBlock"]
   8   "20" [label="20: BBlock"]
   9   "05.if" -> "20" [label="($a1 != 0)"]
  10   "20" -> "landing_0_05.if"
  11   "30" [label="30: BBlock"]
  12   "05.if" -> "30" [label="else"]
  13   "30" -> "landing_0_05.if"
  14   "landing_0_05.if" [shape=point label=""]
  15 }
  16 "40" [label="40: BBlock"]
  17 "05" -> "05.if"
  18 "landing_0_05.if" -> "40"
  19 }