/*  C O N T R O L   F L O W
 *
 *  L O O P   D E T E C T I O N
 */

extern loop_detection();	/* (proc_p p)
				 * Detect all loops of procedure p.
				 * Every basic block of p is assigned
				 * a set of all loops it is part of.
				 * For every loop we record the number
				 * of blocks it contains, the loop entry
				 * block and its nesting level (0 = outer
				 * loop, 1 = loop within loop etc.).
				 */