Home | History | Annotate | Download | only in priv

Lines Matching refs:tmp64

11652       IRTemp tmp64        = newTemp( Ity_I64 );
11697          assign( tmp64,
11765          assign( tmp64,
11787                                                mkexpr( tmp64 ) ) ),
11794                                          unop( Iop_64to32, mkexpr( tmp64 ) ) ),
12255       IRTemp tmp64   = newTemp( Ity_I64 );
12272       assign( tmp64, unop( Iop_DPBtoBCD, mkexpr( frBI64 ) ) );
12273       assign( B_bcd_u, unop( Iop_64HIto32, mkexpr( tmp64 ) ) );
12274       assign( B_bcd_l, unop( Iop_64to32, mkexpr( tmp64 ) ) );