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()
1305 vassert(value != 0ULL); /* no defined semantics for arg==0 */ in fold_Clz64()
1309 vassert(0); in fold_Clz64()
1317 vassert(value != 0); /* no defined semantics for arg==0 */ in fold_Clz32()
1321 vassert(0); in fold_Clz32()
1856 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1864 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1876 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1888 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1902 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1914 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
2361 vassert(e->Iex.ITE.cond->Iex.Const.con->tag == Ico_U1); in fold_Expr()
2452 vassert(isIRAtom(ex->Iex.GetI.ix)); in subst_Expr()
2461 vassert(isIRAtom(qop->arg1)); in subst_Expr()
2462 vassert(isIRAtom(qop->arg2)); in subst_Expr()
2463 vassert(isIRAtom(qop->arg3)); in subst_Expr()
2464 vassert(isIRAtom(qop->arg4)); in subst_Expr()
2476 vassert(isIRAtom(triop->arg1)); in subst_Expr()
2477 vassert(isIRAtom(triop->arg2)); in subst_Expr()
2478 vassert(isIRAtom(triop->arg3)); in subst_Expr()
2488 vassert(isIRAtom(ex->Iex.Binop.arg1)); in subst_Expr()
2489 vassert(isIRAtom(ex->Iex.Binop.arg2)); in subst_Expr()
2497 vassert(isIRAtom(ex->Iex.Unop.arg)); in subst_Expr()
2504 vassert(isIRAtom(ex->Iex.Load.addr)); in subst_Expr()
2515 vassert(isIRAtom(args2[i])); in subst_Expr()
2526 vassert(isIRAtom(ex->Iex.ITE.cond)); in subst_Expr()
2527 vassert(isIRAtom(ex->Iex.ITE.iftrue)); in subst_Expr()
2528 vassert(isIRAtom(ex->Iex.ITE.iffalse)); in subst_Expr()
2557 vassert(isIRAtom(st->Ist.AbiHint.base)); in subst_and_fold_Stmt()
2558 vassert(isIRAtom(st->Ist.AbiHint.nia)); in subst_and_fold_Stmt()
2565 vassert(isIRAtom(st->Ist.Put.data)); in subst_and_fold_Stmt()
2574 vassert(isIRAtom(puti->ix)); in subst_and_fold_Stmt()
2575 vassert(isIRAtom(puti->data)); in subst_and_fold_Stmt()
2592 vassert(isIRAtom(st->Ist.Store.addr)); in subst_and_fold_Stmt()
2593 vassert(isIRAtom(st->Ist.Store.data)); in subst_and_fold_Stmt()
2602 vassert(isIRAtom(sg->addr)); in subst_and_fold_Stmt()
2603 vassert(isIRAtom(sg->data)); in subst_and_fold_Stmt()
2604 vassert(isIRAtom(sg->guard)); in subst_and_fold_Stmt()
2610 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2614 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2629 vassert(isIRAtom(lg->addr)); in subst_and_fold_Stmt()
2630 vassert(isIRAtom(lg->alt)); in subst_and_fold_Stmt()
2631 vassert(isIRAtom(lg->guard)); in subst_and_fold_Stmt()
2637 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2643 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2659 vassert(isIRAtom(cas->addr)); in subst_and_fold_Stmt()
2660 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi)); in subst_and_fold_Stmt()
2661 vassert(isIRAtom(cas->expdLo)); in subst_and_fold_Stmt()
2662 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi)); in subst_and_fold_Stmt()
2663 vassert(isIRAtom(cas->dataLo)); in subst_and_fold_Stmt()
2678 vassert(isIRAtom(st->Ist.LLSC.addr)); in subst_and_fold_Stmt()
2680 vassert(isIRAtom(st->Ist.LLSC.storedata)); in subst_and_fold_Stmt()
2698 vassert(isIRAtom(d2->mAddr)); in subst_and_fold_Stmt()
2701 vassert(isIRAtom(d2->guard)); in subst_and_fold_Stmt()
2706 vassert(isIRAtom(arg)); in subst_and_fold_Stmt()
2726 vassert(isIRAtom(st->Ist.Exit.guard)); in subst_and_fold_Stmt()
2731 vassert(fcond->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2736 vassert(fcond->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2810 vassert(env[(Int)(st2->Ist.WrTmp.tmp)] == NULL); in cprop_BB()
2836 vassert(guard->Iex.Const.con->tag == Ico_U1); in cprop_BB()
2837 vassert(guard->Iex.Const.con->Ico.U1 == True); in cprop_BB()
2844 vassert(n_fixups >= 0 && n_fixups <= N_FIXUPS); in cprop_BB()
2874 vassert(n_fixups >= 0 && n_fixups <= N_FIXUPS); in cprop_BB()
2878 vassert(ix >= 0 && ix+1 < out->stmts_used); in cprop_BB()
2881 vassert(nop->tag == Ist_NoOp); in cprop_BB()
2882 vassert(lgu->tag == Ist_LoadG); in cprop_BB()
2885 vassert(guard->Iex.Const.con->tag == Ico_U1); in cprop_BB()
2886 vassert(guard->Iex.Const.con->Ico.U1 == True); in cprop_BB()
3153 vassert(i_unconditional_exit >= 0 in do_deadcode_BB()
3293 vassert(isIRAtom(ix1)); in getAliasingRelation_II()
3294 vassert(isIRAtom(ix2)); in getAliasingRelation_II()
3305 vassert(descr1->nElems == descr2->nElems); in getAliasingRelation_II()
3306 vassert(descr1->elemTy == descr2->elemTy); in getAliasingRelation_II()
3307 vassert(descr1->base == descr2->base); in getAliasingRelation_II()
3316 vassert(bias1 >= 0 && bias2 >= 0); in getAliasingRelation_II()
3319 vassert(bias1 >= 0 && bias1 < descr1->nElems); in getAliasingRelation_II()
3320 vassert(bias2 >= 0 && bias2 < descr1->nElems); in getAliasingRelation_II()
3366 vassert(cee1->regparms == cee2->regparms); in eqIRCallee()
3367 vassert(cee1->mcx_mask == cee2->mcx_mask); in eqIRCallee()
3563 if (eq) vassert(a1->u.CCall.retty == a2->u.CCall.retty); in eq_AvailExpr()
3632 vassert(n >= 0); in availExpr_to_IRExpr()
3886 vassert(sizeof(IRTemp) <= sizeof(HWord)); in do_cse_BB()
3943 vassert(paranoia == 1); in do_cse_BB()
4260 vassert(relation != ExactAlias); in findPutI()
4290 vassert(relation == ExactAlias); in findPutI()
4317 vassert(pi->tag == Ist_PutI); in identicalPutIs()
4346 vassert(pi->tag == Ist_PutI); in guestAccessWhichMightOverlapPutI()
4377 vassert(isIRAtom(s2->Ist.Put.data)); in guestAccessWhichMightOverlapPutI()
4389 vassert(isIRAtom(p2->ix)); in guestAccessWhichMightOverlapPutI()
4390 vassert(isIRAtom(p2->data)); in guestAccessWhichMightOverlapPutI()
4422 vassert(isIRAtom(s2->Ist.Store.addr)); in guestAccessWhichMightOverlapPutI()
4423 vassert(isIRAtom(s2->Ist.Store.data)); in guestAccessWhichMightOverlapPutI()
4492 vassert(pxControl < VexRegUpdAllregsAtEachInsn); in do_redundant_PutI_elimination()
4818 vassert(con->tag == Ico_U32 || con->tag == Ico_U64); in maybe_loop_unroll_BB()
4825 vassert(con->tag == udst->Iex.Const.con->tag); in maybe_loop_unroll_BB()
4850 vassert(i >= 0); in maybe_loop_unroll_BB()
4853 vassert(st->tag == Ist_Exit); in maybe_loop_unroll_BB()
4856 vassert(con->tag == Ico_U32 || con->tag == Ico_U64); in maybe_loop_unroll_BB()
4859 vassert(udst->tag == Iex_Const); in maybe_loop_unroll_BB()
4860 vassert(udst->Iex.Const.con->tag == Ico_U32 in maybe_loop_unroll_BB()
4862 vassert(con->tag == udst->Iex.Const.con->tag); in maybe_loop_unroll_BB()
4882 vassert(unroll_factor == 2 in maybe_loop_unroll_BB()
4958 vassert(low <= high); in update_interval()
5069 vassert(env[A_NENV-1].bindee == NULL); in addToEnvFront()
5827 vassert(j <= i); in ado_treebuild_BB()
5841 vassert(uses[st->Ist.WrTmp.tmp] == 1); in ado_treebuild_BB()
5917 vassert(j <= i); in ado_treebuild_BB()
5939 vassert(j <= i+1); in ado_treebuild_BB()
6021 vassert(0); in print_flat_expr()
6123 vassert(5-5); // ATC in spotBitfieldAssignment()
6130 vassert(6-6); // ATC in spotBitfieldAssignment()
6223 vassert(aa && isIRAtom(aa)); in do_XOR_TRANSFORMS_IRExpr()
6224 vassert(bb && isIRAtom(bb)); in do_XOR_TRANSFORMS_IRExpr()
6225 vassert(cc && isIRAtom(cc)); in do_XOR_TRANSFORMS_IRExpr()
6257 vassert(t >= 0 && t < n_tmps); in do_XOR_TRANSFORM_IRSB()
6266 vassert(isIRAtom(st->Ist.AbiHint.base)); in do_XOR_TRANSFORM_IRSB()
6267 vassert(isIRAtom(st->Ist.AbiHint.nia)); in do_XOR_TRANSFORM_IRSB()
6270 vassert(isIRAtom(st->Ist.Put.data)); in do_XOR_TRANSFORM_IRSB()
6274 vassert(isIRAtom(puti->ix)); in do_XOR_TRANSFORM_IRSB()
6275 vassert(isIRAtom(puti->data)); in do_XOR_TRANSFORM_IRSB()
6292 vassert(isIRAtom(st->Ist.Store.addr)); in do_XOR_TRANSFORM_IRSB()
6293 vassert(isIRAtom(st->Ist.Store.data)); in do_XOR_TRANSFORM_IRSB()
6297 vassert(isIRAtom(sg->addr)); in do_XOR_TRANSFORM_IRSB()
6298 vassert(isIRAtom(sg->data)); in do_XOR_TRANSFORM_IRSB()
6299 vassert(isIRAtom(sg->guard)); in do_XOR_TRANSFORM_IRSB()
6304 vassert(isIRAtom(lg->addr)); in do_XOR_TRANSFORM_IRSB()
6305 vassert(isIRAtom(lg->alt)); in do_XOR_TRANSFORM_IRSB()
6306 vassert(isIRAtom(lg->guard)); in do_XOR_TRANSFORM_IRSB()
6311 vassert(isIRAtom(cas->addr)); in do_XOR_TRANSFORM_IRSB()
6312 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi)); in do_XOR_TRANSFORM_IRSB()
6313 vassert(isIRAtom(cas->expdLo)); in do_XOR_TRANSFORM_IRSB()
6314 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi)); in do_XOR_TRANSFORM_IRSB()
6315 vassert(isIRAtom(cas->dataLo)); in do_XOR_TRANSFORM_IRSB()
6319 vassert(isIRAtom(st->Ist.LLSC.addr)); in do_XOR_TRANSFORM_IRSB()
6321 vassert(isIRAtom(st->Ist.LLSC.storedata)); in do_XOR_TRANSFORM_IRSB()
6326 vassert(isIRAtom(d->mAddr)); in do_XOR_TRANSFORM_IRSB()
6328 vassert(isIRAtom(d->guard)); in do_XOR_TRANSFORM_IRSB()
6332 vassert(isIRAtom(arg)); in do_XOR_TRANSFORM_IRSB()
6342 vassert(isIRAtom(st->Ist.Exit.guard)); in do_XOR_TRANSFORM_IRSB()
6350 vassert(isIRAtom(sb->next)); in do_XOR_TRANSFORM_IRSB()
6477 vassert(isIRAtom(st->Ist.AbiHint.base)); in considerExpensives()
6478 vassert(isIRAtom(st->Ist.AbiHint.nia)); in considerExpensives()
6502 vassert(isIRAtom(st->Ist.Put.data)); in considerExpensives()
6505 vassert(isIRAtom(st->Ist.Store.addr)); in considerExpensives()
6506 vassert(isIRAtom(st->Ist.Store.data)); in considerExpensives()
6510 vassert(isIRAtom(sg->addr)); in considerExpensives()
6511 vassert(isIRAtom(sg->data)); in considerExpensives()
6512 vassert(isIRAtom(sg->guard)); in considerExpensives()
6517 vassert(isIRAtom(lg->addr)); in considerExpensives()
6518 vassert(isIRAtom(lg->alt)); in considerExpensives()
6519 vassert(isIRAtom(lg->guard)); in considerExpensives()
6524 vassert(isIRAtom(cas->addr)); in considerExpensives()
6525 vassert(cas->expdHi == NULL || isIRAtom(cas->expdHi)); in considerExpensives()
6526 vassert(isIRAtom(cas->expdLo)); in considerExpensives()
6527 vassert(cas->dataHi == NULL || isIRAtom(cas->dataHi)); in considerExpensives()
6528 vassert(isIRAtom(cas->dataLo)); in considerExpensives()
6531 vassert(isIRAtom(st->Ist.LLSC.addr)); in considerExpensives()
6533 vassert(isIRAtom(st->Ist.LLSC.storedata)); in considerExpensives()
6537 vassert(isIRAtom(d->guard)); in considerExpensives()
6541 vassert(isIRAtom(arg)); in considerExpensives()
6544 vassert(isIRAtom(d->mAddr)); in considerExpensives()
6551 vassert(isIRAtom(st->Ist.Exit.guard)); in considerExpensives()