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