Lines Matching refs:tl_assert
31 #include "pub_tool_libcassert.h" /* tl_assert() */
56 tl_assert(!s_bm2_set_template);
64 tl_assert(s_bm2_set_template);
75 tl_assert((1 << BITS_PER_BITS_PER_UWORD) == BITS_PER_UWORD);
85 tl_assert(bm);
96 tl_assert(bm);
131 tl_assert(access_type == eLoad || access_type == eStore);
143 tl_assert(bm);
144 tl_assert(a1 <= a2);
145 tl_assert(a2 < first_address_with_higher_msb(a2));
146 tl_assert(a1 == first_address_with_same_lsb(a1));
147 tl_assert(a2 == first_address_with_same_lsb(a2));
163 tl_assert(bm2);
178 tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2);
179 tl_assert(address_msb(b_start) == address_msb(b_end - 1));
180 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
240 tl_assert(bm);
241 tl_assert(a1 <= a2);
242 tl_assert(a2 < first_address_with_higher_msb(a2));
243 tl_assert(a1 == first_address_with_same_lsb(a1));
244 tl_assert(a2 == first_address_with_same_lsb(a2));
260 tl_assert(bm2);
275 tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2);
276 tl_assert(address_msb(b_start) == address_msb(b_end - 1));
277 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
335 tl_assert(access_type == eLoad || access_type == eStore);
347 tl_assert(bm);
371 tl_assert(bm);
397 tl_assert(a1 <= b_start && b_start <= a2);
403 tl_assert(a1 <= b_end && b_end <= a2);
404 tl_assert(b_start < b_end);
405 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
424 tl_assert(bm);
450 tl_assert(a1 <= b_start && b_start <= a2);
456 tl_assert(a1 <= b_end && b_end <= a2);
457 tl_assert(b_start < b_end);
458 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
479 tl_assert(bm);
505 tl_assert(a1 <= b_start && b_start <= a2);
511 tl_assert(a1 <= b_end && b_end <= a2);
512 tl_assert(b_start < b_end);
513 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
543 tl_assert(bm);
559 tl_assert(bm);
560 tl_assert(a1);
561 tl_assert(a1 <= a2);
562 tl_assert(a1 == first_address_with_same_lsb(a1));
563 tl_assert(a2 == first_address_with_same_lsb(a2));
571 tl_assert(a1 <= b && b < a2);
594 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
606 tl_assert(uword_lsb(address_lsb(c)) == 0);
607 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
608 tl_assert(c_next <= b_next);
621 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
636 tl_assert(bm);
637 tl_assert(a1);
638 tl_assert(a1 <= a2);
639 tl_assert(a1 == first_address_with_same_lsb(a1));
640 tl_assert(a2 == first_address_with_same_lsb(a2));
648 tl_assert(a1 <= b && b < a2);
666 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
674 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next
682 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
688 tl_assert(uword_lsb(address_lsb(c)) == 0);
689 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
690 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
703 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
718 tl_assert(bm);
719 tl_assert(a1);
720 tl_assert(a1 <= a2);
721 tl_assert(a1 == first_address_with_same_lsb(a1));
722 tl_assert(a2 == first_address_with_same_lsb(a2));
730 tl_assert(a1 <= b && b < a2);
748 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
756 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next
764 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
770 tl_assert(uword_lsb(address_lsb(c)) == 0);
771 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
772 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
785 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
812 tl_assert(bm);
838 tl_assert(a1 <= b_start && b_start <= a2);
844 tl_assert(a1 <= b_end && b_end <= a2);
845 tl_assert(b_start < b_end);
846 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
859 tl_assert(access_type == eStore);
953 tl_assert(lhs != rhs);
969 tl_assert(bm2l);
981 tl_assert(bm2r);
982 tl_assert(DRD_(bm_has_any_access)(rhs,
1002 tl_assert(DRD_(bm_has_any_access)(rhs,
1027 tl_assert(lhs != rhs);
1038 tl_assert(bm2l != bm2r);
1118 tl_assert(lhs != rhs);
1129 tl_assert(bm2l != bm2r);
1226 tl_assert(bm2);
1266 tl_assert(bm2l);
1267 tl_assert(bm2r);
1268 tl_assert(bm2l->addr == bm2r->addr);
