Home | History | Annotate | Download | only in priv

Lines Matching full:sqrt2

9816          IRTemp sqrt2 = newTemp(Ity_F64);
9830             assign( sqrt2, binop( Iop_SqrtF64, rm, mkexpr( b2 ) ) );
9855                                     resp ? mkexpr( b2 ) : mkexpr( sqrt2 ) ) ) ) );