Searched refs:vc_lte (Results 1 - 6 of 6) sorted by relevance

/external/valgrind/main/drd/tests/
H A Dunit_vc.stderr.exp4 vc_lte(vc1, vc2) = 0, vc_lte(vc1, vc3) = 1, vc_lte(vc2, vc3) = 1
5 vc_lte([ 1: 3, 2: 1 ], [ 1: 4 ]) = 0 sw 0
H A Dunit_vc.c84 fprintf(stderr, "vc_lte(vc1, vc2) = %d, vc_lte(vc1, vc3) = %d,"
85 " vc_lte(vc2, vc3) = %d\nvc_lte(",
86 DRD_(vc_lte)(&vc1, &vc2), DRD_(vc_lte)(&vc1, &vc3),
87 DRD_(vc_lte)(&vc2, &vc3));
94 DRD_(vc_lte)(&vc4, &vc5), DRD_(vc_lte)(&vc5, &vc4));
/external/valgrind/main/drd/
H A Ddrd_vc.h81 Bool DRD_(vc_lte)(const VectorClock* const vc1,
102 Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const vc2) function
H A Ddrd_thread.c917 && DRD_(vc_lte)(&sg->vc, &thread_vc_min);
944 * if ( DRD_(vc_lte)(&sg1->vc, &sg->vc)
945 * != DRD_(vc_lte)(&sg2->vc, &sg->vc)
946 * || DRD_(vc_lte)(&sg->vc, &sg1->vc)
947 * != DRD_(vc_lte)(&sg->vc, &sg2->vc))
964 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
972 if (DRD_(vc_lte)(&sg2->vc, &sg->vc))
974 if (DRD_(vc_lte)(&sg1->vc, &sg->vc))
980 if (DRD_(vc_lte)(&sg->vc, &sg1->vc))
982 if (DRD_(vc_lte)(
[all...]
H A Ddrd_vc.c118 return DRD_(vc_lte)(vc1, vc2) || DRD_(vc_lte)(vc2, vc1);
H A Ddrd_barrier.c169 if (q->post_wait_sg && !DRD_(vc_lte)(&q->post_wait_sg->vc,

Completed in 144 milliseconds