Home | History | Annotate | Download | only in useful

Lines Matching refs:isShadowAtom

662 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 )
762    tl_assert(isShadowAtom(mce,a1));
763    tl_assert(isShadowAtom(mce,a2));
768    tl_assert(isShadowAtom(mce,a1));
769    tl_assert(isShadowAtom(mce,a2));
774    tl_assert(isShadowAtom(mce,a1));
775    tl_assert(isShadowAtom(mce,a2));
780    tl_assert(isShadowAtom(mce,a1));
781    tl_assert(isShadowAtom(mce,a2));
786    tl_assert(isShadowAtom(mce,a1));
787    tl_assert(isShadowAtom(mce,a2));
794    tl_assert(isShadowAtom(mce,a1));
795    tl_assert(isShadowAtom(mce,a2));
800    tl_assert(isShadowAtom(mce,a1));
801    tl_assert(isShadowAtom(mce,a2));
806    tl_assert(isShadowAtom(mce,a1));
807    tl_assert(isShadowAtom(mce,a2));
812    tl_assert(isShadowAtom(mce,a1));
813    tl_assert(isShadowAtom(mce,a2));
818    tl_assert(isShadowAtom(mce,a1));
819    tl_assert(isShadowAtom(mce,a2));
839    tl_assert(isShadowAtom(mce,a1));
849    tl_assert(isShadowAtom(mce,a1));
859    tl_assert(isShadowAtom(mce,a1));
876    tl_assert(isShadowAtom(mce, vbits));
884    tl_assert(isShadowAtom(mce, vbits));
892    tl_assert(isShadowAtom(mce, vbits));
900    tl_assert(isShadowAtom(mce, vbits));
908    tl_assert(isShadowAtom(mce, vbits));
919    tl_assert(isShadowAtom(mce, vbits));
931    tl_assert(isShadowAtom(mce, vbits));
943    tl_assert(isShadowAtom(mce, vbits));
955    tl_assert(isShadowAtom(mce, vbits));
967    tl_assert(isShadowAtom(mce, vbits));
984    tl_assert(isShadowAtom(mce,vbits));
1074    tl_assert(isShadowAtom(mce, vatom));
1184       tl_assert(isShadowAtom(mce, vatom));
1293    tl_assert(isShadowAtom(mce,va1));
1294    tl_assert(isShadowAtom(mce,va2));
1348    tl_assert(isShadowAtom(mce,qaa));
1349    tl_assert(isShadowAtom(mce,qbb));
1460    tl_assert(isShadowAtom(mce, vatomX));
1461    tl_assert(isShadowAtom(mce, vatomY));
1471    tl_assert(isShadowAtom(mce, vatomX));
1480    tl_assert(isShadowAtom(mce, vatomX));
1481    tl_assert(isShadowAtom(mce, vatomY));
1493    tl_assert(isShadowAtom(mce, vatomX));
1506    tl_assert(isShadowAtom(mce, vatomX));
1507    tl_assert(isShadowAtom(mce, vatomY));
1517    tl_assert(isShadowAtom(mce, vatomX));
1526    tl_assert(isShadowAtom(mce, vatomX));
1527    tl_assert(isShadowAtom(mce, vatomY));
1539    tl_assert(isShadowAtom(mce, vatomX));
1586    tl_assert(isShadowAtom(mce,vatom1));
1587    tl_assert(isShadowAtom(mce,vatom2));
1654    tl_assert(isShadowAtom(mce,vatom1));
1655    tl_assert(isShadowAtom(mce,vatom2));
2220    tl_assert(isShadowAtom(mce,vatom));
2278    tl_assert(isShadowAtom(mce,vdata));