Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move some code into simgrid::dwarf namespace
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 12 Oct 2015 07:52:19 +0000 (09:52 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 15 Oct 2015 09:18:31 +0000 (11:18 +0200)
src/mc/mc_compare.cpp
src/mc/mc_diff.cpp
src/mc/mc_dwarf.hpp
src/mc/mc_member.cpp

index 49ca977..c8043e8 100644 (file)
@@ -238,10 +238,10 @@ static int compare_areas_with_type(struct mc_compare_state& state,
   case DW_TAG_structure_type:
   case DW_TAG_class_type:
     for(simgrid::mc::Member& member : type->members) {
-      void *member1 =
-        mc_member_resolve(real_area1, type, &member, snapshot1, process_index);
-      void *member2 =
-        mc_member_resolve(real_area2, type, &member, snapshot2, process_index);
+      void *member1 = simgrid::dwarf::resolve_member(
+        real_area1, type, &member, snapshot1, process_index);
+      void *member2 = simgrid::dwarf::resolve_member(
+        real_area2, type, &member, snapshot2, process_index);
       mc_mem_region_t subregion1 = mc_get_region_hinted(member1, snapshot1, process_index, region1);
       mc_mem_region_t subregion2 = mc_get_region_hinted(member2, snapshot2, process_index, region2);
       res =
index c942bdd..50e58cd 100644 (file)
@@ -932,10 +932,10 @@ top:
     } else {
       for(simgrid::mc::Member& member : type->members) {
         // TODO, optimize this? (for the offset case)
-        void *real_member1 =
-            mc_member_resolve(real_area1, type, &member, (simgrid::mc::AddressSpace*) snapshot1, process_index);
-        void *real_member2 =
-            mc_member_resolve(real_area2, type, &member, (simgrid::mc::AddressSpace*) snapshot2, process_index);
+        void *real_member1 = simgrid::dwarf::resolve_member(
+          real_area1, type, &member, (simgrid::mc::AddressSpace*) snapshot1, process_index);
+        void *real_member2 = simgrid::dwarf::resolve_member(
+            real_area2, type, &member, (simgrid::mc::AddressSpace*) snapshot2, process_index);
         res =
             compare_heap_area_with_type(state, process_index, real_member1, real_member2,
                                         snapshot1, snapshot2,
@@ -998,9 +998,8 @@ static simgrid::mc::Type* get_offset_type(void *real_base_address, simgrid::mc::
           if (member.offset() == offset)
             return member.type;
         } else {
-          void *real_member =
-            mc_member_resolve(real_base_address, type, &member,
-              snapshot, process_index);
+          void *real_member = simgrid::dwarf::resolve_member(
+            real_base_address, type, &member, snapshot, process_index);
           if ((char*) real_member - (char *) real_base_address == offset)
             return member.type;
         }
index 8dd3162..991817e 100644 (file)
@@ -25,13 +25,13 @@ namespace dwarf {
 XBT_PRIVATE const char* attrname(int attr);
 XBT_PRIVATE const char* tagname(int tag);
 
+XBT_PRIVATE void* resolve_member(
+  const void* base, simgrid::mc::Type* type, simgrid::mc::Member* member,
+  simgrid::mc::AddressSpace* snapshot, int process_index);
+
 }
 }
 
 XBT_PRIVATE void MC_dwarf_get_variables(simgrid::mc::ObjectInformation* info);
 
-XBT_PRIVATE void* mc_member_resolve(
-  const void* base, simgrid::mc::Type* type, simgrid::mc::Member* member,
-  simgrid::mc::AddressSpace* snapshot, int process_index);
-
 #endif
index 2dc276b..c69ef51 100644 (file)
@@ -10,6 +10,9 @@
 #include "mc_private.h"
 #include "mc/Type.hpp"
 
+namespace simgrid {
+namespace dwarf {
+
 /** Resolve snapshot in the process address space
  *
  * @param object   Process address of the struct/class
@@ -18,7 +21,7 @@
  * @param snapshot Snapshot (or NULL)
  * @return Process address of the given member of the 'object' struct/class
  */
-void *mc_member_resolve(
+void *resolve_member(
     const void *base, simgrid::mc::Type* type, simgrid::mc::Member* member,
     simgrid::mc::AddressSpace* address_space, int process_index)
 {
@@ -43,3 +46,6 @@ void *mc_member_resolve(
   else
     return (void *) state.stack[state.stack_size - 1];
 }
+
+}
+}