Home | History | Annotate | Download | only in memcheck

Lines Matching refs:isOriginalAtom

318 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 )
614    tl_assert(isOriginalAtom(mce, data));
622    tl_assert(isOriginalAtom(mce, data));
630    tl_assert(isOriginalAtom(mce, data));
638    tl_assert(isOriginalAtom(mce, data));
646    tl_assert(isOriginalAtom(mce, data));
654    tl_assert(isOriginalAtom(mce, data));
665    tl_assert(isOriginalAtom(mce, data));
677    tl_assert(isOriginalAtom(mce, data));
689    tl_assert(isOriginalAtom(mce, data));
701    tl_assert(isOriginalAtom(mce, data));
713    tl_assert(isOriginalAtom(mce, data));
725    tl_assert(isOriginalAtom(mce, data));
884    tl_assert(isOriginalAtom(mce,xx));
885    tl_assert(isOriginalAtom(mce,yy));
1006    tl_assert(isOriginalAtom(mce,xx));
1007    tl_assert(isOriginalAtom(mce,yy));
1115    tl_assert(isOriginalAtom(mce, atom));
1309       tl_assert(isOriginalAtom(mce, atom));
1360    tl_assert(isOriginalAtom(mce,atom));
1367    tl_assert(isOriginalAtom(mce,ix));
1416    tl_assert(isOriginalAtom(mce,ix));
1672       tl_assert(isOriginalAtom(mce, exprvec[i]));
1684       tl_assert(isOriginalAtom(mce, exprvec[i]));
1721    tl_assert(isOriginalAtom(mce,aa));
1722    tl_assert(isOriginalAtom(mce,bb));
1827    tl_assert(isOriginalAtom(mce,aa));
1828    tl_assert(isOriginalAtom(mce,bb));
2404    tl_assert(isOriginalAtom(mce,atom1));
2405    tl_assert(isOriginalAtom(mce,atom2));
2406    tl_assert(isOriginalAtom(mce,atom3));
2407    tl_assert(isOriginalAtom(mce,atom4));
2450    tl_assert(isOriginalAtom(mce,atom1));
2451    tl_assert(isOriginalAtom(mce,atom2));
2452    tl_assert(isOriginalAtom(mce,atom3));
2539    tl_assert(isOriginalAtom(mce,atom1));
2540    tl_assert(isOriginalAtom(mce,atom2));
3537    tl_assert(isOriginalAtom(mce,atom));
3839    tl_assert(isOriginalAtom(mce,addr));
3995    tl_assert(isOriginalAtom(mce, cond));
3996    tl_assert(isOriginalAtom(mce, expr0));
3997    tl_assert(isOriginalAtom(mce, exprX));
4156       tl_assert(isOriginalAtom(mce, data));
4163    tl_assert(isOriginalAtom(mce,addr));
4167       tl_assert(isOriginalAtom(mce, guard));
4690    tl_assert(isOriginalAtom(mce, orig));
4873    tl_assert(isOriginalAtom(mce, cas->dataLo));
4884    tl_assert(isOriginalAtom(mce, cas->expdLo));
4979    tl_assert(isOriginalAtom(mce, cas->dataHi));
4980    tl_assert(isOriginalAtom(mce, cas->dataLo));
4997    tl_assert(isOriginalAtom(mce, cas->expdHi));
4998    tl_assert(isOriginalAtom(mce, cas->expdLo));
5854       tl_assert(isOriginalAtom(mce, guard));
5956             tl_assert(isOriginalAtom(mce, args[i]));