Cross Reference: /external/valgrind/VEX/priv/guest_generic_bb_to

Lines Matching refs:vassert
225    vassert(sizeof(HWord) == sizeof(void*));
226    vassert(vex_control.guest_max_insns >= 1);
227    vassert(vex_control.guest_max_insns <= 100);
228    vassert(vex_control.guest_chase_thresh >= 0);
229    vassert(vex_control.guest_chase_thresh < vex_control.guest_max_insns);
230    vassert(guest_word_type == Ity_I32 || guest_word_type == Ity_I64);
233       vassert(szB_GUEST_IP == 4);
234       vassert((offB_GUEST_IP % 4) == 0);
236       vassert(szB_GUEST_IP == 8);
237       vassert((offB_GUEST_IP % 8) == 0);
287       vassert(n_instrs < vex_control.guest_max_insns);
309       vassert(n_cond_resteers_allowed >= 0 && n_cond_resteers_allowed <= 2);
357       vassert(irsb->next == NULL);
372       vassert(dres.whatNext == Dis_StopHere
377       vassert(dres.len >= 0 && dres.len <= 24);
380          vassert(dres.continueAt == 0);
384          vassert(dres.whatNext != Dis_ResteerC);
387       vassert(first_stmt_idx >= 0 && first_stmt_idx < irsb->stmts_used);
389       vassert(imark);
390       vassert(imark->tag == Ist_IMark);
391       vassert(imark->Ist.IMark.len == 0);
405       vassert(irsb->next == NULL);
406       vassert(irsb->jumpkind == Ijk_Boring);
407       vassert(irsb->offsIP == 0);
411       vassert(first_stmt_idx < irsb->stmts_used);
414         vassert(st);
415         vassert(st->tag == Ist_Put);
416         vassert(st->Ist.Put.offset == offB_GUEST_IP);
426       vassert(vge->len[vge->n_used-1] < 5000);
436             vassert(dres.continueAt == 0);
437             vassert(dres.jk_StopHere == Ijk_INVALID);
450             vassert(dres.continueAt == 0);
451             vassert(dres.jk_StopHere != Ijk_INVALID);
461             vassert(resteerOK);
463                vassert(n_cond_resteers_allowed > 0);
467             vassert(resteerOKfn(callback_opaque,dres.continueAt));
471             vassert(vge->n_used <= 3);
486    vassert(0);
538       vassert(host_word_type != Ity_INVALID);
540       vassert(vge->n_used >= 1 && vge->n_used <= 3);
544       vassert((extents_needing_check >> vge->n_used) == 0);
560          vassert(len2check >= 0 && len2check < 1000/*arbitrary*/);
570          vassert(first_hW <= last_hW);
572          vassert(0 == (hW_diff & (host_word_szB-1)));
574          vassert(hWs_to_check > 0
662             vassert(nm_spec);
663             vassert(expectedhW == fn_spec( first_hW ));
665             vassert(!nm_spec);
754    vassert(irsb->next != NULL);