[clang-tools-extra] c1a00b8 - [clangd] show layout info when hovering on a class/field definition.
Sam McCall via cfe-commits
cfe-commits at lists.llvm.org
Wed Apr 8 04:42:01 PDT 2020
Author: Sam McCall
Date: 2020-04-08T13:41:51+02:00
New Revision: c1a00b89add8f4f9658f631a4fa2cb8a068eef57
URL: https://github.com/llvm/llvm-project/commit/c1a00b89add8f4f9658f631a4fa2cb8a068eef57
DIFF: https://github.com/llvm/llvm-project/commit/c1a00b89add8f4f9658f631a4fa2cb8a068eef57.diff
LOG: [clangd] show layout info when hovering on a class/field definition.
Summary:
This triggers only on the definition itself, not on references (probably too
noisy). Inspecting the definition seems like a decent hint for being interested
in layout.
Reviewers: kadircet
Subscribers: ilya-biryukov, MaskRay, jkorous, arphaman, usaxena95, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D77355
Added:
Modified:
clang-tools-extra/clangd/Hover.cpp
clang-tools-extra/clangd/Hover.h
clang-tools-extra/clangd/unittests/HoverTests.cpp
Removed:
################################################################################
diff --git a/clang-tools-extra/clangd/Hover.cpp b/clang-tools-extra/clangd/Hover.cpp
index d94c528a8fa5..ba8fcd4687b0 100644
--- a/clang-tools-extra/clangd/Hover.cpp
+++ b/clang-tools-extra/clangd/Hover.cpp
@@ -651,6 +651,28 @@ bool isHardLineBreakAfter(llvm::StringRef Line, llvm::StringRef Rest) {
return punctuationIndicatesLineBreak(Line) || isHardLineBreakIndicator(Rest);
}
+void addLayoutInfo(const NamedDecl &ND, HoverInfo &HI) {
+ const auto &Ctx = ND.getASTContext();
+
+ if (auto *RD = llvm::dyn_cast<RecordDecl>(&ND)) {
+ if (auto Size = Ctx.getTypeSizeInCharsIfKnown(RD->getTypeForDecl()))
+ HI.Size = Size->getQuantity();
+ return;
+ }
+
+ if (const auto *FD = llvm::dyn_cast<FieldDecl>(&ND)) {
+ const auto *Record = FD->getParent()->getDefinition();
+ if (Record && !Record->isDependentType()) {
+ uint64_t OffsetBits = Ctx.getFieldOffset(FD);
+ if (auto Size = Ctx.getTypeSizeInCharsIfKnown(FD->getType())) {
+ HI.Size = Size->getQuantity();
+ HI.Offset = OffsetBits / 8;
+ }
+ }
+ return;
+ }
+}
+
} // namespace
llvm::Optional<HoverInfo> getHover(ParsedAST &AST, Position Pos,
@@ -707,6 +729,9 @@ llvm::Optional<HoverInfo> getHover(ParsedAST &AST, Position Pos,
auto Decls = explicitReferenceTargets(N->ASTNode, DeclRelation::Alias);
if (!Decls.empty()) {
HI = getHoverContents(Decls.front(), Index);
+ // Layout info only shown when hovering on the field/class itself.
+ if (Decls.front() == N->ASTNode.get<Decl>())
+ addLayoutInfo(*Decls.front(), *HI);
// Look for a close enclosing expression to show the value of.
if (!HI->Value)
HI->Value = printExprValue(N, AST.getASTContext());
@@ -782,6 +807,13 @@ markup::Document HoverInfo::present() const {
P.appendCode(*Value);
}
+ if (Offset)
+ Output.addParagraph().appendText(
+ llvm::formatv("Offset: {0} byte{1}", *Offset, *Offset == 1 ? "" : "s"));
+ if (Size)
+ Output.addParagraph().appendText(
+ llvm::formatv("Size: {0} byte{1}", *Size, *Size == 1 ? "" : "s"));
+
if (!Documentation.empty())
parseDocumentation(Documentation, Output);
diff --git a/clang-tools-extra/clangd/Hover.h b/clang-tools-extra/clangd/Hover.h
index 8fd2e6de51e9..4476ed874305 100644
--- a/clang-tools-extra/clangd/Hover.h
+++ b/clang-tools-extra/clangd/Hover.h
@@ -70,6 +70,10 @@ struct HoverInfo {
llvm::Optional<std::vector<Param>> TemplateParameters;
/// Contains the evaluated value of the symbol if available.
llvm::Optional<std::string> Value;
+ /// Contains the byte-size of fields and types where it's interesting.
+ llvm::Optional<uint64_t> Size;
+ /// Contains the offset of fields within the enclosing class.
+ llvm::Optional<uint64_t> Offset;
/// Produce a user-readable information.
markup::Document present() const;
diff --git a/clang-tools-extra/clangd/unittests/HoverTests.cpp b/clang-tools-extra/clangd/unittests/HoverTests.cpp
index b51329e95f2c..4b988488b611 100644
--- a/clang-tools-extra/clangd/unittests/HoverTests.cpp
+++ b/clang-tools-extra/clangd/unittests/HoverTests.cpp
@@ -66,7 +66,7 @@ TEST(Hover, Structured) {
{R"cpp(
namespace ns1 { namespace ns2 {
struct Foo {
- int [[b^ar]];
+ char [[b^ar]];
};
}}
)cpp",
@@ -75,8 +75,10 @@ TEST(Hover, Structured) {
HI.LocalScope = "Foo::";
HI.Name = "bar";
HI.Kind = index::SymbolKind::Field;
- HI.Definition = "int bar";
- HI.Type = "int";
+ HI.Definition = "char bar";
+ HI.Type = "char";
+ HI.Offset = 0;
+ HI.Size = 1;
}},
// Local to class method.
{R"cpp(
@@ -100,7 +102,7 @@ TEST(Hover, Structured) {
{R"cpp(
namespace ns1 { namespace {
struct {
- int [[b^ar]];
+ char [[b^ar]];
} T;
}}
)cpp",
@@ -109,8 +111,21 @@ TEST(Hover, Structured) {
HI.LocalScope = "(anonymous struct)::";
HI.Name = "bar";
HI.Kind = index::SymbolKind::Field;
- HI.Definition = "int bar";
- HI.Type = "int";
+ HI.Definition = "char bar";
+ HI.Type = "char";
+ HI.Offset = 0;
+ HI.Size = 1;
+ }},
+ // Struct definition shows size.
+ {R"cpp(
+ struct [[^X]]{};
+ )cpp",
+ [](HoverInfo &HI) {
+ HI.NamespaceScope = "";
+ HI.Name = "X";
+ HI.Kind = index::SymbolKind::Struct;
+ HI.Definition = "struct X {}";
+ HI.Size = 1;
}},
// Variable with template type
{R"cpp(
@@ -698,6 +713,8 @@ class Foo {})cpp";
EXPECT_EQ(H->TemplateParameters, Expected.TemplateParameters);
EXPECT_EQ(H->SymRange, Expected.SymRange);
EXPECT_EQ(H->Value, Expected.Value);
+ EXPECT_EQ(H->Size, Expected.Size);
+ EXPECT_EQ(H->Offset, Expected.Offset);
}
}
@@ -1862,6 +1879,7 @@ TEST(Hover, Present) {
{
[](HoverInfo &HI) {
HI.Kind = index::SymbolKind::Class;
+ HI.Size = 10;
HI.TemplateParameters = {
{std::string("typename"), std::string("T"), llvm::None},
{std::string("typename"), std::string("C"),
@@ -1875,6 +1893,7 @@ TEST(Hover, Present) {
},
R"(class foo
+Size: 10 bytes
documentation
template <typename T, typename C = bool> class Foo {})",
@@ -1911,19 +1930,23 @@ ret_type foo(params) {})",
},
{
[](HoverInfo &HI) {
- HI.Kind = index::SymbolKind::Variable;
- HI.LocalScope = "test::bar::";
+ HI.Kind = index::SymbolKind::Field;
+ HI.LocalScope = "test::Bar::";
HI.Value = "value";
HI.Name = "foo";
HI.Type = "type";
HI.Definition = "def";
+ HI.Size = 4;
+ HI.Offset = 12;
},
- R"(variable foo
+ R"(field foo
Type: type
Value = value
+Offset: 12 bytes
+Size: 4 bytes
-// In test::bar
+// In test::Bar
def)",
},
};
More information about the cfe-commits
mailing list