Home | History | Annotate | Download | only in priv

Lines Matching defs:sign

92 /* Sign extend a value with the given number of bits. This is a
10532    IRTemp sign  = newTemp(Ity_I64);
10535    assign(sign, binop(Iop_And64, unop(Iop_ReinterpF64asI64, get_fpr_dw0(r3)),
10540                                                     mkexpr(sign))));