[libcxx-commits] [libcxx] 62141d5 - [libc++][lldb] Add initial LLDB data-formatters (#187677)
via libcxx-commits
libcxx-commits at lists.llvm.org
Sun Oct 25 08:22:09 PDT 2026
Author: Michael Buch
Date: 2026-10-25T11:22:04-04:00
New Revision: 62141d57be96448943dbf9cd00d108bdcd2d33f4
URL: https://github.com/llvm/llvm-project/commit/62141d57be96448943dbf9cd00d108bdcd2d33f4
DIFF: https://github.com/llvm/llvm-project/commit/62141d57be96448943dbf9cd00d108bdcd2d33f4.diff
LOG: [libc++][lldb] Add initial LLDB data-formatters (#187677)
Add synthetic child providers for `std::map` and `std::vector`. These
were translated from C++ into Python (with the help of Claude).
Signed-off-by: Med Ismail Bennani <ismail at bennani.ma>
Co-authored-by: Louis Dionne <ldionne.2 at gmail.com>
Co-authored-by: Med Ismail Bennani <ismail at bennani.ma>
Added:
libcxx/test/libcxx/lldb/lit.local.cfg
libcxx/test/libcxx/lldb/map_formatter.sh.test
libcxx/test/libcxx/lldb/vector_bool_formatter.sh.test
libcxx/test/libcxx/lldb/vector_formatter.sh.test
libcxx/utils/lldb/libcxx/libcxx.py
libcxx/utils/lldb/libcxx/libcxx_map_formatter.py
libcxx/utils/lldb/libcxx/libcxx_vector_formatter.py
Modified:
libcxx/utils/ci/run-buildbot
libcxx/utils/libcxx/test/features/debugger.py
Removed:
################################################################################
diff --git a/libcxx/test/libcxx/lldb/lit.local.cfg b/libcxx/test/libcxx/lldb/lit.local.cfg
new file mode 100644
index 00000000000000..d4c8f76dd544f8
--- /dev/null
+++ b/libcxx/test/libcxx/lldb/lit.local.cfg
@@ -0,0 +1,17 @@
+# The tests in this directory drive LLDB to exercise the libc++ data
+# formatters, so they all share the same requirements.
+_required_features = [
+ # The formatters themselves are Python.
+ "host-has-lldb-with-python",
+ "has-filecheck",
+ "has-splitfile",
+ # The formatters read type layouts out of debug info, which optimized
+ # builds are free to drop.
+ "optimization=none",
+]
+
+if any(f not in config.available_features for f in _required_features):
+ config.unsupported = True
+
+if "c++03" in config.available_features:
+ config.unsupported = True
diff --git a/libcxx/test/libcxx/lldb/map_formatter.sh.test b/libcxx/test/libcxx/lldb/map_formatter.sh.test
new file mode 100644
index 00000000000000..ed0e79bb923a99
--- /dev/null
+++ b/libcxx/test/libcxx/lldb/map_formatter.sh.test
@@ -0,0 +1,41 @@
+# ===----------------------------------------------------------------------===##
+#
+# Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+# See https://llvm.org/LICENSE.txt for license information.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+#
+# ===----------------------------------------------------------------------===##
+
+# RUN: split-file %s %{temp}
+# RUN: %{cxx} %{flags} %{temp}/main.cpp -o %t.out %{compile_flags} -g %{link_flags}
+
+# RUN: %{lldb} --no-lldbinit --batch -o "settings set target.load-script-from-symbol-file false" \
+# RUN: -o "settings set interpreter.stop-command-source-on-error false" \
+# RUN: -o "command script import %S/../../../utils/lldb/libcxx/libcxx.py" \
+# RUN: -s %{temp}/lldb.commands %t.out | FileCheck %s
+#
+# CHECK: (lldb) frame var mii
+# CHECK-NEXT: (std::map<int, int>) mii = size=2 {
+# CHECK-NEXT: [0] = (first = 1, second = 2)
+# CHECK-NEXT: [1] = (first = 3, second = 4)
+# CHECK-NEXT: }
+
+#--- main.cpp
+
+#include <map>
+
+int main(int, char**) {
+ std::map<int, int> mii = {
+ {1, 2},
+ {3, 4},
+ };
+ (void)mii;
+
+ return 0;
+}
+
+#--- lldb.commands
+
+break set -p return -X main
+run
+frame var mii
diff --git a/libcxx/test/libcxx/lldb/vector_bool_formatter.sh.test b/libcxx/test/libcxx/lldb/vector_bool_formatter.sh.test
new file mode 100644
index 00000000000000..f664bbaa9ce025
--- /dev/null
+++ b/libcxx/test/libcxx/lldb/vector_bool_formatter.sh.test
@@ -0,0 +1,39 @@
+# ===----------------------------------------------------------------------===##
+#
+# Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+# See https://llvm.org/LICENSE.txt for license information.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+#
+# ===----------------------------------------------------------------------===##
+
+# RUN: split-file %s %{temp}
+# RUN: %{cxx} %{flags} %{temp}/main.cpp -o %t.out %{compile_flags} -g %{link_flags}
+
+# RUN: %{lldb} --no-lldbinit --batch -o "settings set target.load-script-from-symbol-file false" \
+# RUN: -o "settings set interpreter.stop-command-source-on-error false" \
+# RUN: -o "command script import %S/../../../utils/lldb/libcxx/libcxx.py" \
+# RUN: -s %{temp}/lldb.commands %t.out | FileCheck %s
+
+# CHECK: (lldb) frame var vb
+# CHECK-NEXT: (std::vector<bool>) vb = size=3 {
+# CHECK-NEXT: [0] = true
+# CHECK-NEXT: [1] = false
+# CHECK-NEXT: [2] = false
+# CHECK-NEXT: }
+
+#--- main.cpp
+
+#include <vector>
+
+int main(int, char**) {
+ std::vector<bool> vb = {true, false, false};
+ (void)vb;
+
+ return 0;
+}
+
+#--- lldb.commands
+
+break set -p return -X main
+run
+frame var vb
diff --git a/libcxx/test/libcxx/lldb/vector_formatter.sh.test b/libcxx/test/libcxx/lldb/vector_formatter.sh.test
new file mode 100644
index 00000000000000..75fc00fc472f58
--- /dev/null
+++ b/libcxx/test/libcxx/lldb/vector_formatter.sh.test
@@ -0,0 +1,170 @@
+# ===----------------------------------------------------------------------===##
+#
+# Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+# See https://llvm.org/LICENSE.txt for license information.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+#
+# ===----------------------------------------------------------------------===##
+
+# RUN: split-file %s %{temp}
+# RUN: %{cxx} %{flags} %{temp}/main.cpp -o %t.out %{compile_flags} -g %{link_flags}
+
+# RUN: %{lldb} --no-lldbinit --batch -o "settings set target.load-script-from-symbol-file false" \
+# RUN: -o "settings set interpreter.stop-command-source-on-error false" \
+# RUN: -o "command script import %S/../../../utils/lldb/libcxx/libcxx.py" \
+# RUN: -s %{temp}/lldb.commands %t.out 2>&1 | FileCheck %s
+
+# CHECK: (lldb) frame var empty
+# CHECK-NEXT: (std::vector<float>) empty = size=0 {}
+
+# CHECK: (lldb) frame var vi
+# CHECK-NEXT: (std::vector<int>) vi = size=2 {
+# CHECK-NEXT: [0] = 1
+# CHECK-NEXT: [1] = 2
+# CHECK-NEXT: }
+
+# CHECK: (lldb) frame var empty[0]
+# CHECK: array index 0 is not valid
+
+# CHECK: (lldb) continue
+# CHECK: (lldb) frame var vi
+# CHECK-NEXT: (std::vector<int>) vi = size=5 {
+# CHECK-NEXT: [0] = 1
+# CHECK-NEXT: [1] = 2
+# CHECK-NEXT: [2] = 5
+# CHECK-NEXT: [3] = 4
+# CHECK-NEXT: [4] = 0
+# CHECK-NEXT: }
+
+# CHECK: (lldb) frame var vi[2]
+# CHECK-NEXT: (int) vi[2] = 5
+
+# CHECK: (lldb) frame var vi[0]
+# CHECK-NEXT: (int) vi[0] = 1
+
+# CHECK: (lldb) continue
+# CHECK: (lldb) frame var vi[0]
+# CHECK: array index 0 is not valid
+
+# CHECK: (lldb) frame var vi
+# CHECK-NEXT: (std::vector<int>) vi = size=0 {}
+
+# CHECK: (lldb) continue
+# CHECK: (lldb) frame var vec_of_vec
+# CHECK-NEXT: (std::vector<std::vector<int> >) vec_of_vec = size=1 {
+# CHECK-NEXT: [0] = size=2 {
+# CHECK-NEXT: [0] = 10
+# CHECK-NEXT: [1] = 11
+# CHECK-NEXT: }
+# CHECK-NEXT: }
+
+# CHECK: (lldb) frame var vec_of_vec[0]
+# CHECK-NEXT: (std::vector<int>) vec_of_vec[0] = size=2 {
+# CHECK-NEXT: [0] = 10
+# CHECK-NEXT: [1] = 11
+# CHECK-NEXT: }
+
+# Clang only names std::string by its preferred name in the debug info when
+# tuning for LLDB, which is the default on some platforms but not others.
+# CHECK: (lldb) continue
+# CHECK: (lldb) frame var vs
+# CHECK-NEXT: (std::vector<{{std::string|std::basic_string<char> }}>) vs = size=2 {
+# CHECK-NEXT: [0] = "Foo"
+# CHECK-NEXT: [1] = "Bar"
+# CHECK-NEXT: }
+
+# CHECK: (lldb) frame var vs[1]
+# CHECK-NEXT: ({{std::string|std::basic_string<char>}}) vs[1] = "Bar"
+
+# CHECK: (lldb) continue
+# CHECK: (lldb) frame var vec_ref
+# CHECK-NEXT: (const std::vector<int> &) vec_ref = 0x{{.*}} size=2: {
+# CHECK-NEXT: [0] = 10
+# CHECK-NEXT: [1] = 11
+# CHECK-NEXT: }
+
+# CHECK: (lldb) frame var vec_ref[1]
+# CHECK-NEXT: (int) vec_ref[1] = 11
+
+# CHECK: (lldb) frame var vec_ptr
+# CHECK-NEXT: (const std::vector<int> *) vec_ptr = 0x{{.*}} size=2
+
+# CHECK: (lldb) frame var (*vec_ptr)[1]
+# CHECK-NEXT: (int) (*vec_ptr)[1] = 11
+
+#--- main.cpp
+
+#include <vector>
+#include <string>
+
+void break_here() {}
+
+int main() {
+ std::vector<float> empty;
+ std::vector<int> vi = {1, 2};
+ (void)empty;
+
+ break_here();
+
+ vi.push_back(5);
+ vi.push_back(4);
+ vi.push_back(0);
+
+ break_here();
+
+ vi.clear();
+
+ break_here();
+
+ vi.push_back(10);
+ vi.push_back(11);
+ std::vector<std::vector<int>> vec_of_vec{vi};
+ (void)vec_of_vec;
+
+ break_here();
+
+ std::vector<std::string> vs{
+ "Foo",
+ "Bar"
+ };
+ (void)vs;
+
+ break_here();
+
+ const auto &vec_ref = vi;
+ const auto *vec_ptr = &vi;
+ (void)vec_ref;
+ (void)vec_ptr;
+
+ break_here();
+}
+
+#--- lldb.commands
+break set -p break_here -X main
+run
+frame var empty
+frame var vi
+frame var empty[0]
+
+continue
+frame var vi
+frame var vi[2]
+frame var vi[0]
+
+continue
+frame var vi[0]
+frame var vi
+
+continue
+frame var vec_of_vec
+frame var vec_of_vec[0]
+
+continue
+frame var vs
+frame var vs[1]
+
+continue
+frame var vec_ref
+frame var vec_ref[1]
+frame var vec_ptr
+frame var (*vec_ptr)[1]
diff --git a/libcxx/utils/ci/run-buildbot b/libcxx/utils/ci/run-buildbot
index 1dbc1a385c8fc2..6d2fb59ce62dbb 100755
--- a/libcxx/utils/ci/run-buildbot
+++ b/libcxx/utils/ci/run-buildbot
@@ -485,8 +485,17 @@ bootstrapping-build)
-DRUNTIMES_BUILD_ALLOW_DARWIN=ON \
-DCOMPILER_RT_INCLUDE_TESTS=OFF \
-DLLVM_ENABLE_ASSERTIONS=ON \
+ -DLLDB_ENABLE_PYTHON=ON \
-DLLVM_LIT_ARGS="-sv --xunit-xml-output test-results.xml --timeout=1500 --time-tests"
+ step "Install clang and LLDB to a fake location"
+ # lldb-server is a separate install component, but LLDB needs it to launch
+ # a process on Linux.
+ ${NINJA} -vC "${BUILD_DIR}" install-clang install-lldb install-lldb-server
+
+ # TODO: Find a cleaner way to get the libc++ test suite to grab the just-built LLDB
+ export PATH="${PATH}:${INSTALL_DIR}/bin"
+
step "Running the libc++ and libc++abi tests"
${NINJA} -vC "${BUILD_DIR}" check-runtimes
diff --git a/libcxx/utils/libcxx/test/features/debugger.py b/libcxx/utils/libcxx/test/features/debugger.py
index a5e0fb57133d9a..f1f080fa12955d 100644
--- a/libcxx/utils/libcxx/test/features/debugger.py
+++ b/libcxx/utils/libcxx/test/features/debugger.py
@@ -55,6 +55,34 @@ def check_lldb(cfg):
]
+# Detect whether LLDB is on the system and can actually run Python scripts.
+# The %{lldb} substitution is provided by the host-has-lldb feature above.
+def check_lldb_with_python(cfg):
+ lldb_path = shutil.which("lldb")
+ if lldb_path is None:
+ return False
+
+ try:
+ stdout = subprocess.check_output(
+ [
+ lldb_path,
+ "--batch",
+ "-o",
+ 'script -l python -- print("Has", "Python", "!")',
+ ],
+ stderr=subprocess.DEVNULL,
+ universal_newlines=True,
+ )
+ except subprocess.CalledProcessError:
+ return False
+
+ # Check we actually ran the Python
+ return "Has Python !" in stdout
+
+
+features += [Feature(name="host-has-lldb-with-python", when=check_lldb_with_python)]
+
+
# Detect whether GDB is on the system, has Python scripting and supports
# adding breakpoint commands. If so add a substitution to access it.
def check_gdb(cfg):
diff --git a/libcxx/utils/lldb/libcxx/libcxx.py b/libcxx/utils/lldb/libcxx/libcxx.py
new file mode 100644
index 00000000000000..21e698806402bd
--- /dev/null
+++ b/libcxx/utils/lldb/libcxx/libcxx.py
@@ -0,0 +1,56 @@
+# ===----------------------------------------------------------------------===##
+#
+# Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+# See https://llvm.org/LICENSE.txt for license information.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+#
+# ===----------------------------------------------------------------------===##
+
+# Entry point for LLDB to register data formatters.
+
+import lldb
+from libcxx_map_formatter import *
+from libcxx_vector_formatter import *
+
+
+def register_synthetic(
+ debugger: lldb.SBDebugger, regex: str, class_name: str, extra_flags: str = ""
+):
+ debugger.HandleCommand(
+ f'type synthetic add {extra_flags} -x "{regex}" -l {__name__}.{class_name} -w "cplusplus-py"'
+ )
+
+
+# Entry point for LLDB when importing scripts.
+def __lldb_init_module(debugger, dict):
+ register_synthetic(
+ debugger, "^std::__[[:alnum:]]+::map<.+> >$", "LibcxxStdMapSyntheticProvider"
+ )
+ register_synthetic(
+ debugger, "^std::__[[:alnum:]]+::set<.+> >$", "LibcxxStdMapSyntheticProvider"
+ )
+ register_synthetic(
+ debugger,
+ "^std::__[[:alnum:]]+::multiset<.+> >$",
+ "LibcxxStdMapSyntheticProvider",
+ )
+ register_synthetic(
+ debugger,
+ "^std::__[[:alnum:]]+::multimap<.+> >$",
+ "LibcxxStdMapSyntheticProvider",
+ )
+ register_synthetic(
+ debugger,
+ "^std::__[[:alnum:]]+::__map_(const_)?iterator<.+>$",
+ "LibCxxMapIteratorSyntheticProvider",
+ )
+ register_synthetic(
+ debugger,
+ "^std::__[[:alnum:]]+::vector<.+>$",
+ "LibCxxStdVectorSyntheticFrontendCreator",
+ "--requires-dereference true",
+ )
+
+ # Enables registered formatters in LLDB. The builtin LLDB formatters are registered in the `cplusplus` category.
+ # We don't want to override/clash with those.
+ debugger.HandleCommand("type category enable cplusplus-py")
diff --git a/libcxx/utils/lldb/libcxx/libcxx_map_formatter.py b/libcxx/utils/lldb/libcxx/libcxx_map_formatter.py
new file mode 100644
index 00000000000000..986099e4ea2b28
--- /dev/null
+++ b/libcxx/utils/lldb/libcxx/libcxx_map_formatter.py
@@ -0,0 +1,417 @@
+# ===----------------------------------------------------------------------===##
+#
+# Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+# See https://llvm.org/LICENSE.txt for license information.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+#
+# ===----------------------------------------------------------------------===##
+
+# LLDB data formatters for libc++ std::(multi)map and std::(multi)set
+
+import lldb
+from lldb.plugins.scripted_synthetic_children import ScriptedSyntheticChildren
+
+
+class MapEntry:
+ """Wrapper around an LLDB ValueObject representing a tree node entry."""
+
+ def __init__(self, entry_sp=None):
+ self.m_entry_sp = entry_sp
+
+ def left(self):
+ """Get the left child pointer (offset 0)."""
+ if not self.m_entry_sp:
+ return None
+ return self.m_entry_sp.CreateChildAtOffset("", 0, self.m_entry_sp.GetType())
+
+ def right(self):
+ if not self.m_entry_sp:
+ return None
+ addr_size = self.m_entry_sp.GetProcess().GetAddressByteSize()
+ return self.m_entry_sp.CreateChildAtOffset(
+ "", addr_size, self.m_entry_sp.GetType()
+ )
+
+ def parent(self):
+ if not self.m_entry_sp:
+ return None
+ addr_size = self.m_entry_sp.GetProcess().GetAddressByteSize()
+ return self.m_entry_sp.CreateChildAtOffset(
+ "", 2 * addr_size, self.m_entry_sp.GetType()
+ )
+
+ def value(self):
+ """Get the unsigned integer value of the entry (pointer address)."""
+ if not self.m_entry_sp:
+ return 0
+ return self.m_entry_sp.GetValueAsUnsigned(0)
+
+ def error(self):
+ if not self.m_entry_sp:
+ return True
+ return self.m_entry_sp.GetError().Fail()
+
+ def null(self):
+ return self.value() == 0
+
+ def get_entry(self):
+ return self.m_entry_sp
+
+ def set_entry(self, entry):
+ self.m_entry_sp = entry
+
+ def __eq__(self, other):
+ if not isinstance(other, MapEntry):
+ return False
+ if self.m_entry_sp is None and other.m_entry_sp is None:
+ return True
+ if self.m_entry_sp is None or other.m_entry_sp is None:
+ return False
+ return self.m_entry_sp.GetLoadAddress() == other.m_entry_sp.GetLoadAddress()
+
+
+class MapIterator:
+ """Iterator for traversing the tree backing std::map."""
+
+ def __init__(self, entry=None, depth=0):
+ self.m_entry = MapEntry(entry) if entry else MapEntry()
+ self.m_max_depth = depth
+ self.m_error = False
+
+ def value(self):
+ return self.m_entry.get_entry()
+
+ def copy(self):
+ """
+ Returns an independent copy positioned at the same entry.
+
+ Iterators are cached per index and advanced in place, so a caller that
+ resumes from a cached iterator must work on a copy to avoid moving the
+ entry that the cache still describes.
+ """
+ other = MapIterator(self.m_entry.get_entry(), self.m_max_depth)
+ other.m_error = self.m_error
+ return other
+
+ def advance(self, count):
+ """Advance the iterator by count steps and return the entry."""
+ if self.m_error:
+ return None
+
+ steps = 0
+ while count > 0:
+ self._next()
+ count -= 1
+ steps += 1
+ if self.m_error or self.m_entry.null() or (steps > self.m_max_depth):
+ return None
+
+ return self.m_entry.get_entry()
+
+ def _next(self):
+ """
+ Mimics libc++'s __tree_next algorithm, which libc++ uses
+ in its __tree_iterator::operator++.
+ """
+ if self.m_entry.null():
+ return
+
+ right = MapEntry(self.m_entry.right())
+ if not right.null():
+ self.m_entry = self._tree_min(right)
+ return
+
+ steps = 0
+ while not self._is_left_child(self.m_entry):
+ if self.m_entry.error():
+ self.m_error = True
+ return
+ self.m_entry.set_entry(self.m_entry.parent())
+ steps += 1
+ if steps > self.m_max_depth:
+ self.m_entry = MapEntry()
+ return
+
+ self.m_entry = MapEntry(self.m_entry.parent())
+
+ def _tree_min(self, x):
+ """Mimics libc++'s __tree_min algorithm."""
+ if x.null():
+ return MapEntry()
+
+ left = MapEntry(x.left())
+ steps = 0
+ while not left.null():
+ if left.error():
+ self.m_error = True
+ return MapEntry()
+ x = MapEntry(left.get_entry())
+ left = MapEntry(x.left())
+ steps += 1
+ if steps > self.m_max_depth:
+ return MapEntry()
+
+ return x
+
+ def _is_left_child(self, x):
+ """Check if x is a left child of its parent."""
+ if x.null():
+ return False
+ rhs = MapEntry(x.parent())
+ rhs.set_entry(rhs.left())
+ return x.value() == rhs.value()
+
+
+def _get_first_value_of_libcxx_compressed_pair(pair):
+ """
+ Get the first value from a libc++ compressed pair.
+ Handles both old and new layouts.
+ """
+ # Try __value_ first (newer layout)
+ value_sp = pair.GetChildMemberWithName("__value_")
+ if value_sp and value_sp.IsValid():
+ return value_sp
+
+ # Try __first_ (older layout)
+ first_sp = pair.GetChildMemberWithName("__first_")
+ if first_sp and first_sp.IsValid():
+ return first_sp
+
+ return None
+
+
+def _get_value_or_old_compressed_pair(tree, value_name, pair_name):
+ """
+ Try to get a value member directly, or fall back to compressed pair layout.
+ Returns (value_sp, is_compressed_pair).
+ """
+ # Try new layout first (direct member)
+ value_sp = tree.GetChildMemberWithName(value_name)
+ if value_sp and value_sp.IsValid():
+ return (value_sp, False)
+
+ # Fall back to old compressed pair layout
+ pair_sp = tree.GetChildMemberWithName(pair_name)
+ if pair_sp and pair_sp.IsValid():
+ return (pair_sp, True)
+
+ return (None, False)
+
+
+class LibcxxStdMapSyntheticProvider(ScriptedSyntheticChildren):
+ """Synthetic children provider for libc++ std::map."""
+
+ def __init__(self, valobj, internal_dict):
+ super().__init__(valobj)
+ self.m_tree = None
+ self.m_root_node = None
+ self.m_node_ptr_type = None
+ self.m_count = None
+ self.m_iterators = {}
+
+ def num_children(self):
+ if self.m_count is not None:
+ return self.m_count
+
+ if self.m_tree is None:
+ return 0
+
+ # Try new layout (__size_) or old compressed pair layout (__pair3_)
+ size_sp, is_compressed_pair = _get_value_or_old_compressed_pair(
+ self.m_tree, "__size_", "__pair3_"
+ )
+
+ if not size_sp:
+ return 0
+
+ if is_compressed_pair:
+ return self._calculate_num_children_for_old_compressed_pair_layout(size_sp)
+
+ self.m_count = size_sp.GetValueAsUnsigned(0)
+ return self.m_count
+
+ def _calculate_num_children_for_old_compressed_pair_layout(self, pair):
+ """Handle old libc++ compressed pair layout."""
+ node_sp = _get_first_value_of_libcxx_compressed_pair(pair)
+
+ if not node_sp:
+ return 0
+
+ self.m_count = node_sp.GetValueAsUnsigned(0)
+ return self.m_count
+
+ def get_child_at_index(self, index):
+ num_children = self.num_children()
+ if index >= num_children:
+ return None
+
+ if self.m_tree is None or self.m_root_node is None:
+ return None
+
+ key_val_sp = self._get_key_value_pair(index, num_children)
+ if not key_val_sp:
+ # This will stop all future searches until an update() happens
+ self.m_tree = None
+ return None
+
+ name = "[%d]" % index
+ potential_child_sp = key_val_sp.Clone(name)
+
+ if potential_child_sp and potential_child_sp.IsValid():
+ num_child_children = potential_child_sp.GetNumChildren()
+
+ # Handle __cc_ or __cc wrapper (1 child case)
+ if num_child_children == 1:
+ child0_sp = potential_child_sp.GetChildAtIndex(0)
+ if child0_sp:
+ child_name = child0_sp.GetName()
+ if child_name in ("__cc_", "__cc"):
+ potential_child_sp = child0_sp.Clone(name)
+
+ # Handle __cc_ and __nc wrapper (2 children case)
+ elif num_child_children == 2:
+ child0_sp = potential_child_sp.GetChildAtIndex(0)
+ child1_sp = potential_child_sp.GetChildAtIndex(1)
+ if child0_sp and child1_sp:
+ child0_name = child0_sp.GetName()
+ child1_name = child1_sp.GetName()
+ if child0_name in ("__cc_", "__cc") and child1_name == "__nc":
+ potential_child_sp = child0_sp.Clone(name)
+
+ return potential_child_sp
+
+ def update(self):
+ """Update the cached state. Called when the underlying value changes."""
+ self.m_count = None
+ self.m_tree = None
+ self.m_root_node = None
+ self.m_iterators.clear()
+
+ self.m_tree = self.valobj.GetChildMemberWithName("__tree_")
+ if not self.m_tree or not self.m_tree.IsValid():
+ return False
+
+ self.m_root_node = self.m_tree.GetChildMemberWithName("__begin_node_")
+
+ # Get the __node_pointer type from the tree's type
+ tree_type = self.m_tree.GetType()
+ self.m_node_ptr_type = tree_type.FindDirectNestedType("__node_pointer")
+
+ return False
+
+ def _get_key_value_pair(self, idx, max_depth):
+ """
+ Returns the ValueObject for the __tree_node type that
+ holds the key/value pair of the node at index idx.
+ """
+ iterator = MapIterator(self.m_root_node, max_depth)
+
+ advance_by = idx
+ if idx > 0:
+ # If we have already created the iterator for the previous
+ # index, we can start from there and advance by 1.
+ if idx - 1 in self.m_iterators:
+ iterator = self.m_iterators[idx - 1].copy()
+ advance_by = 1
+
+ iterated_sp = iterator.advance(advance_by)
+ if not iterated_sp:
+ # This tree is garbage - stop
+ return None
+
+ if not self.m_node_ptr_type or not self.m_node_ptr_type.IsValid():
+ return None
+
+ # iterated_sp is a __iter_pointer at this point.
+ # We can cast it to a __node_pointer (which is what libc++ does).
+ value_type_sp = iterated_sp.Cast(self.m_node_ptr_type)
+ if not value_type_sp or not value_type_sp.IsValid():
+ return None
+
+ # Finally, get the key/value pair.
+ value_type_sp = value_type_sp.GetChildMemberWithName("__value_")
+ if not value_type_sp or not value_type_sp.IsValid():
+ return None
+
+ self.m_iterators[idx] = iterator
+
+ return value_type_sp
+
+
+class LibCxxMapIteratorSyntheticProvider(ScriptedSyntheticChildren):
+ """Synthetic children provider for libc++ std::map::iterator."""
+
+ def __init__(self, valobj, internal_dict):
+ super().__init__(valobj)
+ self.m_pair_sp = None
+
+ def num_children(self):
+ """Map iterators always have 2 children (first and second)."""
+ return 2
+
+ def get_child_index(self, name):
+ if not self.m_pair_sp:
+ return None
+ return self.m_pair_sp.GetIndexOfChildWithName(name)
+
+ def get_child_at_index(self, index):
+ if not self.m_pair_sp:
+ return None
+ return self.m_pair_sp.GetChildAtIndex(index)
+
+ def update(self):
+ self.m_pair_sp = None
+
+ if not self.valobj.IsValid():
+ return False
+
+ target = self.valobj.GetTarget()
+ if not target or not target.IsValid():
+ return False
+
+ # valobj is a std::map::iterator
+ # ...which is a __map_iterator<__tree_iterator<..., __node_pointer, ...>>
+ #
+ # Then, __map_iterator::__i_ is a __tree_iterator
+ tree_iter_sp = self.valobj.GetChildMemberWithName("__i_")
+ if not tree_iter_sp or not tree_iter_sp.IsValid():
+ return False
+
+ # Type is __tree_iterator::__node_pointer
+ # (We could alternatively also get this from the template argument)
+ tree_iter_type = tree_iter_sp.GetType()
+ node_pointer_type = tree_iter_type.FindDirectNestedType("__node_pointer")
+ if not node_pointer_type or not node_pointer_type.IsValid():
+ return False
+
+ # __ptr_ is a __tree_iterator::__iter_pointer
+ iter_pointer_sp = tree_iter_sp.GetChildMemberWithName("__ptr_")
+ if not iter_pointer_sp or not iter_pointer_sp.IsValid():
+ return False
+
+ # Cast the __iter_pointer to a __node_pointer (which stores our key/value pair)
+ node_pointer_sp = iter_pointer_sp.Cast(node_pointer_type)
+ if not node_pointer_sp or not node_pointer_sp.IsValid():
+ return False
+
+ key_value_sp = node_pointer_sp.GetChildMemberWithName("__value_")
+ if not key_value_sp or not key_value_sp.IsValid():
+ return False
+
+ # Create the synthetic child, which is a pair where the key and value can be
+ # retrieved by querying the synthetic provider for
+ # get_child_index("first") and get_child_index("second")
+ # respectively.
+ #
+ # std::map stores the actual key/value pair in value_type::__cc_ (or
+ # previously __cc).
+ key_value_sp = key_value_sp.Clone("pair")
+ if key_value_sp.GetNumChildren() == 1:
+ child0_sp = key_value_sp.GetChildAtIndex(0)
+ if child0_sp:
+ child_name = child0_sp.GetName()
+ if child_name in ("__cc_", "__cc"):
+ key_value_sp = child0_sp.Clone("pair")
+
+ self.m_pair_sp = key_value_sp
+ return False
diff --git a/libcxx/utils/lldb/libcxx/libcxx_vector_formatter.py b/libcxx/utils/lldb/libcxx/libcxx_vector_formatter.py
new file mode 100644
index 00000000000000..d188e471ced69a
--- /dev/null
+++ b/libcxx/utils/lldb/libcxx/libcxx_vector_formatter.py
@@ -0,0 +1,219 @@
+# ===----------------------------------------------------------------------===##
+#
+# Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+# See https://llvm.org/LICENSE.txt for license information.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+#
+# ===----------------------------------------------------------------------===##
+
+# LLDB data formatter for libc++ std::vector
+
+
+import lldb
+from lldb.plugins.scripted_synthetic_children import ScriptedSyntheticChildren
+
+
+class LibCxxStdVectorSyntheticFrontEnd(ScriptedSyntheticChildren):
+ """Synthetic children frontend for libc++ std::vector."""
+
+ def __init__(self, valobj, internal_dict):
+ super().__init__(valobj)
+ self.m_start = None
+ # Either the `__end_` pointer or the `__size_` integer, depending on
+ # which layout libc++ was built with. See `m_size_based`.
+ self.m_finish = None
+ self.m_size_based = False
+ self.m_element_type = None
+ self.m_element_size = 0
+
+ def num_children(self):
+ if not self.m_start or not self.m_finish:
+ return 0
+
+ if self.m_size_based:
+ return self.m_finish.GetValueAsUnsigned(0)
+
+ start_val = self.m_start.GetValueAsUnsigned(0)
+ finish_val = self.m_finish.GetValueAsUnsigned(0)
+
+ if start_val == 0 or finish_val == 0:
+ return 0
+
+ if start_val > finish_val:
+ return 0
+
+ num_children = finish_val - start_val
+ if num_children % self.m_element_size != 0:
+ return 0
+
+ return num_children // self.m_element_size
+
+ def get_child_at_index(self, index):
+ if not self.m_start or not self.m_finish:
+ return None
+
+ offset = index * self.m_element_size
+ offset = offset + self.m_start.GetValueAsUnsigned(0)
+
+ name = f"[{index}]"
+ # Create the child from the vector's SBValue rather than the SBTarget:
+ # LLDB caches synthetic children, and only children created this way
+ # are kept alive by the parent once Python drops its reference.
+ return self.valobj.CreateValueFromAddress(name, offset, self.m_element_type)
+
+ def update(self):
+ self.m_start = None
+ self.m_finish = None
+
+ # Newer libc++ versions keep the vector's members in a `__layout_`
+ # subobject rather than directly in the vector.
+ members = self.valobj.GetChildMemberWithName("__layout_")
+ if not members:
+ members = self.valobj
+
+ begin_sp = members.GetChildMemberWithName("__begin_")
+ if not begin_sp:
+ return False
+
+ self.m_element_type = begin_sp.GetType().GetPointeeType()
+ if not self.m_element_type:
+ return False
+
+ size = self.m_element_type.GetByteSize()
+ if not size:
+ return False
+
+ self.m_element_size = size
+ self.m_start = begin_sp
+
+ end_sp = members.GetChildMemberWithName("__end_")
+ if end_sp:
+ self.m_finish = end_sp
+ self.m_size_based = False
+ return False
+
+ size_sp = members.GetChildMemberWithName("__size_")
+ if not size_sp:
+ return False
+
+ self.m_finish = size_sp
+ self.m_size_based = True
+ return False
+
+
+class LibCxxVectorBoolSyntheticFrontEnd(ScriptedSyntheticChildren):
+ """Synthetic children frontend for libc++ std::vector<bool>."""
+
+ def __init__(self, valobj, internal_dict):
+ super().__init__(valobj)
+ self.m_bool_type = None
+ self.m_count = 0
+ self.m_base_data_address = 0
+ self.m_children = {}
+
+ # Get bool type
+ if valobj:
+ target = valobj.GetTarget()
+ if target:
+ self.m_bool_type = target.GetBasicType(lldb.eBasicTypeBool)
+
+ def num_children(self):
+ return self.m_count
+
+ def get_child_at_index(self, index):
+ if index in self.m_children:
+ return self.m_children[index]
+
+ if index >= self.m_count:
+ return None
+
+ if self.m_base_data_address == 0 or self.m_count == 0:
+ return None
+
+ if not self.m_bool_type:
+ return None
+
+ # Calculate byte and bit index
+ byte_idx = index >> 3 # divide by 8
+ bit_index = index & 7 # modulo 8
+
+ byte_location = self.m_base_data_address + byte_idx
+
+ process = self.valobj.GetProcess()
+ if not process:
+ return None
+
+ error = lldb.SBError()
+ byte_data = process.ReadMemory(byte_location, 1, error)
+ if error.Fail() or not byte_data or len(byte_data) == 0:
+ return None
+
+ byte = ord(byte_data[0:1])
+ mask = 1 << bit_index
+ bit_set = (byte & mask) != 0
+
+ bool_size = self.m_bool_type.GetByteSize()
+ if not bool_size:
+ return None
+
+ # Create data for the bool value
+ data = lldb.SBData()
+ data.SetData(
+ error,
+ bytes([1 if bit_set else 0]),
+ process.GetByteOrder(),
+ process.GetAddressByteSize(),
+ )
+
+ name = "[%d]" % index
+ retval_sp = self.valobj.CreateValueFromData(name, data, self.m_bool_type)
+ if retval_sp:
+ self.m_children[index] = retval_sp
+
+ return retval_sp
+
+ def update(self):
+ """
+ Returning False asks LLDB to re-run this on every stop. Returning True
+ freezes the children we last reported, so it is only safe when there
+ are none to go stale.
+ """
+ self.m_children = {}
+
+ if not self.valobj:
+ return False
+
+ size_sp = self.valobj.GetChildMemberWithName("__size_")
+ if not size_sp:
+ return False
+
+ self.m_count = size_sp.GetValueAsUnsigned(0)
+ if not self.m_count:
+ return True
+
+ begin_sp = self.valobj.GetChildMemberWithName("__begin_")
+ if not begin_sp:
+ self.m_count = 0
+ return False
+
+ self.m_base_data_address = begin_sp.GetValueAsUnsigned(0)
+ if not self.m_base_data_address:
+ self.m_count = 0
+ return False
+
+ return False
+
+
+def LibCxxStdVectorSyntheticFrontendCreator(valobj, internal_dict):
+ if not valobj:
+ return None
+
+ compiler_type = valobj.GetType()
+ if not compiler_type or compiler_type.GetNumberOfTemplateArguments() == 0:
+ return None
+
+ arg_type = compiler_type.GetTemplateArgumentType(0)
+ if arg_type.GetName() == "bool":
+ return LibCxxVectorBoolSyntheticFrontEnd(valobj, internal_dict)
+
+ return LibCxxStdVectorSyntheticFrontEnd(valobj, internal_dict)
More information about the libcxx-commits
mailing list