Searched refs:isIRAtom (Results 1 – 11 of 11) 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()770 vassert(isIRAtom(st->Ist.AbiHint.base)); in handle_gets_Stmt()771 vassert(isIRAtom(st->Ist.AbiHint.nia)); in handle_gets_Stmt()783 vassert(isIRAtom(st->Ist.Store.addr)); in handle_gets_Stmt()784 vassert(isIRAtom(st->Ist.Store.data)); in handle_gets_Stmt()789 vassert(isIRAtom(sg->addr)); in handle_gets_Stmt()[all …]
3627 if (isIRAtom(e)) { in isIRAtom_or_VECRET_or_BBPTR()3643 return isIRAtom(st->Ist.AbiHint.base) in isFlatIRStmt()3644 && isIRAtom(st->Ist.AbiHint.nia); in isFlatIRStmt()3646 return isIRAtom(st->Ist.Put.data); in isFlatIRStmt()3649 return toBool( isIRAtom(puti->ix) in isFlatIRStmt()3650 && isIRAtom(puti->data) ); in isFlatIRStmt()3660 case Iex_GetI: return isIRAtom(e->Iex.GetI.ix); in isFlatIRStmt()3664 isIRAtom(qop->arg1) in isFlatIRStmt()3665 && isIRAtom(qop->arg2) in isFlatIRStmt()3666 && isIRAtom(qop->arg3) in isFlatIRStmt()[all …]
1046 vassert(isIRAtom(cc_dep1)); in guest_amd64_spechelper()1047 vassert(isIRAtom(cc_dep2)); in guest_amd64_spechelper()1070 vassert(isIRAtom(cc_dep1)); in guest_amd64_spechelper()1071 vassert(isIRAtom(cc_dep2)); in guest_amd64_spechelper()1190 vassert(isIRAtom(cc_dep1)); in guest_amd64_spechelper()1191 vassert(isIRAtom(cc_dep2)); in guest_amd64_spechelper()
550 tl_assert(isIRAtom(daddr)); in addEvent_Dr_guarded()577 tl_assert(isIRAtom(daddr)); in addEvent_Dw_guarded()599 tl_assert(isIRAtom(daddr)); in addEvent_Dw()
340 assert(isIRAtom(bb_in->next));388 assert(isIRAtom(data));389 assert(isIRAtom(addr));423 assert(isIRAtom(st->Ist.Put.data));427 assert(isIRAtom(st->Ist.PutI.ix));428 assert(isIRAtom(st->Ist.PutI.data));432 assert(isIRAtom(st->Ist.Exit.guard));1122 tl_assert(isIRAtom(vatom)); in complainIfUndefined()2549 tl_assert(isIRAtom(at)); in isBogusAtom()
620 tl_assert(isIRAtom(ea)); in addEvent_Dr()642 tl_assert(isIRAtom(ea)); in addEvent_Dw()677 tl_assert(isIRAtom(ea)); in addEvent_D_guarded()679 tl_assert(isIRAtom(guard)); in addEvent_D_guarded()720 tl_assert(isIRAtom(guard)); in addEvent_Bc()740 tl_assert(isIRAtom(whereTo)); in addEvent_Bi()1128 CLG_ASSERT(cas->addr && isIRAtom(cas->addr)); in CLG_()
898 tl_assert(isIRAtom(ea)); in addEvent_Dr()920 tl_assert(isIRAtom(ea)); in addEvent_Dw()956 tl_assert(isIRAtom(ea)); in addEvent_D_guarded()958 tl_assert(isIRAtom(guard)); in addEvent_D_guarded()1001 tl_assert(isIRAtom(guard)); in addEvent_Bc()1021 tl_assert(isIRAtom(whereTo)); in addEvent_Bi()
1364 tl_assert(isIRAtom(vatom)); in complainIfUndefined()5998 tl_assert(isIRAtom(stAddr)); in do_shadow_LLSC()6000 tl_assert(isIRAtom(stStoredata)); in do_shadow_LLSC()6111 tl_assert(isIRAtom(at)); in isBogusAtom()6998 tl_assert(isIRAtom(e->Iex.Load.addr)); in schemeE()7288 tl_assert(isIRAtom(stAddr)); in do_origins_Store_guarded()7289 tl_assert(isIRAtom(stData)); in do_origins_Store_guarded()
2222 static inline Bool isIRAtom ( const IRExpr* e ) { in isIRAtom() function
4403 tl_assert(isIRAtom(arg1)); in mk_And1()4404 tl_assert(isIRAtom(arg2)); in mk_And1()4439 tl_assert(isIRAtom(addr)); in instrument_mem_access()
2137 tl_assert(isIRAtom(addr)); in instrument_mem_access()