Changeset 6adeb5f for doc/theses/mike_brooks_MMath/benchmarks/list/observation.c

Timestamp:

Apr 10, 2023, 9:25:28 PM (2 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

a1b41e3

Parents:

372b6d3 (diff), a085470 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/theses/mike_brooks_MMath/benchmarks/list/observation.c (modified) (4 diffs)

doc/theses/mike_brooks_MMath/benchmarks/list/observation.c

@@ -24 +24 @@
 }
 
+#ifdef BOBS_SHOW_ADDRESSES
+#define SNAP \
+    void * userAddr = bobs_getCurrentLoc(); \
+    int userValue = bobs_getCurrentVal();
+#define SHOW(pfx, sfx) \
+    printf(" " pfx "%d@%p" sfx, userValue, userAddr);
+#else
+#define SNAP \
+    int userValue = bobs_getCurrentVal();
+#define SHOW(pfx, sfx) \
+    printf(" " pfx "%d" sfx, userValue);
+#endif
 
 static void printPreds(unsigned int leash) {
@@ -32 +44 @@
         return;
     }
-    int userValue = bobs_getCurrent();
+    SNAP
     bobs_movePrev();
     printPreds(leash - 1);
-    printf(" %d", userValue);
+    SHOW("", "")
 }
 static void printSuccs(unsigned int leash) {
@@ -44 +56 @@
         return;
     }
-    int userValue = bobs_getCurrent();
-    printf(" %d", userValue);
+    SNAP
+    SHOW("", "")
     bobs_moveNext();
     printSuccs(leash - 1);
@@ -59 +71 @@
 
     bobs_seek(here);
-    int userValue = bobs_getCurrent();
-    printf(" <%d>", userValue);
+    SNAP
+    SHOW("<", ">")
 
     bobs_moveNext();