Natural loop analysis pass for Machine-SUIF