search for: 47cb8468

One of the things I'm trying to do is perform high-level optimizations on loops, which requires first identifying them. For a simple case, suppose you have something like for (size_t i = 0; i != n; ++i) ++a[i]; If a is a simple array, that will compile to a single basic block, which is easy enough to identify. But the body doesn't need to be a single basic block. It could contain