1//===-- DwarfException.h - Dwarf Exception Framework -----------*- C++ -*--===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing dwarf exception info into asm files.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_CODEGEN_ASMPRINTER_DWARFEXCEPTION_H
15#define LLVM_CODEGEN_ASMPRINTER_DWARFEXCEPTION_H
16
17#include "llvm/ADT/DenseMap.h"
18#include "llvm/CodeGen/AsmPrinter.h"
19#include <vector>
20
21namespace llvm {
22
23template <typename T> class SmallVectorImpl;
24struct LandingPadInfo;
25class MachineModuleInfo;
26class MachineMove;
27class MachineInstr;
28class MachineFunction;
29class MCAsmInfo;
30class MCExpr;
31class MCSymbol;
32class Function;
33class AsmPrinter;
34
35//===----------------------------------------------------------------------===//
36/// DwarfException - Emits Dwarf exception handling directives.
37///
38class DwarfException {
39protected:
40  /// Asm - Target of Dwarf emission.
41  AsmPrinter *Asm;
42
43  /// MMI - Collected machine module information.
44  MachineModuleInfo *MMI;
45
46  /// SharedTypeIds - How many leading type ids two landing pads have in common.
47  static unsigned SharedTypeIds(const LandingPadInfo *L,
48                                const LandingPadInfo *R);
49
50  /// PadLT - Order landing pads lexicographically by type id.
51  static bool PadLT(const LandingPadInfo *L, const LandingPadInfo *R);
52
53  /// PadRange - Structure holding a try-range and the associated landing pad.
54  struct PadRange {
55    // The index of the landing pad.
56    unsigned PadIndex;
57    // The index of the begin and end labels in the landing pad's label lists.
58    unsigned RangeIndex;
59  };
60
61  typedef DenseMap<MCSymbol *, PadRange> RangeMapType;
62
63  /// ActionEntry - Structure describing an entry in the actions table.
64  struct ActionEntry {
65    int ValueForTypeID; // The value to write - may not be equal to the type id.
66    int NextAction;
67    unsigned Previous;
68  };
69
70  /// CallSiteEntry - Structure describing an entry in the call-site table.
71  struct CallSiteEntry {
72    // The 'try-range' is BeginLabel .. EndLabel.
73    MCSymbol *BeginLabel; // zero indicates the start of the function.
74    MCSymbol *EndLabel;   // zero indicates the end of the function.
75
76    // The landing pad starts at PadLabel.
77    MCSymbol *PadLabel;   // zero indicates that there is no landing pad.
78    unsigned Action;
79  };
80
81  /// ComputeActionsTable - Compute the actions table and gather the first
82  /// action index for each landing pad site.
83  unsigned ComputeActionsTable(const SmallVectorImpl<const LandingPadInfo*>&LPs,
84                               SmallVectorImpl<ActionEntry> &Actions,
85                               SmallVectorImpl<unsigned> &FirstActions);
86
87  /// CallToNoUnwindFunction - Return `true' if this is a call to a function
88  /// marked `nounwind'. Return `false' otherwise.
89  bool CallToNoUnwindFunction(const MachineInstr *MI);
90
91  /// ComputeCallSiteTable - Compute the call-site table.  The entry for an
92  /// invoke has a try-range containing the call, a non-zero landing pad and an
93  /// appropriate action.  The entry for an ordinary call has a try-range
94  /// containing the call and zero for the landing pad and the action.  Calls
95  /// marked 'nounwind' have no entry and must not be contained in the try-range
96  /// of any entry - they form gaps in the table.  Entries must be ordered by
97  /// try-range address.
98  void ComputeCallSiteTable(SmallVectorImpl<CallSiteEntry> &CallSites,
99                            const RangeMapType &PadMap,
100                            const SmallVectorImpl<const LandingPadInfo *> &LPs,
101                            const SmallVectorImpl<unsigned> &FirstActions);
102
103  /// EmitExceptionTable - Emit landing pads and actions.
104  ///
105  /// The general organization of the table is complex, but the basic concepts
106  /// are easy.  First there is a header which describes the location and
107  /// organization of the three components that follow.
108  ///  1. The landing pad site information describes the range of code covered
109  ///     by the try.  In our case it's an accumulation of the ranges covered
110  ///     by the invokes in the try.  There is also a reference to the landing
111  ///     pad that handles the exception once processed.  Finally an index into
112  ///     the actions table.
113  ///  2. The action table, in our case, is composed of pairs of type ids
114  ///     and next action offset.  Starting with the action index from the
115  ///     landing pad site, each type Id is checked for a match to the current
116  ///     exception.  If it matches then the exception and type id are passed
117  ///     on to the landing pad.  Otherwise the next action is looked up.  This
118  ///     chain is terminated with a next action of zero.  If no type id is
119  ///     found the frame is unwound and handling continues.
120  ///  3. Type id table contains references to all the C++ typeinfo for all
121  ///     catches in the function.  This tables is reversed indexed base 1.
122  void EmitExceptionTable();
123
124public:
125  //===--------------------------------------------------------------------===//
126  // Main entry points.
127  //
128  DwarfException(AsmPrinter *A);
129  virtual ~DwarfException();
130
131  /// EndModule - Emit all exception information that should come after the
132  /// content.
133  virtual void EndModule();
134
135  /// BeginFunction - Gather pre-function exception information.  Assumes being
136  /// emitted immediately after the function entry point.
137  virtual void BeginFunction(const MachineFunction *MF);
138
139  /// EndFunction - Gather and emit post-function exception information.
140  virtual void EndFunction();
141};
142
143class DwarfCFIException : public DwarfException {
144  /// shouldEmitPersonality - Per-function flag to indicate if .cfi_personality
145  /// should be emitted.
146  bool shouldEmitPersonality;
147
148  /// shouldEmitLSDA - Per-function flag to indicate if .cfi_lsda
149  /// should be emitted.
150  bool shouldEmitLSDA;
151
152  /// shouldEmitMoves - Per-function flag to indicate if frame moves info
153  /// should be emitted.
154  bool shouldEmitMoves;
155
156  AsmPrinter::CFIMoveType moveTypeModule;
157
158public:
159  //===--------------------------------------------------------------------===//
160  // Main entry points.
161  //
162  DwarfCFIException(AsmPrinter *A);
163  virtual ~DwarfCFIException();
164
165  /// EndModule - Emit all exception information that should come after the
166  /// content.
167  virtual void EndModule();
168
169  /// BeginFunction - Gather pre-function exception information.  Assumes being
170  /// emitted immediately after the function entry point.
171  virtual void BeginFunction(const MachineFunction *MF);
172
173  /// EndFunction - Gather and emit post-function exception information.
174  virtual void EndFunction();
175};
176
177class ARMException : public DwarfException {
178public:
179  //===--------------------------------------------------------------------===//
180  // Main entry points.
181  //
182  ARMException(AsmPrinter *A);
183  virtual ~ARMException();
184
185  /// EndModule - Emit all exception information that should come after the
186  /// content.
187  virtual void EndModule();
188
189  /// BeginFunction - Gather pre-function exception information.  Assumes being
190  /// emitted immediately after the function entry point.
191  virtual void BeginFunction(const MachineFunction *MF);
192
193  /// EndFunction - Gather and emit post-function exception information.
194  virtual void EndFunction();
195};
196
197class Win64Exception : public DwarfException {
198  /// shouldEmitPersonality - Per-function flag to indicate if personality
199  /// info should be emitted.
200  bool shouldEmitPersonality;
201
202  /// shouldEmitLSDA - Per-function flag to indicate if the LSDA
203  /// should be emitted.
204  bool shouldEmitLSDA;
205
206  /// shouldEmitMoves - Per-function flag to indicate if frame moves info
207  /// should be emitted.
208  bool shouldEmitMoves;
209
210public:
211  //===--------------------------------------------------------------------===//
212  // Main entry points.
213  //
214  Win64Exception(AsmPrinter *A);
215  virtual ~Win64Exception();
216
217  /// EndModule - Emit all exception information that should come after the
218  /// content.
219  virtual void EndModule();
220
221  /// BeginFunction - Gather pre-function exception information.  Assumes being
222  /// emitted immediately after the function entry point.
223  virtual void BeginFunction(const MachineFunction *MF);
224
225  /// EndFunction - Gather and emit post-function exception information.
226  virtual void EndFunction();
227};
228
229} // End of namespace llvm
230
231#endif
232