Home | History | Annotate | Download | only in priv

Lines Matching full:udst

3496    IRExpr*  udst;
3517    udst = bb0->next;
3518    if (udst->tag == Iex_Const
3519        && (udst->Iex.Const.con->tag == Ico_U32
3520            || udst->Iex.Const.con->tag == Ico_U64)) {
3523       xxx_value = udst->Iex.Const.con->tag == Ico_U64
3524                     ?  udst->Iex.Const.con->Ico.U64
3525                     : (Addr64)(udst->Iex.Const.con->Ico.U32);
3541       udst = NULL; /* is now invalid */
3572    vassert(con->tag == udst->Iex.Const.con->tag);
3589    udst = NULL; /* is now invalid */
3605    udst = bb1->next;
3606    vassert(udst->tag == Iex_Const);
3607    vassert(udst->Iex.Const.con->tag == Ico_U32
3608           || udst->Iex.Const.con->tag == Ico_U64);
3609    vassert(con->tag == udst->Iex.Const.con->tag);
3613       udst->Iex.Const.con->Ico.U64 = xxx_value;
3616       udst->Iex.Const.con->Ico.U32 = (UInt)xxx_value;