Home | History | Annotate | Download | only in priv

Lines Matching refs:sqrt3

12966          IRTemp sqrt3 = newTemp(Ity_F64);
12980             assign( sqrt3, binop( Iop_SqrtF64, rm, mkexpr( b3 ) ) );
13013                                     resp ? mkexpr( b3 ) : mkexpr( sqrt3 ) ) ) ) );