Home | History | Annotate | Download | only in priv

Lines Matching full:tmp64

10758       IRTemp tmp64        = newTemp( Ity_I64 );
10804          assign( tmp64,
10872          assign( tmp64,
10895                                                mkexpr( tmp64 ) ) ),
10902                                          unop( Iop_64to32, mkexpr( tmp64 ) ) ),
11363       IRTemp tmp64   = newTemp( Ity_I64 );
11380       assign( tmp64, unop( Iop_DPBtoBCD, mkexpr( frBI64 ) ) );
11381       assign( B_bcd_u, unop( Iop_64HIto32, mkexpr( tmp64 ) ) );
11382       assign( B_bcd_l, unop( Iop_64to32, mkexpr( tmp64 ) ) );