Lines Matching refs:Iop_32HLto64
3099 binop(Iop_32HLto64, getIRegRDX(4), getIRegRAX(4)) );
6809 binop( Iop_32HLto64,
6820 binop( Iop_32HLto64,
7305 assign( tmp64, binop(Iop_32HLto64, mkexpr(esrc), mkexpr(gsrc)) );
7317 assign( tmp64, binop(Iop_32HLto64, mkexpr(gsrc), mkexpr(esrc)) );
7324 binop(Iop_32HLto64,
7345 binop(Iop_32HLto64,
8690 binop(Iop_32HLto64, mkexpr(t3), mkexpr(t2)),
8691 binop(Iop_32HLto64, mkexpr(t1), mkexpr(t0))
8728 binop( Iop_32HLto64,
9634 binop( Iop_32HLto64,
10810 binop( Iop_32HLto64,
