test/test_eq_nodep.c

   1 #include <threads.h>
   2 #include <inttypes.h>
   3 #include "libinterface.h"
   4
   5 static int zero;
   6
   7 int user_main(int argc, char **argv)
   8 {
   9     store_32(&zero, 0);
  10
  11     int val = load_32(&zero);
  12
  13     int val2 = 0;
  14     MCID _mval2 = MCID_NODEP;
  15
  16     /** this equality check contains one NODEP and should work. **/
  17     if(val == val2)
  18     {
  19         return 1;
  20     }
  21
  22     return 0;
  23 }