+Click on a value or block to toggle highlighting of that value/block +and its uses. (Values and blocks are highlighted by ID, and IDs of +dead items may be reused, so not all highlights necessarily correspond +to the clicked item.) +
+ ++Faded out values and blocks are dead code that has not been eliminated. +
+ ++Values printed in italics have a dependency cycle. +
+ ++CFG: Dashed edge is for unlikely branches. Blue color is for backward edges. +Edge with a dot means that this edge follows the order in which blocks were laidout. +
+ +