• Home
  • History
  • Annotate
  • Raw
  • Download

Lines Matching refs:tl_assert

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