Home | History | Annotate | Download | only in VEX

Lines Matching refs:isShadowAtom

618 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 )
718    tl_assert(isShadowAtom(mce,a1));
719    tl_assert(isShadowAtom(mce,a2));
724    tl_assert(isShadowAtom(mce,a1));
725    tl_assert(isShadowAtom(mce,a2));
730    tl_assert(isShadowAtom(mce,a1));
731    tl_assert(isShadowAtom(mce,a2));
736    tl_assert(isShadowAtom(mce,a1));
737    tl_assert(isShadowAtom(mce,a2));
742    tl_assert(isShadowAtom(mce,a1));
743    tl_assert(isShadowAtom(mce,a2));
750    tl_assert(isShadowAtom(mce,a1));
751    tl_assert(isShadowAtom(mce,a2));
756    tl_assert(isShadowAtom(mce,a1));
757    tl_assert(isShadowAtom(mce,a2));
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));
795    tl_assert(isShadowAtom(mce,a1));
805    tl_assert(isShadowAtom(mce,a1));
815    tl_assert(isShadowAtom(mce,a1));
832    tl_assert(isShadowAtom(mce, vbits));
840    tl_assert(isShadowAtom(mce, vbits));
848    tl_assert(isShadowAtom(mce, vbits));
856    tl_assert(isShadowAtom(mce, vbits));
864    tl_assert(isShadowAtom(mce, vbits));
875    tl_assert(isShadowAtom(mce, vbits));
887    tl_assert(isShadowAtom(mce, vbits));
899    tl_assert(isShadowAtom(mce, vbits));
911    tl_assert(isShadowAtom(mce, vbits));
923    tl_assert(isShadowAtom(mce, vbits));
940    tl_assert(isShadowAtom(mce,vbits));
1030    tl_assert(isShadowAtom(mce, vatom));
1140       tl_assert(isShadowAtom(mce, vatom));
1249    tl_assert(isShadowAtom(mce,va1));
1250    tl_assert(isShadowAtom(mce,va2));
1304    tl_assert(isShadowAtom(mce,qaa));
1305    tl_assert(isShadowAtom(mce,qbb));
1416    tl_assert(isShadowAtom(mce, vatomX));
1417    tl_assert(isShadowAtom(mce, vatomY));
1427    tl_assert(isShadowAtom(mce, vatomX));
1436    tl_assert(isShadowAtom(mce, vatomX));
1437    tl_assert(isShadowAtom(mce, vatomY));
1449    tl_assert(isShadowAtom(mce, vatomX));
1462 isShadowAtom(mce, vatomX));
1463    tl_assert(isShadowAtom(mce, vatomY));
1473    tl_assert(isShadowAtom(mce, vatomX));
1482    tl_assert(isShadowAtom(mce, vatomX));
1483    tl_assert(isShadowAtom(mce, vatomY));
1495    tl_assert(isShadowAtom(mce, vatomX));
1542    tl_assert(isShadowAtom(mce,vatom1));
1543    tl_assert(isShadowAtom(mce,vatom2));
1610    tl_assert(isShadowAtom(mce,vatom1));
1611    tl_assert(isShadowAtom(mce,vatom2));
2177    tl_assert(isShadowAtom(mce,vatom));
2235    tl_assert(isShadowAtom(mce,vdata));