Home | History | Annotate | Download | only in VEX

Lines Matching refs:isOriginalAtom

607 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 )
831    tl_assert(isOriginalAtom(mce, data));
839    tl_assert(isOriginalAtom(mce, data));
847    tl_assert(isOriginalAtom(mce, data));
855    tl_assert(isOriginalAtom(mce, data));
863    tl_assert(isOriginalAtom(mce, data));
874    tl_assert(isOriginalAtom(mce, data));
886    tl_assert(isOriginalAtom(mce, data));
898    tl_assert(isOriginalAtom(mce, data));
910    tl_assert(isOriginalAtom(mce, data));
922    tl_assert(isOriginalAtom(mce, data));
1028    tl_assert(isOriginalAtom(mce, atom));
1136       tl_assert(isOriginalAtom(mce, atom));
1167    tl_assert(isOriginalAtom(mce,atom));
1174    tl_assert(isOriginalAtom(mce,ix));
1220    tl_assert(isOriginalAtom(mce,ix));
1272       tl_assert(isOriginalAtom(mce, exprvec[i]));
1306    tl_assert(isOriginalAtom(mce,aa));
1307    tl_assert(isOriginalAtom(mce,bb));
1608    tl_assert(isOriginalAtom(mce,atom1));
1609    tl_assert(isOriginalAtom(mce,atom2));
1920    tl_assert(isOriginalAtom(mce,atom));
2015    tl_assert(isOriginalAtom(mce,addr));
2100    tl_assert(isOriginalAtom(mce, cond));
2101    tl_assert(isOriginalAtom(mce, expr0));
2102    tl_assert(isOriginalAtom(mce, exprX));
2227       tl_assert(isOriginalAtom(mce, data));
2234    tl_assert(isOriginalAtom(mce,addr));