2
$\begingroup$

Is there a difference between a loop and a natural loop? Natural loops are defined as having a back edge to a head block that dominates it. If you have a natural loop nested inside of another natural loop, does this mean the actual loop is the merging of these two natural loops?

I'm curious to know if there's an agreed upon distinction between a natural loop and a loop.

$\endgroup$
  • 3
    $\begingroup$ Please name the work this terminology is from. I've never heard of natural loops or head blocks. $\endgroup$ – reinierpost Oct 7 '16 at 22:15
  • 1
    $\begingroup$ @reinierpost Natural loop is a term from control flow analysis. You can find it described here: dragonbook.stanford.edu/lecture-notes/Columbia-COMS-W4117/… I'm wondering if there's an agreed upon distinction between a loop and a natural loop. $\endgroup$ – Victor Brunell Oct 9 '16 at 1:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.