xref: /freebsd/contrib/llvm-project/lldb/include/lldb/Symbol/CompilerType.h (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
1 //===-- CompilerType.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 #ifndef LLDB_SYMBOL_COMPILERTYPE_H
10 #define LLDB_SYMBOL_COMPILERTYPE_H
11 
12 #include <functional>
13 #include <optional>
14 #include <string>
15 #include <vector>
16 
17 #include "lldb/lldb-private.h"
18 #include "llvm/ADT/APSInt.h"
19 #include "llvm/Support/Casting.h"
20 
21 namespace lldb_private {
22 
23 class DataExtractor;
24 class TypeSystem;
25 
26 /// Generic representation of a type in a programming language.
27 ///
28 /// This class serves as an abstraction for a type inside one of the TypeSystems
29 /// implemented by the language plugins. It does not have any actual logic in it
30 /// but only stores an opaque pointer and a pointer to the TypeSystem that
31 /// gives meaning to this opaque pointer. All methods of this class should call
32 /// their respective method in the TypeSystem interface and pass the opaque
33 /// pointer along.
34 ///
35 /// \see lldb_private::TypeSystem
36 class CompilerType {
37 public:
38   /// Creates a CompilerType with the given TypeSystem and opaque compiler type.
39   ///
40   /// This constructor should only be called from the respective TypeSystem
41   /// implementation.
42   ///
43   /// \see lldb_private::TypeSystemClang::GetType(clang::QualType)
44   CompilerType(lldb::TypeSystemWP type_system,
45                lldb::opaque_compiler_type_t type);
46 
47   /// This is a minimal wrapper of a TypeSystem shared pointer as
48   /// returned by CompilerType which conventien dyn_cast support.
49   class TypeSystemSPWrapper {
50     lldb::TypeSystemSP m_typesystem_sp;
51 
52   public:
53     TypeSystemSPWrapper() = default;
TypeSystemSPWrapper(lldb::TypeSystemSP typesystem_sp)54     TypeSystemSPWrapper(lldb::TypeSystemSP typesystem_sp)
55         : m_typesystem_sp(typesystem_sp) {}
56 
isa_and_nonnull()57     template <class TypeSystemType> bool isa_and_nonnull() {
58       if (auto *ts = m_typesystem_sp.get())
59         return llvm::isa<TypeSystemType>(ts);
60       return false;
61     }
62 
63     /// Return a shared_ptr<TypeSystemType> if dyn_cast succeeds.
64     template <class TypeSystemType>
dyn_cast_or_null()65     std::shared_ptr<TypeSystemType> dyn_cast_or_null() {
66       if (isa_and_nonnull<TypeSystemType>())
67         return std::shared_ptr<TypeSystemType>(
68             m_typesystem_sp, llvm::cast<TypeSystemType>(m_typesystem_sp.get()));
69       return nullptr;
70     }
71 
72     explicit operator bool() const {
73       return static_cast<bool>(m_typesystem_sp);
74     }
75     bool operator==(const TypeSystemSPWrapper &other) const;
76     bool operator!=(const TypeSystemSPWrapper &other) const {
77       return !(*this == other);
78     }
79 
80     /// Only to be used in a one-off situations like
81     ///    if (typesystem && typesystem->method())
82     /// Do not store this pointer!
83     TypeSystem *operator->() const;
84 
GetSharedPointer()85     lldb::TypeSystemSP GetSharedPointer() const { return m_typesystem_sp; }
86   };
87 
88   CompilerType(TypeSystemSPWrapper type_system,
89                lldb::opaque_compiler_type_t type);
90 
CompilerType(const CompilerType & rhs)91   CompilerType(const CompilerType &rhs)
92       : m_type_system(rhs.m_type_system), m_type(rhs.m_type) {}
93 
94   CompilerType() = default;
95 
96   /// Operators.
97   /// \{
98   const CompilerType &operator=(const CompilerType &rhs) {
99     m_type_system = rhs.m_type_system;
100     m_type = rhs.m_type;
101     return *this;
102   }
103 
104   bool operator<(const CompilerType &rhs) const {
105     auto lts = m_type_system.lock();
106     auto rts = rhs.m_type_system.lock();
107     if (lts.get() == rts.get())
108       return m_type < rhs.m_type;
109     return lts.get() < rts.get();
110   }
111   /// \}
112 
113   /// Tests.
114   /// \{
115   explicit operator bool() const {
116     return m_type_system.lock() && m_type;
117   }
118 
IsValid()119   bool IsValid() const { return (bool)*this; }
120 
121   bool IsArrayType(CompilerType *element_type = nullptr,
122                    uint64_t *size = nullptr,
123                    bool *is_incomplete = nullptr) const;
124 
125   bool IsVectorType(CompilerType *element_type = nullptr,
126                     uint64_t *size = nullptr) const;
127 
128   bool IsArrayOfScalarType() const;
129 
130   bool IsAggregateType() const;
131 
132   bool IsAnonymousType() const;
133 
134   bool IsScopedEnumerationType() const;
135 
136   bool IsBeingDefined() const;
137 
138   bool IsCharType() const;
139 
140   bool IsCompleteType() const;
141 
142   bool IsConst() const;
143 
144   bool IsDefined() const;
145 
146   bool IsFloatingPointType(uint32_t &count, bool &is_complex) const;
147 
148   bool IsFunctionType() const;
149 
150   uint32_t IsHomogeneousAggregate(CompilerType *base_type_ptr) const;
151 
152   size_t GetNumberOfFunctionArguments() const;
153 
154   CompilerType GetFunctionArgumentAtIndex(const size_t index) const;
155 
156   bool IsVariadicFunctionType() const;
157 
158   bool IsFunctionPointerType() const;
159 
160   bool IsMemberFunctionPointerType() const;
161 
162   bool
163   IsBlockPointerType(CompilerType *function_pointer_type_ptr = nullptr) const;
164 
165   bool IsIntegerType(bool &is_signed) const;
166 
167   bool IsEnumerationType(bool &is_signed) const;
168 
169   bool IsIntegerOrEnumerationType(bool &is_signed) const;
170 
171   bool IsPolymorphicClass() const;
172 
173   /// \param target_type    Can pass nullptr.
174   bool IsPossibleDynamicType(CompilerType *target_type, bool check_cplusplus,
175                              bool check_objc) const;
176 
177   bool IsPointerToScalarType() const;
178 
179   bool IsRuntimeGeneratedType() const;
180 
181   bool IsPointerType(CompilerType *pointee_type = nullptr) const;
182 
183   bool IsPointerOrReferenceType(CompilerType *pointee_type = nullptr) const;
184 
185   bool IsReferenceType(CompilerType *pointee_type = nullptr,
186                        bool *is_rvalue = nullptr) const;
187 
188   bool ShouldTreatScalarValueAsAddress() const;
189 
190   bool IsScalarType() const;
191 
192   bool IsTemplateType() const;
193 
194   bool IsTypedefType() const;
195 
196   bool IsVoidType() const;
197 
198   /// This is used when you don't care about the signedness of the integer.
199   bool IsInteger() const;
200 
201   bool IsFloat() const;
202 
203   /// This is used when you don't care about the signedness of the enum.
204   bool IsEnumerationType() const;
205 
206   bool IsUnscopedEnumerationType() const;
207 
208   bool IsIntegerOrUnscopedEnumerationType() const;
209 
210   bool IsSigned() const;
211 
212   bool IsNullPtrType() const;
213 
214   bool IsBoolean() const;
215 
216   bool IsEnumerationIntegerTypeSigned() const;
217 
218   bool IsScalarOrUnscopedEnumerationType() const;
219 
220   bool IsPromotableIntegerType() const;
221 
222   bool IsPointerToVoid() const;
223 
224   bool IsRecordType() const;
225 
226   //// Checks whether `target_base` is a virtual base of `type` (direct or
227   /// indirect). If it is, stores the first virtual base type on the path from
228   /// `type` to `target_type`. Parameter "virtual_base" is where the first
229   /// virtual base type gets stored. Parameter "carry_virtual" is used to
230   /// denote that we're in a recursive check of virtual base classes and we
231   /// have already seen a virtual base class (so should only check direct
232   /// base classes).
233   /// Note: This may only be defined in TypeSystemClang.
234   bool IsVirtualBase(CompilerType target_base, CompilerType *virtual_base,
235                      bool carry_virtual = false) const;
236 
237   /// This may only be defined in TypeSystemClang.
238   bool IsContextuallyConvertibleToBool() const;
239 
240   bool IsBasicType() const;
241 
242   std::string TypeDescription();
243 
244   bool CompareTypes(CompilerType rhs) const;
245 
246   const char *GetTypeTag();
247 
248   /// Go through the base classes and count non-empty ones.
249   uint32_t GetNumberOfNonEmptyBaseClasses();
250 
251   /// \}
252 
253   /// Type Completion.
254   /// \{
255   bool GetCompleteType() const;
256   /// \}
257 
258   bool IsForcefullyCompleted() const;
259 
260   /// AST related queries.
261   /// \{
262   size_t GetPointerByteSize() const;
263   /// \}
264 
265   unsigned GetPtrAuthKey() const;
266 
267   unsigned GetPtrAuthDiscriminator() const;
268 
269   bool GetPtrAuthAddressDiversity() const;
270 
271   /// Accessors.
272   /// \{
273 
274   /// Returns a shared pointer to the type system. The
275   /// TypeSystem::TypeSystemSPWrapper can be compared for equality.
276   TypeSystemSPWrapper GetTypeSystem() const;
277 
278   ConstString GetTypeName(bool BaseOnly = false) const;
279 
280   ConstString GetDisplayTypeName() const;
281 
282   uint32_t
283   GetTypeInfo(CompilerType *pointee_or_element_compiler_type = nullptr) const;
284 
285   lldb::LanguageType GetMinimumLanguage();
286 
GetOpaqueQualType()287   lldb::opaque_compiler_type_t GetOpaqueQualType() const { return m_type; }
288 
289   lldb::TypeClass GetTypeClass() const;
290 
291   void SetCompilerType(lldb::TypeSystemWP type_system,
292                        lldb::opaque_compiler_type_t type);
293   void SetCompilerType(TypeSystemSPWrapper type_system,
294                        lldb::opaque_compiler_type_t type);
295 
296   unsigned GetTypeQualifiers() const;
297   /// \}
298 
299   /// Creating related types.
300   /// \{
301   CompilerType GetArrayElementType(ExecutionContextScope *exe_scope) const;
302 
303   CompilerType GetArrayType(uint64_t size) const;
304 
305   CompilerType GetCanonicalType() const;
306 
307   CompilerType GetFullyUnqualifiedType() const;
308 
309   CompilerType GetEnumerationIntegerType() const;
310 
311   /// Returns -1 if this isn't a function of if the function doesn't
312   /// have a prototype Returns a value >= 0 if there is a prototype.
313   int GetFunctionArgumentCount() const;
314 
315   CompilerType GetFunctionArgumentTypeAtIndex(size_t idx) const;
316 
317   CompilerType GetFunctionReturnType() const;
318 
319   size_t GetNumMemberFunctions() const;
320 
321   TypeMemberFunctionImpl GetMemberFunctionAtIndex(size_t idx);
322 
323   /// If this type is a reference to a type (L value or R value reference),
324   /// return a new type with the reference removed, else return the current type
325   /// itself.
326   CompilerType GetNonReferenceType() const;
327 
328   /// If this type is a pointer type, return the type that the pointer points
329   /// to, else return an invalid type.
330   CompilerType GetPointeeType() const;
331 
332   /// Return a new CompilerType that is a pointer to this type
333   CompilerType GetPointerType() const;
334 
335   /// Return a new CompilerType that is a L value reference to this type if this
336   /// type is valid and the type system supports L value references, else return
337   /// an invalid type.
338   CompilerType GetLValueReferenceType() const;
339 
340   /// Return a new CompilerType that is a R value reference to this type if this
341   /// type is valid and the type system supports R value references, else return
342   /// an invalid type.
343   CompilerType GetRValueReferenceType() const;
344 
345   /// Return a new CompilerType adds a const modifier to this type if this type
346   /// is valid and the type system supports const modifiers, else return an
347   /// invalid type.
348   CompilerType AddConstModifier() const;
349 
350   /// Return a new CompilerType adds a volatile modifier to this type if this
351   /// type is valid and the type system supports volatile modifiers, else return
352   /// an invalid type.
353   CompilerType AddVolatileModifier() const;
354 
355   /// Return a new CompilerType that is the atomic type of this type. If this
356   /// type is not valid or the type system doesn't support atomic types, this
357   /// returns an invalid type.
358   CompilerType GetAtomicType() const;
359 
360   /// Return a new CompilerType adds a restrict modifier to this type if this
361   /// type is valid and the type system supports restrict modifiers, else return
362   /// an invalid type.
363   CompilerType AddRestrictModifier() const;
364 
365   /// Create a typedef to this type using "name" as the name of the typedef this
366   /// type is valid and the type system supports typedefs, else return an
367   /// invalid type.
368   /// \param payload   The typesystem-specific \p lldb::Type payload.
369   CompilerType CreateTypedef(const char *name,
370                              const CompilerDeclContext &decl_ctx,
371                              uint32_t payload) const;
372 
373   /// If the current object represents a typedef type, get the underlying type
374   CompilerType GetTypedefedType() const;
375 
376   /// Create related types using the current type's AST
377   CompilerType GetBasicTypeFromAST(lldb::BasicType basic_type) const;
378 
379   /// Return a new CompilerType adds a ptrauth modifier from the given 32-bit
380   /// opaque payload to this type if this type is valid and the type system
381   /// supports ptrauth modifiers, else return an invalid type. Note that this
382   /// does not check if this type is a pointer.
383   CompilerType AddPtrAuthModifier(uint32_t payload) const;
384   /// \}
385 
386   /// Exploring the type.
387   /// \{
388   struct IntegralTemplateArgument;
389 
390   /// Return the size of the type in bytes.
391   std::optional<uint64_t> GetByteSize(ExecutionContextScope *exe_scope) const;
392   /// Return the size of the type in bits.
393   std::optional<uint64_t> GetBitSize(ExecutionContextScope *exe_scope) const;
394 
395   lldb::Encoding GetEncoding(uint64_t &count) const;
396 
397   lldb::Format GetFormat() const;
398 
399   std::optional<size_t> GetTypeBitAlign(ExecutionContextScope *exe_scope) const;
400 
401   llvm::Expected<uint32_t>
402   GetNumChildren(bool omit_empty_base_classes,
403                  const ExecutionContext *exe_ctx) const;
404 
405   lldb::BasicType GetBasicTypeEnumeration() const;
406 
407   /// If this type is an enumeration, iterate through all of its enumerators
408   /// using a callback. If the callback returns true, keep iterating, else abort
409   /// the iteration.
410   void ForEachEnumerator(
411       std::function<bool(const CompilerType &integer_type, ConstString name,
412                          const llvm::APSInt &value)> const &callback) const;
413 
414   uint32_t GetNumFields() const;
415 
416   CompilerType GetFieldAtIndex(size_t idx, std::string &name,
417                                uint64_t *bit_offset_ptr,
418                                uint32_t *bitfield_bit_size_ptr,
419                                bool *is_bitfield_ptr) const;
420 
421   uint32_t GetNumDirectBaseClasses() const;
422 
423   uint32_t GetNumVirtualBaseClasses() const;
424 
425   CompilerType GetDirectBaseClassAtIndex(size_t idx,
426                                          uint32_t *bit_offset_ptr) const;
427 
428   CompilerType GetVirtualBaseClassAtIndex(size_t idx,
429                                           uint32_t *bit_offset_ptr) const;
430 
431   CompilerDecl GetStaticFieldWithName(llvm::StringRef name) const;
432 
433   uint32_t GetIndexOfFieldWithName(const char *name,
434                                    CompilerType *field_compiler_type = nullptr,
435                                    uint64_t *bit_offset_ptr = nullptr,
436                                    uint32_t *bitfield_bit_size_ptr = nullptr,
437                                    bool *is_bitfield_ptr = nullptr) const;
438 
439   llvm::Expected<CompilerType> GetChildCompilerTypeAtIndex(
440       ExecutionContext *exe_ctx, size_t idx, bool transparent_pointers,
441       bool omit_empty_base_classes, bool ignore_array_bounds,
442       std::string &child_name, uint32_t &child_byte_size,
443       int32_t &child_byte_offset, uint32_t &child_bitfield_bit_size,
444       uint32_t &child_bitfield_bit_offset, bool &child_is_base_class,
445       bool &child_is_deref_of_parent, ValueObject *valobj,
446       uint64_t &language_flags) const;
447 
448   /// Lookup a child given a name. This function will match base class names and
449   /// member member names in "clang_type" only, not descendants.
450   uint32_t GetIndexOfChildWithName(llvm::StringRef name,
451                                    bool omit_empty_base_classes) const;
452 
453   /// Lookup a child member given a name. This function will match member names
454   /// only and will descend into "clang_type" children in search for the first
455   /// member in this class, or any base class that matches "name".
456   /// TODO: Return all matches for a given name by returning a
457   /// vector<vector<uint32_t>>
458   /// so we catch all names that match a given child name, not just the first.
459   size_t
460   GetIndexOfChildMemberWithName(llvm::StringRef name,
461                                 bool omit_empty_base_classes,
462                                 std::vector<uint32_t> &child_indexes) const;
463 
464   CompilerType GetDirectNestedTypeWithName(llvm::StringRef name) const;
465 
466   /// Return the number of template arguments the type has.
467   /// If expand_pack is true, then variadic argument packs are automatically
468   /// expanded to their supplied arguments. If it is false an argument pack
469   /// will only count as 1 argument.
470   size_t GetNumTemplateArguments(bool expand_pack = false) const;
471 
472   // Return the TemplateArgumentKind of the template argument at index idx.
473   // If expand_pack is true, then variadic argument packs are automatically
474   // expanded to their supplied arguments. With expand_pack set to false, an
475   // arguement pack will count as 1 argument and return a type of Pack.
476   lldb::TemplateArgumentKind
477   GetTemplateArgumentKind(size_t idx, bool expand_pack = false) const;
478   CompilerType GetTypeTemplateArgument(size_t idx,
479                                        bool expand_pack = false) const;
480 
481   /// Returns the value of the template argument and its type.
482   /// If expand_pack is true, then variadic argument packs are automatically
483   /// expanded to their supplied arguments. With expand_pack set to false, an
484   /// arguement pack will count as 1 argument and it is invalid to call this
485   /// method on the pack argument.
486   std::optional<IntegralTemplateArgument>
487   GetIntegralTemplateArgument(size_t idx, bool expand_pack = false) const;
488 
489   CompilerType GetTypeForFormatters() const;
490 
491   LazyBool ShouldPrintAsOneLiner(ValueObject *valobj) const;
492 
493   bool IsMeaninglessWithoutDynamicResolution() const;
494   /// \}
495 
496   /// Dumping types.
497   /// \{
498 #ifndef NDEBUG
499   /// Convenience LLVM-style dump method for use in the debugger only.
500   /// Don't call this function from actual code.
501   LLVM_DUMP_METHOD void dump() const;
502 #endif
503 
504   bool DumpTypeValue(Stream *s, lldb::Format format, const DataExtractor &data,
505                      lldb::offset_t data_offset, size_t data_byte_size,
506                      uint32_t bitfield_bit_size, uint32_t bitfield_bit_offset,
507                      ExecutionContextScope *exe_scope);
508 
509   /// Dump to stdout.
510   void DumpTypeDescription(lldb::DescriptionLevel level =
511                            lldb::eDescriptionLevelFull) const;
512 
513   /// Print a description of the type to a stream. The exact implementation
514   /// varies, but the expectation is that eDescriptionLevelFull returns a
515   /// source-like representation of the type, whereas eDescriptionLevelVerbose
516   /// does a dump of the underlying AST if applicable.
517   void DumpTypeDescription(Stream *s, lldb::DescriptionLevel level =
518                                           lldb::eDescriptionLevelFull) const;
519   /// \}
520 
521   bool GetValueAsScalar(const DataExtractor &data, lldb::offset_t data_offset,
522                         size_t data_byte_size, Scalar &value,
523                         ExecutionContextScope *exe_scope) const;
Clear()524   void Clear() {
525     m_type_system = {};
526     m_type = nullptr;
527   }
528 
529 private:
530 #ifndef NDEBUG
531   /// If the type is valid, ask the TypeSystem to verify the integrity
532   /// of the type to catch CompilerTypes that mix and match invalid
533   /// TypeSystem/Opaque type pairs.
534   bool Verify() const;
535 #endif
536 
537   lldb::TypeSystemWP m_type_system;
538   lldb::opaque_compiler_type_t m_type = nullptr;
539 };
540 
541 bool operator==(const CompilerType &lhs, const CompilerType &rhs);
542 bool operator!=(const CompilerType &lhs, const CompilerType &rhs);
543 
544 struct CompilerType::IntegralTemplateArgument {
545   llvm::APSInt value;
546   CompilerType type;
547 };
548 
549 } // namespace lldb_private
550 
551 #endif // LLDB_SYMBOL_COMPILERTYPE_H
552