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));
870 tl_assert(tmp1);
937 tl_assert(0);
992 tl_assert(isShadowAtom(mce,vxx));
993 tl_assert(isShadowAtom(mce,vyy));
994 tl_assert(isOriginalAtom(mce,xx));
995 tl_assert(isOriginalAtom(mce,yy));
996 tl_assert(sameKindedAtoms(vxx,xx));
997 tl_assert(sameKindedAtoms(vyy,yy));
1123 tl_assert(isShadowAtom(mce,xxhash));
1124 tl_assert(isShadowAtom(mce,yyhash));
1125 tl_assert(isOriginalAtom(mce,xx));
1126 tl_assert(isOriginalAtom(mce,yy));
1127 tl_assert(sameKindedAtoms(xxhash,xx));
1128 tl_assert(sameKindedAtoms(yyhash,yy));
1129 tl_assert(cmp_op == Iop_CmpORD32S || cmp_op == Iop_CmpORD32U
1140 tl_assert(isZero(yyhash));
1240 tl_assert(isOriginalAtom(mce, guard));
1246 tl_assert(isOriginalAtom(mce, atom));
1248 tl_assert(isShadowAtom(mce, vatom));
1249 tl_assert(sameKindedAtoms(atom, vatom));
1347 tl_assert(fn);
1348 tl_assert(nm);
1349 tl_assert(args);
1350 tl_assert(nargs >= 0 && nargs <= 2);
1351 tl_assert( (MC_(clo_mc_level) == 3 && origin != NULL)
1375 tl_assert(isIRAtom(vatom));
1378 tl_assert(atom->tag == Iex_RdTmp);
1414 tl_assert((minoff & ~0xFFFF) == 0);
1415 tl_assert((maxoff & ~0xFFFF) == 0);
1420 tl_assert((minoffD & ~0xFFFF) == 0);
1421 tl_assert((maxoffD & ~0xFFFF) == 0);
1454 tl_assert(!vatom);
1455 tl_assert(isOriginalAtom(mce, atom));
1458 tl_assert(vatom);
1459 tl_assert(isShadowAtom(mce, vatom));
1463 tl_assert(ty != Ity_I1);
1505 tl_assert(isOriginalAtom(mce,atom));
1507 tl_assert(sameKindedAtoms(atom, vatom));
1511 tl_assert(ty != Ity_I1);
1512 tl_assert(isOriginalAtom(mce,ix));
1536 tl_assert(ty != Ity_I1);
1537 tl_assert(ty != Ity_I128);
1560 tl_assert(ty != Ity_I1);
1561 tl_assert(isOriginalAtom(mce,ix));
1591 tl_assert(isShadowAtom(mce,va1));
1592 tl_assert(isShadowAtom(mce,va2));
1649 tl_assert(isShadowAtom(mce,va1));
1650 tl_assert(isShadowAtom(mce,va2));
1651 tl_assert(isShadowAtom(mce,va3));
1762 tl_assert(0);
1784 tl_assert(isShadowAtom(mce,va1));
1785 tl_assert(isShadowAtom(mce,va2));
1786 tl_assert(isShadowAtom(mce,va3));
1787 tl_assert(isShadowAtom(mce,va4));
1855 tl_assert(0);
1878 tl_assert(i < 32);
1879 tl_assert(isOriginalAtom(mce, exprvec[i]));
1890 tl_assert(i < 32);
1891 tl_assert(isOriginalAtom(mce, exprvec[i]));
1926 tl_assert(isShadowAtom(mce,qaa));
1927 tl_assert(isShadowAtom(mce,qbb));
1928 tl_assert(isOriginalAtom(mce,aa));
1929 tl_assert(isOriginalAtom(mce,bb));
1930 tl_assert(sameKindedAtoms(qaa,aa));
1931 tl_assert(sameKindedAtoms(qbb,bb));
2011 tl_assert(isShadowAtom(mce,vatom));
2012 tl_assert(isOriginalAtom(mce,atom));
2013 tl_assert(sameKindedAtoms(atom,vatom));
2086 tl_assert(isShadowAtom(mce,qaa));
2087 tl_assert(isShadowAtom(mce,qbb));
2088 tl_assert(isOriginalAtom(mce,aa));
2089 tl_assert(isOriginalAtom(mce,bb));
2090 tl_assert(sameKindedAtoms(qaa,aa));
2091 tl_assert(sameKindedAtoms(qbb,bb));
2215 tl_assert(isShadowAtom(mce, vatomX));
2216 tl_assert(isShadowAtom(mce, vatomY));
2226 tl_assert(isShadowAtom(mce, vatomX));
2235 tl_assert(isShadowAtom(mce, vatomX));
2236 tl_assert(isShadowAtom(mce, vatomY));
2248 tl_assert(isShadowAtom(mce, vatomX));
2261 tl_assert(isShadowAtom(mce, vatomX));
2262 tl_assert(isShadowAtom(mce, vatomY));
2272 tl_assert(isShadowAtom(mce, vatomX));
2281 tl_assert(isShadowAtom(mce, vatomX));
2282 tl_assert(isShadowAtom(mce, vatomY));
2294 tl_assert(isShadowAtom(mce, vatomX));
2307 tl_assert(isShadowAtom(mce, vatomX));
2308 tl_assert(isShadowAtom(mce, vatomY));
2318 tl_assert(isShadowAtom(mce, vatomX));
2329 tl_assert(isShadowAtom(mce, vatomX));
2330 tl_assert(isShadowAtom(mce, vatomY));
2340 tl_assert(isShadowAtom(mce, vatomX));
2351 tl_assert(isShadowAtom(mce, vatomX));
2352 tl_assert(isShadowAtom(mce, vatomY));
2362 tl_assert(isShadowAtom(mce, vatomX));
2567 tl_assert(isShadowAtom(mce,vatom1));
2568 tl_assert(isShadowAtom(mce,vatom2));
2588 tl_assert(isShadowAtom(mce,vatom1));
2589 tl_assert(isShadowAtom(mce,vatom2));
2602 tl_assert(isShadowAtom(mce,vatom1));
2651 tl_assert(isShadowAtom(mce,vatom1));
2812 tl_assert(isOriginalAtom(mce,atom1));
2813 tl_assert(isOriginalAtom(mce,atom2));
2814 tl_assert(isOriginalAtom(mce,atom3));
2815 tl_assert(isOriginalAtom(mce,atom4));
2816 tl_assert(isShadowAtom(mce,vatom1));
2817 tl_assert(isShadowAtom(mce,vatom2));
2818 tl_assert(isShadowAtom(mce,vatom3));
2819 tl_assert(isShadowAtom(mce,vatom4));
2820 tl_assert(sameKindedAtoms(atom1,vatom1));
2821 tl_assert(sameKindedAtoms(atom2,vatom2));
2822 tl_assert(sameKindedAtoms(atom3,vatom3));
2823 tl_assert(sameKindedAtoms(atom4,vatom4));
2865 tl_assert(isOriginalAtom(mce,atom1));
2866 tl_assert(isOriginalAtom(mce,atom2));
2867 tl_assert(isOriginalAtom(mce,atom3));
2868 tl_assert(isShadowAtom(mce,vatom1));
2869 tl_assert(isShadowAtom(mce,vatom2));
2870 tl_assert(isShadowAtom(mce,vatom3));
2871 tl_assert(sameKindedAtoms(atom1,vatom1));
2872 tl_assert(sameKindedAtoms(atom2,vatom2));
2873 tl_assert(sameKindedAtoms(atom3,vatom3));
2982 tl_assert(isOriginalAtom(mce,atom1));
2983 tl_assert(isOriginalAtom(mce,atom2));
2984 tl_assert(isShadowAtom(mce,vatom1));
2985 tl_assert(isShadowAtom(mce,vatom2));
2986 tl_assert(sameKindedAtoms(atom1,vatom1));
2987 tl_assert(sameKindedAtoms(atom2,vatom2));
3610 tl_assert(0);
4322 tl_assert(0);
4324 tl_assert(binaryNIxM);
4350 tl_assert(isOriginalAtom(mce,atom));
4707 tl_assert(isOriginalAtom(mce,addr));
4708 tl_assert(end == Iend_LE || end == Iend_BE);
4774 tl_assert(helper);
4775 tl_assert(hname);
4785 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
4842 tl_assert(end == Iend_LE || end == Iend_BE);
4950 tl_assert(isOriginalAtom(mce, cond));
4951 tl_assert(isOriginalAtom(mce, iftrue));
4952 tl_assert(isOriginalAtom(mce, iffalse));
5046 tl_assert(isShadowAtom(mce,vatom));
5111 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
5112 tl_assert( end == Iend_LE || end == Iend_BE );
5115 tl_assert(!vdata);
5116 tl_assert(isOriginalAtom(mce, data));
5117 tl_assert(bias == 0);
5120 tl_assert(vdata);
5123 tl_assert(isOriginalAtom(mce,addr));
5124 tl_assert(isShadowAtom(mce,vdata));
5127 tl_assert(isOriginalAtom(mce, guard));
5128 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
5401 tl_assert(d->fxState[i].fx != Ifx_None);
5422 tl_assert(gSz >= 0);
5456 tl_assert(d->mAddr);
5460 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
5461 tl_assert(tyAddr == mce->hWordTy); /* not really right */
5500 tl_assert(toDo == 0);
5516 tl_assert(d->fxState[i].fx != Ifx_None);
5533 tl_assert(gSz >= 0);
5576 tl_assert(toDo == 0);
5604 tl_assert(MC_(clo_mc_level) == 2 || MC_(clo_mc_level) == 1);
5669 tl_assert(isOriginalAtom(mce, orig));
5670 tl_assert(isShadowAtom(mce, shadow));
5673 tl_assert(shadow->tag == Iex_Const);
5676 tl_assert(shadow->tag == Iex_RdTmp);
5681 tl_assert(how == 'B');
5687 tl_assert(0);
5838 tl_assert(cas->oldHi == IRTemp_INVALID);
5839 tl_assert(cas->expdHi == NULL);
5840 tl_assert(cas->dataHi == NULL);
5848 default: tl_assert(0); /* IR defn disallows any other types */
5852 tl_assert(isOriginalAtom(mce, cas->dataLo));
5855 tl_assert(isShadowAtom(mce, vdataLo));
5859 tl_assert(isShadowAtom(mce, bdataLo));
5863 tl_assert(isOriginalAtom(mce, cas->expdLo));
5866 tl_assert(isShadowAtom(mce, vexpdLo));
5870 tl_assert(isShadowAtom(mce, bexpdLo));
5932 tl_assert(cas->oldHi != IRTemp_INVALID);
5933 tl_assert(cas->expdHi != NULL);
5934 tl_assert(cas->dataHi != NULL);
5955 tl_assert(0); /* IR defn disallows any other types */
5959 tl_assert(isOriginalAtom(mce, cas->dataHi));
5960 tl_assert(isOriginalAtom(mce, cas->dataLo));
5965 tl_assert(isShadowAtom(mce, vdataHi));
5966 tl_assert(isShadowAtom(mce, vdataLo));
5972 tl_assert(isShadowAtom(mce, bdataHi));
5973 tl_assert(isShadowAtom(mce, bdataLo));
5977 tl_assert(isOriginalAtom(mce, cas->expdHi));
5978 tl_assert(isOriginalAtom(mce, cas->expdLo));
5983 tl_assert(isShadowAtom(mce, vexpdHi));
5984 tl_assert(isShadowAtom(mce, vexpdLo));
5990 tl_assert(isShadowAtom(mce, bexpdHi));
5991 tl_assert(isShadowAtom(mce, bexpdLo));
6001 tl_assert(cas->end == Iend_BE);
6093 tl_assert(isIRAtom(stAddr));
6095 tl_assert(isIRAtom(stStoredata));
6102 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
6113 tl_assert(dataTy == Ity_I64 || dataTy == Ity_I32
6135 tl_assert(resTy == Ity_I1);
6206 tl_assert(isIRAtom(at));
6209 tl_assert(at->tag == Iex_Const);
6223 default: ppIRExpr(at); tl_assert(0);
6365 tl_assert(sizeof(UWord) == sizeof(void*));
6366 tl_assert(sizeof(Word) == sizeof(void*));
6367 tl_assert(sizeof(Addr) == sizeof(void*));
6368 tl_assert(sizeof(ULong) == 8);
6369 tl_assert(sizeof(Long) == 8);
6370 tl_assert(sizeof(UInt) == 4);
6371 tl_assert(sizeof(Int) == 4);
6373 tl_assert(MC_(clo_mc_level) >= 1 && MC_(clo_mc_level) <= 3);
6413 tl_assert( VG_(sizeXA)( mce.tmpMap ) == sb_in->tyenv->types_used );
6429 tl_assert(st);
6430 tl_assert(isFlatIRStmt(st));
6447 tl_assert(mce.sb == sb_out);
6448 tl_assert(mce.sb != sb_in);
6454 tl_assert(st);
6455 tl_assert(isFlatIRStmt(st));
6493 tl_assert(typeOfIRTemp(sb_out->tyenv, tmp_b) == Ity_I32);
6506 tl_assert(sb_in->stmts_used > 0);
6507 tl_assert(i >= 0);
6508 tl_assert(i < sb_in->stmts_used);
6509 tl_assert(sb_in->stmts[i]->tag == Ist_IMark);
6649 tl_assert( VG_(sizeXA)( mce.tmpMap ) == mce.sb->tyenv->types_used );
6652 tl_assert(mce.sb == sb_out);
6789 tl_assert(n <= N_TIDYING_PAIRS);
6803 tl_assert(i == n);
6811 tl_assert(n < N_TIDYING_PAIRS);
6852 tl_assert(*prefix == 0 && *name != 0);
6884 tl_assert(st);
6889 tl_assert(guard);
6905 tl_assert(pairs.pairs[N_TIDYING_PAIRS].entry == (void*)0x123);
6906 tl_assert(pairs.pairs[N_TIDYING_PAIRS].guard == (IRExpr*)0x456);
6925 tl_assert(ent->kind == Orig);
6932 tl_assert(ent->kind == Orig);
6933 tl_assert(ent->shadowB == IRTemp_INVALID);
6992 tl_assert(0);
7080 tl_assert(isOriginalAtom(mce, guard));
7081 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
7111 tl_assert(0);
7129 tl_assert(0);
7134 tl_assert(eTy == Ity_I32);
7137 tl_assert(0);
7143 tl_assert(MC_(clo_mc_level) == 3);
7157 tl_assert(sizeofIRType(equivIntTy) >= 4);
7158 tl_assert(sizeofIRType(equivIntTy) == sizeofIRType(descr->elemTy));
7181 tl_assert(i < 32);
7182 tl_assert(isOriginalAtom(mce, args[i]));
7204 tl_assert(isIRAtom(e->Iex.Load.addr));
7205 tl_assert(mce->hWordTy == Ity_I32 || mce->hWordTy == Ity_I64);
7244 tl_assert(0);
7260 tl_assert(b_offset >= -1
7304 tl_assert(d->fxState[i].fx != Ifx_None);
7326 tl_assert(gSz >= 0);
7360 tl_assert(d->mAddr);
7392 tl_assert(toDo == 0);
7407 tl_assert(d->fxState[i].fx != Ifx_None);
7425 tl_assert(gSz >= 0);
7477 tl_assert(toDo == 0);
7494 tl_assert(isIRAtom(stAddr));
7495 tl_assert(isIRAtom(stData));
7547 tl_assert(MC_(clo_mc_level) == 3);
7570 tl_assert(sizeofIRType(equivIntTy) >= 4);
7571 tl_assert(sizeofIRType(equivIntTy) == sizeofIRType(descr->elemTy));
7616 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
7678 tl_assert((_expected) == is_helperc_value_checkN_fail(_string))
