Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : minor fix in comments
[simgrid.git] / src / mc / mc_member.c
1 /* Copyright (c) 2014. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #include "mc_private.h"
8
9 /** Resolve snapshot in the process address space
10  *
11  * @param object   Process address of the struct/class
12  * @param type     Type of the struct/class
13  * @param member   Member description
14  * @param snapshot Snapshot (or NULL)
15  * @return Process address of the given member of the 'object' struct/class
16  */
17 void *mc_member_resolve(const void *base, dw_type_t type, dw_type_t member,
18                         mc_snapshot_t snapshot)
19 {
20   if (!member->location.size) {
21     return ((char *) base) + member->offset;
22   }
23
24   s_mc_expression_state_t state;
25   memset(&state, 0, sizeof(s_mc_expression_state_t));
26   state.frame_base = NULL;
27   state.cursor = NULL;
28   state.snapshot = snapshot;
29   state.stack_size = 1;
30   state.stack[0] = (uintptr_t) base;
31
32   if (mc_dwarf_execute_expression
33       (member->location.size, member->location.ops, &state))
34     xbt_die("Error evaluating DWARF expression");
35   if (state.stack_size == 0)
36     xbt_die("No value on the stack");
37   else
38     return (void *) state.stack[state.stack_size - 1];
39 }
40
41 /** Resolve snapshot in the snapshot address space
42  *
43  * @param  object Snapshot address of the struct/class
44  * @param  type Type of the struct/class
45  * @param  member Member description
46  * @param  snapshot Snapshot (or NULL)
47  * @return Snapshot address of the given member of the 'object' struct/class
48  */
49 void *mc_member_snapshot_resolve(const void *object, dw_type_t type,
50                                  dw_type_t member, mc_snapshot_t snapshot)
51 {
52   if (!member->location.size) {
53     return (char *) object + member->offset;
54   } else {
55     // Translate the problem in the process address space:
56     void *real_area =
57         (void *) mc_untranslate_address((void *) object, snapshot);
58     // Resolve the member in the process address space:
59     void *real_member = mc_member_resolve(real_area, type, member, snapshot);
60     // Translate back in the snapshot address space:
61     return mc_translate_address((uintptr_t) real_member, snapshot);
62   }
63 }