Skip to content

Commit

Permalink
Add a TypeSystem for Go
Browse files Browse the repository at this point in the history 
Add GoASTContext and DWARFASTParserGo to support go.

Differential Revision: http://reviews.llvm.org/D12585

llvm-svn: 247629
  • Loading branch information
Ryan Brown committed Sep 14, 2015
1 parent 3e13005 commit 57bee1e
Show file tree
Hide file tree
Showing 19 changed files with 2,932 additions and 26 deletions.
3 changes: 2 additions & 1 deletion lldb/include/lldb/Core/Module.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1119,7 +1119,8 @@ class Module :
lldb::SymbolVendorUP m_symfile_ap; ///< A pointer to the symbol vendor for this module.
std::vector<lldb::SymbolVendorUP> m_old_symfiles; ///< If anyone calls Module::SetSymbolFileFileSpec() and changes the symbol file,
///< we need to keep all old symbol files around in case anyone has type references to them
lldb::ClangASTContextUP m_ast; ///< The AST context for this module.
lldb::ClangASTContextUP m_ast; ///< The Clang AST context for this module.
lldb::GoASTContextUP m_go_ast; ///< The Go AST context for this module.
PathMappingList m_source_mappings; ///< Module specific source remappings for when you have debug info for a module that doesn't match where the sources currently are
lldb::SectionListUP m_sections_ap; ///< Unified section list for module that is used by the ObjectFile and and ObjectFile instances for the debug info

Expand Down
1 change: 0 additions & 1 deletion lldb/include/lldb/Symbol/ClangASTContext.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -485,7 +485,6 @@ class ClangASTContext : public TypeSystem
//------------------------------------------------------------------
// TypeSystem methods
//------------------------------------------------------------------

DWARFASTParser *
GetDWARFParser () override;

Expand Down
1 change: 0 additions & 1 deletion lldb/include/lldb/Symbol/CompilerType.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -318,7 +318,6 @@ class CompilerType

static lldb::BasicType
GetBasicTypeEnumeration (const ConstString &name);

//----------------------------------------------------------------------
// If this type is an enumeration, iterate through all of its enumerators
// using a callback. If the callback returns true, keep iterating, else
Expand Down
335 changes: 335 additions & 0 deletions lldb/include/lldb/Symbol/GoASTContext.h
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,335 @@
//===-- GoASTContext.h ------------------------------------------*- C++ -*-===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#ifndef __lldb__GoASTContext__
#define __lldb__GoASTContext__

#include <map>
#include "lldb/Core/ConstString.h"
#include "lldb/Symbol/TypeSystem.h"
#include "lldb/Symbol/CompilerType.h"

namespace lldb_private
{

class Declaration;
class GoType;

class GoASTContext : public TypeSystem
{
public:
GoASTContext();
~GoASTContext();

DWARFASTParser *GetDWARFParser() override;

void
SetAddressByteSize(int byte_size)
{
m_pointer_byte_size = byte_size;
}

//------------------------------------------------------------------
// llvm casting support
//------------------------------------------------------------------
static bool classof(const TypeSystem *ts)
{
return ts->getKind() == TypeSystem::eKindGo;
}

//----------------------------------------------------------------------
// CompilerDeclContext functions
//----------------------------------------------------------------------

virtual bool
DeclContextIsStructUnionOrClass(void *opaque_decl_ctx) override
{
return false;
}

virtual ConstString
DeclContextGetName(void *opaque_decl_ctx) override
{
return ConstString();
}

virtual bool
DeclContextIsClassMethod(void *opaque_decl_ctx, lldb::LanguageType *language_ptr, bool *is_instance_method_ptr,
ConstString *language_object_name_ptr) override
{
return false;
}

//----------------------------------------------------------------------
// Creating Types
//----------------------------------------------------------------------

CompilerType CreateArrayType(const ConstString &name, const CompilerType &element_type, int64_t length);

CompilerType CreateBaseType(int go_kind, const ConstString &type_name_const_str, uint64_t byte_size);

// For interface, map, chan.
CompilerType CreateTypedef(int kind, const ConstString &name, CompilerType impl);

CompilerType CreateVoidType(const ConstString &name);
CompilerType CreateFunctionType(const lldb_private::ConstString &name, CompilerType *params, size_t params_count,
bool is_variadic);

CompilerType CreateStructType(int kind, const ConstString &name, uint32_t byte_size);

void CompleteStructType(const CompilerType &type);

void AddFieldToStruct(const CompilerType &struct_type, const ConstString &name, const CompilerType &field_type,
uint32_t byte_offset);

//----------------------------------------------------------------------
// Tests
//----------------------------------------------------------------------

static bool IsGoString(const CompilerType &type);
static bool IsGoSlice(const CompilerType &type);
static bool IsGoInterface(const CompilerType &type);
static bool IsDirectIface(uint8_t kind);
static bool IsPointerKind(uint8_t kind);

virtual bool IsArrayType(void *type, CompilerType *element_type, uint64_t *size, bool *is_incomplete) override;

virtual bool IsAggregateType(void *type) override;

virtual bool IsCharType(void *type) override;

virtual bool IsCompleteType(void *type) override;

virtual bool IsDefined(void *type) override;

virtual bool IsFloatingPointType(void *type, uint32_t &count, bool &is_complex) override;

virtual bool IsFunctionType(void *type, bool *is_variadic_ptr = NULL) override;

virtual size_t GetNumberOfFunctionArguments(void *type) override;

virtual CompilerType GetFunctionArgumentAtIndex(void *type, const size_t index) override;

virtual bool IsFunctionPointerType(void *type) override;

virtual bool IsIntegerType(void *type, bool &is_signed) override;

virtual bool IsPossibleDynamicType(void *type,
CompilerType *target_type, // Can pass NULL
bool check_cplusplus, bool check_objc) override;

virtual bool IsPointerType(void *type, CompilerType *pointee_type = NULL) override;

virtual bool IsScalarType(void *type) override;

virtual bool IsVoidType(void *type) override;

//----------------------------------------------------------------------
// Type Completion
//----------------------------------------------------------------------

virtual bool GetCompleteType(void *type) override;

//----------------------------------------------------------------------
// AST related queries
//----------------------------------------------------------------------

virtual uint32_t GetPointerByteSize() override;

//----------------------------------------------------------------------
// Accessors
//----------------------------------------------------------------------

virtual ConstString GetTypeName(void *type) override;

virtual uint32_t GetTypeInfo(void *type, CompilerType *pointee_or_element_clang_type = NULL) override;

virtual lldb::LanguageType GetMinimumLanguage(void *type) override;

virtual lldb::TypeClass GetTypeClass(void *type) override;

//----------------------------------------------------------------------
// Creating related types
//----------------------------------------------------------------------

virtual CompilerType GetArrayElementType(void *type, uint64_t *stride = nullptr) override;

virtual CompilerType GetCanonicalType(void *type) override;

// Returns -1 if this isn't a function of if the function doesn't have a prototype
// Returns a value >= 0 if there is a prototype.
virtual int GetFunctionArgumentCount(void *type) override;

virtual CompilerType GetFunctionArgumentTypeAtIndex(void *type, size_t idx) override;

virtual CompilerType GetFunctionReturnType(void *type) override;

virtual size_t GetNumMemberFunctions(void *type) override;

virtual TypeMemberFunctionImpl GetMemberFunctionAtIndex(void *type, size_t idx) override;

virtual CompilerType GetPointeeType(void *type) override;

virtual CompilerType GetPointerType(void *type) override;

//----------------------------------------------------------------------
// Exploring the type
//----------------------------------------------------------------------

virtual uint64_t GetBitSize(void *type, ExecutionContextScope *exe_scope) override;

virtual lldb::Encoding GetEncoding(void *type, uint64_t &count) override;

virtual lldb::Format GetFormat(void *type) override;

virtual uint32_t GetNumChildren(void *type, bool omit_empty_base_classes) override;

virtual lldb::BasicType GetBasicTypeEnumeration(void *type) override;
virtual CompilerType GetIntTypeFromBitSize (size_t bit_size, bool is_signed) override;
virtual CompilerType GetFloatTypeFromBitSize (size_t bit_size) override;


virtual uint32_t GetNumFields(void *type) override;

virtual CompilerType GetFieldAtIndex(void *type, size_t idx, std::string &name, uint64_t *bit_offset_ptr,
uint32_t *bitfield_bit_size_ptr, bool *is_bitfield_ptr) override;

virtual uint32_t
GetNumDirectBaseClasses(void *type) override
{
return 0;
}

virtual uint32_t
GetNumVirtualBaseClasses(void *type) override
{
return 0;
}

virtual CompilerType
GetDirectBaseClassAtIndex(void *type, size_t idx, uint32_t *bit_offset_ptr) override
{
return CompilerType();
}

virtual CompilerType
GetVirtualBaseClassAtIndex(void *type, size_t idx, uint32_t *bit_offset_ptr) override
{
return CompilerType();
}

virtual CompilerType GetChildClangTypeAtIndex(void *type, ExecutionContext *exe_ctx, size_t idx,
bool transparent_pointers, bool omit_empty_base_classes,
bool ignore_array_bounds, std::string &child_name,
uint32_t &child_byte_size, int32_t &child_byte_offset,
uint32_t &child_bitfield_bit_size,
uint32_t &child_bitfield_bit_offset, bool &child_is_base_class,
bool &child_is_deref_of_parent, ValueObject *valobj) override;

// Lookup a child given a name. This function will match base class names
// and member member names in "clang_type" only, not descendants.
virtual uint32_t GetIndexOfChildWithName(void *type, const char *name, bool omit_empty_base_classes) override;

// Lookup a child member given a name. This function will match member names
// only and will descend into "clang_type" children in search for the first
// member in this class, or any base class that matches "name".
// TODO: Return all matches for a given name by returning a vector<vector<uint32_t>>
// so we catch all names that match a given child name, not just the first.
virtual size_t GetIndexOfChildMemberWithName(void *type, const char *name, bool omit_empty_base_classes,
std::vector<uint32_t> &child_indexes) override;

virtual size_t
GetNumTemplateArguments(void *type) override
{
return 0;
}

virtual CompilerType
GetTemplateArgument(void *type, size_t idx, lldb::TemplateArgumentKind &kind) override
{
return CompilerType();
}

//----------------------------------------------------------------------
// Dumping types
//----------------------------------------------------------------------
virtual void DumpValue(void *type, ExecutionContext *exe_ctx, Stream *s, lldb::Format format,
const DataExtractor &data, lldb::offset_t data_offset, size_t data_byte_size,
uint32_t bitfield_bit_size, uint32_t bitfield_bit_offset, bool show_types, bool show_summary,
bool verbose, uint32_t depth) override;

virtual bool DumpTypeValue(void *type, Stream *s, lldb::Format format, const DataExtractor &data,
lldb::offset_t data_offset, size_t data_byte_size, uint32_t bitfield_bit_size,
uint32_t bitfield_bit_offset, ExecutionContextScope *exe_scope) override;

virtual void DumpTypeDescription(void *type) override; // Dump to stdout

virtual void DumpTypeDescription(void *type, Stream *s) override;

//----------------------------------------------------------------------
// TODO: These methods appear unused. Should they be removed?
//----------------------------------------------------------------------

virtual bool IsRuntimeGeneratedType(void *type) override;

virtual void DumpSummary(void *type, ExecutionContext *exe_ctx, Stream *s, const DataExtractor &data,
lldb::offset_t data_offset, size_t data_byte_size) override;

// Converts "s" to a floating point value and place resulting floating
// point bytes in the "dst" buffer.
virtual size_t ConvertStringToFloatValue(void *type, const char *s, uint8_t *dst, size_t dst_size) override;

//----------------------------------------------------------------------
// TODO: Determine if these methods should move to ClangASTContext.
//----------------------------------------------------------------------

virtual bool IsPointerOrReferenceType(void *type, CompilerType *pointee_type = NULL) override;

virtual unsigned GetTypeQualifiers(void *type) override;

virtual bool IsCStringType(void *type, uint32_t &length) override;

virtual size_t GetTypeBitAlign(void *type) override;

virtual CompilerType GetBasicTypeFromAST(lldb::BasicType basic_type) override;

virtual bool IsBeingDefined(void *type) override;

virtual bool IsConst(void *type) override;

virtual uint32_t IsHomogeneousAggregate(void *type, CompilerType *base_type_ptr) override;

virtual bool IsPolymorphicClass(void *type) override;

virtual bool IsTypedefType(void *type) override;

// If the current object represents a typedef type, get the underlying type
virtual CompilerType GetTypedefedType(void *type) override;

virtual bool IsVectorType(void *type, CompilerType *element_type, uint64_t *size) override;

virtual CompilerType GetFullyUnqualifiedType(void *type) override;

virtual CompilerType GetNonReferenceType(void *type) override;

virtual bool IsReferenceType(void *type, CompilerType *pointee_type = nullptr, bool *is_rvalue = nullptr) override;

private:
typedef std::map<ConstString, std::unique_ptr<GoType>> TypeMap;
int m_pointer_byte_size;
int m_int_byte_size;
std::unique_ptr<TypeMap> m_types;
std::unique_ptr<DWARFASTParser> m_dwarf_ast_parser_ap;

GoASTContext(const GoASTContext &) = delete;
const GoASTContext &operator=(const GoASTContext &) = delete;
};
}

#endif /* defined(__lldb__GoASTContext__) */
2 changes: 2 additions & 0 deletions lldb/include/lldb/lldb-forward.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -99,6 +99,7 @@ class File;
class FileSpec;
class FileSpecList;
class Flags;
class GoASTContext;
class TypeCategoryImpl;
class FormatManager;
class FormattersMatchCandidate;
Expand Down Expand Up @@ -326,6 +327,7 @@ namespace lldb {
typedef std::shared_ptr<lldb_private::File> FileSP;
typedef std::shared_ptr<lldb_private::Function> FunctionSP;
typedef std::shared_ptr<lldb_private::FuncUnwinders> FuncUnwindersSP;
typedef std::unique_ptr<lldb_private::GoASTContext> GoASTContextUP;
typedef std::shared_ptr<lldb_private::InlineFunctionInfo> InlineFunctionInfoSP;
typedef std::shared_ptr<lldb_private::Instruction> InstructionSP;
typedef std::shared_ptr<lldb_private::InstrumentationRuntime> InstrumentationRuntimeSP;
Expand Down
Loading

0 comments on commit 57bee1e

Please sign in to comment.