Merge "Add loop recognition and CFG simplifications in new compiler."