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 …]
3621 if (isIRAtom(e)) { in isIRAtom_or_VECRET_or_BBPTR()3637 return isIRAtom(st->Ist.AbiHint.base) in isFlatIRStmt()3638 && isIRAtom(st->Ist.AbiHint.nia); in isFlatIRStmt()3640 return isIRAtom(st->Ist.Put.data); in isFlatIRStmt()3643 return toBool( isIRAtom(puti->ix) in isFlatIRStmt()3644 && isIRAtom(puti->data) ); in isFlatIRStmt()3654 case Iex_GetI: return isIRAtom(e->Iex.GetI.ix); in isFlatIRStmt()3658 isIRAtom(qop->arg1) in isFlatIRStmt()3659 && isIRAtom(qop->arg2) in isFlatIRStmt()3660 && isIRAtom(qop->arg3) in isFlatIRStmt()[all …]
1007 vassert(isIRAtom(cc_dep1)); in guest_amd64_spechelper()1008 vassert(isIRAtom(cc_dep2)); in guest_amd64_spechelper()1031 vassert(isIRAtom(cc_dep1)); in guest_amd64_spechelper()1032 vassert(isIRAtom(cc_dep2)); in guest_amd64_spechelper()1151 vassert(isIRAtom(cc_dep1)); in guest_amd64_spechelper()1152 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()5994 tl_assert(isIRAtom(stAddr)); in do_shadow_LLSC()5996 tl_assert(isIRAtom(stStoredata)); in do_shadow_LLSC()6106 tl_assert(isIRAtom(at)); in isBogusAtom()6991 tl_assert(isIRAtom(e->Iex.Load.addr)); in schemeE()7281 tl_assert(isIRAtom(stAddr)); in do_origins_Store_guarded()7282 tl_assert(isIRAtom(stData)); in do_origins_Store_guarded()
2216 static inline Bool isIRAtom ( const IRExpr* e ) { in isIRAtom() function
4279 tl_assert(isIRAtom(arg1)); in mk_And1()4280 tl_assert(isIRAtom(arg2)); in mk_And1()4315 tl_assert(isIRAtom(addr)); in instrument_mem_access()
2137 tl_assert(isIRAtom(addr)); in instrument_mem_access()