Home | History | Annotate | Download | only in priv

Lines Matching full:tmp64

11793       IRTemp tmp64        = newTemp( Ity_I64 );
11838          assign( tmp64,
11906          assign( tmp64,
11928                                                mkexpr( tmp64 ) ) ),
11935                                          unop( Iop_64to32, mkexpr( tmp64 ) ) ),
12396       IRTemp tmp64   = newTemp( Ity_I64 );
12413       assign( tmp64, unop( Iop_DPBtoBCD, mkexpr( frBI64 ) ) );
12414       assign( B_bcd_u, unop( Iop_64HIto32, mkexpr( tmp64 ) ) );
12415       assign( B_bcd_l, unop( Iop_64to32, mkexpr( tmp64 ) ) );