Special Edges
For practical reasons, it is necessary to introduce some artificial kinds of edges or to process differently some kinds of edges.
A back edge is an edge that points to a block that has already been met during a depth-first (DFS) traversal of the graph. Back edges are typical of loops.
A critical edge is an edge which is neither the only edge leaving its source block, nor the only edge entering its destination block. These edges must be split: a new block must be created in the middle of the edge, in order to insert computations on the edge without affecting any other edges.
An abnormal edge is an edge whose destination is unknown. Exception handling constructs can produce them. These edges tend to inhibit optimization.
An impossible edge (also known as a fake edge) is an edge which has been added to the graph solely to preserve the property that the exit block postdominates all blocks. It cannot ever be traversed.
Read more about this topic: Control Flow Graph
Famous quotes containing the words special and/or edges:
“The very best reason parents are so special . . . is because we are the holders of a priceless gift, a gift we received from countless generations we never knew, a gift that only we now possess and only we can give to our children. That unique gift, of course, is the gift of ourselves. Whatever we can do to give that gift, and to help others receive it, is worth the challenge of all our human endeavor.”
—Fred Rogers (20th century)
“I always used to suffer a great deal if I let myself get too close to reality since the definitive world of the everyday with its hard edges and harsh light did not have enough resonance to echo the demands I made upon experience. It was as if I never experienced experience as experience. Living never lived up to the expectations I had of it—the Bovary syndrome.”
—Angela Carter (1942–1992)