Lines Matching refs:IRExpr
471 IRExpr 666 IRExpr** argv;667 IRExpr* i_node_expr;1030 IRExpr* data = st->Ist.WrTmp.data;1032 IRExpr* aexpr = data->Iex.Load.addr;1042 IRExpr* data = st->Ist.Store.data;1043 IRExpr* aexpr = st->Ist.Store.addr;1129 IRExpr* one = tyW==Ity_I32 ? IRExpr_Const(IRConst_U32(1))