Home
last modified time | relevance | path

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

/external/valgrind/main/drd/tests/
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
Dunit_vc.c86 DRD_(vc_lte)(&vc1, &vc2), DRD_(vc_lte)(&vc1, &vc3), in vc_unittest()
87 DRD_(vc_lte)(&vc2, &vc3)); in vc_unittest()
94 DRD_(vc_lte)(&vc4, &vc5), DRD_(vc_lte)(&vc5, &vc4)); in vc_unittest()
/external/valgrind/main/drd/
Ddrd_thread.c903 sg && (sg_next = sg->next) && DRD_(vc_lte)(&sg->vc, &thread_vc_min); in thread_discard_ordered_segments()
950 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc)); in thread_consistent_segment_ordering()
960 if (DRD_(vc_lte)(&sg2->vc, &sg->vc)) in thread_consistent_segment_ordering()
962 if (DRD_(vc_lte)(&sg1->vc, &sg->vc)) in thread_consistent_segment_ordering()
970 if (DRD_(vc_lte)(&sg->vc, &sg1->vc)) in thread_consistent_segment_ordering()
972 if (DRD_(vc_lte)(&sg->vc, &sg2->vc)) in thread_consistent_segment_ordering()
1153 tl_assert(DRD_(vc_lte)(vc, &DRD_(g_threadinfo)[tid].last->vc)); in thread_combine_vc_sync()
1295 if (DRD_(vc_lte)(&q->vc, &p->vc)) in thread_report_conflicting_segments_segment()
1297 if (! DRD_(vc_lte)(&p->vc, &q->vc)) in thread_report_conflicting_segments_segment()
1439 if (! DRD_(vc_lte)(&q->vc, &p->vc) in thread_compute_conflict_set()
[all …]
Ddrd_vc.h82 Bool DRD_(vc_lte)(const VectorClock* const vc1,
103 Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const vc2) in DRD_() argument
Ddrd_vc.c119 return DRD_(vc_lte)(vc1, vc2) || DRD_(vc_lte)(vc2, vc1); in DRD_()
Ddrd_barrier.c170 if (q->post_wait_sg && !DRD_(vc_lte)(&q->post_wait_sg->vc, in barrier_cleanup()