Lines Matching refs:vassert
254 vassert(h->used < h->size); in addToHHW()
486 vassert(d2->mAddr == NULL); in flatten_Stmt()
560 vassert((*minoff & ~0xFFFF) == 0); in getArrayBounds()
561 vassert((*maxoff & ~0xFFFF) == 0); in getArrayBounds()
562 vassert(*minoff <= *maxoff); in getArrayBounds()
572 vassert((minoff & ~0xFFFF) == 0); in mk_key_GetPut()
573 vassert((maxoff & ~0xFFFF) == 0); in mk_key_GetPut()
581 vassert((minoff & ~0xFFFF) == 0); in mk_key_GetIPutI()
582 vassert((maxoff & ~0xFFFF) == 0); in mk_key_GetIPutI()
594 vassert(k_lo <= k_hi); in invalidateOverlaps()
604 vassert(e_lo <= e_hi); in invalidateOverlaps()
669 vassert(st->tag == Ist_PutI); in redundant_get_removal_BB()
699 vassert(isIRAtom(st->Ist.Put.data)); in redundant_get_removal_BB()
770 vassert(isIRAtom(st->Ist.AbiHint.base)); in handle_gets_Stmt()
771 vassert(isIRAtom(st->Ist.AbiHint.nia)); in handle_gets_Stmt()
783 vassert(isIRAtom(st->Ist.Store.addr)); in handle_gets_Stmt()
784 vassert(isIRAtom(st->Ist.Store.data)); in handle_gets_Stmt()
789 vassert(isIRAtom(sg->addr)); in handle_gets_Stmt()
790 vassert(isIRAtom(sg->data)); in handle_gets_Stmt()
791 vassert(isIRAtom(sg->guard)); in handle_gets_Stmt()
797 vassert(isIRAtom(lg->addr)); in handle_gets_Stmt()
798 vassert(isIRAtom(lg->alt)); in handle_gets_Stmt()
799 vassert(isIRAtom(lg->guard)); in handle_gets_Stmt()
804 vassert(isIRAtom(st->Ist.Exit.guard)); in handle_gets_Stmt()
808 vassert(isIRAtom(st->Ist.Put.data)); in handle_gets_Stmt()
812 vassert(isIRAtom(st->Ist.PutI.details->ix)); in handle_gets_Stmt()
813 vassert(isIRAtom(st->Ist.PutI.details->data)); in handle_gets_Stmt()
862 vassert(0); in handle_gets_Stmt()
896 vassert(pxControl < VexRegUpdAllregsAtEachInsn); in redundant_put_removal_BB()
950 vassert(isIRAtom(st->Ist.Put.data)); in redundant_put_removal_BB()
955 vassert(isIRAtom(st->Ist.PutI.details->ix)); in redundant_put_removal_BB()
956 vassert(isIRAtom(st->Ist.PutI.details->data)); in redundant_put_removal_BB()
1096 vassert(c1->tag == c2->tag); in sameIRExprs_aux2()
1304 vassert(value != 0ULL); /* no defined semantics for arg==0 */ in fold_Clz64()
1308 vassert(0); in fold_Clz64()
1316 vassert(value != 0); /* no defined semantics for arg==0 */ in fold_Clz32()
1320 vassert(0); in fold_Clz32()
1855 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1863 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1875 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1887 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1901 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1913 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
2360 vassert(e->Iex.ITE.cond->Iex.Const.con->tag == Ico_U1); in fold_Expr()
2451 vassert(isIRAtom(ex->Iex.GetI.ix)); in subst_Expr()
2460 vassert(isIRAtom(qop->arg1)); in subst_Expr()
2461 vassert(isIRAtom(qop->arg2)); in subst_Expr()
2462 vassert(isIRAtom(qop->arg3)); in subst_Expr()
2463 vassert(isIRAtom(qop->arg4)); in subst_Expr()
2475 vassert(isIRAtom(triop->arg1)); in subst_Expr()
2476 vassert(isIRAtom(triop->arg2)); in subst_Expr()
2477 vassert(isIRAtom(triop->arg3)); in subst_Expr()
2487 vassert(isIRAtom(ex->Iex.Binop.arg1)); in subst_Expr()
2488 vassert(isIRAtom(ex->Iex.Binop.arg2)); in subst_Expr()
2496 vassert(isIRAtom(ex->Iex.Unop.arg)); in subst_Expr()
2503 vassert(isIRAtom(ex->Iex.Load.addr)); in subst_Expr()
2514 vassert(isIRAtom(args2[i])); in subst_Expr()
2525 vassert(isIRAtom(ex->Iex.ITE.cond)); in subst_Expr()
2526 vassert(isIRAtom(ex->Iex.ITE.iftrue)); in subst_Expr()
2527 vassert(isIRAtom(ex->Iex.ITE.iffalse)); in subst_Expr()
2556 vassert(isIRAtom(st->Ist.AbiHint.base)); in subst_and_fold_Stmt()
2557 vassert(isIRAtom(st->Ist.AbiHint.nia)); in subst_and_fold_Stmt()
2564 vassert(isIRAtom(st->Ist.Put.data)); in subst_and_fold_Stmt()
2573 vassert(isIRAtom(puti->ix)); in subst_and_fold_Stmt()
2574 vassert(isIRAtom(puti->data)); in subst_and_fold_Stmt()
2591 vassert(isIRAtom(st->Ist.Store.addr)); in subst_and_fold_Stmt()
2592 vassert(isIRAtom(st->Ist.Store.data)); in subst_and_fold_Stmt()
2601 vassert(isIRAtom(sg->addr)); in subst_and_fold_Stmt()
2602 vassert(isIRAtom(sg->data)); in subst_and_fold_Stmt()
2603 vassert(isIRAtom(sg->guard)); in subst_and_fold_Stmt()
2609 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2613 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2628 vassert(isIRAtom(lg->addr)); in subst_and_fold_Stmt()
2629 vassert(isIRAtom(lg->alt)); in subst_and_fold_Stmt()
2630 vassert(isIRAtom(lg->guard)); in subst_and_fold_Stmt()
2636 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2642 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2658 vassert(isIRAtom(cas->addr)); in subst_and_fold_Stmt()
2659 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi)); in subst_and_fold_Stmt()
2660 vassert(isIRAtom(cas->expdLo)); in subst_and_fold_Stmt()
2661 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi)); in subst_and_fold_Stmt()
2662 vassert(isIRAtom(cas->dataLo)); in subst_and_fold_Stmt()
2677 vassert(isIRAtom(st->Ist.LLSC.addr)); in subst_and_fold_Stmt()
2679 vassert(isIRAtom(st->Ist.LLSC.storedata)); in subst_and_fold_Stmt()
2697 vassert(isIRAtom(d2->mAddr)); in subst_and_fold_Stmt()
2700 vassert(isIRAtom(d2->guard)); in subst_and_fold_Stmt()
2705 vassert(isIRAtom(arg)); in subst_and_fold_Stmt()
2725 vassert(isIRAtom(st->Ist.Exit.guard)); in subst_and_fold_Stmt()
2730 vassert(fcond->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2735 vassert(fcond->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2809 vassert(env[(Int)(st2->Ist.WrTmp.tmp)] == NULL); in cprop_BB()
2835 vassert(guard->Iex.Const.con->tag == Ico_U1); in cprop_BB()
2836 vassert(guard->Iex.Const.con->Ico.U1 == True); in cprop_BB()
2843 vassert(n_fixups >= 0 && n_fixups <= N_FIXUPS); in cprop_BB()
2873 vassert(n_fixups >= 0 && n_fixups <= N_FIXUPS); in cprop_BB()
2877 vassert(ix >= 0 && ix+1 < out->stmts_used); in cprop_BB()
2880 vassert(nop->tag == Ist_NoOp); in cprop_BB()
2881 vassert(lgu->tag == Ist_LoadG); in cprop_BB()
2884 vassert(guard->Iex.Const.con->tag == Ico_U1); in cprop_BB()
2885 vassert(guard->Iex.Const.con->Ico.U1 == True); in cprop_BB()
3152 vassert(i_unconditional_exit >= 0 in do_deadcode_BB()
3292 vassert(isIRAtom(ix1)); in getAliasingRelation_II()
3293 vassert(isIRAtom(ix2)); in getAliasingRelation_II()
3304 vassert(descr1->nElems == descr2->nElems); in getAliasingRelation_II()
3305 vassert(descr1->elemTy == descr2->elemTy); in getAliasingRelation_II()
3306 vassert(descr1->base == descr2->base); in getAliasingRelation_II()
3315 vassert(bias1 >= 0 && bias2 >= 0); in getAliasingRelation_II()
3318 vassert(bias1 >= 0 && bias1 < descr1->nElems); in getAliasingRelation_II()
3319 vassert(bias2 >= 0 && bias2 < descr1->nElems); in getAliasingRelation_II()
3365 vassert(cee1->regparms == cee2->regparms); in eqIRCallee()
3366 vassert(cee1->mcx_mask == cee2->mcx_mask); in eqIRCallee()
3562 if (eq) vassert(a1->u.CCall.retty == a2->u.CCall.retty); in eq_AvailExpr()
3631 vassert(n >= 0); in availExpr_to_IRExpr()
3885 vassert(sizeof(IRTemp) <= sizeof(HWord)); in do_cse_BB()
3942 vassert(paranoia == 1); in do_cse_BB()
4259 vassert(relation != ExactAlias); in findPutI()
4289 vassert(relation == ExactAlias); in findPutI()
4316 vassert(pi->tag == Ist_PutI); in identicalPutIs()
4345 vassert(pi->tag == Ist_PutI); in guestAccessWhichMightOverlapPutI()
4376 vassert(isIRAtom(s2->Ist.Put.data)); in guestAccessWhichMightOverlapPutI()
4388 vassert(isIRAtom(p2->ix)); in guestAccessWhichMightOverlapPutI()
4389 vassert(isIRAtom(p2->data)); in guestAccessWhichMightOverlapPutI()
4421 vassert(isIRAtom(s2->Ist.Store.addr)); in guestAccessWhichMightOverlapPutI()
4422 vassert(isIRAtom(s2->Ist.Store.data)); in guestAccessWhichMightOverlapPutI()
4491 vassert(pxControl < VexRegUpdAllregsAtEachInsn); in do_redundant_PutI_elimination()
4817 vassert(con->tag == Ico_U32 || con->tag == Ico_U64); in maybe_loop_unroll_BB()
4824 vassert(con->tag == udst->Iex.Const.con->tag); in maybe_loop_unroll_BB()
4849 vassert(i >= 0); in maybe_loop_unroll_BB()
4852 vassert(st->tag == Ist_Exit); in maybe_loop_unroll_BB()
4855 vassert(con->tag == Ico_U32 || con->tag == Ico_U64); in maybe_loop_unroll_BB()
4858 vassert(udst->tag == Iex_Const); in maybe_loop_unroll_BB()
4859 vassert(udst->Iex.Const.con->tag == Ico_U32 in maybe_loop_unroll_BB()
4861 vassert(con->tag == udst->Iex.Const.con->tag); in maybe_loop_unroll_BB()
4881 vassert(unroll_factor == 2 in maybe_loop_unroll_BB()
4957 vassert(low <= high); in update_interval()
5068 vassert(env[A_NENV-1].bindee == NULL); in addToEnvFront()
5826 vassert(j <= i); in ado_treebuild_BB()
5840 vassert(uses[st->Ist.WrTmp.tmp] == 1); in ado_treebuild_BB()
5916 vassert(j <= i); in ado_treebuild_BB()
5938 vassert(j <= i+1); in ado_treebuild_BB()
6020 vassert(0); in print_flat_expr()
6122 vassert(5-5); // ATC in spotBitfieldAssignment()
6129 vassert(6-6); // ATC in spotBitfieldAssignment()
6222 vassert(aa && isIRAtom(aa)); in do_XOR_TRANSFORMS_IRExpr()
6223 vassert(bb && isIRAtom(bb)); in do_XOR_TRANSFORMS_IRExpr()
6224 vassert(cc && isIRAtom(cc)); in do_XOR_TRANSFORMS_IRExpr()
6256 vassert(t >= 0 && t < n_tmps); in do_XOR_TRANSFORM_IRSB()
6265 vassert(isIRAtom(st->Ist.AbiHint.base)); in do_XOR_TRANSFORM_IRSB()
6266 vassert(isIRAtom(st->Ist.AbiHint.nia)); in do_XOR_TRANSFORM_IRSB()
6269 vassert(isIRAtom(st->Ist.Put.data)); in do_XOR_TRANSFORM_IRSB()
6273 vassert(isIRAtom(puti->ix)); in do_XOR_TRANSFORM_IRSB()
6274 vassert(isIRAtom(puti->data)); in do_XOR_TRANSFORM_IRSB()
6291 vassert(isIRAtom(st->Ist.Store.addr)); in do_XOR_TRANSFORM_IRSB()
6292 vassert(isIRAtom(st->Ist.Store.data)); in do_XOR_TRANSFORM_IRSB()
6296 vassert(isIRAtom(sg->addr)); in do_XOR_TRANSFORM_IRSB()
6297 vassert(isIRAtom(sg->data)); in do_XOR_TRANSFORM_IRSB()
6298 vassert(isIRAtom(sg->guard)); in do_XOR_TRANSFORM_IRSB()
6303 vassert(isIRAtom(lg->addr)); in do_XOR_TRANSFORM_IRSB()
6304 vassert(isIRAtom(lg->alt)); in do_XOR_TRANSFORM_IRSB()
6305 vassert(isIRAtom(lg->guard)); in do_XOR_TRANSFORM_IRSB()
6310 vassert(isIRAtom(cas->addr)); in do_XOR_TRANSFORM_IRSB()
6311 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi)); in do_XOR_TRANSFORM_IRSB()
6312 vassert(isIRAtom(cas->expdLo)); in do_XOR_TRANSFORM_IRSB()
6313 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi)); in do_XOR_TRANSFORM_IRSB()
6314 vassert(isIRAtom(cas->dataLo)); in do_XOR_TRANSFORM_IRSB()
6318 vassert(isIRAtom(st->Ist.LLSC.addr)); in do_XOR_TRANSFORM_IRSB()
6320 vassert(isIRAtom(st->Ist.LLSC.storedata)); in do_XOR_TRANSFORM_IRSB()
6325 vassert(isIRAtom(d->mAddr)); in do_XOR_TRANSFORM_IRSB()
6327 vassert(isIRAtom(d->guard)); in do_XOR_TRANSFORM_IRSB()
6331 vassert(isIRAtom(arg)); in do_XOR_TRANSFORM_IRSB()
6341 vassert(isIRAtom(st->Ist.Exit.guard)); in do_XOR_TRANSFORM_IRSB()
6349 vassert(isIRAtom(sb->next)); in do_XOR_TRANSFORM_IRSB()
6476 vassert(isIRAtom(st->Ist.AbiHint.base)); in considerExpensives()
6477 vassert(isIRAtom(st->Ist.AbiHint.nia)); in considerExpensives()
6501 vassert(isIRAtom(st->Ist.Put.data)); in considerExpensives()
6504 vassert(isIRAtom(st->Ist.Store.addr)); in considerExpensives()
6505 vassert(isIRAtom(st->Ist.Store.data)); in considerExpensives()
6509 vassert(isIRAtom(sg->addr)); in considerExpensives()
6510 vassert(isIRAtom(sg->data)); in considerExpensives()
6511 vassert(isIRAtom(sg->guard)); in considerExpensives()
6516 vassert(isIRAtom(lg->addr)); in considerExpensives()
6517 vassert(isIRAtom(lg->alt)); in considerExpensives()
6518 vassert(isIRAtom(lg->guard)); in considerExpensives()
6523 vassert(isIRAtom(cas->addr)); in considerExpensives()
6524 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi)); in considerExpensives()
6525 vassert(isIRAtom(cas->expdLo)); in considerExpensives()
6526 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi)); in considerExpensives()
6527 vassert(isIRAtom(cas->dataLo)); in considerExpensives()
6530 vassert(isIRAtom(st->Ist.LLSC.addr)); in considerExpensives()
6532 vassert(isIRAtom(st->Ist.LLSC.storedata)); in considerExpensives()
6536 vassert(isIRAtom(d->guard)); in considerExpensives()
6540 vassert(isIRAtom(arg)); in considerExpensives()
6543 vassert(isIRAtom(d->mAddr)); in considerExpensives()
6550 vassert(isIRAtom(st->Ist.Exit.guard)); in considerExpensives()