Lines Matching refs:isOriginalAtom
651 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 ) in isOriginalAtom() function
875 tl_assert(isOriginalAtom(mce, data)); in mkImproveAND8()
883 tl_assert(isOriginalAtom(mce, data)); in mkImproveAND16()
891 tl_assert(isOriginalAtom(mce, data)); in mkImproveAND32()
899 tl_assert(isOriginalAtom(mce, data)); in mkImproveAND64()
907 tl_assert(isOriginalAtom(mce, data)); in mkImproveANDV128()
918 tl_assert(isOriginalAtom(mce, data)); in mkImproveOR8()
930 tl_assert(isOriginalAtom(mce, data)); in mkImproveOR16()
942 tl_assert(isOriginalAtom(mce, data)); in mkImproveOR32()
954 tl_assert(isOriginalAtom(mce, data)); in mkImproveOR64()
966 tl_assert(isOriginalAtom(mce, data)); in mkImproveORV128()
1072 tl_assert(isOriginalAtom(mce, atom)); in complainIfUndefined()
1180 tl_assert(isOriginalAtom(mce, atom)); in do_shadow_PUT()
1211 tl_assert(isOriginalAtom(mce,atom)); in do_shadow_PUTI()
1218 tl_assert(isOriginalAtom(mce,ix)); in do_shadow_PUTI()
1264 tl_assert(isOriginalAtom(mce,ix)); in shadow_GETI()
1316 tl_assert(isOriginalAtom(mce, exprvec[i])); in mkLazyN()
1350 tl_assert(isOriginalAtom(mce,aa)); in expensiveAdd32()
1351 tl_assert(isOriginalAtom(mce,bb)); in expensiveAdd32()
1652 tl_assert(isOriginalAtom(mce,atom1)); in expr2vbits_Binop()
1653 tl_assert(isOriginalAtom(mce,atom2)); in expr2vbits_Binop()
1964 tl_assert(isOriginalAtom(mce,atom)); in expr2vbits_Unop()
2058 tl_assert(isOriginalAtom(mce,addr)); in expr2vbits_LDle_WRK()
2143 tl_assert(isOriginalAtom(mce, cond)); in expr2vbits_ITE()
2144 tl_assert(isOriginalAtom(mce, iftrue)); in expr2vbits_ITE()
2145 tl_assert(isOriginalAtom(mce, iffalse)); in expr2vbits_ITE()
2270 tl_assert(isOriginalAtom(mce, data)); in do_shadow_STle()
2277 tl_assert(isOriginalAtom(mce,addr)); in do_shadow_STle()