1 //===-- PostfixExpression.h -------------------------------------*- 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 //  This file implements support for postfix expressions found in several symbol
10 //  file formats, and their conversion to DWARF.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLDB_SYMBOL_POSTFIXEXPRESSION_H
15 #define LLDB_SYMBOL_POSTFIXEXPRESSION_H
16 
17 #include "llvm/ADT/StringRef.h"
18 #include "llvm/Support/Allocator.h"
19 #include "llvm/Support/Casting.h"
20 #include <vector>
21 
22 namespace lldb_private {
23 
24 class Stream;
25 
26 namespace postfix {
27 
28 /// The base class for all nodes in the parsed postfix tree.
29 class Node {
30 public:
31   enum Kind {
32     BinaryOp,
33     InitialValue,
34     Integer,
35     Register,
36     Symbol,
37     UnaryOp,
38   };
39 
40 protected:
41   Node(Kind kind) : m_kind(kind) {}
42 
43 public:
44   Kind GetKind() const { return m_kind; }
45 
46 private:
47   Kind m_kind;
48 };
49 
50 /// A node representing a binary expression.
51 class BinaryOpNode : public Node {
52 public:
53   enum OpType {
54     Align, // alignDown(a, b)
55     Minus, // a - b
56     Plus,  // a + b
57   };
58 
59   BinaryOpNode(OpType op_type, Node &left, Node &right)
60       : Node(BinaryOp), m_op_type(op_type), m_left(&left), m_right(&right) {}
61 
62   OpType GetOpType() const { return m_op_type; }
63 
64   const Node *Left() const { return m_left; }
65   Node *&Left() { return m_left; }
66 
67   const Node *Right() const { return m_right; }
68   Node *&Right() { return m_right; }
69 
70   static bool classof(const Node *node) { return node->GetKind() == BinaryOp; }
71 
72 private:
73   OpType m_op_type;
74   Node *m_left;
75   Node *m_right;
76 };
77 
78 /// A node representing the canonical frame address.
79 class InitialValueNode: public Node {
80 public:
81   InitialValueNode() : Node(InitialValue) {}
82 
83   static bool classof(const Node *node) {
84     return node->GetKind() == InitialValue;
85   }
86 };
87 
88 /// A node representing an integer literal.
89 class IntegerNode : public Node {
90 public:
91   IntegerNode(int64_t value) : Node(Integer), m_value(value) {}
92 
93   int64_t GetValue() const { return m_value; }
94 
95   static bool classof(const Node *node) { return node->GetKind() == Integer; }
96 
97 private:
98   int64_t m_value;
99 };
100 
101 /// A node representing the value of a register with the given register number.
102 /// The register kind (RegisterKind enum) used for the specifying the register
103 /// number is implicit and assumed to be the same for all Register nodes in a
104 /// given tree.
105 class RegisterNode : public Node {
106 public:
107   RegisterNode(uint32_t reg_num) : Node(Register), m_reg_num(reg_num) {}
108 
109   uint32_t GetRegNum() const { return m_reg_num; }
110 
111   static bool classof(const Node *node) { return node->GetKind() == Register; }
112 
113 private:
114   uint32_t m_reg_num;
115 };
116 
117 /// A node representing a symbolic reference to a named entity. This may be a
118 /// register, which hasn't yet been resolved to a RegisterNode.
119 class SymbolNode : public Node {
120 public:
121   SymbolNode(llvm::StringRef name) : Node(Symbol), m_name(name) {}
122 
123   llvm::StringRef GetName() const { return m_name; }
124 
125   static bool classof(const Node *node) { return node->GetKind() == Symbol; }
126 
127 private:
128   llvm::StringRef m_name;
129 };
130 
131 /// A node representing a unary operation.
132 class UnaryOpNode : public Node {
133 public:
134   enum OpType {
135     Deref, // *a
136   };
137 
138   UnaryOpNode(OpType op_type, Node &operand)
139       : Node(UnaryOp), m_op_type(op_type), m_operand(&operand) {}
140 
141   OpType GetOpType() const { return m_op_type; }
142 
143   const Node *Operand() const { return m_operand; }
144   Node *&Operand() { return m_operand; }
145 
146   static bool classof(const Node *node) { return node->GetKind() == UnaryOp; }
147 
148 private:
149   OpType m_op_type;
150   Node *m_operand;
151 };
152 
153 /// A template class implementing a visitor pattern, but with a couple of
154 /// twists:
155 /// - It uses type switch instead of virtual double dispatch. This allows the
156 //    node classes to be vtable-free and trivially destructible.
157 /// - The Visit functions get an extra Node *& parameter, which refers to the
158 ///   child pointer of the parent of the node we are currently visiting. This
159 ///   allows mutating algorithms, which replace the currently visited node with
160 ///   a different one.
161 /// - The class is templatized on the return type of the Visit functions, which
162 ///   means it's possible to return values from them.
163 template <typename ResultT = void> class Visitor {
164 protected:
165   virtual ~Visitor() = default;
166 
167   virtual ResultT Visit(BinaryOpNode &binary, Node *&ref) = 0;
168   virtual ResultT Visit(InitialValueNode &val, Node *&ref) = 0;
169   virtual ResultT Visit(IntegerNode &integer, Node *&) = 0;
170   virtual ResultT Visit(RegisterNode &reg, Node *&) = 0;
171   virtual ResultT Visit(SymbolNode &symbol, Node *&ref) = 0;
172   virtual ResultT Visit(UnaryOpNode &unary, Node *&ref) = 0;
173 
174   /// Invoke the correct Visit function based on the dynamic type of the given
175   /// node.
176   ResultT Dispatch(Node *&node) {
177     switch (node->GetKind()) {
178     case Node::BinaryOp:
179       return Visit(llvm::cast<BinaryOpNode>(*node), node);
180     case Node::InitialValue:
181       return Visit(llvm::cast<InitialValueNode>(*node), node);
182     case Node::Integer:
183       return Visit(llvm::cast<IntegerNode>(*node), node);
184     case Node::Register:
185       return Visit(llvm::cast<RegisterNode>(*node), node);
186     case Node::Symbol:
187       return Visit(llvm::cast<SymbolNode>(*node), node);
188     case Node::UnaryOp:
189       return Visit(llvm::cast<UnaryOpNode>(*node), node);
190     }
191     llvm_unreachable("Fully covered switch!");
192   }
193 };
194 
195 /// A utility function for "resolving" SymbolNodes. It traverses a tree and
196 /// calls the callback function for all SymbolNodes it encountered. The
197 /// replacement function should return the node it wished to replace the current
198 /// SymbolNode with (this can also be the original node), or nullptr in case of
199 /// an error. The nodes returned by the callback are inspected and replaced
200 /// recursively, *except* for the case when the function returns the exact same
201 /// node as the input one. It returns true if all SymbolNodes were replaced
202 /// successfully.
203 bool ResolveSymbols(Node *&node,
204                     llvm::function_ref<Node *(SymbolNode &symbol)> replacer);
205 
206 template <typename T, typename... Args>
207 inline T *MakeNode(llvm::BumpPtrAllocator &alloc, Args &&... args) {
208   static_assert(std::is_trivially_destructible<T>::value,
209                 "This object will not be destroyed!");
210   return new (alloc.Allocate<T>()) T(std::forward<Args>(args)...);
211 }
212 
213 /// Parse the given postfix expression. The parsed nodes are placed into the
214 /// provided allocator.
215 Node *ParseOneExpression(llvm::StringRef expr, llvm::BumpPtrAllocator &alloc);
216 
217 std::vector<std::pair<llvm::StringRef, Node *>>
218 ParseFPOProgram(llvm::StringRef prog, llvm::BumpPtrAllocator &alloc);
219 
220 /// Serialize the given expression tree as DWARF. The result is written into the
221 /// given stream. The AST should not contain any SymbolNodes. If the expression
222 /// contains InitialValueNodes, the generated expression will assume that their
223 /// value will be provided as the top value of the initial evaluation stack (as
224 /// is the case with the CFA value in register eh_unwind rules).
225 void ToDWARF(Node &node, Stream &stream);
226 
227 } // namespace postfix
228 } // namespace lldb_private
229 
230 #endif // LLDB_SYMBOL_POSTFIXEXPRESSION_H
231