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.

Improve this question
$\endgroup$
2
  • 3
    $\begingroup$ Please name the work this terminology is from. I've never heard of natural loops or head blocks. $\endgroup$
    – reinierpost
    Oct 7, 2016 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, 2016 at 1:37

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.