Lines Matching full:tl_assert
240 tl_assert(newIx == (Word)tmp);
253 tl_assert(ent->kind == Orig);
260 tl_assert(ent->kind == Orig);
261 tl_assert(ent->shadowV == IRTemp_INVALID);
283 tl_assert(ent->kind == Orig);
290 tl_assert(ent->kind == Orig);
435 tl_assert(tyE == ty); /* so 'ty' is redundant (!) */
442 default: tl_assert(0);
469 tl_assert(isShadowAtom(mce,a1));
470 tl_assert(isShadowAtom(mce,a2));
475 tl_assert(isShadowAtom(mce,a1));
476 tl_assert(isShadowAtom(mce,a2));
481 tl_assert(isShadowAtom(mce,a1));
482 tl_assert(isShadowAtom(mce,a2));
487 tl_assert(isShadowAtom(mce,a1));
488 tl_assert(isShadowAtom(mce,a2));
493 tl_assert(isShadowAtom(mce,a1));
494 tl_assert(isShadowAtom(mce,a2));
501 tl_assert(isShadowAtom(mce,a1));
502 tl_assert(isShadowAtom(mce,a2));
507 tl_assert(isShadowAtom(mce,a1));
508 tl_assert(isShadowAtom(mce,a2));
513 tl_assert(isShadowAtom(mce,a1));
514 tl_assert(isShadowAtom(mce,a2));
519 tl_assert(isShadowAtom(mce,a1));
520 tl_assert(isShadowAtom(mce,a2));
526 tl_assert(isShadowAtom(mce,a1));
527 tl_assert(isShadowAtom(mce,a2));
539 tl_assert(isShadowAtom(mce,a1));
540 tl_assert(isShadowAtom(mce,a2));
561 tl_assert(isShadowAtom(mce,a1));
566 tl_assert(isShadowAtom(mce,a1));
571 tl_assert(isShadowAtom(mce,a1));
576 tl_assert(isShadowAtom(mce,a1));
587 tl_assert(isOriginalAtom(mce, data));
588 tl_assert(isShadowAtom(mce, vbits));
589 tl_assert(sameKindedAtoms(data, vbits));
595 tl_assert(isOriginalAtom(mce, data));
596 tl_assert(isShadowAtom(mce, vbits));
597 tl_assert(sameKindedAtoms(data, vbits));
603 tl_assert(isOriginalAtom(mce, data));
604 tl_assert(isShadowAtom(mce, vbits));
605 tl_assert(sameKindedAtoms(data, vbits));
611 tl_assert(isOriginalAtom(mce, data));
612 tl_assert(isShadowAtom(mce, vbits));
613 tl_assert(sameKindedAtoms(data, vbits));
619 tl_assert(isOriginalAtom(mce, data));
620 tl_assert(isShadowAtom(mce, vbits));
621 tl_assert(sameKindedAtoms(data, vbits));
630 tl_assert(isOriginalAtom(mce, data));
631 tl_assert(isShadowAtom(mce, vbits));
632 tl_assert(sameKindedAtoms(data, vbits));
642 tl_assert(isOriginalAtom(mce, data));
643 tl_assert(isShadowAtom(mce, vbits));
644 tl_assert(sameKindedAtoms(data, vbits));
654 tl_assert(isOriginalAtom(mce, data));
655 tl_assert(isShadowAtom(mce, vbits));
656 tl_assert(sameKindedAtoms(data, vbits));
666 tl_assert(isOriginalAtom(mce, data));
667 tl_assert(isShadowAtom(mce, vbits));
668 tl_assert(sameKindedAtoms(data, vbits));
678 tl_assert(isOriginalAtom(mce, data));
679 tl_assert(isShadowAtom(mce, vbits));
680 tl_assert(sameKindedAtoms(data, vbits));
700 tl_assert(isShadowAtom(mce,vbits));
747 tl_assert(tmp1);
826 tl_assert(isShadowAtom(mce,vxx));
827 tl_assert(isShadowAtom(mce,vyy));
828 tl_assert(isOriginalAtom(mce,xx));
829 tl_assert(isOriginalAtom(mce,yy));
830 tl_assert(sameKindedAtoms(vxx,xx));
831 tl_assert(sameKindedAtoms(vyy,yy));
948 tl_assert(isShadowAtom(mce,xxhash));
949 tl_assert(isShadowAtom(mce,yyhash));
950 tl_assert(isOriginalAtom(mce,xx));
951 tl_assert(isOriginalAtom(mce,yy));
952 tl_assert(sameKindedAtoms(xxhash,xx));
953 tl_assert(sameKindedAtoms(yyhash,yy));
954 tl_assert(cmp_op == Iop_CmpORD32S || cmp_op == Iop_CmpORD32U
965 tl_assert(isZero(yyhash));
1055 tl_assert(isOriginalAtom(mce, atom));
1057 tl_assert(isShadowAtom(mce, vatom));
1058 tl_assert(sameKindedAtoms(atom, vatom));
1156 tl_assert(fn);
1157 tl_assert(nm);
1158 tl_assert(args);
1159 tl_assert(nargs >= 0 && nargs <= 2);
1160 tl_assert( (MC_(clo_mc_level) == 3 && origin != NULL)
1172 tl_assert(isIRAtom(vatom));
1175 tl_assert(atom->tag == Iex_RdTmp);
1197 tl_assert((minoff & ~0xFFFF) == 0);
1198 tl_assert((maxoff & ~0xFFFF) == 0);
1203 tl_assert((minoffD & ~0xFFFF) == 0);
1204 tl_assert((maxoffD & ~0xFFFF) == 0);
1236 tl_assert(!vatom);
1237 tl_assert(isOriginalAtom(mce, atom));
1240 tl_assert(vatom);
1241 tl_assert(isShadowAtom(mce, vatom));
1245 tl_assert(ty != Ity_I1);
1246 tl_assert(ty != Ity_I128);
1276 tl_assert(isOriginalAtom(mce,atom));
1278 tl_assert(sameKindedAtoms(atom, vatom));
1282 tl_assert(ty != Ity_I1);
1283 tl_assert(isOriginalAtom(mce,ix));
1307 tl_assert(ty != Ity_I1);
1308 tl_assert(ty != Ity_I128);
1331 tl_assert(ty != Ity_I1);
1332 tl_assert(isOriginalAtom(mce,ix));
1362 tl_assert(isShadowAtom(mce,va1));
1363 tl_assert(isShadowAtom(mce,va2));
1412 tl_assert(isShadowAtom(mce,va1));
1413 tl_assert(isShadowAtom(mce,va2));
1414 tl_assert(isShadowAtom(mce,va3));
1488 tl_assert(0);
1510 tl_assert(isShadowAtom(mce,va1));
1511 tl_assert(isShadowAtom(mce,va2));
1512 tl_assert(isShadowAtom(mce,va3));
1513 tl_assert(isShadowAtom(mce,va4));
1564 tl_assert(0);
1587 tl_assert(i < 32);
1588 tl_assert(isOriginalAtom(mce, exprvec[i]));
1599 tl_assert(i < 32);
1600 tl_assert(isOriginalAtom(mce, exprvec[i]));
1635 tl_assert(isShadowAtom(mce,qaa));
1636 tl_assert(isShadowAtom(mce,qbb));
1637 tl_assert(isOriginalAtom(mce,aa));
1638 tl_assert(isOriginalAtom(mce,bb));
1639 tl_assert(sameKindedAtoms(qaa,aa));
1640 tl_assert(sameKindedAtoms(qbb,bb));
1741 tl_assert(isShadowAtom(mce,qaa));
1742 tl_assert(isShadowAtom(mce,qbb));
1743 tl_assert(isOriginalAtom(mce,aa));
1744 tl_assert(isOriginalAtom(mce,bb));
1745 tl_assert(sameKindedAtoms(qaa,aa));
1746 tl_assert(sameKindedAtoms(qbb,bb));
1850 tl_assert(isShadowAtom(mce, vatomX));
1851 tl_assert(isShadowAtom(mce, vatomY));
1861 tl_assert(isShadowAtom(mce, vatomX));
1870 tl_assert(isShadowAtom(mce, vatomX));
1871 tl_assert(isShadowAtom(mce, vatomY));
1883 tl_assert(isShadowAtom(mce, vatomX));
1896 tl_assert(isShadowAtom(mce, vatomX));
1897 tl_assert(isShadowAtom(mce, vatomY));
1907 tl_assert(isShadowAtom(mce, vatomX));
1916 tl_assert(isShadowAtom(mce, vatomX));
1917 tl_assert(isShadowAtom(mce, vatomY));
1929 tl_assert(isShadowAtom(mce, vatomX));
1942 tl_assert(isShadowAtom(mce, vatomX));
1943 tl_assert(isShadowAtom(mce, vatomY));
1953 tl_assert(isShadowAtom(mce, vatomX));
2061 tl_assert(isShadowAtom(mce,vatom1));
2062 tl_assert(isShadowAtom(mce,vatom2));
2082 tl_assert(isShadowAtom(mce,vatom1));
2083 tl_assert(isShadowAtom(mce,vatom2));
2096 tl_assert(isShadowAtom(mce,vatom1));
2143 tl_assert(isShadowAtom(mce,vatom1));
2266 tl_assert(isOriginalAtom(mce,atom1));
2267 tl_assert(isOriginalAtom(mce,atom2));
2268 tl_assert(isOriginalAtom(mce,atom3));
2269 tl_assert(isOriginalAtom(mce,atom4));
2270 tl_assert(isShadowAtom(mce,vatom1));
2271 tl_assert(isShadowAtom(mce,vatom2));
2272 tl_assert(isShadowAtom(mce,vatom3));
2273 tl_assert(isShadowAtom(mce,vatom4));
2274 tl_assert(sameKindedAtoms(atom1,vatom1));
2275 tl_assert(sameKindedAtoms(atom2,vatom2));
2276 tl_assert(sameKindedAtoms(atom3,vatom3));
2277 tl_assert(sameKindedAtoms(atom4,vatom4));
2307 tl_assert(isOriginalAtom(mce,atom1));
2308 tl_assert(isOriginalAtom(mce,atom2));
2309 tl_assert(isOriginalAtom(mce,atom3));
2310 tl_assert(isShadowAtom(mce,vatom1));
2311 tl_assert(isShadowAtom(mce,vatom2));
2312 tl_assert(isShadowAtom(mce,vatom3));
2313 tl_assert(sameKindedAtoms(atom1,vatom1));
2314 tl_assert(sameKindedAtoms(atom2,vatom2));
2315 tl_assert(sameKindedAtoms(atom3,vatom3));
2380 tl_assert(isOriginalAtom(mce,atom1));
2381 tl_assert(isOriginalAtom(mce,atom2));
2382 tl_assert(isShadowAtom(mce,vatom1));
2383 tl_assert(isShadowAtom(mce,vatom2));
2384 tl_assert(sameKindedAtoms(atom1,vatom1));
2385 tl_assert(sameKindedAtoms(atom2,vatom2));
3291 tl_assert(isOriginalAtom(mce,atom));
3568 tl_assert(isOriginalAtom(mce,addr));
3569 tl_assert(end == Iend_LE || end == Iend_BE);
3622 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
3648 tl_assert(end == Iend_LE || end == Iend_BE);
3683 tl_assert(isOriginalAtom(mce, cond));
3684 tl_assert(isOriginalAtom(mce, expr0));
3685 tl_assert(isOriginalAtom(mce, exprX));
3777 tl_assert(isShadowAtom(mce,vatom));
3838 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
3839 tl_assert( end == Iend_LE || end == Iend_BE );
3842 tl_assert(!vdata);
3843 tl_assert(isOriginalAtom(mce, data));
3844 tl_assert(bias == 0);
3847 tl_assert(vdata);
3850 tl_assert(isOriginalAtom(mce,addr));
3851 tl_assert(isShadowAtom(mce,vdata));
3854 tl_assert(isOriginalAtom(mce, guard));
3855 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
4051 tl_assert(d->fxState[i].fx != Ifx_None);
4068 tl_assert(gSz > 0);
4094 tl_assert(d->mAddr);
4098 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
4099 tl_assert(tyAddr == mce->hWordTy); /* not really right */
4128 tl_assert(toDo == 0); /* also need to handle 1-byte excess */
4144 tl_assert(d->fxState[i].fx != Ifx_None);
4155 tl_assert(gSz > 0);
4190 tl_assert(toDo == 0); /* also need to handle 1-byte excess */
4267 tl_assert(isOriginalAtom(mce, orig));
4268 tl_assert(isShadowAtom(mce, shadow));
4271 tl_assert(shadow->tag == Iex_Const);
4274 tl_assert(shadow->tag == Iex_RdTmp);
4279 tl_assert(how == 'B');
4285 tl_assert(0);
4436 tl_assert(cas->oldHi == IRTemp_INVALID);
4437 tl_assert(cas->expdHi == NULL);
4438 tl_assert(cas->dataHi == NULL);
4446 default: tl_assert(0); /* IR defn disallows any other types */
4450 tl_assert(isOriginalAtom(mce, cas->dataLo));
4453 tl_assert(isShadowAtom(mce, vdataLo));
4457 tl_assert(isShadowAtom(mce, bdataLo));
4461 tl_assert(isOriginalAtom(mce, cas->expdLo));
4464 tl_assert(isShadowAtom(mce, vexpdLo));
4468 tl_assert(isShadowAtom(mce, bexpdLo));
4529 tl_assert(cas->oldHi != IRTemp_INVALID);
4530 tl_assert(cas->expdHi != NULL);
4531 tl_assert(cas->dataHi != NULL);
4552 tl_assert(0); /* IR defn disallows any other types */
4556 tl_assert(isOriginalAtom(mce, cas->dataHi));
4557 tl_assert(isOriginalAtom(mce, cas->dataLo));
4562 tl_assert(isShadowAtom(mce, vdataHi));
4563 tl_assert(isShadowAtom(mce, vdataLo));
4569 tl_assert(isShadowAtom(mce, bdataHi));
4570 tl_assert(isShadowAtom(mce, bdataLo));
4574 tl_assert(isOriginalAtom(mce, cas->expdHi));
4575 tl_assert(isOriginalAtom(mce, cas->expdLo));
4580 tl_assert(isShadowAtom(mce, vexpdHi));
4581 tl_assert(isShadowAtom(mce, vexpdLo));
4587 tl_assert(isShadowAtom(mce, bexpdHi));
4588 tl_assert(isShadowAtom(mce, bexpdLo));
4598 tl_assert(cas->end == Iend_BE);
4688 tl_assert(isIRAtom(stAddr));
4690 tl_assert(isIRAtom(stStoredata));
4697 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
4707 tl_assert(dataTy == Ity_I64 || dataTy == Ity_I32
4729 tl_assert(resTy == Ity_I1);
4745 tl_assert(isIRAtom(at));
4748 tl_assert(at->tag == Iex_Const);
4760 default: ppIRExpr(at); tl_assert(0);
4885 tl_assert(sizeof(UWord) == sizeof(void*));
4886 tl_assert(sizeof(Word) == sizeof(void*));
4887 tl_assert(sizeof(Addr) == sizeof(void*));
4888 tl_assert(sizeof(ULong) == 8);
4889 tl_assert(sizeof(Long) == 8);
4890 tl_assert(sizeof(Addr64) == 8);
4891 tl_assert(sizeof(UInt) == 4);
4892 tl_assert(sizeof(Int) == 4);
4894 tl_assert(MC_(clo_mc_level) >= 1 && MC_(clo_mc_level) <= 3);
4919 tl_assert( VG_(sizeXA)( mce.tmpMap ) == sb_in->tyenv->types_used );
4932 tl_assert(st);
4933 tl_assert(isFlatIRStmt(st));
4950 tl_assert(mce.sb == sb_out);
4951 tl_assert(mce.sb != sb_in);
4957 tl_assert(st);
4958 tl_assert(isFlatIRStmt(st));
4996 tl_assert(typeOfIRTemp(sb_out->tyenv, tmp_b) == Ity_I32);
5009 tl_assert(sb_in->stmts_used > 0);
5010 tl_assert(i >= 0);
5011 tl_assert(i < sb_in->stmts_used);
5012 tl_assert(sb_in->stmts[i]->tag == Ist_IMark);
5148 tl_assert( VG_(sizeXA)( mce.tmpMap ) == mce.sb->tyenv->types_used );
5151 tl_assert(mce.sb == sb_out);
5277 tl_assert(st);
5314 tl_assert(ent->kind == Orig);
5321 tl_assert(ent->kind == Orig);
5322 tl_assert(ent->shadowB == IRTemp_INVALID);
5368 tl_assert(0);
5401 tl_assert(isOriginalAtom(mce, guard));
5402 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
5429 tl_assert(0);
5447 tl_assert(0);
5452 tl_assert(eTy == Ity_I32);
5455 tl_assert(0);
5461 tl_assert(MC_(clo_mc_level) == 3);
5475 tl_assert(sizeofIRType(equivIntTy) >= 4);
5476 tl_assert(sizeofIRType(equivIntTy) == sizeofIRType(descr->elemTy));
5499 tl_assert(i < 32);
5500 tl_assert(isOriginalAtom(mce, args[i]));
5522 tl_assert(isIRAtom(e->Iex.Load.addr));
5523 tl_assert(mce->hWordTy == Ity_I32 || mce->hWordTy == Ity_I64);
5562 tl_assert(0);
5578 tl_assert(b_offset >= -1
5619 tl_assert(d->fxState[i].fx != Ifx_None);
5636 tl_assert(gSz > 0);
5664 tl_assert(d->mAddr);
5687 tl_assert(toDo == 0); /* also need to handle 1-byte excess */
5702 tl_assert(d->fxState[i].fx != Ifx_None);
5715 tl_assert(gSz > 0);
5747 tl_assert(toDo == 0); /* also need to handle 1-byte excess */
5762 tl_assert(isIRAtom(stAddr));
5763 tl_assert(isIRAtom(stData));
5773 tl_assert(MC_(clo_mc_level) == 3);
5795 tl_assert(sizeofIRType(equivIntTy) >= 4);
5796 tl_assert(sizeofIRType(equivIntTy) == sizeofIRType(descr->elemTy));
5833 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
