Lines Matching defs:Load
80 Immediately prior to any load or store, those parts of the guest
84 be up-to-date at the point of the load/store.
277 return isIRAtom(e->Iex.Load.addr);
349 IRExpr_Load(ex->Iex.Load.end,
350 ex->Iex.Load.ty,
351 flatten_Expr(bb, ex->Iex.Load.addr))));
1033 Get's, GetI's or Load's, even when accessing the same location, will be
2501 vassert(isIRAtom(ex->Iex.Load.addr));
2503 ex->Iex.Load.end,
2504 ex->Iex.Load.ty,
2505 subst_Expr(env, ex->Iex.Load.addr)
2622 replace it with an unconditional load, because doing so
2633 /* The condition on this load has folded down to a constant. */
2636 /* The load is not going to happen -- instead 'alt' is
2641 /* The load is always going to happen. We want to
2642 convert to an unconditional load and assign to 'dst'
2645 Instead, reconstitute the conditional load (with
2838 into a load-convert pair. The fixups[] entry
2884 /* Figure out the load and result types, and the implied
2898 load. */
2950 addUses_Expr(set, e->Iex.Load.addr);
3421 CCall, Load
3488 /* Load(end,ty,addr) */
3493 } Load;
3561 case Load: {
3562 Bool eq = toBool(a1->u.Load.end == a2->u.Load.end
3563 && a1->u.Load.ty == a2->u.Load.ty
3564 && eqTmpOrConst(&a1->u.Load.addr, &a2->u.Load.addr));
3637 case Load:
3638 return IRExpr_Load(ae->u.Load.end, ae->u.Load.ty,
3639 tmpOrConst_to_IRExpr(&ae->u.Load.addr));
3711 case Load:
3712 subst_AvailExpr_TmpOrConst(&ae->u.Load.addr, env);
3841 return NULL here, and the load never becomes considered
3846 ae->tag = Load;
3847 ae->u.Load.end = e->Iex.Load.end;
3848 ae->u.Load.ty = e->Iex.Load.ty;
3849 irExpr_to_TmpOrConst(&ae->u.Load.addr, e->Iex.Load.addr);
3906 vulnerable kind of bindings are the GetI and Load kinds.
3932 if (ae->tag != GetIt && ae->tag != Load)
3939 if (ae->tag == Load) {
3944 invalidate the load. */
4360 CAS is a load-store op, so it should be safe to say False.
4579 deltaIRExpr(e->Iex.Load.addr, delta);
5032 setHints_Expr(doesLoad, getInterval, e->Iex.Load.addr);
5118 aoccCount_Expr(uses, e->Iex.Load.addr);
5480 e->Iex.Load.end,
5481 e->Iex.Load.ty,
5482 atbSubst_Expr(env, e->Iex.Load.addr)
5892 a load expression cannot be substituted into a statement
5895 Think of a load that is moved past a put where the put
5896 updates the IP in the guest state. If the load generates
