Home | History | Annotate | Download | only in priv

Lines Matching defs:w64

5205                IRTemp   w64 = newTemp(Ity_I64);
5213                d->tmp      = w64;
5245 	       assign(ew, unop(Iop_64to32,mkexpr(w64)) );
6165                IRTemp  w64 = newTemp(Ity_I64);
6192                d->tmp      = w64;
6228                assign(ew, unop(Iop_64to32,mkexpr(w64)) );