Lines Matching refs:tl_assert
476 #define tl_assert(xxx) assert(xxx)
612 tl_assert(orig < mce->n_originalTmps);
629 tl_assert(orig < mce->n_originalTmps);
762 tl_assert(isShadowAtom(mce,a1));
763 tl_assert(isShadowAtom(mce,a2));
768 tl_assert(isShadowAtom(mce,a1));
769 tl_assert(isShadowAtom(mce,a2));
774 tl_assert(isShadowAtom(mce,a1));
775 tl_assert(isShadowAtom(mce,a2));
780 tl_assert(isShadowAtom(mce,a1));
781 tl_assert(isShadowAtom(mce,a2));
786 tl_assert(isShadowAtom(mce,a1));
787 tl_assert(isShadowAtom(mce,a2));
794 tl_assert(isShadowAtom(mce,a1));
795 tl_assert(isShadowAtom(mce,a2));
800 tl_assert(isShadowAtom(mce,a1));
801 tl_assert(isShadowAtom(mce,a2));
806 tl_assert(isShadowAtom(mce,a1));
807 tl_assert(isShadowAtom(mce,a2));
812 tl_assert(isShadowAtom(mce,a1));
813 tl_assert(isShadowAtom(mce,a2));
818 tl_assert(isShadowAtom(mce,a1));
819 tl_assert(isShadowAtom(mce,a2));
839 tl_assert(isShadowAtom(mce,a1));
849 tl_assert(isShadowAtom(mce,a1));
859 tl_assert(isShadowAtom(mce,a1));
875 tl_assert(isOriginalAtom(mce, data));
876 tl_assert(isShadowAtom(mce, vbits));
877 tl_assert(sameKindedAtoms(data, vbits));
883 tl_assert(isOriginalAtom(mce, data));
884 tl_assert(isShadowAtom(mce, vbits));
885 tl_assert(sameKindedAtoms(data, vbits));
891 tl_assert(isOriginalAtom(mce, data));
892 tl_assert(isShadowAtom(mce, vbits));
893 tl_assert(sameKindedAtoms(data, vbits));
899 tl_assert(isOriginalAtom(mce, data));
900 tl_assert(isShadowAtom(mce, vbits));
901 tl_assert(sameKindedAtoms(data, vbits));
907 tl_assert(isOriginalAtom(mce, data));
908 tl_assert(isShadowAtom(mce, vbits));
909 tl_assert(sameKindedAtoms(data, vbits));
918 tl_assert(isOriginalAtom(mce, data));
919 tl_assert(isShadowAtom(mce, vbits));
920 tl_assert(sameKindedAtoms(data, vbits));
930 tl_assert(isOriginalAtom(mce, data));
931 tl_assert(isShadowAtom(mce, vbits));
932 tl_assert(sameKindedAtoms(data, vbits));
942 tl_assert(isOriginalAtom(mce, data));
943 tl_assert(isShadowAtom(mce, vbits));
944 tl_assert(sameKindedAtoms(data, vbits));
954 tl_assert(isOriginalAtom(mce, data));
955 tl_assert(isShadowAtom(mce, vbits));
956 tl_assert(sameKindedAtoms(data, vbits));
966 tl_assert(isOriginalAtom(mce, data));
967 tl_assert(isShadowAtom(mce, vbits));
968 tl_assert(sameKindedAtoms(data, vbits));
984 tl_assert(isShadowAtom(mce,vbits));
1006 tl_assert(tmp1);
1072 tl_assert(isOriginalAtom(mce, atom));
1074 tl_assert(isShadowAtom(mce, vatom));
1075 tl_assert(sameKindedAtoms(atom, vatom));
1122 tl_assert(isIRAtom(vatom));
1125 tl_assert(atom->tag == Iex_RdTmp);
1147 tl_assert((minoff & ~0xFFFF) == 0);
1148 tl_assert((maxoff & ~0xFFFF) == 0);
1153 tl_assert((minoffD & ~0xFFFF) == 0);
1154 tl_assert((maxoffD & ~0xFFFF) == 0);
1179 tl_assert(!vatom);
1180 tl_assert(isOriginalAtom(mce, atom));
1183 tl_assert(vatom);
1184 tl_assert(isShadowAtom(mce, vatom));
1188 tl_assert(ty != Ity_I1);
1211 tl_assert(isOriginalAtom(mce,atom));
1213 tl_assert(sameKindedAtoms(atom, vatom));
1217 tl_assert(ty != Ity_I1);
1218 tl_assert(isOriginalAtom(mce,ix));
1242 tl_assert(ty != Ity_I1);
1263 tl_assert(ty != Ity_I1);
1264 tl_assert(isOriginalAtom(mce,ix));
1293 tl_assert(isShadowAtom(mce,va1));
1294 tl_assert(isShadowAtom(mce,va2));
1315 tl_assert(i < 32);
1316 tl_assert(isOriginalAtom(mce, exprvec[i]));
1348 tl_assert(isShadowAtom(mce,qaa));
1349 tl_assert(isShadowAtom(mce,qbb));
1350 tl_assert(isOriginalAtom(mce,aa));
1351 tl_assert(isOriginalAtom(mce,bb));
1352 tl_assert(sameKindedAtoms(qaa,aa));
1353 tl_assert(sameKindedAtoms(qbb,bb));
1460 tl_assert(isShadowAtom(mce, vatomX));
1461 tl_assert(isShadowAtom(mce, vatomY));
1471 tl_assert(isShadowAtom(mce, vatomX));
1480 tl_assert(isShadowAtom(mce, vatomX));
1481 tl_assert(isShadowAtom(mce, vatomY));
1493 tl_assert(isShadowAtom(mce, vatomX));
1506 tl_assert(isShadowAtom(mce, vatomX));
1507 tl_assert(isShadowAtom(mce, vatomY));
1517 tl_assert(isShadowAtom(mce, vatomX));
1526 tl_assert(isShadowAtom(mce, vatomX));
1527 tl_assert(isShadowAtom(mce, vatomY));
1539 tl_assert(isShadowAtom(mce, vatomX));
1586 tl_assert(isShadowAtom(mce,vatom1));
1587 tl_assert(isShadowAtom(mce,vatom2));
1652 tl_assert(isOriginalAtom(mce,atom1));
1653 tl_assert(isOriginalAtom(mce,atom2));
1654 tl_assert(isShadowAtom(mce,vatom1));
1655 tl_assert(isShadowAtom(mce,vatom2));
1656 tl_assert(sameKindedAtoms(atom1,vatom1));
1657 tl_assert(sameKindedAtoms(atom2,vatom2));
1964 tl_assert(isOriginalAtom(mce,atom));
2058 tl_assert(isOriginalAtom(mce,addr));
2091 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2143 tl_assert(isOriginalAtom(mce, cond));
2144 tl_assert(isOriginalAtom(mce, iftrue));
2145 tl_assert(isOriginalAtom(mce, iffalse));
2220 tl_assert(isShadowAtom(mce,vatom));
2261 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2269 tl_assert(!vdata);
2270 tl_assert(isOriginalAtom(mce, data));
2271 tl_assert(bias == 0);
2274 tl_assert(vdata);
2277 tl_assert(isOriginalAtom(mce,addr));
2278 tl_assert(isShadowAtom(mce,vdata));
2400 tl_assert(d->fxState[i].fx != Ifx_None);
2417 tl_assert(gSz > 0);
2443 tl_assert(d->mAddr);
2447 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
2448 tl_assert(tyAddr == mce->hWordTy); /* not really right */
2475 tl_assert(toDo == 0); /* also need to handle 1-byte excess */
2491 tl_assert(d->fxState[i].fx != Ifx_None);
2502 tl_assert(gSz > 0);
2535 tl_assert(toDo == 0); /* also need to handle 1-byte excess */
2549 tl_assert(isIRAtom(at));
2552 tl_assert(at->tag == Iex_Const);
2559 default: ppIRExpr(at); tl_assert(0);
2648 tl_assert(isFlatIRStmt(st));
