reames added a comment. In https://reviews.llvm.org/D25364#564896, @reames wrote: > However, it does look like we don't currently verify the contains relation for sub-loops. Correction: This is checked by verifyLoop https://reviews.llvm.org/D25364