Lines Matching refs:tl_assert
432 #define tl_assert(xxx) assert(xxx)
568 tl_assert(orig < mce->n_originalTmps);
585 tl_assert(orig < mce->n_originalTmps);
718 tl_assert(isShadowAtom(mce,a1));
719 tl_assert(isShadowAtom(mce,a2));
724 tl_assert(isShadowAtom(mce,a1));
725 tl_assert(isShadowAtom(mce,a2));
730 tl_assert(isShadowAtom(mce,a1));
731 tl_assert(isShadowAtom(mce,a2));
736 tl_assert(isShadowAtom(mce,a1));
737 tl_assert(isShadowAtom(mce,a2));
742 tl_assert(isShadowAtom(mce,a1));
743 tl_assert(isShadowAtom(mce,a2));
750 tl_assert(isShadowAtom(mce,a1));
751 tl_assert(isShadowAtom(mce,a2));
756 tl_assert(isShadowAtom(mce,a1));
757 tl_assert(isShadowAtom(mce,a2));
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));
795 tl_assert(isShadowAtom(mce,a1));
805 tl_assert(isShadowAtom(mce,a1));
815 tl_assert(isShadowAtom(mce,a1));
831 tl_assert(isOriginalAtom(mce, data));
832 tl_assert(isShadowAtom(mce, vbits));
833 tl_assert(sameKindedAtoms(data, vbits));
839 tl_assert(isOriginalAtom(mce, data));
840 tl_assert(isShadowAtom(mce, vbits));
841 tl_assert(sameKindedAtoms(data, vbits));
847 tl_assert(isOriginalAtom(mce, data));
848 tl_assert(isShadowAtom(mce, vbits));
849 tl_assert(sameKindedAtoms(data, vbits));
855 tl_assert(isOriginalAtom(mce, data));
856 tl_assert(isShadowAtom(mce, vbits));
857 tl_assert(sameKindedAtoms(data, vbits));
863 tl_assert(isOriginalAtom(mce, data));
864 tl_assert(isShadowAtom(mce, vbits));
865 tl_assert(sameKindedAtoms(data, vbits));
874 tl_assert(isOriginalAtom(mce, data));
875 tl_assert(isShadowAtom(mce, vbits));
876 tl_assert(sameKindedAtoms(data, vbits));
886 tl_assert(isOriginalAtom(mce, data));
887 tl_assert(isShadowAtom(mce, vbits));
888 tl_assert(sameKindedAtoms(data, vbits));
898 tl_assert(isOriginalAtom(mce, data));
899 tl_assert(isShadowAtom(mce, vbits));
900 tl_assert(sameKindedAtoms(data, vbits));
910 tl_assert(isOriginalAtom(mce, data));
911 tl_assert(isShadowAtom(mce, vbits));
912 tl_assert(sameKindedAtoms(data, vbits));
922 tl_assert(isOriginalAtom(mce, data));
923 tl_assert(isShadowAtom(mce, vbits));
924 tl_assert(sameKindedAtoms(data, vbits));
940 tl_assert(isShadowAtom(mce,vbits));
962 tl_assert(tmp1);
1028 tl_assert(isOriginalAtom(mce, atom));
1030 tl_assert(isShadowAtom(mce, vatom));
1031 tl_assert(sameKindedAtoms(atom, vatom));
1078 tl_assert(isIRAtom(vatom));
1081 tl_assert(atom->tag == Iex_RdTmp);
1103 tl_assert((minoff & ~0xFFFF) == 0);
1104 tl_assert((maxoff & ~0xFFFF) == 0);
1109 tl_assert((minoffD & ~0xFFFF) == 0);
1110 tl_assert((maxoffD & ~0xFFFF) == 0);
1135 tl_assert(!vatom);
1136 tl_assert(isOriginalAtom(mce, atom));
1139 tl_assert(vatom);
1140 tl_assert(isShadowAtom(mce, vatom));
1144 tl_assert(ty != Ity_I1);
1167 tl_assert(isOriginalAtom(mce,atom));
1169 tl_assert(sameKindedAtoms(atom, vatom));
1173 tl_assert(ty != Ity_I1);
1174 tl_assert(isOriginalAtom(mce,ix));
1198 tl_assert(ty != Ity_I1);
1219 tl_assert(ty != Ity_I1);
1220 tl_assert(isOriginalAtom(mce,ix));
1249 tl_assert(isShadowAtom(mce,va1));
1250 tl_assert(isShadowAtom(mce,va2));
1271 tl_assert(i < 32);
1272 tl_assert(isOriginalAtom(mce, exprvec[i]));
1304 tl_assert(isShadowAtom(mce,qaa));
1305 tl_assert(isShadowAtom(mce,qbb));
1306 tl_assert(isOriginalAtom(mce,aa));
1307 tl_assert(isOriginalAtom(mce,bb));
1308 tl_assert(sameKindedAtoms(qaa,aa));
1309 tl_assert(sameKindedAtoms(qbb,bb));
1416 tl_assert(isShadowAtom(mce, vatomX));
1417 tl_assert(isShadowAtom(mce, vatomY));
1427 tl_assert(isShadowAtom(mce, vatomX));
1436 tl_assert(isShadowAtom(mce, vatomX));
1437 tl_assert(isShadowAtom(mce, vatomY));
1449 tl_assert(isShadowAtom(mce, vatomX));
1462 tl_assert(isShadowAtom(mce, vatomX));
1463 tl_assert(isShadowAtom(mce, vatomY));
1473 tl_assert(isShadowAtom(mce, vatomX));
1482 tl_assert(isShadowAtom(mce, vatomX));
1483 tl_assert(isShadowAtom(mce, vatomY));
1495 tl_assert(isShadowAtom(mce, vatomX));
1542 tl_assert(isShadowAtom(mce,vatom1));
1543 tl_assert(isShadowAtom(mce,vatom2));
1608 tl_assert(isOriginalAtom(mce,atom1));
1609 tl_assert(isOriginalAtom(mce,atom2));
1610 tl_assert(isShadowAtom(mce,vatom1));
1611 tl_assert(isShadowAtom(mce,vatom2));
1612 tl_assert(sameKindedAtoms(atom1,vatom1));
1613 tl_assert(sameKindedAtoms(atom2,vatom2));
1920 tl_assert(isOriginalAtom(mce,atom));
2015 tl_assert(isOriginalAtom(mce,addr));
2048 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2100 tl_assert(isOriginalAtom(mce, cond));
2101 tl_assert(isOriginalAtom(mce, expr0));
2102 tl_assert(isOriginalAtom(mce, exprX));
2177 tl_assert(isShadowAtom(mce,vatom));
2218 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2226 tl_assert(!vdata);
2227 tl_assert(isOriginalAtom(mce, data));
2228 tl_assert(bias == 0);
2231 tl_assert(vdata);
2234 tl_assert(isOriginalAtom(mce,addr));
2235 tl_assert(isShadowAtom(mce,vdata));
2357 tl_assert(d->fxState[i].fx != Ifx_None);
2374 tl_assert(gSz > 0);
2400 tl_assert(d->mAddr);
2404 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
2405 tl_assert(tyAddr == mce->hWordTy); /* not really right */
2432 tl_assert(toDo == 0); /* also need to handle 1-byte excess */
2448 tl_assert(d->fxState[i].fx != Ifx_None);
2459 tl_assert(gSz > 0);
2492 tl_assert(toDo == 0); /* also need to handle 1-byte excess */
2506 tl_assert(isIRAtom(at));
2509 tl_assert(at->tag == Iex_Const);
2516 default: ppIRExpr(at); tl_assert(0);
2605 tl_assert(isFlatIRStmt(st));
