Changeset c15085d for src/AST

Timestamp:

Jul 3, 2020, 4:50:21 PM (5 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

aebf5b0

Parents:

276f105

Message:

tracing memory allocation of resolver passes

Location:

src/AST

Files:

• Pass.impl.hpp (modified) (2 diffs)
• Pass.proto.hpp (modified) (2 diffs)
• TypeSubstitution.cpp (modified) (1 diff)
• TypeSubstitution.hpp (modified) (1 diff)

src/AST/Pass.impl.hpp ¶

@@ -28 +28 @@
         /* setup the scope for passes that want to run code at exit */ \
         __attribute__((unused)) ast::__pass::guard_value          guard2( ast::__pass::at_cleanup    (pass, 0) ); \
+        /* begin tracing memory allocation if requested by this pass */ \
+        __pass::beginTrace( pass, 0 ); \
         /* call the implementation of the previsit of this pass */ \
         __pass::previsit( pass, node, 0 );
@@ -42 +44 @@
         auto __return = __pass::postvisit( pass, node, 0 ); \
         assertf(__return, "post visit should never return null"); \
+        /* end tracing memory allocation if requested by this pass */ \
+        __pass::endTrace( pass, 0 ); \
         return __return;
 

src/AST/Pass.proto.hpp ¶

@@ -16 +16 @@
 #pragma once
 // IWYU pragma: private, include "Pass.hpp"
+
+#include "Common/Stats/Heap.h"
 
 namespace ast {
@@ -244 +246 @@
         #undef FIELD_PTR
 
+        template< typename pass_t >
+        static inline auto beginTrace(pass_t & pass, int) -> decltype( pass_t::traceId, void() ) {
+                Stats::Heap::stacktrace_push(pass_t::traceId);
+        }
+
+        template< typename pass_t > 
+        static inline auto endTrace(pass_t & pass, int) -> decltype( pass_t::traceId, void() ) {
+                Stats::Heap::stacktrace_pop();
+        }
+
+        template< typename pass_t >
+        static void beginTrace(pass_t &, long) {}
+
+        template< typename pass_t >
+        static void endTrace(pass_t &, long) {}
+
         // Another feature of the templated visitor is that it calls beginScope()/endScope() for compound statement.
         // All passes which have such functions are assumed desire this behaviour

src/AST/TypeSubstitution.cpp ¶

@@ -18 +18 @@
 
 namespace ast {
+
+
+size_t TypeSubstitution::Substituter::traceId = Stats::Heap::new_stacktrace_id("TypeSubstitution");
 
 TypeSubstitution::TypeSubstitution() {

src/AST/TypeSubstitution.hpp ¶

@@ -160 +160 @@
 // definitition must happen after PassVisitor is included so that WithGuards can be used
 struct TypeSubstitution::Substituter : public WithGuards, public WithVisitorRef<Substituter> {
+                static size_t traceId;
 
                 Substituter( const TypeSubstitution & sub, bool freeOnly ) : sub( sub ), freeOnly( freeOnly ) {}