Lines Matching defs:lhs
943 * Return True if the two bitmaps *lhs and *rhs are identical, and false
946 Bool DRD_(bm_equal)(struct bitmap* const lhs, struct bitmap* const rhs)
952 /* so complain if lhs == rhs. */
953 tl_assert(lhs != rhs);
955 VG_(OSetGen_ResetIter)(lhs->oset);
958 for ( ; (bm2l = VG_(OSetGen_Next)(lhs->oset)) != 0; )
961 && ! DRD_(bm_has_any_access)(lhs,
965 bm2l = VG_(OSetGen_Next)(lhs->oset);
1017 /** Merge bitmaps *lhs and *rhs into *lhs. */
1018 void DRD_(bm_merge2)(struct bitmap* const lhs, struct bitmap* const rhs)
1025 * so complain if lhs == rhs.
1027 tl_assert(lhs != rhs);
1035 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr);
1043 bm2_insert_copy(lhs, bm2r);
1108 /** Merge the second level bitmaps from *rhs into *lhs for which recalc == True. */
1109 void DRD_(bm_merge2_marked)(struct bitmap* const lhs, struct bitmap* const rhs)
1116 * so complain if lhs == rhs.
1118 tl_assert(lhs != rhs);
1126 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr);
1155 * Report whether there are any RW / WR / WW patterns in lhs and rhs.
1156 * @param lhs First bitmap.
1157 * @param rhs Bitmap to be compared with lhs.
1160 int DRD_(bm_has_races)(struct bitmap* const lhs, struct bitmap* const rhs)
1162 VG_(OSetGen_ResetIter)(lhs->oset);
1173 bm2l = VG_(OSetGen_Next)(lhs->oset);
1178 bm2l = VG_(OSetGen_Next)(lhs->oset);