Skip to content

Commit 25b452b

Browse files
committed
[lldb] Handle @objc classes in Swift runtime
@objc classes can be used from ObjC. In those cases, the Swift runtime is used. This change implements the handling of @objc classes in the Swift language runtime. (cherry picked from commit b4e30b7)
1 parent 234f778 commit 25b452b

File tree

5 files changed

+168
-4
lines changed

5 files changed

+168
-4
lines changed

lldb/source/Plugins/LanguageRuntime/Swift/SwiftLanguageRuntimeDynamicTypeResolution.cpp

Lines changed: 94 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,7 @@
2222
#include "lldb/Symbol/Variable.h"
2323
#include "lldb/Symbol/VariableList.h"
2424
#include "lldb/Target/ProcessStructReader.h"
25+
#include "lldb/Target/SectionLoadList.h"
2526
#include "lldb/Target/Target.h"
2627
#include "lldb/Utility/LLDBLog.h"
2728
#include "lldb/Utility/Log.h"
@@ -2217,6 +2218,80 @@ SwiftLanguageRuntimeImpl::GetValueType(ValueObject &in_value,
22172218
return Value::ValueType::Scalar;
22182219
}
22192220

2221+
namespace {
2222+
struct SwiftNominalType {
2223+
std::string module;
2224+
std::string identifier;
2225+
};
2226+
2227+
// Find the Swift class that backs an ObjC type.
2228+
//
2229+
// A Swift class that uses the @objc(<ClassName>) attribute will emit ObjC
2230+
// metadata into the binary. Typically, ObjC classes have a symbol in the form
2231+
// of OBJC_CLASS_$_<ClassName>, however for Swift classes, there are two symbols
2232+
// that both point to the ObjC class metadata, where the second symbol is a
2233+
// Swift mangled name.
2234+
std::optional<SwiftNominalType> GetSwiftClass(ValueObject &valobj,
2235+
AppleObjCRuntime &objc_runtime) {
2236+
// To find the Swift symbol, the following preparation steps are taken:
2237+
// 1. Get the value's ISA pointer
2238+
// 2. Resolve the ISA load address into an Address instance
2239+
// 3. Get the Module that contains the Address
2240+
auto descriptor_sp = objc_runtime.GetClassDescriptor(valobj);
2241+
if (!descriptor_sp)
2242+
return {};
2243+
2244+
auto isa_load_addr = descriptor_sp->GetISA();
2245+
Address isa;
2246+
const auto &sections = objc_runtime.GetTargetRef().GetSectionLoadList();
2247+
if (!sections.ResolveLoadAddress(isa_load_addr, isa))
2248+
return {};
2249+
2250+
// Next, iterate over the Module's symbol table, looking for a symbol with
2251+
// following criteria:
2252+
// 1. The symbol address is the ISA address
2253+
// 2. The symbol name is a Swift mangled name
2254+
std::optional<StringRef> swift_symbol;
2255+
auto find_swift_symbol_for_isa = [&](Symbol *symbol) {
2256+
if (symbol->GetAddress() == isa) {
2257+
StringRef symbol_name =
2258+
symbol->GetMangled().GetMangledName().GetStringRef();
2259+
if (SwiftLanguageRuntime::IsSwiftMangledName(symbol_name)) {
2260+
swift_symbol = symbol_name;
2261+
return false;
2262+
}
2263+
}
2264+
return true;
2265+
};
2266+
2267+
isa.GetModule()->GetSymtab()->ForEachSymbolContainingFileAddress(
2268+
isa.GetFileAddress(), find_swift_symbol_for_isa);
2269+
if (!swift_symbol)
2270+
return {};
2271+
2272+
// Once the Swift symbol is found, demangle it into a node tree. The node tree
2273+
// provides the final data, the name of the class and the name of its module.
2274+
swift::Demangle::Context ctx;
2275+
auto *global = ctx.demangleSymbolAsNode(*swift_symbol);
2276+
using Kind = Node::Kind;
2277+
auto *class_node = swift_demangle::nodeAtPath(
2278+
global, {Kind::TypeMetadata, Kind::Type, Kind::Class});
2279+
if (class_node && class_node->getNumChildren() == 2) {
2280+
auto module_node = class_node->getFirstChild();
2281+
auto ident_node = class_node->getLastChild();
2282+
if (module_node->getKind() == Kind::Module && module_node->hasText() &&
2283+
ident_node->getKind() == Kind::Identifier && ident_node->hasText()) {
2284+
auto module_name = module_node->getText();
2285+
auto class_name = ident_node->getText();
2286+
return SwiftNominalType{module_name.str(), class_name.str()};
2287+
}
2288+
}
2289+
2290+
return {};
2291+
}
2292+
2293+
} // namespace
2294+
22202295
bool SwiftLanguageRuntimeImpl::GetDynamicTypeAndAddress_ClangType(
22212296
ValueObject &in_value, lldb::DynamicValueType use_dynamic,
22222297
TypeAndOrName &class_type_or_name, Address &address,
@@ -2243,9 +2318,22 @@ bool SwiftLanguageRuntimeImpl::GetDynamicTypeAndAddress_ClangType(
22432318
dyn_name.startswith("__NS"))
22442319
return false;
22452320

2321+
SwiftNominalType swift_class;
2322+
2323+
if (auto maybe_swift_class = GetSwiftClass(in_value, *objc_runtime)) {
2324+
swift_class = *maybe_swift_class;
2325+
std::string type_name =
2326+
(llvm::Twine(swift_class.module) + "." + swift_class.identifier).str();
2327+
dyn_class_type_or_name.SetName(type_name.data());
2328+
address.SetRawAddress(in_value.GetPointerValue());
2329+
} else {
2330+
swift_class.module = swift::MANGLING_MODULE_OBJC;
2331+
swift_class.identifier = dyn_name;
2332+
}
2333+
22462334
std::string remangled;
22472335
{
2248-
// Create a mangle tree for __C.dyn_name?.
2336+
// Create a mangle tree for Swift.Optional<$module.$class>
22492337
using namespace swift::Demangle;
22502338
NodeFactory factory;
22512339
NodePointer global = factory.createNode(Node::Kind::Global);
@@ -2256,7 +2344,8 @@ bool SwiftLanguageRuntimeImpl::GetDynamicTypeAndAddress_ClangType(
22562344
NodePointer ety = factory.createNode(Node::Kind::Type);
22572345
bge->addChild(ety, factory);
22582346
NodePointer e = factory.createNode(Node::Kind::Enum);
2259-
e->addChild(factory.createNode(Node::Kind::Module, "Swift"), factory);
2347+
e->addChild(factory.createNode(Node::Kind::Module, swift::STDLIB_NAME),
2348+
factory);
22602349
e->addChild(factory.createNode(Node::Kind::Identifier, "Optional"),
22612350
factory);
22622351
ety->addChild(e, factory);
@@ -2265,10 +2354,11 @@ bool SwiftLanguageRuntimeImpl::GetDynamicTypeAndAddress_ClangType(
22652354
NodePointer cty = factory.createNode(Node::Kind::Type);
22662355
list->addChild(cty, factory);
22672356
NodePointer c = factory.createNode(Node::Kind::Class);
2357+
c->addChild(factory.createNode(Node::Kind::Module, swift_class.module),
2358+
factory);
22682359
c->addChild(
2269-
factory.createNode(Node::Kind::Module, swift::MANGLING_MODULE_OBJC),
2360+
factory.createNode(Node::Kind::Identifier, swift_class.identifier),
22702361
factory);
2271-
c->addChild(factory.createNode(Node::Kind::Identifier, dyn_name), factory);
22722362
cty->addChild(c, factory);
22732363

22742364
auto mangling = mangleNode(global);
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
import Foundation
2+
3+
struct Document {
4+
var kind: Kind
5+
var path: String
6+
7+
enum Kind {
8+
case binary
9+
case text
10+
}
11+
}
12+
13+
@objc(App)
14+
class App : NSObject {
15+
var name: String = "Debugger"
16+
var version: (Int, Int) = (1, 0)
17+
var recentDocuments: [Document]? = [
18+
Document(kind: .binary, path: "/path/to/something"),
19+
]
20+
}
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
OBJC_SOURCES := main.m
2+
SWIFT_SOURCES := App.swift
3+
SWIFTFLAGS_EXTRAS := -parse-as-library
4+
5+
include Makefile.rules
Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
import lldb
2+
from lldbsuite.test.lldbtest import *
3+
from lldbsuite.test.decorators import *
4+
import lldbsuite.test.lldbutil as lldbutil
5+
6+
7+
class TestCase(TestBase):
8+
@skipUnlessFoundation
9+
@swiftTest
10+
def test(self):
11+
"""Verify printing of Swift implemented ObjC objects."""
12+
self.build()
13+
lldbutil.run_to_source_breakpoint(self, "break here", lldb.SBFileSpec("main.m"))
14+
15+
# For Swift implemented objects, it's assumed the ObjC runtime prints
16+
# only a pointer, and cannot generate any child values.
17+
self.expect("v -d no app", startstr="(App *) app = 0x")
18+
self.expect(
19+
"v -d no -P1 app",
20+
matching=False,
21+
substrs=["name", "version", "recentDocuments"],
22+
)
23+
24+
# With dynamic typing, the Swift runtime produces Swift child values.
25+
self.expect("v app", substrs=["App?) app = 0x"])
26+
self.expect("v app.name", startstr='(String) app.name = "Debugger"')
27+
self.expect(
28+
"v app.version", startstr="((Int, Int)) app.version = (0 = 1, 1 = 0)"
29+
)
30+
31+
documents = """\
32+
([a.Document]?) app.recentDocuments = 1 value {
33+
[0] = {
34+
kind = binary
35+
path = "/path/to/something"
36+
}
37+
}
38+
"""
39+
self.expect("v app.recentDocuments", startstr=documents)
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
#import <Foundation/Foundation.h>
2+
3+
@interface App : NSObject
4+
@end
5+
6+
int main() {
7+
App *app = [App new];
8+
printf("break here\n");
9+
return 0;
10+
}

0 commit comments

Comments
 (0)