Searched refs:isIRAtom (Results 1 – 11 of 11) sorted by relevance
255 return toBool( isIRAtom(e->Iex.Binop.arg1) in isFlat()256 && isIRAtom(e->Iex.Binop.arg2) ); in isFlat()258 return isIRAtom(e->Iex.Load.addr); in isFlat()385 if (isIRAtom(st->Ist.Put.data)) { in flatten_Stmt()654 vassert(isIRAtom(st->Ist.Put.data)); in redundant_get_removal_BB()724 vassert(isIRAtom(st->Ist.AbiHint.base)); in handle_gets_Stmt()725 vassert(isIRAtom(st->Ist.AbiHint.nia)); in handle_gets_Stmt()737 vassert(isIRAtom(st->Ist.Store.addr)); in handle_gets_Stmt()738 vassert(isIRAtom(st->Ist.Store.data)); in handle_gets_Stmt()743 vassert(isIRAtom(st->Ist.Exit.guard)); in handle_gets_Stmt()[all …]
2615 return isIRAtom(st->Ist.AbiHint.base) in isFlatIRStmt()2616 && isIRAtom(st->Ist.AbiHint.nia); in isFlatIRStmt()2618 return isIRAtom(st->Ist.Put.data); in isFlatIRStmt()2620 return toBool( isIRAtom(st->Ist.PutI.ix) in isFlatIRStmt()2621 && isIRAtom(st->Ist.PutI.data) ); in isFlatIRStmt()2630 case Iex_GetI: return isIRAtom(e->Iex.GetI.ix); in isFlatIRStmt()2633 isIRAtom(e->Iex.Qop.arg1) in isFlatIRStmt()2634 && isIRAtom(e->Iex.Qop.arg2) in isFlatIRStmt()2635 && isIRAtom(e->Iex.Qop.arg3) in isFlatIRStmt()2636 && isIRAtom(e->Iex.Qop.arg4)); in isFlatIRStmt()[all …]
3894 tl_assert(isIRAtom(a1)); in gen_dirty_W_W()3911 tl_assert(isIRAtom(a1)); in gen_dirty_W_WW()3912 tl_assert(isIRAtom(a2)); in gen_dirty_W_WW()3930 tl_assert(isIRAtom(a1)); in gen_dirty_W_WWW()3931 tl_assert(isIRAtom(a2)); in gen_dirty_W_WWW()3932 tl_assert(isIRAtom(a3)); in gen_dirty_W_WWW()3952 tl_assert(isIRAtom(a1)); in gen_dirty_W_WWWW()3953 tl_assert(isIRAtom(a2)); in gen_dirty_W_WWWW()3954 tl_assert(isIRAtom(a3)); in gen_dirty_W_WWWW()3955 tl_assert(isIRAtom(a4)); in gen_dirty_W_WWWW()[all …]
2071 tl_assert(isIRAtom(addr)); in instrument_mem_access()
614 tl_assert(isIRAtom(ea)); in addEvent_Dr()635 tl_assert(isIRAtom(ea)); in addEvent_Dw()668 tl_assert(isIRAtom(guard)); in addEvent_Bc()688 tl_assert(isIRAtom(whereTo)); in addEvent_Bi()1052 CLG_ASSERT(cas->addr && isIRAtom(cas->addr)); in CLG_()
530 tl_assert(isIRAtom(daddr)); in addEvent_Dr()548 tl_assert(isIRAtom(daddr)); in addEvent_Dw()
848 tl_assert(isIRAtom(ea)); in addEvent_Dr()870 tl_assert(isIRAtom(ea)); in addEvent_Dw()905 tl_assert(isIRAtom(guard)); in addEvent_Bc()925 tl_assert(isIRAtom(whereTo)); in addEvent_Bi()
1131 tl_assert(isIRAtom(vatom)); in complainIfUndefined()4470 tl_assert(isIRAtom(stAddr)); in do_shadow_LLSC()4472 tl_assert(isIRAtom(stStoredata)); in do_shadow_LLSC()4527 tl_assert(isIRAtom(at)); in isBogusAtom()5303 tl_assert(isIRAtom(e->Iex.Load.addr)); in schemeE()5543 tl_assert(isIRAtom(stAddr)); in do_origins_Store()5544 tl_assert(isIRAtom(stData)); in do_origins_Store()
1509 static inline Bool isIRAtom ( IRExpr* e ) { in isIRAtom() function
1077 tl_assert(isIRAtom(addr)); in instrument_mem_access()
4002 tl_assert(isIRAtom(addr)); in instrument_mem_access()