Fixed loop structures for optimized code containing PHI nodes. Updated critical edges to only be bypassed if the block size is 1. Fib runs properly for all levels of optimization.