hfinkel added a comment. Upon reflection, cloning an outer loop is something we'll want to be able to do at some point. Why don't we just add the assertion for now, and then fix the function once we have a concrete use case? http://reviews.llvm.org/D15922