Home | History | Annotate | Download | only in priv

Lines Matching full:udst

4748    IRExpr*  udst;
4769    udst = bb0->next;
4770    if (udst->tag == Iex_Const
4771        && (udst->Iex.Const.con->tag == Ico_U32
4772            || udst->Iex.Const.con->tag == Ico_U64)) {
4775       xxx_value = udst->Iex.Const.con->tag == Ico_U64
4776                     ?  udst->Iex.Const.con->Ico.U64
4777                     : (Addr64)(udst->Iex.Const.con->Ico.U32);
4793       udst = NULL; /* is now invalid */
4824    vassert(con->tag == udst->Iex.Const.con->tag);
4841    udst = NULL; /* is now invalid */
4857    udst = bb1->next;
4858    vassert(udst->tag == Iex_Const);
4859    vassert(udst->Iex.Const.con->tag == Ico_U32
4860           || udst->Iex.Const.con->tag == Ico_U64);
4861    vassert(con->tag == udst->Iex.Const.con->tag);
4865       udst->Iex.Const.con->Ico.U64 = xxx_value;
4868       udst->Iex.Const.con->Ico.U32 = (UInt)xxx_value;