Home | History | Annotate | Download | only in priv

Lines Matching refs:udst

4618    IRExpr*  udst;
4639    udst = bb0->next;
4640    if (udst->tag == Iex_Const
4641        && (udst->Iex.Const.con->tag == Ico_U32
4642            || udst->Iex.Const.con->tag == Ico_U64)) {
4645       xxx_value = udst->Iex.Const.con->tag == Ico_U64
4646                     ?  udst->Iex.Const.con->Ico.U64
4647                     : (Addr64)(udst->Iex.Const.con->Ico.U32);
4663       udst = NULL; /* is now invalid */
4694    vassert(con->tag == udst->Iex.Const.con->tag);
4711    udst = NULL; /* is now invalid */
4727    udst = bb1->next;
4728    vassert(udst->tag == Iex_Const);
4729    vassert(udst->Iex.Const.con->tag == Ico_U32
4730           || udst->Iex.Const.con->tag == Ico_U64);
4731    vassert(con->tag == udst->Iex.Const.con->tag);
4735       udst->Iex.Const.con->Ico.U64 = xxx_value;
4738       udst->Iex.Const.con->Ico.U32 = (UInt)xxx_value;