Skip to content

Commit

Permalink
Remove trivial note on loop order
Browse files Browse the repository at this point in the history
  • Loading branch information
artagnon committed Jul 17, 2016
1 parent c7cce8f commit 30b974c
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 28 deletions.
7 changes: 0 additions & 7 deletions _posts/2016-07-16-detecting-loops.md
Expand Up @@ -83,12 +83,5 @@ the shared header case is detected as two nested loops as well: a loop is
identified by a unique backedge, not a unique header [^2]. The analysis is weak
in that these cases are indistinguishable from normal nested loops.

**Order of loops**: We don't have to do another pass to order the loops the way
we want and set parent-child relationships. Simply process the set of
statements in reverse post-order (or topo order). We then get loops in the order
A, B, C, D.

![Loop order](/assets/loop-order.png)

[^1]: Hat tip to Sanjoy for pointing out the fifth case.
[^2]: You might want to merge loops that share a header in a post-pass.
21 changes: 0 additions & 21 deletions _posts/loop-order.gv

This file was deleted.

Binary file removed assets/loop-order.png
Binary file not shown.

0 comments on commit 30b974c

Please sign in to comment.