Home | History | Annotate | Download | only in priv

Lines Matching defs:hi32

7411    IRTemp hi32 = newTemp(Ity_I32);
7413    assign( hi32, unop(Iop_64HIto32, mkexpr(t64)) );
7427    assign( *t2, unop(Iop_32to16,   mkexpr(hi32)) );
7428    assign( *t3, unop(Iop_32HIto16, mkexpr(hi32)) );