28 ///  - the inner loop should be the outer loop's only child
29 ///  - the outer loop header should 'flow' into the inner loop preheader
30 ///    or jump around the inner loop to the outer loop latch
32 ///    the outer loop latch.
64         dbgs() << "Outer loop latch compare instruction: " << *OuterLoopLatchCmp  in getOuterLoopLatchCmp()
93   // The only binary instruction allowed is the outer loop step instruction,  in checkSafeInstruction()
95   // compare instruction and the outer loop latch compare instruction.  in checkSafeInstruction()
112   assert(!OuterLoop.isInnermost() && "Outer loop should have subloops");  in analyzeLoopNestForPerfectNest()
119   //  - the inner loop should be the outer loop's only child  in analyzeLoopNestForPerfectNest()
120   //  - the outer loop header should 'flow' into the inner loop preheader  in analyzeLoopNestForPerfectNest()
121   //    or jump around the inner loop to the outer loop latch  in analyzeLoopNestForPerfectNest()
123   //    the outer loop latch.  in analyzeLoopNestForPerfectNest()
129   // Bail out if we cannot retrieve the outer loop bounds.  in analyzeLoopNestForPerfectNest()
142   //  - the outer loop latch comparison  in analyzeLoopNestForPerfectNest()
143   //  - the outer loop induction variable increment  in analyzeLoopNestForPerfectNest()
204   // Identify the outer loop latch comparison instruction.  in getInterveningInstructions()
317   // The inner loop must be the only outer loop's child.  in checkLoopsStructure()
375       // preheader or the outer loop latch possibly through empty blocks.  in checkLoopsStructure()
411                     "outer loop latch.\n";  in checkLoopsStructure()
418   // Ensure the inner loop exit block lead to the outer loop latch possibly  in checkLoopsStructure()
428                << " does not directly lead to the outer loop latch.\n";);  in checkLoopsStructure()