Index: tools/gdbinit |
diff --git a/tools/gdbinit b/tools/gdbinit |
index 3d527829bf85b92b62db79a98b7a0b369c2c8bf8..0bb1f5d827c3032d6c3d4be3abe2a140f0b1f8c0 100644 |
--- a/tools/gdbinit |
+++ b/tools/gdbinit |
@@ -38,6 +38,16 @@ Print a v8 TypeFeedbackVector object |
Usage: jtv tagged_ptr |
end |
+# Print TypeFeedbackMetadata |
+define jfm |
+call _v8_internal_Print_TypeFeedbackMetadata((void*)($arg0)) |
+end |
+document jfm |
+Print a v8 TypeFeedbackMetadata object |
+Usage: jtm tagged_ptr |
+end |
+ |
+ |
# Print DescriptorArray. |
define jda |
call _v8_internal_Print_DescriptorArray((void*)($arg0)) |