123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306 |
- //===-- SpeculateAnalyses.cpp --*- C++ -*-===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/ExecutionEngine/Orc/SpeculateAnalyses.h"
- #include "llvm/ADT/ArrayRef.h"
- #include "llvm/ADT/DenseMap.h"
- #include "llvm/ADT/STLExtras.h"
- #include "llvm/ADT/SmallPtrSet.h"
- #include "llvm/ADT/SmallVector.h"
- #include "llvm/Analysis/BlockFrequencyInfo.h"
- #include "llvm/Analysis/BranchProbabilityInfo.h"
- #include "llvm/Analysis/CFG.h"
- #include "llvm/IR/PassManager.h"
- #include "llvm/Passes/PassBuilder.h"
- #include "llvm/Support/ErrorHandling.h"
- #include <algorithm>
- namespace {
- using namespace llvm;
- SmallVector<const BasicBlock *, 8> findBBwithCalls(const Function &F,
- bool IndirectCall = false) {
- SmallVector<const BasicBlock *, 8> BBs;
- auto findCallInst = [&IndirectCall](const Instruction &I) {
- if (auto Call = dyn_cast<CallBase>(&I))
- return Call->isIndirectCall() ? IndirectCall : true;
- else
- return false;
- };
- for (auto &BB : F)
- if (findCallInst(*BB.getTerminator()) ||
- llvm::any_of(BB.instructionsWithoutDebug(), findCallInst))
- BBs.emplace_back(&BB);
- return BBs;
- }
- } // namespace
- // Implementations of Queries shouldn't need to lock the resources
- // such as LLVMContext, each argument (function) has a non-shared LLVMContext
- // Plus, if Queries contain states necessary locking scheme should be provided.
- namespace llvm {
- namespace orc {
- // Collect direct calls only
- void SpeculateQuery::findCalles(const BasicBlock *BB,
- DenseSet<StringRef> &CallesNames) {
- assert(BB != nullptr && "Traversing Null BB to find calls?");
- auto getCalledFunction = [&CallesNames](const CallBase *Call) {
- auto CalledValue = Call->getCalledOperand()->stripPointerCasts();
- if (auto DirectCall = dyn_cast<Function>(CalledValue))
- CallesNames.insert(DirectCall->getName());
- };
- for (auto &I : BB->instructionsWithoutDebug())
- if (auto CI = dyn_cast<CallInst>(&I))
- getCalledFunction(CI);
- if (auto II = dyn_cast<InvokeInst>(BB->getTerminator()))
- getCalledFunction(II);
- }
- bool SpeculateQuery::isStraightLine(const Function &F) {
- return llvm::all_of(F, [](const BasicBlock &BB) {
- return BB.getSingleSuccessor() != nullptr;
- });
- }
- // BlockFreqQuery Implementations
- size_t BlockFreqQuery::numBBToGet(size_t numBB) {
- // small CFG
- if (numBB < 4)
- return numBB;
- // mid-size CFG
- else if (numBB < 20)
- return (numBB / 2);
- else
- return (numBB / 2) + (numBB / 4);
- }
- BlockFreqQuery::ResultTy BlockFreqQuery::operator()(Function &F) {
- DenseMap<StringRef, DenseSet<StringRef>> CallerAndCalles;
- DenseSet<StringRef> Calles;
- SmallVector<std::pair<const BasicBlock *, uint64_t>, 8> BBFreqs;
- PassBuilder PB;
- FunctionAnalysisManager FAM;
- PB.registerFunctionAnalyses(FAM);
- auto IBBs = findBBwithCalls(F);
- if (IBBs.empty())
- return std::nullopt;
- auto &BFI = FAM.getResult<BlockFrequencyAnalysis>(F);
- for (const auto I : IBBs)
- BBFreqs.push_back({I, BFI.getBlockFreq(I).getFrequency()});
- assert(IBBs.size() == BBFreqs.size() && "BB Count Mismatch");
- llvm::sort(BBFreqs, [](decltype(BBFreqs)::const_reference BBF,
- decltype(BBFreqs)::const_reference BBS) {
- return BBF.second > BBS.second ? true : false;
- });
- // ignoring number of direct calls in a BB
- auto Topk = numBBToGet(BBFreqs.size());
- for (size_t i = 0; i < Topk; i++)
- findCalles(BBFreqs[i].first, Calles);
- assert(!Calles.empty() && "Running Analysis on Function with no calls?");
- CallerAndCalles.insert({F.getName(), std::move(Calles)});
- return CallerAndCalles;
- }
- // SequenceBBQuery Implementation
- std::size_t SequenceBBQuery::getHottestBlocks(std::size_t TotalBlocks) {
- if (TotalBlocks == 1)
- return TotalBlocks;
- return TotalBlocks / 2;
- }
- // FIXME : find good implementation.
- SequenceBBQuery::BlockListTy
- SequenceBBQuery::rearrangeBB(const Function &F, const BlockListTy &BBList) {
- BlockListTy RearrangedBBSet;
- for (auto &Block : F)
- if (llvm::is_contained(BBList, &Block))
- RearrangedBBSet.push_back(&Block);
- assert(RearrangedBBSet.size() == BBList.size() &&
- "BasicBlock missing while rearranging?");
- return RearrangedBBSet;
- }
- void SequenceBBQuery::traverseToEntryBlock(const BasicBlock *AtBB,
- const BlockListTy &CallerBlocks,
- const BackEdgesInfoTy &BackEdgesInfo,
- const BranchProbabilityInfo *BPI,
- VisitedBlocksInfoTy &VisitedBlocks) {
- auto Itr = VisitedBlocks.find(AtBB);
- if (Itr != VisitedBlocks.end()) { // already visited.
- if (!Itr->second.Upward)
- return;
- Itr->second.Upward = false;
- } else {
- // Create hint for newly discoverd blocks.
- WalkDirection BlockHint;
- BlockHint.Upward = false;
- // FIXME: Expensive Check
- if (llvm::is_contained(CallerBlocks, AtBB))
- BlockHint.CallerBlock = true;
- VisitedBlocks.insert(std::make_pair(AtBB, BlockHint));
- }
- const_pred_iterator PIt = pred_begin(AtBB), EIt = pred_end(AtBB);
- // Move this check to top, when we have code setup to launch speculative
- // compiles for function in entry BB, this triggers the speculative compiles
- // before running the program.
- if (PIt == EIt) // No Preds.
- return;
- DenseSet<const BasicBlock *> PredSkipNodes;
- // Since we are checking for predecessor's backedges, this Block
- // occurs in second position.
- for (auto &I : BackEdgesInfo)
- if (I.second == AtBB)
- PredSkipNodes.insert(I.first);
- // Skip predecessors which source of back-edges.
- for (; PIt != EIt; ++PIt)
- // checking EdgeHotness is cheaper
- if (BPI->isEdgeHot(*PIt, AtBB) && !PredSkipNodes.count(*PIt))
- traverseToEntryBlock(*PIt, CallerBlocks, BackEdgesInfo, BPI,
- VisitedBlocks);
- }
- void SequenceBBQuery::traverseToExitBlock(const BasicBlock *AtBB,
- const BlockListTy &CallerBlocks,
- const BackEdgesInfoTy &BackEdgesInfo,
- const BranchProbabilityInfo *BPI,
- VisitedBlocksInfoTy &VisitedBlocks) {
- auto Itr = VisitedBlocks.find(AtBB);
- if (Itr != VisitedBlocks.end()) { // already visited.
- if (!Itr->second.Downward)
- return;
- Itr->second.Downward = false;
- } else {
- // Create hint for newly discoverd blocks.
- WalkDirection BlockHint;
- BlockHint.Downward = false;
- // FIXME: Expensive Check
- if (llvm::is_contained(CallerBlocks, AtBB))
- BlockHint.CallerBlock = true;
- VisitedBlocks.insert(std::make_pair(AtBB, BlockHint));
- }
- const_succ_iterator PIt = succ_begin(AtBB), EIt = succ_end(AtBB);
- if (PIt == EIt) // No succs.
- return;
- // If there are hot edges, then compute SuccSkipNodes.
- DenseSet<const BasicBlock *> SuccSkipNodes;
- // Since we are checking for successor's backedges, this Block
- // occurs in first position.
- for (auto &I : BackEdgesInfo)
- if (I.first == AtBB)
- SuccSkipNodes.insert(I.second);
- for (; PIt != EIt; ++PIt)
- if (BPI->isEdgeHot(AtBB, *PIt) && !SuccSkipNodes.count(*PIt))
- traverseToExitBlock(*PIt, CallerBlocks, BackEdgesInfo, BPI,
- VisitedBlocks);
- }
- // Get Block frequencies for blocks and take most frquently executed block,
- // walk towards the entry block from those blocks and discover the basic blocks
- // with call.
- SequenceBBQuery::BlockListTy
- SequenceBBQuery::queryCFG(Function &F, const BlockListTy &CallerBlocks) {
- BlockFreqInfoTy BBFreqs;
- VisitedBlocksInfoTy VisitedBlocks;
- BackEdgesInfoTy BackEdgesInfo;
- PassBuilder PB;
- FunctionAnalysisManager FAM;
- PB.registerFunctionAnalyses(FAM);
- auto &BFI = FAM.getResult<BlockFrequencyAnalysis>(F);
- llvm::FindFunctionBackedges(F, BackEdgesInfo);
- for (const auto I : CallerBlocks)
- BBFreqs.push_back({I, BFI.getBlockFreq(I).getFrequency()});
- llvm::sort(BBFreqs, [](decltype(BBFreqs)::const_reference Bbf,
- decltype(BBFreqs)::const_reference Bbs) {
- return Bbf.second > Bbs.second;
- });
- ArrayRef<std::pair<const BasicBlock *, uint64_t>> HotBlocksRef(BBFreqs);
- HotBlocksRef =
- HotBlocksRef.drop_back(BBFreqs.size() - getHottestBlocks(BBFreqs.size()));
- BranchProbabilityInfo *BPI =
- FAM.getCachedResult<BranchProbabilityAnalysis>(F);
- // visit NHotBlocks,
- // traverse upwards to entry
- // traverse downwards to end.
- for (auto I : HotBlocksRef) {
- traverseToEntryBlock(I.first, CallerBlocks, BackEdgesInfo, BPI,
- VisitedBlocks);
- traverseToExitBlock(I.first, CallerBlocks, BackEdgesInfo, BPI,
- VisitedBlocks);
- }
- BlockListTy MinCallerBlocks;
- for (auto &I : VisitedBlocks)
- if (I.second.CallerBlock)
- MinCallerBlocks.push_back(std::move(I.first));
- return rearrangeBB(F, MinCallerBlocks);
- }
- SpeculateQuery::ResultTy SequenceBBQuery::operator()(Function &F) {
- // reduce the number of lists!
- DenseMap<StringRef, DenseSet<StringRef>> CallerAndCalles;
- DenseSet<StringRef> Calles;
- BlockListTy SequencedBlocks;
- BlockListTy CallerBlocks;
- CallerBlocks = findBBwithCalls(F);
- if (CallerBlocks.empty())
- return std::nullopt;
- if (isStraightLine(F))
- SequencedBlocks = rearrangeBB(F, CallerBlocks);
- else
- SequencedBlocks = queryCFG(F, CallerBlocks);
- for (const auto *BB : SequencedBlocks)
- findCalles(BB, Calles);
- CallerAndCalles.insert({F.getName(), std::move(Calles)});
- return CallerAndCalles;
- }
- } // namespace orc
- } // namespace llvm
|