Searched refs:isIRAtom (Results 1 – 10 of 10) sorted by relevance
274 return toBool( isIRAtom(e->Iex.Binop.arg1) in isFlat()275 && isIRAtom(e->Iex.Binop.arg2) ); in isFlat()277 return isIRAtom(e->Iex.Load.addr); in isFlat()411 if (isIRAtom(st->Ist.Put.data)) { in flatten_Stmt()699 vassert(isIRAtom(st->Ist.Put.data)); in redundant_get_removal_BB()769 vassert(isIRAtom(st->Ist.AbiHint.base)); in handle_gets_Stmt()770 vassert(isIRAtom(st->Ist.AbiHint.nia)); in handle_gets_Stmt()782 vassert(isIRAtom(st->Ist.Store.addr)); in handle_gets_Stmt()783 vassert(isIRAtom(st->Ist.Store.data)); in handle_gets_Stmt()788 vassert(isIRAtom(sg->addr)); in handle_gets_Stmt()[all …]
3472 if (isIRAtom(e)) { in isIRAtom_or_VECRET_or_BBPTR()3491 return isIRAtom(st->Ist.AbiHint.base) in isFlatIRStmt()3492 && isIRAtom(st->Ist.AbiHint.nia); in isFlatIRStmt()3494 return isIRAtom(st->Ist.Put.data); in isFlatIRStmt()3497 return toBool( isIRAtom(puti->ix) in isFlatIRStmt()3498 && isIRAtom(puti->data) ); in isFlatIRStmt()3507 case Iex_GetI: return isIRAtom(e->Iex.GetI.ix); in isFlatIRStmt()3511 isIRAtom(qop->arg1) in isFlatIRStmt()3512 && isIRAtom(qop->arg2) in isFlatIRStmt()3513 && isIRAtom(qop->arg3) in isFlatIRStmt()[all …]
544 tl_assert(isIRAtom(daddr)); in addEvent_Dr_guarded()571 tl_assert(isIRAtom(daddr)); in addEvent_Dw_guarded()593 tl_assert(isIRAtom(daddr)); in addEvent_Dw()
319 assert(isIRAtom(bb_in->next));367 assert(isIRAtom(data));368 assert(isIRAtom(addr));402 assert(isIRAtom(st->Ist.Put.data));406 assert(isIRAtom(st->Ist.PutI.ix));407 assert(isIRAtom(st->Ist.PutI.data));411 assert(isIRAtom(st->Ist.Exit.guard));1101 tl_assert(isIRAtom(vatom)); in complainIfUndefined()2529 tl_assert(isIRAtom(at)); in isBogusAtom()
619 tl_assert(isIRAtom(ea)); in addEvent_Dr()641 tl_assert(isIRAtom(ea)); in addEvent_Dw()676 tl_assert(isIRAtom(ea)); in addEvent_D_guarded()678 tl_assert(isIRAtom(guard)); in addEvent_D_guarded()719 tl_assert(isIRAtom(guard)); in addEvent_Bc()739 tl_assert(isIRAtom(whereTo)); in addEvent_Bi()1127 CLG_ASSERT(cas->addr && isIRAtom(cas->addr)); in CLG_()
906 tl_assert(isIRAtom(ea)); in addEvent_Dr()928 tl_assert(isIRAtom(ea)); in addEvent_Dw()964 tl_assert(isIRAtom(ea)); in addEvent_D_guarded()966 tl_assert(isIRAtom(guard)); in addEvent_D_guarded()1009 tl_assert(isIRAtom(guard)); in addEvent_Bc()1029 tl_assert(isIRAtom(whereTo)); in addEvent_Bi()
1295 tl_assert(isIRAtom(vatom)); in complainIfUndefined()5714 tl_assert(isIRAtom(stAddr)); in do_shadow_LLSC()5716 tl_assert(isIRAtom(stStoredata)); in do_shadow_LLSC()5825 tl_assert(isIRAtom(at)); in isBogusAtom()6709 tl_assert(isIRAtom(e->Iex.Load.addr)); in schemeE()6999 tl_assert(isIRAtom(stAddr)); in do_origins_Store_guarded()7000 tl_assert(isIRAtom(stData)); in do_origins_Store_guarded()
2068 static inline Bool isIRAtom ( IRExpr* e ) { in isIRAtom() function
4266 tl_assert(isIRAtom(arg1)); in mk_And1()4267 tl_assert(isIRAtom(arg2)); in mk_And1()4302 tl_assert(isIRAtom(addr)); in instrument_mem_access()
2129 tl_assert(isIRAtom(addr)); in instrument_mem_access()