Lines Matching refs:tl_assert
247 tl_assert(newIx == (Word)tmp);
260 tl_assert(ent->kind == Orig);
267 tl_assert(ent->kind == Orig);
268 tl_assert(ent->shadowV == IRTemp_INVALID);
290 tl_assert(ent->kind == Orig);
297 tl_assert(ent->kind == Orig);
447 tl_assert(tyE == ty); /* so 'ty' is redundant (!) */
454 default: tl_assert(0);
484 tl_assert(isShadowAtom(mce,a1));
485 tl_assert(isShadowAtom(mce,a2));
490 tl_assert(isShadowAtom(mce,a1));
491 tl_assert(isShadowAtom(mce,a2));
496 tl_assert(isShadowAtom(mce,a1));
497 tl_assert(isShadowAtom(mce,a2));
502 tl_assert(isShadowAtom(mce,a1));
503 tl_assert(isShadowAtom(mce,a2));
508 tl_assert(isShadowAtom(mce,a1));
509 tl_assert(isShadowAtom(mce,a2));
514 tl_assert(isShadowAtom(mce,a1));
515 tl_assert(isShadowAtom(mce,a2));
522 tl_assert(isShadowAtom(mce,a1));
523 tl_assert(isShadowAtom(mce,a2));
528 tl_assert(isShadowAtom(mce,a1));
529 tl_assert(isShadowAtom(mce,a2));
534 tl_assert(isShadowAtom(mce,a1));
535 tl_assert(isShadowAtom(mce,a2));
540 tl_assert(isShadowAtom(mce,a1));
541 tl_assert(isShadowAtom(mce,a2));
547 tl_assert(isShadowAtom(mce,a1));
548 tl_assert(isShadowAtom(mce,a2));
560 tl_assert(isShadowAtom(mce,a1));
561 tl_assert(isShadowAtom(mce,a2));
566 tl_assert(isShadowAtom(mce,a1));
567 tl_assert(isShadowAtom(mce,a2));
588 tl_assert(isShadowAtom(mce,a1));
593 tl_assert(isShadowAtom(mce,a1));
598 tl_assert(isShadowAtom(mce,a1));
603 tl_assert(isShadowAtom(mce,a1));
614 tl_assert(isOriginalAtom(mce, data));
615 tl_assert(isShadowAtom(mce, vbits));
616 tl_assert(sameKindedAtoms(data, vbits));
622 tl_assert(isOriginalAtom(mce, data));
623 tl_assert(isShadowAtom(mce, vbits));
624 tl_assert(sameKindedAtoms(data, vbits));
630 tl_assert(isOriginalAtom(mce, data));
631 tl_assert(isShadowAtom(mce, vbits));
632 tl_assert(sameKindedAtoms(data, vbits));
638 tl_assert(isOriginalAtom(mce, data));
639 tl_assert(isShadowAtom(mce, vbits));
640 tl_assert(sameKindedAtoms(data, vbits));
646 tl_assert(isOriginalAtom(mce, data));
647 tl_assert(isShadowAtom(mce, vbits));
648 tl_assert(sameKindedAtoms(data, vbits));
654 tl_assert(isOriginalAtom(mce, data));
655 tl_assert(isShadowAtom(mce, vbits));
656 tl_assert(sameKindedAtoms(data, vbits));
665 tl_assert(isOriginalAtom(mce, data));
666 tl_assert(isShadowAtom(mce, vbits));
667 tl_assert(sameKindedAtoms(data, vbits));
677 tl_assert(isOriginalAtom(mce, data));
678 tl_assert(isShadowAtom(mce, vbits));
679 tl_assert(sameKindedAtoms(data, vbits));
689 tl_assert(isOriginalAtom(mce, data));
690 tl_assert(isShadowAtom(mce, vbits));
691 tl_assert(sameKindedAtoms(data, vbits));
701 tl_assert(isOriginalAtom(mce, data));
702 tl_assert(isShadowAtom(mce, vbits));
703 tl_assert(sameKindedAtoms(data, vbits));
713 tl_assert(isOriginalAtom(mce, data));
714 tl_assert(isShadowAtom(mce, vbits));
715 tl_assert(sameKindedAtoms(data, vbits));
725 tl_assert(isOriginalAtom(mce, data));
726 tl_assert(isShadowAtom(mce, vbits));
727 tl_assert(sameKindedAtoms(data, vbits));
747 tl_assert(isShadowAtom(mce,vbits));
803 tl_assert(tmp1);
882 tl_assert(isShadowAtom(mce,vxx));
883 tl_assert(isShadowAtom(mce,vyy));
884 tl_assert(isOriginalAtom(mce,xx));
885 tl_assert(isOriginalAtom(mce,yy));
886 tl_assert(sameKindedAtoms(vxx,xx));
887 tl_assert(sameKindedAtoms(vyy,yy));
1004 tl_assert(isShadowAtom(mce,xxhash));
1005 tl_assert(isShadowAtom(mce,yyhash));
1006 tl_assert(isOriginalAtom(mce,xx));
1007 tl_assert(isOriginalAtom(mce,yy));
1008 tl_assert(sameKindedAtoms(xxhash,xx));
1009 tl_assert(sameKindedAtoms(yyhash,yy));
1010 tl_assert(cmp_op == Iop_CmpORD32S || cmp_op == Iop_CmpORD32U
1021 tl_assert(isZero(yyhash));
1115 tl_assert(isOriginalAtom(mce, atom));
1117 tl_assert(isShadowAtom(mce, vatom));
1118 tl_assert(sameKindedAtoms(atom, vatom));
1216 tl_assert(fn);
1217 tl_assert(nm);
1218 tl_assert(args);
1219 tl_assert(nargs >= 0 && nargs <= 2);
1220 tl_assert( (MC_(clo_mc_level) == 3 && origin != NULL)
1243 tl_assert(isIRAtom(vatom));
1246 tl_assert(atom->tag == Iex_RdTmp);
1268 tl_assert((minoff & ~0xFFFF) == 0);
1269 tl_assert((maxoff & ~0xFFFF) == 0);
1274 tl_assert((minoffD & ~0xFFFF) == 0);
1275 tl_assert((maxoffD & ~0xFFFF) == 0);
1308 tl_assert(!vatom);
1309 tl_assert(isOriginalAtom(mce, atom));
1312 tl_assert(vatom);
1313 tl_assert(isShadowAtom(mce, vatom));
1317 tl_assert(ty != Ity_I1);
1318 tl_assert(ty != Ity_I128);
1360 tl_assert(isOriginalAtom(mce,atom));
1362 tl_assert(sameKindedAtoms(atom, vatom));
1366 tl_assert(ty != Ity_I1);
1367 tl_assert(isOriginalAtom(mce,ix));
1391 tl_assert(ty != Ity_I1);
1392 tl_assert(ty != Ity_I128);
1415 tl_assert(ty != Ity_I1);
1416 tl_assert(isOriginalAtom(mce,ix));
1446 tl_assert(isShadowAtom(mce,va1));
1447 tl_assert(isShadowAtom(mce,va2));
1496 tl_assert(isShadowAtom(mce,va1));
1497 tl_assert(isShadowAtom(mce,va2));
1498 tl_assert(isShadowAtom(mce,va3));
1572 tl_assert(0);
1594 tl_assert(isShadowAtom(mce,va1));
1595 tl_assert(isShadowAtom(mce,va2));
1596 tl_assert(isShadowAtom(mce,va3));
1597 tl_assert(isShadowAtom(mce,va4));
1648 tl_assert(0);
1671 tl_assert(i < 32);
1672 tl_assert(isOriginalAtom(mce, exprvec[i]));
1683 tl_assert(i < 32);
1684 tl_assert(isOriginalAtom(mce, exprvec[i]));
1719 tl_assert(isShadowAtom(mce,qaa));
1720 tl_assert(isShadowAtom(mce,qbb));
1721 tl_assert(isOriginalAtom(mce,aa));
1722 tl_assert(isOriginalAtom(mce,bb));
1723 tl_assert(sameKindedAtoms(qaa,aa));
1724 tl_assert(sameKindedAtoms(qbb,bb));
1825 tl_assert(isShadowAtom(mce,qaa));
1826 tl_assert(isShadowAtom(mce,qbb));
1827 tl_assert(isOriginalAtom(mce,aa));
1828 tl_assert(isOriginalAtom(mce,bb));
1829 tl_assert(sameKindedAtoms(qaa,aa));
1830 tl_assert(sameKindedAtoms(qbb,bb));
1944 tl_assert(isShadowAtom(mce, vatomX));
1945 tl_assert(isShadowAtom(mce, vatomY));
1955 tl_assert(isShadowAtom(mce, vatomX));
1964 tl_assert(isShadowAtom(mce, vatomX));
1965 tl_assert(isShadowAtom(mce, vatomY));
1977 tl_assert(isShadowAtom(mce, vatomX));
1990 tl_assert(isShadowAtom(mce, vatomX));
1991 tl_assert(isShadowAtom(mce, vatomY));
2001 tl_assert(isShadowAtom(mce, vatomX));
2010 tl_assert(isShadowAtom(mce, vatomX));
2011 tl_assert(isShadowAtom(mce, vatomY));
2023 tl_assert(isShadowAtom(mce, vatomX));
2036 tl_assert(isShadowAtom(mce, vatomX));
2037 tl_assert(isShadowAtom(mce, vatomY));
2047 tl_assert(isShadowAtom(mce, vatomX));
2058 tl_assert(isShadowAtom(mce, vatomX));
2059 tl_assert(isShadowAtom(mce, vatomY));
2069 tl_assert(isShadowAtom(mce, vatomX));
2080 tl_assert(isShadowAtom(mce, vatomX));
2081 tl_assert(isShadowAtom(mce, vatomY));
2091 tl_assert(isShadowAtom(mce, vatomX));
2199 tl_assert(isShadowAtom(mce,vatom1));
2200 tl_assert(isShadowAtom(mce,vatom2));
2220 tl_assert(isShadowAtom(mce,vatom1));
2221 tl_assert(isShadowAtom(mce,vatom2));
2234 tl_assert(isShadowAtom(mce,vatom1));
2281 tl_assert(isShadowAtom(mce,vatom1));
2404 tl_assert(isOriginalAtom(mce,atom1));
2405 tl_assert(isOriginalAtom(mce,atom2));
2406 tl_assert(isOriginalAtom(mce,atom3));
2407 tl_assert(isOriginalAtom(mce,atom4));
2408 tl_assert(isShadowAtom(mce,vatom1));
2409 tl_assert(isShadowAtom(mce,vatom2));
2410 tl_assert(isShadowAtom(mce,vatom3));
2411 tl_assert(isShadowAtom(mce,vatom4));
2412 tl_assert(sameKindedAtoms(atom1,vatom1));
2413 tl_assert(sameKindedAtoms(atom2,vatom2));
2414 tl_assert(sameKindedAtoms(atom3,vatom3));
2415 tl_assert(sameKindedAtoms(atom4,vatom4));
2450 tl_assert(isOriginalAtom(mce,atom1));
2451 tl_assert(isOriginalAtom(mce,atom2));
2452 tl_assert(isOriginalAtom(mce,atom3));
2453 tl_assert(isShadowAtom(mce,vatom1));
2454 tl_assert(isShadowAtom(mce,vatom2));
2455 tl_assert(isShadowAtom(mce,vatom3));
2456 tl_assert(sameKindedAtoms(atom1,vatom1));
2457 tl_assert(sameKindedAtoms(atom2,vatom2));
2458 tl_assert(sameKindedAtoms(atom3,vatom3));
2539 tl_assert(isOriginalAtom(mce,atom1));
2540 tl_assert(isOriginalAtom(mce,atom2));
2541 tl_assert(isShadowAtom(mce,vatom1));
2542 tl_assert(isShadowAtom(mce,vatom2));
2543 tl_assert(sameKindedAtoms(atom1,vatom1));
2544 tl_assert(sameKindedAtoms(atom2,vatom2));
3537 tl_assert(isOriginalAtom(mce,atom));
3839 tl_assert(isOriginalAtom(mce,addr));
3840 tl_assert(end == Iend_LE || end == Iend_BE);
3893 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
3918 tl_assert(end == Iend_LE || end == Iend_BE);
3995 tl_assert(isOriginalAtom(mce, cond));
3996 tl_assert(isOriginalAtom(mce, expr0));
3997 tl_assert(isOriginalAtom(mce, exprX));
4090 tl_assert(isShadowAtom(mce,vatom));
4151 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
4152 tl_assert( end == Iend_LE || end == Iend_BE );
4155 tl_assert(!vdata);
4156 tl_assert(isOriginalAtom(mce, data));
4157 tl_assert(bias == 0);
4160 tl_assert(vdata);
4163 tl_assert(isOriginalAtom(mce,addr));
4164 tl_assert(isShadowAtom(mce,vdata));
4167 tl_assert(isOriginalAtom(mce, guard));
4168 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
4438 tl_assert(d->fxState[i].fx != Ifx_None);
4459 tl_assert(gSz >= 0);
4493 tl_assert(d->mAddr);
4497 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
4498 tl_assert(tyAddr == mce->hWordTy); /* not really right */
4537 tl_assert(toDo == 0);
4553 tl_assert(d->fxState[i].fx != Ifx_None);
4570 tl_assert(gSz >= 0);
4613 tl_assert(toDo == 0);
4690 tl_assert(isOriginalAtom(mce, orig));
4691 tl_assert(isShadowAtom(mce, shadow));
4694 tl_assert(shadow->tag == Iex_Const);
4697 tl_assert(shadow->tag == Iex_RdTmp);
4702 tl_assert(how == 'B');
4708 tl_assert(0);
4859 tl_assert(cas->oldHi == IRTemp_INVALID);
4860 tl_assert(cas->expdHi == NULL);
4861 tl_assert(cas->dataHi == NULL);
4869 default: tl_assert(0); /* IR defn disallows any other types */
4873 tl_assert(isOriginalAtom(mce, cas->dataLo));
4876 tl_assert(isShadowAtom(mce, vdataLo));
4880 tl_assert(isShadowAtom(mce, bdataLo));
4884 tl_assert(isOriginalAtom(mce, cas->expdLo));
4887 tl_assert(isShadowAtom(mce, vexpdLo));
4891 tl_assert(isShadowAtom(mce, bexpdLo));
4952 tl_assert(cas->oldHi != IRTemp_INVALID);
4953 tl_assert(cas->expdHi != NULL);
4954 tl_assert(cas->dataHi != NULL);
4975 tl_assert(0); /* IR defn disallows any other types */
4979 tl_assert(isOriginalAtom(mce, cas->dataHi));
4980 tl_assert(isOriginalAtom(mce, cas->dataLo));
4985 tl_assert(isShadowAtom(mce, vdataHi));
4986 tl_assert(isShadowAtom(mce, vdataLo));
4992 tl_assert(isShadowAtom(mce, bdataHi));
4993 tl_assert(isShadowAtom(mce, bdataLo));
4997 tl_assert(isOriginalAtom(mce, cas->expdHi));
4998 tl_assert(isOriginalAtom(mce, cas->expdLo));
5003 tl_assert(isShadowAtom(mce, vexpdHi));
5004 tl_assert(isShadowAtom(mce, vexpdLo));
5010 tl_assert(isShadowAtom(mce, bexpdHi));
5011 tl_assert(isShadowAtom(mce, bexpdLo));
5021 tl_assert(cas->end == Iend_BE);
5111 tl_assert(isIRAtom(stAddr));
5113 tl_assert(isIRAtom(stStoredata));
5120 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
5130 tl_assert(dataTy == Ity_I64 || dataTy == Ity_I32
5152 tl_assert(resTy == Ity_I1);
5168 tl_assert(isIRAtom(at));
5171 tl_assert(at->tag == Iex_Const);
5183 default: ppIRExpr(at); tl_assert(0);
5308 tl_assert(sizeof(UWord) == sizeof(void*));
5309 tl_assert(sizeof(Word) == sizeof(void*));
5310 tl_assert(sizeof(Addr) == sizeof(void*));
5311 tl_assert(sizeof(ULong) == 8);
5312 tl_assert(sizeof(Long) == 8);
5313 tl_assert(sizeof(Addr64) == 8);
5314 tl_assert(sizeof(UInt) == 4);
5315 tl_assert(sizeof(Int) == 4);
5317 tl_assert(MC_(clo_mc_level) >= 1 && MC_(clo_mc_level) <= 3);
5356 tl_assert( VG_(sizeXA)( mce.tmpMap ) == sb_in->tyenv->types_used );
5369 tl_assert(st);
5370 tl_assert(isFlatIRStmt(st));
5387 tl_assert(mce.sb == sb_out);
5388 tl_assert(mce.sb != sb_in);
5394 tl_assert(st);
5395 tl_assert(isFlatIRStmt(st));
5433 tl_assert(typeOfIRTemp(sb_out->tyenv, tmp_b) == Ity_I32);
5446 tl_assert(sb_in->stmts_used > 0);
5447 tl_assert(i >= 0);
5448 tl_assert(i < sb_in->stmts_used);
5449 tl_assert(sb_in->stmts[i]->tag == Ist_IMark);
5581 tl_assert( VG_(sizeXA)( mce.tmpMap ) == mce.sb->tyenv->types_used );
5584 tl_assert(mce.sb == sb_out);
5710 tl_assert(st);
5747 tl_assert(ent->kind == Orig);
5754 tl_assert(ent->kind == Orig);
5755 tl_assert(ent->shadowB == IRTemp_INVALID);
5804 tl_assert(0);
5854 tl_assert(isOriginalAtom(mce, guard));
5855 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
5885 tl_assert(0);
5903 tl_assert(0);
5908 tl_assert(eTy == Ity_I32);
5911 tl_assert(0);
5917 tl_assert(MC_(clo_mc_level) == 3);
5931 tl_assert(sizeofIRType(equivIntTy) >= 4);
5932 tl_assert(sizeofIRType(equivIntTy) == sizeofIRType(descr->elemTy));
5955 tl_assert(i < 32);
5956 tl_assert(isOriginalAtom(mce, args[i]));
5978 tl_assert(isIRAtom(e->Iex.Load.addr));
5979 tl_assert(mce->hWordTy == Ity_I32 || mce->hWordTy == Ity_I64);
6018 tl_assert(0);
6034 tl_assert(b_offset >= -1
6076 tl_assert(d->fxState[i].fx != Ifx_None);
6098 tl_assert(gSz >= 0);
6132 tl_assert(d->mAddr);
6164 tl_assert(toDo == 0);
6179 tl_assert(d->fxState[i].fx != Ifx_None);
6197 tl_assert(gSz >= 0);
6249 tl_assert(toDo == 0);
6264 tl_assert(isIRAtom(stAddr));
6265 tl_assert(isIRAtom(stData));
6275 tl_assert(MC_(clo_mc_level) == 3);
6298 tl_assert(sizeofIRType(equivIntTy) >= 4);
6299 tl_assert(sizeofIRType(equivIntTy) == sizeofIRType(descr->elemTy));
6336 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
