Lines Matching refs:tl_assert
259 tl_assert(newIx == (Word)tmp);
272 tl_assert(ent->kind == Orig);
279 tl_assert(ent->kind == Orig);
280 tl_assert(ent->shadowV == IRTemp_INVALID);
302 tl_assert(ent->kind == Orig);
309 tl_assert(ent->kind == Orig);
462 tl_assert(tyE == ty); /* so 'ty' is redundant (!) */
469 default: tl_assert(0);
499 tl_assert(isShadowAtom(mce,a1));
500 tl_assert(isShadowAtom(mce,a2));
505 tl_assert(isShadowAtom(mce,a1));
506 tl_assert(isShadowAtom(mce,a2));
511 tl_assert(isShadowAtom(mce,a1));
512 tl_assert(isShadowAtom(mce,a2));
517 tl_assert(isShadowAtom(mce,a1));
518 tl_assert(isShadowAtom(mce,a2));
523 tl_assert(isShadowAtom(mce,a1));
524 tl_assert(isShadowAtom(mce,a2));
529 tl_assert(isShadowAtom(mce,a1));
530 tl_assert(isShadowAtom(mce,a2));
537 tl_assert(isShadowAtom(mce,a1));
538 tl_assert(isShadowAtom(mce,a2));
543 tl_assert(isShadowAtom(mce,a1));
544 tl_assert(isShadowAtom(mce,a2));
549 tl_assert(isShadowAtom(mce,a1));
550 tl_assert(isShadowAtom(mce,a2));
555 tl_assert(isShadowAtom(mce,a1));
556 tl_assert(isShadowAtom(mce,a2));
562 tl_assert(isShadowAtom(mce,a1));
563 tl_assert(isShadowAtom(mce,a2));
575 tl_assert(isShadowAtom(mce,a1));
576 tl_assert(isShadowAtom(mce,a2));
581 tl_assert(isShadowAtom(mce,a1));
582 tl_assert(isShadowAtom(mce,a2));
604 tl_assert(isShadowAtom(mce,a1));
609 tl_assert(isShadowAtom(mce,a1));
614 tl_assert(isShadowAtom(mce,a1));
619 tl_assert(isShadowAtom(mce,a1));
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));
662 tl_assert(isOriginalAtom(mce, data));
663 tl_assert(isShadowAtom(mce, vbits));
664 tl_assert(sameKindedAtoms(data, vbits));
670 tl_assert(isOriginalAtom(mce, data));
671 tl_assert(isShadowAtom(mce, vbits));
672 tl_assert(sameKindedAtoms(data, vbits));
681 tl_assert(isOriginalAtom(mce, data));
682 tl_assert(isShadowAtom(mce, vbits));
683 tl_assert(sameKindedAtoms(data, vbits));
693 tl_assert(isOriginalAtom(mce, data));
694 tl_assert(isShadowAtom(mce, vbits));
695 tl_assert(sameKindedAtoms(data, vbits));
705 tl_assert(isOriginalAtom(mce, data));
706 tl_assert(isShadowAtom(mce, vbits));
707 tl_assert(sameKindedAtoms(data, vbits));
717 tl_assert(isOriginalAtom(mce, data));
718 tl_assert(isShadowAtom(mce, vbits));
719 tl_assert(sameKindedAtoms(data, vbits));
729 tl_assert(isOriginalAtom(mce, data));
730 tl_assert(isShadowAtom(mce, vbits));
731 tl_assert(sameKindedAtoms(data, vbits));
741 tl_assert(isOriginalAtom(mce, data));
742 tl_assert(isShadowAtom(mce, vbits));
743 tl_assert(sameKindedAtoms(data, vbits));
763 tl_assert(isShadowAtom(mce,vbits));
859 tl_assert(tmp1);
926 tl_assert(0);
981 tl_assert(isShadowAtom(mce,vxx));
982 tl_assert(isShadowAtom(mce,vyy));
983 tl_assert(isOriginalAtom(mce,xx));
984 tl_assert(isOriginalAtom(mce,yy));
985 tl_assert(sameKindedAtoms(vxx,xx));
986 tl_assert(sameKindedAtoms(vyy,yy));
1112 tl_assert(isShadowAtom(mce,xxhash));
1113 tl_assert(isShadowAtom(mce,yyhash));
1114 tl_assert(isOriginalAtom(mce,xx));
1115 tl_assert(isOriginalAtom(mce,yy));
1116 tl_assert(sameKindedAtoms(xxhash,xx));
1117 tl_assert(sameKindedAtoms(yyhash,yy));
1118 tl_assert(cmp_op == Iop_CmpORD32S || cmp_op == Iop_CmpORD32U
1129 tl_assert(isZero(yyhash));
1229 tl_assert(isOriginalAtom(mce, guard));
1235 tl_assert(isOriginalAtom(mce, atom));
1237 tl_assert(isShadowAtom(mce, vatom));
1238 tl_assert(sameKindedAtoms(atom, vatom));
1336 tl_assert(fn);
1337 tl_assert(nm);
1338 tl_assert(args);
1339 tl_assert(nargs >= 0 && nargs <= 2);
1340 tl_assert( (MC_(clo_mc_level) == 3 && origin != NULL)
1364 tl_assert(isIRAtom(vatom));
1367 tl_assert(atom->tag == Iex_RdTmp);
1403 tl_assert((minoff & ~0xFFFF) == 0);
1404 tl_assert((maxoff & ~0xFFFF) == 0);
1409 tl_assert((minoffD & ~0xFFFF) == 0);
1410 tl_assert((maxoffD & ~0xFFFF) == 0);
1443 tl_assert(!vatom);
1444 tl_assert(isOriginalAtom(mce, atom));
1447 tl_assert(vatom);
1448 tl_assert(isShadowAtom(mce, vatom));
1452 tl_assert(ty != Ity_I1);
1453 tl_assert(ty != Ity_I128);
1495 tl_assert(isOriginalAtom(mce,atom));
1497 tl_assert(sameKindedAtoms(atom, vatom));
1501 tl_assert(ty != Ity_I1);
1502 tl_assert(isOriginalAtom(mce,ix));
1526 tl_assert(ty != Ity_I1);
1527 tl_assert(ty != Ity_I128);
1550 tl_assert(ty != Ity_I1);
1551 tl_assert(isOriginalAtom(mce,ix));
1581 tl_assert(isShadowAtom(mce,va1));
1582 tl_assert(isShadowAtom(mce,va2));
1631 tl_assert(isShadowAtom(mce,va1));
1632 tl_assert(isShadowAtom(mce,va2));
1633 tl_assert(isShadowAtom(mce,va3));
1744 tl_assert(0);
1766 tl_assert(isShadowAtom(mce,va1));
1767 tl_assert(isShadowAtom(mce,va2));
1768 tl_assert(isShadowAtom(mce,va3));
1769 tl_assert(isShadowAtom(mce,va4));
1820 tl_assert(0);
1843 tl_assert(i < 32);
1844 tl_assert(isOriginalAtom(mce, exprvec[i]));
1855 tl_assert(i < 32);
1856 tl_assert(isOriginalAtom(mce, exprvec[i]));
1891 tl_assert(isShadowAtom(mce,qaa));
1892 tl_assert(isShadowAtom(mce,qbb));
1893 tl_assert(isOriginalAtom(mce,aa));
1894 tl_assert(isOriginalAtom(mce,bb));
1895 tl_assert(sameKindedAtoms(qaa,aa));
1896 tl_assert(sameKindedAtoms(qbb,bb));
1976 tl_assert(isShadowAtom(mce,vatom));
1977 tl_assert(isOriginalAtom(mce,atom));
1978 tl_assert(sameKindedAtoms(atom,vatom));
2051 tl_assert(isShadowAtom(mce,qaa));
2052 tl_assert(isShadowAtom(mce,qbb));
2053 tl_assert(isOriginalAtom(mce,aa));
2054 tl_assert(isOriginalAtom(mce,bb));
2055 tl_assert(sameKindedAtoms(qaa,aa));
2056 tl_assert(sameKindedAtoms(qbb,bb));
2180 tl_assert(isShadowAtom(mce, vatomX));
2181 tl_assert(isShadowAtom(mce, vatomY));
2191 tl_assert(isShadowAtom(mce, vatomX));
2200 tl_assert(isShadowAtom(mce, vatomX));
2201 tl_assert(isShadowAtom(mce, vatomY));
2213 tl_assert(isShadowAtom(mce, vatomX));
2226 tl_assert(isShadowAtom(mce, vatomX));
2227 tl_assert(isShadowAtom(mce, vatomY));
2237 tl_assert(isShadowAtom(mce, vatomX));
2246 tl_assert(isShadowAtom(mce, vatomX));
2247 tl_assert(isShadowAtom(mce, vatomY));
2259 tl_assert(isShadowAtom(mce, vatomX));
2272 tl_assert(isShadowAtom(mce, vatomX));
2273 tl_assert(isShadowAtom(mce, vatomY));
2283 tl_assert(isShadowAtom(mce, vatomX));
2294 tl_assert(isShadowAtom(mce, vatomX));
2295 tl_assert(isShadowAtom(mce, vatomY));
2305 tl_assert(isShadowAtom(mce, vatomX));
2316 tl_assert(isShadowAtom(mce, vatomX));
2317 tl_assert(isShadowAtom(mce, vatomY));
2327 tl_assert(isShadowAtom(mce, vatomX));
2531 tl_assert(isShadowAtom(mce,vatom1));
2532 tl_assert(isShadowAtom(mce,vatom2));
2552 tl_assert(isShadowAtom(mce,vatom1));
2553 tl_assert(isShadowAtom(mce,vatom2));
2566 tl_assert(isShadowAtom(mce,vatom1));
2613 tl_assert(isShadowAtom(mce,vatom1));
2774 tl_assert(isOriginalAtom(mce,atom1));
2775 tl_assert(isOriginalAtom(mce,atom2));
2776 tl_assert(isOriginalAtom(mce,atom3));
2777 tl_assert(isOriginalAtom(mce,atom4));
2778 tl_assert(isShadowAtom(mce,vatom1));
2779 tl_assert(isShadowAtom(mce,vatom2));
2780 tl_assert(isShadowAtom(mce,vatom3));
2781 tl_assert(isShadowAtom(mce,vatom4));
2782 tl_assert(sameKindedAtoms(atom1,vatom1));
2783 tl_assert(sameKindedAtoms(atom2,vatom2));
2784 tl_assert(sameKindedAtoms(atom3,vatom3));
2785 tl_assert(sameKindedAtoms(atom4,vatom4));
2820 tl_assert(isOriginalAtom(mce,atom1));
2821 tl_assert(isOriginalAtom(mce,atom2));
2822 tl_assert(isOriginalAtom(mce,atom3));
2823 tl_assert(isShadowAtom(mce,vatom1));
2824 tl_assert(isShadowAtom(mce,vatom2));
2825 tl_assert(isShadowAtom(mce,vatom3));
2826 tl_assert(sameKindedAtoms(atom1,vatom1));
2827 tl_assert(sameKindedAtoms(atom2,vatom2));
2828 tl_assert(sameKindedAtoms(atom3,vatom3));
2942 tl_assert(isOriginalAtom(mce,atom1));
2943 tl_assert(isOriginalAtom(mce,atom2));
2944 tl_assert(isShadowAtom(mce,vatom1));
2945 tl_assert(isShadowAtom(mce,vatom2));
2946 tl_assert(sameKindedAtoms(atom1,vatom1));
2947 tl_assert(sameKindedAtoms(atom2,vatom2));
3568 tl_assert(0);
4261 tl_assert(0);
4263 tl_assert(binaryNIxM);
4289 tl_assert(isOriginalAtom(mce,atom));
4628 tl_assert(isOriginalAtom(mce,addr));
4629 tl_assert(end == Iend_LE || end == Iend_BE);
4695 tl_assert(helper);
4696 tl_assert(hname);
4706 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
4763 tl_assert(end == Iend_LE || end == Iend_BE);
4871 tl_assert(isOriginalAtom(mce, cond));
4872 tl_assert(isOriginalAtom(mce, iftrue));
4873 tl_assert(isOriginalAtom(mce, iffalse));
4967 tl_assert(isShadowAtom(mce,vatom));
5032 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
5033 tl_assert( end == Iend_LE || end == Iend_BE );
5036 tl_assert(!vdata);
5037 tl_assert(isOriginalAtom(mce, data));
5038 tl_assert(bias == 0);
5041 tl_assert(vdata);
5044 tl_assert(isOriginalAtom(mce,addr));
5045 tl_assert(isShadowAtom(mce,vdata));
5048 tl_assert(isOriginalAtom(mce, guard));
5049 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
5322 tl_assert(d->fxState[i].fx != Ifx_None);
5343 tl_assert(gSz >= 0);
5377 tl_assert(d->mAddr);
5381 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
5382 tl_assert(tyAddr == mce->hWordTy); /* not really right */
5421 tl_assert(toDo == 0);
5437 tl_assert(d->fxState[i].fx != Ifx_None);
5454 tl_assert(gSz >= 0);
5497 tl_assert(toDo == 0);
5574 tl_assert(isOriginalAtom(mce, orig));
5575 tl_assert(isShadowAtom(mce, shadow));
5578 tl_assert(shadow->tag == Iex_Const);
5581 tl_assert(shadow->tag == Iex_RdTmp);
5586 tl_assert(how == 'B');
5592 tl_assert(0);
5743 tl_assert(cas->oldHi == IRTemp_INVALID);
5744 tl_assert(cas->expdHi == NULL);
5745 tl_assert(cas->dataHi == NULL);
5753 tl_assert(0); /* IR defn disallows any other types */
5757 tl_assert(isOriginalAtom(mce, cas->dataLo));
5760 tl_assert(isShadowAtom(mce, vdataLo));
5764 tl_assert(isShadowAtom(mce, bdataLo));
5768 tl_assert(isOriginalAtom(mce, cas->expdLo));
5771 tl_assert(isShadowAtom(mce, vexpdLo));
5775 tl_assert(isShadowAtom(mce, bexpdLo));
5837 tl_assert(cas->oldHi != IRTemp_INVALID);
5838 tl_assert(cas->expdHi != NULL);
5839 tl_assert(cas->dataHi != NULL);
5860 tl_assert(0); /* IR defn disallows any other types */
5864 tl_assert(isOriginalAtom(mce, cas->dataHi));
5865 tl_assert(isOriginalAtom(mce, cas->dataLo));
5870 tl_assert(isShadowAtom(mce, vdataHi));
5871 tl_assert(isShadowAtom(mce, vdataLo));
5877 tl_assert(isShadowAtom(mce, bdataHi));
5878 tl_assert(isShadowAtom(mce, bdataLo));
5882 tl_assert(isOriginalAtom(mce, cas->expdHi));
5883 tl_assert(isOriginalAtom(mce, cas->expdLo));
5888 tl_assert(isShadowAtom(mce, vexpdHi));
5889 tl_assert(isShadowAtom(mce, vexpdLo));
5895 tl_assert(isShadowAtom(mce, bexpdHi));
5896 tl_assert(isShadowAtom(mce, bexpdLo));
5906 tl_assert(cas->end == Iend_BE);
5998 tl_assert(isIRAtom(stAddr));
6000 tl_assert(isIRAtom(stStoredata));
6007 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
6018 tl_assert(dataTy == Ity_I64 || dataTy == Ity_I32
6040 tl_assert(resTy == Ity_I1);
6111 tl_assert(isIRAtom(at));
6114 tl_assert(at->tag == Iex_Const);
6128 default: ppIRExpr(at); tl_assert(0);
6270 tl_assert(sizeof(UWord) == sizeof(void*));
6271 tl_assert(sizeof(Word) == sizeof(void*));
6272 tl_assert(sizeof(Addr) == sizeof(void*));
6273 tl_assert(sizeof(ULong) == 8);
6274 tl_assert(sizeof(Long) == 8);
6275 tl_assert(sizeof(UInt) == 4);
6276 tl_assert(sizeof(Int) == 4);
6278 tl_assert(MC_(clo_mc_level) >= 1 && MC_(clo_mc_level) <= 3);
6318 tl_assert( VG_(sizeXA)( mce.tmpMap ) == sb_in->tyenv->types_used );
6334 tl_assert(st);
6335 tl_assert(isFlatIRStmt(st));
6352 tl_assert(mce.sb == sb_out);
6353 tl_assert(mce.sb != sb_in);
6359 tl_assert(st);
6360 tl_assert(isFlatIRStmt(st));
6398 tl_assert(typeOfIRTemp(sb_out->tyenv, tmp_b) == Ity_I32);
6411 tl_assert(sb_in->stmts_used > 0);
6412 tl_assert(i >= 0);
6413 tl_assert(i < sb_in->stmts_used);
6414 tl_assert(sb_in->stmts[i]->tag == Ist_IMark);
6554 tl_assert( VG_(sizeXA)( mce.tmpMap ) == mce.sb->tyenv->types_used );
6557 tl_assert(mce.sb == sb_out);
6683 tl_assert(st);
6688 tl_assert(guard);
6719 tl_assert(ent->kind == Orig);
6726 tl_assert(ent->kind == Orig);
6727 tl_assert(ent->shadowB == IRTemp_INVALID);
6786 tl_assert(0);
6874 tl_assert(isOriginalAtom(mce, guard));
6875 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
6905 tl_assert(0);
6923 tl_assert(0);
6928 tl_assert(eTy == Ity_I32);
6931 tl_assert(0);
6937 tl_assert(MC_(clo_mc_level) == 3);
6951 tl_assert(sizeofIRType(equivIntTy) >= 4);
6952 tl_assert(sizeofIRType(equivIntTy) == sizeofIRType(descr->elemTy));
6975 tl_assert(i < 32);
6976 tl_assert(isOriginalAtom(mce, args[i]));
6998 tl_assert(isIRAtom(e->Iex.Load.addr));
6999 tl_assert(mce->hWordTy == Ity_I32 || mce->hWordTy == Ity_I64);
7038 tl_assert(0);
7054 tl_assert(b_offset >= -1
7098 tl_assert(d->fxState[i].fx != Ifx_None);
7120 tl_assert(gSz >= 0);
7154 tl_assert(d->mAddr);
7186 tl_assert(toDo == 0);
7201 tl_assert(d->fxState[i].fx != Ifx_None);
7219 tl_assert(gSz >= 0);
7271 tl_assert(toDo == 0);
7288 tl_assert(isIRAtom(stAddr));
7289 tl_assert(isIRAtom(stData));
7341 tl_assert(MC_(clo_mc_level) == 3);
7364 tl_assert(sizeofIRType(equivIntTy) >= 4);
7365 tl_assert(sizeofIRType(equivIntTy) == sizeofIRType(descr->elemTy));
7410 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
