• Home
  • Raw
  • Download

Lines Matching refs:Ist

403          curr_IP       = st->Ist.IMark.addr;  in vg_SP_update_pass()
408 e = st->Ist.WrTmp.data; in vg_SP_update_pass()
412 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP ); in vg_SP_update_pass()
413 add_SP_alias(st->Ist.WrTmp.tmp, 0); in vg_SP_update_pass()
420 e = st->Ist.WrTmp.data; in vg_SP_update_pass()
427 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP ); in vg_SP_update_pass()
429 add_SP_alias(st->Ist.WrTmp.tmp, delta + con); in vg_SP_update_pass()
431 add_SP_alias(st->Ist.WrTmp.tmp, delta - con); in vg_SP_update_pass()
439 e = st->Ist.WrTmp.data; in vg_SP_update_pass()
442 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP ); in vg_SP_update_pass()
443 add_SP_alias(st->Ist.WrTmp.tmp, delta); in vg_SP_update_pass()
455 first_Put = st->Ist.Put.offset; in vg_SP_update_pass()
457 + sizeofIRType( typeOfIRExpr( bb->tyenv, st->Ist.Put.data )) in vg_SP_update_pass()
465 if (st->Ist.Put.data->tag == Iex_RdTmp in vg_SP_update_pass()
466 && get_SP_delta(st->Ist.Put.data->Iex.RdTmp.tmp, &delta)) { in vg_SP_update_pass()
467 IRTemp tttmp = st->Ist.Put.data->Iex.RdTmp.tmp; in vg_SP_update_pass()
544 mkIRExprVec_3( IRExpr_RdTmp(old_SP), st->Ist.Put.data, in vg_SP_update_pass()
552 mkIRExprVec_2( IRExpr_RdTmp(old_SP), st->Ist.Put.data ) in vg_SP_update_pass()
612 && st->Ist.Put.data->tag == Iex_RdTmp) { in vg_SP_update_pass()
613 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.Put.data->Iex.RdTmp.tmp) in vg_SP_update_pass()
615 add_SP_alias(st->Ist.Put.data->Iex.RdTmp.tmp, 0); in vg_SP_update_pass()
625 descr = st->Ist.PutI.details->descr; in vg_SP_update_pass()
634 d = st->Ist.Dirty.details; in vg_SP_update_pass()