X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=librace.cc;h=faa98cdb02221518825e82547d2b0a5126d07685;hp=64133304e31e5fc72414c4399d6719e0b410c4d3;hb=9a2ba97d13c76e9048ba7c499b3cbca0d02a84ca;hpb=7d4e8c29bd2118e162d910435afe5e485cc0f5ed;ds=sidebyside diff --git a/librace.cc b/librace.cc index 64133304..faa98cdb 100644 --- a/librace.cc +++ b/librace.cc @@ -94,10 +94,12 @@ uint64_t load_64(const void *addr) return *((uint64_t *)addr); } -// helper functions used by CdsPass -// The CdsPass implementation does not replace normal load/stores with cds load/stores, -// but inserts cds load/stores to check dataraces. Thus, the cds load/stores do not -// return anything. +/** + * Helper functions used by CDSPass + * The CDSPass implementation does not replace normal load/stores with cds load/stores, + * but inserts cds load/stores to check dataraces. Thus, the cds load/stores do not + * return anything. + */ void cds_store8(void *addr) {