Home | History | Annotate | Download | only in priv

Lines Matching refs:sqrt2

12967          IRTemp sqrt2 = newTemp(Ity_F64);
12981             assign( sqrt2, binop( Iop_SqrtF64, rm, mkexpr( b2 ) ) );
13006                                     resp ? mkexpr( b2 ) : mkexpr( sqrt2 ) ) ) ) );