Lines Matching full:vg_assert
188 vg_assert(VG_(clo_profyle_interval) > 0);
190 vg_assert(delta >= 0);
284 vg_assert(tst->status != VgTs_Runnable);
290 vg_assert(VG_(running_tid) == VG_INVALID_THREADID);
319 vg_assert(tst->status == VgTs_Runnable);
321 vg_assert(sleepstate == VgTs_WaitSys ||
326 vg_assert(VG_(running_tid) == tid);
343 vg_assert(!the_BigLock);
377 vg_assert(VG_(is_valid_tid)(tid));
378 vg_assert(VG_(is_running_thread)(tid));
379 vg_assert(VG_(is_exiting)(tid));
385 vg_assert(VG_(threads)[tid].exitreason != VgSrc_None);
398 vg_assert(VG_(is_valid_tid)(tid));
399 vg_assert(!VG_(is_running_thread)(tid));
432 /* vg_assert(r == 0); */
445 vg_assert(tid != VG_INVALID_THREADID);
446 vg_assert(VG_(threads)[tid].os_state.lwpid == VG_(gettid)());
531 vg_assert(tid >= 0 && tid < VG_N_THREADS);
574 vg_assert(VG_(running_tid) == me);
651 vg_assert(tid_main == 1);
671 vg_assert(VG_IS_PAGE_ALIGNED(clstack_end+1));
672 vg_assert(VG_IS_PAGE_ALIGNED(clstack_size));
696 vg_assert(!_qq_tst->sched_jmpbuf_valid); \
702 vg_assert(_qq_tst->sched_jmpbuf_valid); \
733 vg_assert(sz_vex % LibVEX_GUEST_STATE_ALIGN == 0);
734 vg_assert(sz_vexsh1 % LibVEX_GUEST_STATE_ALIGN == 0);
735 vg_assert(sz_vexsh2 % LibVEX_GUEST_STATE_ALIGN == 0);
736 vg_assert(sz_spill % LibVEX_GUEST_STATE_ALIGN == 0);
738 vg_assert(a_vex % LibVEX_GUEST_STATE_ALIGN == 0);
739 vg_assert(a_vexsh1 % LibVEX_GUEST_STATE_ALIGN == 0);
740 vg_assert(a_vexsh2 % LibVEX_GUEST_STATE_ALIGN == 0);
741 vg_assert(a_spill % LibVEX_GUEST_STATE_ALIGN == 0);
748 vg_assert(sz_vex == sz_vexsh1);
749 vg_assert(sz_vex == sz_vexsh2);
750 vg_assert(a_vex + 1 * sz_vex == a_vexsh1);
751 vg_assert(a_vex + 2 * sz_vex == a_vexsh2);
754 vg_assert(sz_spill == LibVEX_N_SPILL_BYTES);
755 vg_assert(a_vex + 3 * sz_vex == a_spill);
760 vg_assert(
765 vg_assert(VG_IS_16_ALIGNED(offsetof(VexGuestX86State,guest_XMM0)));
766 vg_assert(VG_IS_8_ALIGNED(offsetof(VexGuestX86State,guest_FPREG)));
767 vg_assert(8 == offsetof(VexGuestX86State,guest_EAX));
768 vg_assert(VG_IS_4_ALIGNED(offsetof(VexGuestX86State,guest_EAX)));
769 vg_assert(VG_IS_4_ALIGNED(offsetof(VexGuestX86State,guest_EIP)));
775 vg_assert(
780 vg_assert(VG_IS_16_ALIGNED(offsetof(VexGuestAMD64State,guest_YMM0)));
781 vg_assert(VG_IS_8_ALIGNED(offsetof(VexGuestAMD64State,guest_FPREG)));
782 vg_assert(16 == offsetof(VexGuestAMD64State,guest_RAX));
783 vg_assert(VG_IS_8_ALIGNED(offsetof(VexGuestAMD64State,guest_RAX)));
784 vg_assert(VG_IS_8_ALIGNED(offsetof(VexGuestAMD64State,guest_RIP)));
790 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex.guest_VSR0));
791 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow1.guest_VSR0));
792 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow2.guest_VSR0));
794 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex.guest_VSR1));
795 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow1.guest_VSR1));
796 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow2.guest_VSR1));
802 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex.guest_D0));
803 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow1.guest_D0));
804 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow2.guest_D0));
806 vg_assert(VG_IS_8_ALIGNED(& tst->arch.vex.guest_D1));
807 vg_assert(VG_IS_8_ALIGNED(& tst->arch.vex_shadow1.guest_D1));
808 vg_assert(VG_IS_8_ALIGNED(& tst->arch.vex_shadow2.guest_D1));
812 vg_assert(VG_IS_8_ALIGNED(& tst->arch.vex.guest_X0));
813 vg_assert(VG_IS_8_ALIGNED(& tst->arch.vex_shadow1.guest_X0));
814 vg_assert(VG_IS_8_ALIGNED(& tst->arch.vex_shadow2.guest_X0));
815 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex.guest_Q0));
816 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow1.guest_Q0));
817 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow2.guest_Q0));
871 vg_assert(VG_(is_valid_tid)(tid));
872 vg_assert(VG_(is_running_thread)(tid));
873 vg_assert(!VG_(is_exiting)(tid));
874 vg_assert(*dispatchCtrP > 0);
881 vg_assert(VG_(stats__n_xindirs_32) == 0);
882 vg_assert(VG_(stats__n_xindir_misses_32) == 0);
918 vg_assert(host_code_addr != 0); /* implausible */
921 //vg_assert(VG_(threads)[tid].siginfo.si_signo == 0);
931 vg_assert(err == 0);
944 vg_assert(VG_(in_generated_code) == False);
957 vg_assert(VG_(in_generated_code) == True);
963 vg_assert(two_words[0] == 0 && two_words[1] == 0); // correct?
978 vg_assert((Int)tst->arch.vex.host_EvC_COUNTER >= -1);
979 vg_assert(tst->arch.vex.host_EvC_FAILADDR
997 vg_assert(dispatchCtrAfterwards >= 0);
1001 vg_assert(done_this_time >= 0);
1005 vg_assert(*dispatchCtrP >= 0);
1026 vg_assert(two_words[1] != 0); /* we have a legit patch addr */
1028 vg_assert(two_words[1] == 0); /* nobody messed with it */
1090 vg_assert(found);
1091 vg_assert(to_sNo != INV_SNO);
1092 vg_assert(to_tteNo != INV_TTE);
1115 vg_assert(ok);
1124 vg_assert(ok);
1130 vg_assert(VG_(is_running_thread)(tid));
1172 vg_assert(found);
1173 vg_assert(hcode != 0);
1176 vg_assert(*dispatchCtrP > 0); /* so as to guarantee progress */
1225 vg_assert(tid == 1); // it must be the main thread.
1236 vg_assert (VG_(dyn_vgdb_error) == VG_(clo_vgdb_error));
1273 vg_assert(VG_(is_running_thread)(tid));
1279 vg_assert(dispatch_ctr >= 0);
1324 vg_assert(tst->tid == tid);
1325 vg_assert(tst->os_state.lwpid == VG_(gettid)());
1381 vg_assert(trc[0] != VEX_TRC_JMP_NOREDIR);
1388 vg_assert(trc[0] != VG_TRC_INNER_COUNTERZERO);
1390 vg_assert(dispatch_ctr >= 0);
1395 vg_assert(trc[0] != VG_TRC_CHAIN_ME_TO_SLOW_EP
1408 vg_assert(dispatch_ctr >= 0);
1454 vg_assert(dispatch_ctr == 0);
1650 vg_assert(VG_(is_exiting)(tid));
1665 vg_assert(VG_(is_running_thread)(me));
1744 vg_assert(VG_(is_running_thread)(tid));
2054 vg_assert(delta == 1 || delta == -1);
2056 vg_assert(tst);
2147 vg_assert(0);
2224 vg_assert(VG_TDICT_CALL(tool_cheap_sanity_check));
2244 vg_assert(VG_TDICT_CALL(tool_expensive_sanity_check));
