/// already has a preheader.
class LoopVersioning {
public:
+ /// \brief Expects MemCheck, LoopAccessInfo, Loop, LoopInfo, DominatorTree
+ /// as input. It uses runtime check provided by user.
LoopVersioning(SmallVector<RuntimePointerChecking::PointerCheck, 4> Checks,
const LoopAccessInfo &LAI, Loop *L, LoopInfo *LI,
DominatorTree *DT);
+ /// \brief Expects LoopAccessInfo, Loop, LoopInfo, DominatorTree as input.
+ /// It uses default runtime check provided by LoopAccessInfo.
+ LoopVersioning(const LoopAccessInfo &LAInfo, Loop *L, LoopInfo *LI,
+ DominatorTree *DT);
+
/// \brief Performs the CFG manipulation part of versioning the loop including
/// the DominatorTree and LoopInfo updates.
///