Before the patch, the checks were generated internally in
addRuntimeCheck. Now, we use the new overloaded version of
addRuntimeCheck that takes the ready-made set of checks as a parameter.
The checks are now generated by the client (LoopDistribution) with the
new RuntimePointerChecking::generateChecks API.
Also the new printChecks API is used to print out the checks for
debugging.
This is to continue the transition over to the new model whereby clients
will get the full set of checks from LAA, filter it and then pass it to
LoopVersioning and in turn to addRuntimeCheck.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@243382
91177308-0d34-0410-b5e6-
96231b3b80d8
/// already has a preheader.
class LoopVersioning {
public:
/// already has a preheader.
class LoopVersioning {
public:
- LoopVersioning(const LoopAccessInfo &LAI, Loop *L, LoopInfo *LI,
+ LoopVersioning(SmallVector<RuntimePointerChecking::PointerCheck, 4> Checks,
+ const LoopAccessInfo &LAI, Loop *L, LoopInfo *LI,
DominatorTree *DT,
const SmallVector<int, 8> *PtrToPartition = nullptr);
DominatorTree *DT,
const SmallVector<int, 8> *PtrToPartition = nullptr);
/// in NonVersionedLoop.
ValueToValueMapTy VMap;
/// in NonVersionedLoop.
ValueToValueMapTy VMap;
+ /// \brief The set of checks that we are versioning for.
+ SmallVector<RuntimePointerChecking::PointerCheck, 4> Checks;
+
/// \brief Analyses used.
const LoopAccessInfo &LAI;
LoopInfo *LI;
/// \brief Analyses used.
const LoopAccessInfo &LAI;
LoopInfo *LI;
// If we need run-time checks to disambiguate pointers are run-time, version
// the loop now.
auto PtrToPartition = Partitions.computePartitionSetForPointers(LAI);
// If we need run-time checks to disambiguate pointers are run-time, version
// the loop now.
auto PtrToPartition = Partitions.computePartitionSetForPointers(LAI);
- LoopVersioning LVer(LAI, L, LI, DT, &PtrToPartition);
- if (LVer.needsRuntimeChecks()) {
+ auto Checks =
+ LAI.getRuntimePointerChecking()->generateChecks(&PtrToPartition);
+ if (!Checks.empty()) {
DEBUG(dbgs() << "\nPointers:\n");
DEBUG(dbgs() << "\nPointers:\n");
- DEBUG(LAI.getRuntimePointerChecking()->print(dbgs(), 0, &PtrToPartition));
+ DEBUG(LAI.getRuntimePointerChecking()->printChecks(dbgs(), Checks));
+ LoopVersioning LVer(std::move(Checks), LAI, L, LI, DT);
LVer.versionLoop(this);
LVer.addPHINodes(DefsUsedOutside);
}
LVer.versionLoop(this);
LVer.addPHINodes(DefsUsedOutside);
}
-LoopVersioning::LoopVersioning(const LoopAccessInfo &LAI, Loop *L, LoopInfo *LI,
- DominatorTree *DT,
- const SmallVector<int, 8> *PtrToPartition)
+LoopVersioning::LoopVersioning(
+ SmallVector<RuntimePointerChecking::PointerCheck, 4> Checks,
+ const LoopAccessInfo &LAI, Loop *L, LoopInfo *LI, DominatorTree *DT,
+ const SmallVector<int, 8> *PtrToPartition)
: VersionedLoop(L), NonVersionedLoop(nullptr),
: VersionedLoop(L), NonVersionedLoop(nullptr),
- PtrToPartition(PtrToPartition), LAI(LAI), LI(LI), DT(DT) {
+ PtrToPartition(PtrToPartition), Checks(Checks), LAI(LAI), LI(LI), DT(DT) {
assert(L->getExitBlock() && "No single exit block");
assert(L->getLoopPreheader() && "No preheader");
}
assert(L->getExitBlock() && "No single exit block");
assert(L->getLoopPreheader() && "No preheader");
}
// Add the memcheck in the original preheader (this is empty initially).
BasicBlock *MemCheckBB = VersionedLoop->getLoopPreheader();
std::tie(FirstCheckInst, MemRuntimeCheck) =
// Add the memcheck in the original preheader (this is empty initially).
BasicBlock *MemCheckBB = VersionedLoop->getLoopPreheader();
std::tie(FirstCheckInst, MemRuntimeCheck) =
- LAI.addRuntimeCheck(MemCheckBB->getTerminator(), PtrToPartition);
+ LAI.addRuntimeCheck(MemCheckBB->getTerminator(), Checks);
assert(MemRuntimeCheck && "called even though needsAnyChecking = false");
// Rename the block to make the IR more readable.
assert(MemRuntimeCheck && "called even though needsAnyChecking = false");
// Rename the block to make the IR more readable.