1 //===-- WebAssemblyExceptionInfo.h - WebAssembly Exception Info -*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 ///
9 /// \file
10 /// \brief This file implements WebAssemblyException information analysis.
11 ///
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_LIB_TARGET_WEBASSEMBLY_WEBASSEMBLYEXCEPTIONINFO_H
15 #define LLVM_LIB_TARGET_WEBASSEMBLY_WEBASSEMBLYEXCEPTIONINFO_H
16 
17 #include "WebAssembly.h"
18 #include "llvm/ADT/SetVector.h"
19 #include "llvm/CodeGen/MachineFunctionPass.h"
20 
21 namespace llvm {
22 
23 class MachineDominatorTree;
24 class MachineDominanceFrontier;
25 
26 // WebAssembly instructions for exception handling are structured as follows:
27 //   try
28 //     instructions*
29 //   catch             ----|
30 //     instructions*       | -> A WebAssemblyException consists of this region
31 //   end               ----|
32 //
33 // A WebAssemblyException object contains BBs that belong to a 'catch' part of
34 // the try-catch-end structure to be created later. 'try' and 'end' markers
35 // are not present at this stage and will be generated in CFGStackify pass.
36 // Because CFGSort requires all the BBs within a catch part to be sorted
37 // together as it does for loops, this pass calculates the nesting structure of
38 // catch part of exceptions in a function.
39 //
40 // An exception catch part is defined as a BB with catch instruction and all
41 // other BBs dominated by this BB.
42 class WebAssemblyException {
43   MachineBasicBlock *EHPad = nullptr;
44 
45   WebAssemblyException *ParentException = nullptr;
46   std::vector<std::unique_ptr<WebAssemblyException>> SubExceptions;
47   std::vector<MachineBasicBlock *> Blocks;
48   SmallPtrSet<MachineBasicBlock *, 8> BlockSet;
49 
50 public:
WebAssemblyException(MachineBasicBlock * EHPad)51   WebAssemblyException(MachineBasicBlock *EHPad) : EHPad(EHPad) {}
52   WebAssemblyException(const WebAssemblyException &) = delete;
53   const WebAssemblyException &operator=(const WebAssemblyException &) = delete;
54 
getEHPad()55   MachineBasicBlock *getEHPad() const { return EHPad; }
getHeader()56   MachineBasicBlock *getHeader() const { return EHPad; }
getParentException()57   WebAssemblyException *getParentException() const { return ParentException; }
setParentException(WebAssemblyException * WE)58   void setParentException(WebAssemblyException *WE) { ParentException = WE; }
59 
contains(const WebAssemblyException * WE)60   bool contains(const WebAssemblyException *WE) const {
61     if (WE == this)
62       return true;
63     if (!WE)
64       return false;
65     return contains(WE->getParentException());
66   }
contains(const MachineBasicBlock * MBB)67   bool contains(const MachineBasicBlock *MBB) const {
68     return BlockSet.count(MBB);
69   }
70 
addToBlocksSet(MachineBasicBlock * MBB)71   void addToBlocksSet(MachineBasicBlock *MBB) { BlockSet.insert(MBB); }
removeFromBlocksSet(MachineBasicBlock * MBB)72   void removeFromBlocksSet(MachineBasicBlock *MBB) { BlockSet.erase(MBB); }
addToBlocksVector(MachineBasicBlock * MBB)73   void addToBlocksVector(MachineBasicBlock *MBB) { Blocks.push_back(MBB); }
addBlock(MachineBasicBlock * MBB)74   void addBlock(MachineBasicBlock *MBB) {
75     Blocks.push_back(MBB);
76     BlockSet.insert(MBB);
77   }
getBlocks()78   ArrayRef<MachineBasicBlock *> getBlocks() const { return Blocks; }
79   using block_iterator = typename ArrayRef<MachineBasicBlock *>::const_iterator;
block_begin()80   block_iterator block_begin() const { return getBlocks().begin(); }
block_end()81   block_iterator block_end() const { return getBlocks().end(); }
blocks()82   inline iterator_range<block_iterator> blocks() const {
83     return make_range(block_begin(), block_end());
84   }
getNumBlocks()85   unsigned getNumBlocks() const { return Blocks.size(); }
getBlocksVector()86   std::vector<MachineBasicBlock *> &getBlocksVector() { return Blocks; }
getBlocksSet()87   SmallPtrSetImpl<MachineBasicBlock *> &getBlocksSet() { return BlockSet; }
88 
89   const std::vector<std::unique_ptr<WebAssemblyException>> &
getSubExceptions()90   getSubExceptions() const {
91     return SubExceptions;
92   }
getSubExceptions()93   std::vector<std::unique_ptr<WebAssemblyException>> &getSubExceptions() {
94     return SubExceptions;
95   }
addSubException(std::unique_ptr<WebAssemblyException> E)96   void addSubException(std::unique_ptr<WebAssemblyException> E) {
97     SubExceptions.push_back(std::move(E));
98   }
99   using iterator = typename decltype(SubExceptions)::const_iterator;
begin()100   iterator begin() const { return SubExceptions.begin(); }
end()101   iterator end() const { return SubExceptions.end(); }
102 
reserveBlocks(unsigned Size)103   void reserveBlocks(unsigned Size) { Blocks.reserve(Size); }
104   void reverseBlock(unsigned From = 0) {
105     std::reverse(Blocks.begin() + From, Blocks.end());
106   }
107 
108   // Return the nesting level. An outermost one has depth 1.
getExceptionDepth()109   unsigned getExceptionDepth() const {
110     unsigned D = 1;
111     for (const WebAssemblyException *CurException = ParentException;
112          CurException; CurException = CurException->ParentException)
113       ++D;
114     return D;
115   }
116 
117   void print(raw_ostream &OS, unsigned Depth = 0) const;
118   void dump() const;
119 };
120 
121 raw_ostream &operator<<(raw_ostream &OS, const WebAssemblyException &WE);
122 
123 class WebAssemblyExceptionInfo final : public MachineFunctionPass {
124   // Mapping of basic blocks to the innermost exception they occur in
125   DenseMap<const MachineBasicBlock *, WebAssemblyException *> BBMap;
126   std::vector<std::unique_ptr<WebAssemblyException>> TopLevelExceptions;
127 
128   void discoverAndMapException(WebAssemblyException *WE,
129                                const MachineDominatorTree &MDT,
130                                const MachineDominanceFrontier &MDF);
131   WebAssemblyException *getOutermostException(MachineBasicBlock *MBB) const;
132 
133 public:
134   static char ID;
WebAssemblyExceptionInfo()135   WebAssemblyExceptionInfo() : MachineFunctionPass(ID) {
136     initializeWebAssemblyExceptionInfoPass(*PassRegistry::getPassRegistry());
137   }
~WebAssemblyExceptionInfo()138   ~WebAssemblyExceptionInfo() override { releaseMemory(); }
139   WebAssemblyExceptionInfo(const WebAssemblyExceptionInfo &) = delete;
140   WebAssemblyExceptionInfo &
141   operator=(const WebAssemblyExceptionInfo &) = delete;
142 
143   bool runOnMachineFunction(MachineFunction &) override;
144   void releaseMemory() override;
145   void recalculate(MachineFunction &MF, MachineDominatorTree &MDT,
146                    const MachineDominanceFrontier &MDF);
147   void getAnalysisUsage(AnalysisUsage &AU) const override;
148 
empty()149   bool empty() const { return TopLevelExceptions.empty(); }
150 
151   // Return the innermost exception that MBB lives in. If the block is not in an
152   // exception, null is returned.
getExceptionFor(const MachineBasicBlock * MBB)153   WebAssemblyException *getExceptionFor(const MachineBasicBlock *MBB) const {
154     return BBMap.lookup(MBB);
155   }
156 
changeExceptionFor(const MachineBasicBlock * MBB,WebAssemblyException * WE)157   void changeExceptionFor(const MachineBasicBlock *MBB,
158                           WebAssemblyException *WE) {
159     if (!WE) {
160       BBMap.erase(MBB);
161       return;
162     }
163     BBMap[MBB] = WE;
164   }
165 
addTopLevelException(std::unique_ptr<WebAssemblyException> WE)166   void addTopLevelException(std::unique_ptr<WebAssemblyException> WE) {
167     assert(!WE->getParentException() && "Not a top level exception!");
168     TopLevelExceptions.push_back(std::move(WE));
169   }
170 
171   void print(raw_ostream &OS, const Module *M = nullptr) const override;
172 };
173 
174 } // end namespace llvm
175 
176 #endif
177