Home | History | Annotate | Download | only in memcheck

Lines Matching refs:isOriginalAtom

311 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 )
587    tl_assert(isOriginalAtom(mce, data));
595    tl_assert(isOriginalAtom(mce, data));
603    tl_assert(isOriginalAtom(mce, data));
611    tl_assert(isOriginalAtom(mce, data));
619    tl_assert(isOriginalAtom(mce, data));
630    tl_assert(isOriginalAtom(mce, data));
642    tl_assert(isOriginalAtom(mce, data));
654    tl_assert(isOriginalAtom(mce, data));
666    tl_assert(isOriginalAtom(mce, data));
678    tl_assert(isOriginalAtom(mce, data));
828    tl_assert(isOriginalAtom(mce,xx));
829    tl_assert(isOriginalAtom(mce,yy));
950    tl_assert(isOriginalAtom(mce,xx));
951    tl_assert(isOriginalAtom(mce,yy));
1055    tl_assert(isOriginalAtom(mce, atom));
1237       tl_assert(isOriginalAtom(mce, atom));
1276    tl_assert(isOriginalAtom(mce,atom));
1283    tl_assert(isOriginalAtom(mce,ix));
1332    tl_assert(isOriginalAtom(mce,ix));
1588       tl_assert(isOriginalAtom(mce, exprvec[i]));
1600       tl_assert(isOriginalAtom(mce, exprvec[i]));
1637    tl_assert(isOriginalAtom(mce,aa));
1638    tl_assert(isOriginalAtom(mce,bb));
1743    tl_assert(isOriginalAtom(mce,aa));
1744    tl_assert(isOriginalAtom(mce,bb));
2266    tl_assert(isOriginalAtom(mce,atom1));
2267    tl_assert(isOriginalAtom(mce,atom2));
2268    tl_assert(isOriginalAtom(mce,atom3));
2269    tl_assert(isOriginalAtom(mce,atom4));
2307    tl_assert(isOriginalAtom(mce,atom1));
2308    tl_assert(isOriginalAtom(mce,atom2));
2309    tl_assert(isOriginalAtom(mce,atom3));
2380    tl_assert(isOriginalAtom(mce,atom1));
2381    tl_assert(isOriginalAtom(mce,atom2));
3291    tl_assert(isOriginalAtom(mce,atom));
3568    tl_assert(isOriginalAtom(mce,addr));
3683    tl_assert(isOriginalAtom(mce, cond));
3684    tl_assert(isOriginalAtom(mce, expr0));
3685    tl_assert(isOriginalAtom(mce, exprX));
3843       tl_assert(isOriginalAtom(mce, data));
3850    tl_assert(isOriginalAtom(mce,addr));
3854       tl_assert(isOriginalAtom(mce, guard));
4267    tl_assert(isOriginalAtom(mce, orig));
4450    tl_assert(isOriginalAtom(mce, cas->dataLo));
4461    tl_assert(isOriginalAtom(mce, cas->expdLo));
4556    tl_assert(isOriginalAtom(mce, cas->dataHi));
4557    tl_assert(isOriginalAtom(mce, cas->dataLo));
4574    tl_assert(isOriginalAtom(mce, cas->expdHi));
4575    tl_assert(isOriginalAtom(mce, cas->expdLo));
5401       tl_assert(isOriginalAtom(mce, guard));
5500             tl_assert(isOriginalAtom(mce, args[i]));