Home | History | Annotate | Download | only in priv

Lines Matching defs:t64

3980                IRTemp t64 = newTemp(Ity_I64);
3983                assign( t64, mkIRExprCCall(
3994                put_fpround( unop(Iop_64to32, mkexpr(t64)) );
3995                assign( ew, unop(Iop_64HIto32, mkexpr(t64) ) );
7407 static void breakup64to16s ( IRTemp t64,
7414    assign( hi32, unop(Iop_64HIto32, mkexpr(t64)) );
7415    assign( lo32, unop(Iop_64to32,   mkexpr(t64)) );
8503       IRTemp t64 = newTemp(Ity_I64);
8522       assign( t64, mkIRExprCCall(
8530       put_sse_roundingmode( unop(Iop_64to32, mkexpr(t64)) );
8531       assign( ew, unop(Iop_64HIto32, mkexpr(t64) ) );