[applied] ir: Add some debugging facilities for the comparison machinery
Commit Message
Hello,
When looking at something else, I felt the need to write the
debugging facilities below to dump the content of the set of types
being compared, to better understand why some comparison take more or
less time.
* src/abg-ir-priv.h: Include iostream to access std::cerr.
(environment::priv::{dump_classes_being_compared,
dump_fn_types_being_compared}): Define new member functions.
* src/abg-ir.cc (dump_classes_being_compared)
(dump_fn_types_being_compared): Define new functions.
Signed-off-by: Dodji Seketeli <dodji@redhat.com>
Applied to master.
---
src/abg-ir-priv.h | 43 +++++++++++++++++++++++++++++++++++++++++++
src/abg-ir.cc | 24 ++++++++++++++++++++++++
2 files changed, 67 insertions(+)
@@ -14,6 +14,7 @@
#define __ABG_IR_PRIV_H__
#include <string>
+#include <iostream>
#include "abg-ir.h"
#include "abg-corpus.h"
@@ -546,6 +547,48 @@ struct environment::priv
clear_type_comparison_results_cache()
{type_comparison_results_cache_.clear();}
+ /// Dumps a textual representation (to the standard error output) of
+ /// the content of the set of classes being currently compared using
+ /// the @ref equal overloads.
+ ///
+ /// This function is for debugging purposes.
+ void
+ dump_classes_being_compared()
+ {
+ std::cerr << "classes being compared: " << classes_being_compared_.size()
+ << "\n"
+ << "=====================================\n";
+ for (auto& p : classes_being_compared_)
+ {
+ class_or_union* c = reinterpret_cast<class_or_union*>(p.first);
+ std::cerr << "'" << c->get_pretty_representation()
+ << " / (" << std::hex << p.first << "," << p.second << ")"
+ << "'\n";
+ }
+ std::cerr << "=====================================\n";
+ }
+
+ /// Dumps a textual representation (to the standard error output) of
+ /// the content of the set of classes being currently compared using
+ /// the @ref equal overloads.
+ ///
+ /// This function is for debugging purposes.
+ void
+ dump_fn_types_being_compared()
+ {
+ std::cerr << "fn_types being compared: " << fn_types_being_compared_.size()
+ << "\n"
+ << "=====================================\n";
+ for (auto& p : fn_types_being_compared_)
+ {
+ function_type* c = reinterpret_cast<function_type*>(p.first);
+ std::cerr << "'" << c->get_pretty_representation()
+ << " / (" << std::hex << p.first << "," << p.second << ")"
+ << "'\n";
+ }
+ std::cerr << "=====================================\n";
+ }
+
/// Push a pair of operands on the stack of operands of the current
/// type comparison, during type canonicalization.
///
@@ -21429,6 +21429,30 @@ class_or_union::operator==(const class_or_union& other) const
return class_or_union::operator==(o);
}
+/// Dumps a textual representation (to the standard error output) of
+/// the content of the set of classes being currently compared using
+/// the @ref equal overloads.
+///
+/// This function is for debugging purposes.
+///
+/// @param c an artifact that belongs to the environment in which the
+/// classes of interest are being compared.
+void
+dump_classes_being_compared(const type_or_decl_base& c)
+{c.get_environment()->priv_->dump_classes_being_compared();}
+
+/// Dumps a textual representation (to the standard error output) of
+/// the content of the set of function types being currently compared
+/// using the @ref equal overloads.
+///
+/// This function is for debugging purposes.
+///
+/// @param c an artifact that belongs to the environment in which the
+/// function types of interest are being compared.
+void
+dump_fn_types_being_compared(const type_or_decl_base& t)
+{t.get_environment()->priv_->dump_fn_types_being_compared();}
+
/// Compares two instances of @ref class_or_union.
///
/// If the two intances are different, set a bitfield to give some