Home | History | Annotate | Download | only in useful

Lines Matching refs:isOriginalAtom

651 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 )
875    tl_assert(isOriginalAtom(mce, data));
883    tl_assert(isOriginalAtom(mce, data));
891    tl_assert(isOriginalAtom(mce, data));
899    tl_assert(isOriginalAtom(mce, data));
907    tl_assert(isOriginalAtom(mce, data));
918    tl_assert(isOriginalAtom(mce, data));
930    tl_assert(isOriginalAtom(mce, data));
942    tl_assert(isOriginalAtom(mce, data));
954    tl_assert(isOriginalAtom(mce, data));
966    tl_assert(isOriginalAtom(mce, data));
1072    tl_assert(isOriginalAtom(mce, atom));
1180       tl_assert(isOriginalAtom(mce, atom));
1211    tl_assert(isOriginalAtom(mce,atom));
1218    tl_assert(isOriginalAtom(mce,ix));
1264    tl_assert(isOriginalAtom(mce,ix));
1316       tl_assert(isOriginalAtom(mce, exprvec[i]));
1350    tl_assert(isOriginalAtom(mce,aa));
1351    tl_assert(isOriginalAtom(mce,bb));
1652    tl_assert(isOriginalAtom(mce,atom1));
1653    tl_assert(isOriginalAtom(mce,atom2));
1964    tl_assert(isOriginalAtom(mce,atom));
2058    tl_assert(isOriginalAtom(mce,addr));
2143    tl_assert(isOriginalAtom(mce, cond));
2144    tl_assert(isOriginalAtom(mce, iftrue));
2145    tl_assert(isOriginalAtom(mce, iffalse));
2270       tl_assert(isOriginalAtom(mce, data));
2277    tl_assert(isOriginalAtom(mce,addr));