xref: /aosp_15_r20/external/llvm/lib/Analysis/IteratedDominanceFrontier.cpp (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker //===- IteratedDominanceFrontier.cpp - Compute IDF ------------------------===//
2*9880d681SAndroid Build Coastguard Worker //
3*9880d681SAndroid Build Coastguard Worker //                     The LLVM Compiler Infrastructure
4*9880d681SAndroid Build Coastguard Worker //
5*9880d681SAndroid Build Coastguard Worker // This file is distributed under the University of Illinois Open Source
6*9880d681SAndroid Build Coastguard Worker // License. See LICENSE.TXT for details.
7*9880d681SAndroid Build Coastguard Worker //
8*9880d681SAndroid Build Coastguard Worker //===----------------------------------------------------------------------===//
9*9880d681SAndroid Build Coastguard Worker //
10*9880d681SAndroid Build Coastguard Worker /// \brief Compute iterated dominance frontiers using a linear time algorithm.
11*9880d681SAndroid Build Coastguard Worker //
12*9880d681SAndroid Build Coastguard Worker //===----------------------------------------------------------------------===//
13*9880d681SAndroid Build Coastguard Worker 
14*9880d681SAndroid Build Coastguard Worker #include "llvm/Analysis/IteratedDominanceFrontier.h"
15*9880d681SAndroid Build Coastguard Worker #include "llvm/IR/CFG.h"
16*9880d681SAndroid Build Coastguard Worker #include "llvm/IR/Dominators.h"
17*9880d681SAndroid Build Coastguard Worker #include <queue>
18*9880d681SAndroid Build Coastguard Worker 
19*9880d681SAndroid Build Coastguard Worker namespace llvm {
20*9880d681SAndroid Build Coastguard Worker template <class NodeTy>
calculate(SmallVectorImpl<BasicBlock * > & PHIBlocks)21*9880d681SAndroid Build Coastguard Worker void IDFCalculator<NodeTy>::calculate(
22*9880d681SAndroid Build Coastguard Worker     SmallVectorImpl<BasicBlock *> &PHIBlocks) {
23*9880d681SAndroid Build Coastguard Worker   // If we haven't computed dominator tree levels, do so now.
24*9880d681SAndroid Build Coastguard Worker   if (DomLevels.empty()) {
25*9880d681SAndroid Build Coastguard Worker     for (auto DFI = df_begin(DT.getRootNode()), DFE = df_end(DT.getRootNode());
26*9880d681SAndroid Build Coastguard Worker          DFI != DFE; ++DFI) {
27*9880d681SAndroid Build Coastguard Worker       DomLevels[*DFI] = DFI.getPathLength() - 1;
28*9880d681SAndroid Build Coastguard Worker     }
29*9880d681SAndroid Build Coastguard Worker   }
30*9880d681SAndroid Build Coastguard Worker 
31*9880d681SAndroid Build Coastguard Worker   // Use a priority queue keyed on dominator tree level so that inserted nodes
32*9880d681SAndroid Build Coastguard Worker   // are handled from the bottom of the dominator tree upwards.
33*9880d681SAndroid Build Coastguard Worker   typedef std::pair<DomTreeNode *, unsigned> DomTreeNodePair;
34*9880d681SAndroid Build Coastguard Worker   typedef std::priority_queue<DomTreeNodePair, SmallVector<DomTreeNodePair, 32>,
35*9880d681SAndroid Build Coastguard Worker                               less_second> IDFPriorityQueue;
36*9880d681SAndroid Build Coastguard Worker   IDFPriorityQueue PQ;
37*9880d681SAndroid Build Coastguard Worker 
38*9880d681SAndroid Build Coastguard Worker   for (BasicBlock *BB : *DefBlocks) {
39*9880d681SAndroid Build Coastguard Worker     if (DomTreeNode *Node = DT.getNode(BB))
40*9880d681SAndroid Build Coastguard Worker       PQ.push(std::make_pair(Node, DomLevels.lookup(Node)));
41*9880d681SAndroid Build Coastguard Worker   }
42*9880d681SAndroid Build Coastguard Worker 
43*9880d681SAndroid Build Coastguard Worker   SmallVector<DomTreeNode *, 32> Worklist;
44*9880d681SAndroid Build Coastguard Worker   SmallPtrSet<DomTreeNode *, 32> VisitedPQ;
45*9880d681SAndroid Build Coastguard Worker   SmallPtrSet<DomTreeNode *, 32> VisitedWorklist;
46*9880d681SAndroid Build Coastguard Worker 
47*9880d681SAndroid Build Coastguard Worker   while (!PQ.empty()) {
48*9880d681SAndroid Build Coastguard Worker     DomTreeNodePair RootPair = PQ.top();
49*9880d681SAndroid Build Coastguard Worker     PQ.pop();
50*9880d681SAndroid Build Coastguard Worker     DomTreeNode *Root = RootPair.first;
51*9880d681SAndroid Build Coastguard Worker     unsigned RootLevel = RootPair.second;
52*9880d681SAndroid Build Coastguard Worker 
53*9880d681SAndroid Build Coastguard Worker     // Walk all dominator tree children of Root, inspecting their CFG edges with
54*9880d681SAndroid Build Coastguard Worker     // targets elsewhere on the dominator tree. Only targets whose level is at
55*9880d681SAndroid Build Coastguard Worker     // most Root's level are added to the iterated dominance frontier of the
56*9880d681SAndroid Build Coastguard Worker     // definition set.
57*9880d681SAndroid Build Coastguard Worker 
58*9880d681SAndroid Build Coastguard Worker     Worklist.clear();
59*9880d681SAndroid Build Coastguard Worker     Worklist.push_back(Root);
60*9880d681SAndroid Build Coastguard Worker     VisitedWorklist.insert(Root);
61*9880d681SAndroid Build Coastguard Worker 
62*9880d681SAndroid Build Coastguard Worker     while (!Worklist.empty()) {
63*9880d681SAndroid Build Coastguard Worker       DomTreeNode *Node = Worklist.pop_back_val();
64*9880d681SAndroid Build Coastguard Worker       BasicBlock *BB = Node->getBlock();
65*9880d681SAndroid Build Coastguard Worker       // Succ is the successor in the direction we are calculating IDF, so it is
66*9880d681SAndroid Build Coastguard Worker       // successor for IDF, and predecessor for Reverse IDF.
67*9880d681SAndroid Build Coastguard Worker       for (auto SuccIter = GraphTraits<NodeTy>::child_begin(BB),
68*9880d681SAndroid Build Coastguard Worker                 End = GraphTraits<NodeTy>::child_end(BB);
69*9880d681SAndroid Build Coastguard Worker            SuccIter != End; ++SuccIter) {
70*9880d681SAndroid Build Coastguard Worker         BasicBlock *Succ = *SuccIter;
71*9880d681SAndroid Build Coastguard Worker         DomTreeNode *SuccNode = DT.getNode(Succ);
72*9880d681SAndroid Build Coastguard Worker 
73*9880d681SAndroid Build Coastguard Worker         // Quickly skip all CFG edges that are also dominator tree edges instead
74*9880d681SAndroid Build Coastguard Worker         // of catching them below.
75*9880d681SAndroid Build Coastguard Worker         if (SuccNode->getIDom() == Node)
76*9880d681SAndroid Build Coastguard Worker           continue;
77*9880d681SAndroid Build Coastguard Worker 
78*9880d681SAndroid Build Coastguard Worker         unsigned SuccLevel = DomLevels.lookup(SuccNode);
79*9880d681SAndroid Build Coastguard Worker         if (SuccLevel > RootLevel)
80*9880d681SAndroid Build Coastguard Worker           continue;
81*9880d681SAndroid Build Coastguard Worker 
82*9880d681SAndroid Build Coastguard Worker         if (!VisitedPQ.insert(SuccNode).second)
83*9880d681SAndroid Build Coastguard Worker           continue;
84*9880d681SAndroid Build Coastguard Worker 
85*9880d681SAndroid Build Coastguard Worker         BasicBlock *SuccBB = SuccNode->getBlock();
86*9880d681SAndroid Build Coastguard Worker         if (useLiveIn && !LiveInBlocks->count(SuccBB))
87*9880d681SAndroid Build Coastguard Worker           continue;
88*9880d681SAndroid Build Coastguard Worker 
89*9880d681SAndroid Build Coastguard Worker         PHIBlocks.emplace_back(SuccBB);
90*9880d681SAndroid Build Coastguard Worker         if (!DefBlocks->count(SuccBB))
91*9880d681SAndroid Build Coastguard Worker           PQ.push(std::make_pair(SuccNode, SuccLevel));
92*9880d681SAndroid Build Coastguard Worker       }
93*9880d681SAndroid Build Coastguard Worker 
94*9880d681SAndroid Build Coastguard Worker       for (auto DomChild : *Node) {
95*9880d681SAndroid Build Coastguard Worker         if (VisitedWorklist.insert(DomChild).second)
96*9880d681SAndroid Build Coastguard Worker           Worklist.push_back(DomChild);
97*9880d681SAndroid Build Coastguard Worker       }
98*9880d681SAndroid Build Coastguard Worker     }
99*9880d681SAndroid Build Coastguard Worker   }
100*9880d681SAndroid Build Coastguard Worker }
101*9880d681SAndroid Build Coastguard Worker 
102*9880d681SAndroid Build Coastguard Worker template class IDFCalculator<BasicBlock *>;
103*9880d681SAndroid Build Coastguard Worker template class IDFCalculator<Inverse<BasicBlock *>>;
104*9880d681SAndroid Build Coastguard Worker }
105