Home | History | Annotate | Download | only in memcheck

Lines Matching refs:isOriginalAtom

330 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 )
630    tl_assert(isOriginalAtom(mce, data));
638    tl_assert(isOriginalAtom(mce, data));
646    tl_assert(isOriginalAtom(mce, data));
654    tl_assert(isOriginalAtom(mce, data));
662    tl_assert(isOriginalAtom(mce, data));
670    tl_assert(isOriginalAtom(mce, data));
681    tl_assert(isOriginalAtom(mce, data));
693    tl_assert(isOriginalAtom(mce, data));
705    tl_assert(isOriginalAtom(mce, data));
717    tl_assert(isOriginalAtom(mce, data));
729    tl_assert(isOriginalAtom(mce, data));
741    tl_assert(isOriginalAtom(mce, data));
983    tl_assert(isOriginalAtom(mce,xx));
984    tl_assert(isOriginalAtom(mce,yy));
1114    tl_assert(isOriginalAtom(mce,xx));
1115    tl_assert(isOriginalAtom(mce,yy));
1229       tl_assert(isOriginalAtom(mce, guard));
1235    tl_assert(isOriginalAtom(mce, atom));
1444       tl_assert(isOriginalAtom(mce, atom));
1495    tl_assert(isOriginalAtom(mce,atom));
1502    tl_assert(isOriginalAtom(mce,ix));
1551    tl_assert(isOriginalAtom(mce,ix));
1844       tl_assert(isOriginalAtom(mce, exprvec[i]));
1856       tl_assert(isOriginalAtom(mce, exprvec[i]));
1893    tl_assert(isOriginalAtom(mce,aa));
1894    tl_assert(isOriginalAtom(mce,bb));
1977    tl_assert(isOriginalAtom(mce,atom));
2053    tl_assert(isOriginalAtom(mce,aa));
2054    tl_assert(isOriginalAtom(mce,bb));
2774    tl_assert(isOriginalAtom(mce,atom1));
2775    tl_assert(isOriginalAtom(mce,atom2));
2776    tl_assert(isOriginalAtom(mce,atom3));
2777    tl_assert(isOriginalAtom(mce,atom4));
2820    tl_assert(isOriginalAtom(mce,atom1));
2821    tl_assert(isOriginalAtom(mce,atom2));
2822    tl_assert(isOriginalAtom(mce,atom3));
2942    tl_assert(isOriginalAtom(mce,atom1));
2943    tl_assert(isOriginalAtom(mce,atom2));
4285    tl_assert(isOriginalAtom(mce,atom));
4624    tl_assert(isOriginalAtom(mce,addr));
4867    tl_assert(isOriginalAtom(mce, cond));
4868    tl_assert(isOriginalAtom(mce, iftrue));
4869    tl_assert(isOriginalAtom(mce, iffalse));
5033       tl_assert(isOriginalAtom(mce, data));
5040    tl_assert(isOriginalAtom(mce,addr));
5044       tl_assert(isOriginalAtom(mce, guard));
5570    tl_assert(isOriginalAtom(mce, orig));
5753 isOriginalAtom(mce, cas->dataLo));
5764    tl_assert(isOriginalAtom(mce, cas->expdLo));
5860    tl_assert(isOriginalAtom(mce, cas->dataHi));
5861    tl_assert(isOriginalAtom(mce, cas->dataLo));
5878    tl_assert(isOriginalAtom(mce, cas->expdHi));
5879    tl_assert(isOriginalAtom(mce, cas->expdLo));
6867       tl_assert(isOriginalAtom(mce, guard));
6969             tl_assert(isOriginalAtom(mce, args[i]));