Home | History | Annotate | Download | only in priv

Lines Matching defs:hi32

7445    IRTemp hi32 = newTemp(Ity_I32);
7447    assign( hi32, unop(Iop_64HIto32, mkexpr(t64)) );
7461    assign( *t2, unop(Iop_32to16,   mkexpr(hi32)) );
7462    assign( *t3, unop(Iop_32HIto16, mkexpr(hi32)) );