scfence/fence_common.h

   1 #ifndef _FENCE_COMMON_
   2 #define _FENCE_COMMON_
   3
   4 #include "model.h"
   5 #include "action.h"
   6
   7 #define DEFAULT_REPETITIVE_READ_BOUND 20
   8
   9 #define FENCE_OUTPUT
  10
  11 #ifdef FENCE_OUTPUT
  12
  13 #define FENCE_PRINT model_print
  14
  15 #define ACT_PRINT(x) (x)->print()
  16
  17 #define CV_PRINT(x) (x)->print()
  18
  19 #define WILDCARD_ACT_PRINT(x)\
  20         FENCE_PRINT("Wildcard: %d\n", get_wildcard_id_zero((x)->get_original_mo()));\
  21         ACT_PRINT(x);
  22
  23 #else
  24
  25 #define FENCE_PRINT
  26
  27 #define ACT_PRINT(x)
  28
  29 #define CV_PRINT(x)
  30
  31 #define WILDCARD_ACT_PRINT(x)
  32
  33 #endif
  34
  35 #endif