Skip to content

Commit 6e5a4b5

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 0acbc53 commit 6e5a4b5

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
@@ -24,6 +24,7 @@
2424
#include "lldb/Symbol/Variable.h"
2525
#include "lldb/Symbol/VariableList.h"
2626
#include "lldb/Target/ProcessStructReader.h"
27+
#include "lldb/Target/SectionLoadList.h"
2728
#include "lldb/Target/Target.h"
2829
#include "lldb/Utility/LLDBLog.h"
2930
#include "lldb/Utility/Log.h"
@@ -2208,6 +2209,80 @@ SwiftLanguageRuntimeImpl::GetValueType(ValueObject &in_value,
22082209
return Value::ValueType::Scalar;
22092210
}
22102211

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

2312+
SwiftNominalType swift_class;
2313+
2314+
if (auto maybe_swift_class = GetSwiftClass(in_value, *objc_runtime)) {
2315+
swift_class = *maybe_swift_class;
2316+
std::string type_name =
2317+
(llvm::Twine(swift_class.module) + "." + swift_class.identifier).str();
2318+
dyn_class_type_or_name.SetName(type_name.data());
2319+
address.SetRawAddress(in_value.GetPointerValue());
2320+
} else {
2321+
swift_class.module = swift::MANGLING_MODULE_OBJC;
2322+
swift_class.identifier = dyn_name;
2323+
}
2324+
22372325
std::string remangled;
22382326
{
2239-
// Create a mangle tree for __C.dyn_name?.
2327+
// Create a mangle tree for Swift.Optional<$module.$class>
22402328
using namespace swift::Demangle;
22412329
NodeFactory factory;
22422330
NodePointer global = factory.createNode(Node::Kind::Global);
@@ -2247,7 +2335,8 @@ bool SwiftLanguageRuntimeImpl::GetDynamicTypeAndAddress_ClangType(
22472335
NodePointer ety = factory.createNode(Node::Kind::Type);
22482336
bge->addChild(ety, factory);
22492337
NodePointer e = factory.createNode(Node::Kind::Enum);
2250-
e->addChild(factory.createNode(Node::Kind::Module, "Swift"), factory);
2338+
e->addChild(factory.createNode(Node::Kind::Module, swift::STDLIB_NAME),
2339+
factory);
22512340
e->addChild(factory.createNode(Node::Kind::Identifier, "Optional"),
22522341
factory);
22532342
ety->addChild(e, factory);
@@ -2256,10 +2345,11 @@ bool SwiftLanguageRuntimeImpl::GetDynamicTypeAndAddress_ClangType(
22562345
NodePointer cty = factory.createNode(Node::Kind::Type);
22572346
list->addChild(cty, factory);
22582347
NodePointer c = factory.createNode(Node::Kind::Class);
2348+
c->addChild(factory.createNode(Node::Kind::Module, swift_class.module),
2349+
factory);
22592350
c->addChild(
2260-
factory.createNode(Node::Kind::Module, swift::MANGLING_MODULE_OBJC),
2351+
factory.createNode(Node::Kind::Identifier, swift_class.identifier),
22612352
factory);
2262-
c->addChild(factory.createNode(Node::Kind::Identifier, dyn_name), factory);
22632353
cty->addChild(c, factory);
22642354

22652355
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)