Home | History | Annotate | Download | only in priv

Lines Matching refs:sqrt0

12969          IRTemp sqrt0 = newTemp(Ity_F64);
12983             assign( sqrt0, binop( Iop_SqrtF64, rm, mkexpr( b0 ) ) );
12992                                     resp ? mkexpr( b0 ) : mkexpr( sqrt0 ) ) ) ) );