8005    IRTemp  frD = newTemp(Ity_F64);  in dis_fp_arith()  local
8034          assign( frD, triop( Iop_DivF64r32,   in dis_fp_arith()
8043          assign( frD, triop( Iop_SubF64r32,   in dis_fp_arith()
8052          assign( frD, triop( Iop_AddF64r32,   in dis_fp_arith()
8064          assign( frD, binop( Iop_SqrtF64, rm, mkexpr(frB) ));  in dis_fp_arith()
8075            assign( frD, triop( Iop_DivF64r32,   in dis_fp_arith()
8086          assign( frD, triop( Iop_MulF64r32,  in dis_fp_arith()
8097          assign( frD, unop(Iop_RSqrtEst5GoodF64, mkexpr(frB)) );  in dis_fp_arith()
8113          assign( frD, triop(Iop_DivF64, rm, mkexpr(frA), mkexpr(frB)) );  in dis_fp_arith()
8121          assign( frD, triop(Iop_SubF64, rm, mkexpr(frA), mkexpr(frB)) );  in dis_fp_arith()
8129          assign( frD, triop(Iop_AddF64, rm, mkexpr(frA), mkexpr(frB)) );  in dis_fp_arith()
8138          assign( frD, binop(Iop_SqrtF64, rm, mkexpr(frB)) );  in dis_fp_arith()
8157          assign( frD,  in dis_fp_arith()
8178            assign( frD, triop( Iop_DivF64,   in dis_fp_arith()
8189          assign( frD, triop(Iop_MulF64, rm, mkexpr(frA), mkexpr(frC)) );  in dis_fp_arith()
8198          assign( frD, unop(Iop_RSqrtEst5GoodF64, mkexpr(frB)) );  in dis_fp_arith()
8212    putFReg( frD_addr, mkexpr(frD) );  in dis_fp_arith()
8243    IRTemp  frD = newTemp(Ity_F64);  in dis_fp_multadd()  local
8288          assign( frD, qop( Iop_MSubF64r32, rm,  in dis_fp_multadd()
8295          assign( frD, qop( Iop_MAddF64r32, rm,  in dis_fp_multadd()
8318          assign( frD, unop( Iop_ReinterpI64asF64, mkexpr( sign_tmp ) ) );   in dis_fp_multadd()
8332          assign( frD, qop( Iop_MSubF64, rm,  in dis_fp_multadd()
8339          assign( frD, qop( Iop_MAddF64, rm,  in dis_fp_multadd()
8362          assign( frD, unop( Iop_ReinterpI64asF64, mkexpr( sign_tmp ) ) );   in dis_fp_multadd()
8376    putFReg( frD_addr, mkexpr(frD) );  in dis_fp_multadd()
8888    IRTemp  frD     = newTemp(Ity_F64);  in dis_fp_round()  local
8919             assign( frD, binop( Iop_RoundF64toF32, rm, binop( Iop_I64StoF64, rm,  in dis_fp_round()
8926             assign( frD, unop( Iop_F32toF64, binop( Iop_I64UtoF32, rm, mkexpr( r_tmp64 ) ) ) );  in dis_fp_round()
8935       assign( frD, binop( Iop_RoundF64toF32, rm, mkexpr(frB) ));  in dis_fp_round()
8942       assign( frD, unop( Iop_ReinterpI64asF64,  in dis_fp_round()
8952       assign( frD, unop( Iop_ReinterpI64asF64,  in dis_fp_round()
8965       assign( frD, unop( Iop_ReinterpI64asF64,  in dis_fp_round()
8976       assign( frD, unop( Iop_ReinterpI64asF64, mkexpr(r_tmp64)) );  in dis_fp_round()
8985       assign( frD, unop( Iop_ReinterpI64asF64, mkexpr(r_tmp64)) );  in dis_fp_round()
8996       assign( frD, unop( Iop_ReinterpI64asF64, mkexpr(r_tmp64)) );  in dis_fp_round()
9004       assign( frD,   in dis_fp_round()
9011       assign( frD, binop( Iop_I64UtoF64, rm, mkexpr( r_tmp64 ) ) );  in dis_fp_round()
9043       assign(frD, IRExpr_ITE(  in dis_fp_round()
9073    putFReg( frD_addr, mkexpr(frD) );  in dis_fp_round()
9181    IRTemp frD = newTemp(Ity_F64);  in dis_fp_merge()  local
9192       assign( frD, unop( Iop_ReinterpI64asF64,  in dis_fp_merge()
9205       assign( frD, unop( Iop_ReinterpI64asF64,  in dis_fp_merge()
9220    putFReg( frD_addr, mkexpr(frD) );  in dis_fp_merge()
9237    IRTemp frD = newTemp(Ity_F64);  in dis_fp_move()  local
9278       assign( frD, unop(Iop_ReinterpI64asF64,  in dis_fp_move()
9287       assign( frD, unop( Iop_NegF64, mkexpr(frB) ));  in dis_fp_move()
9292       assign( frD, mkexpr(frB) );  in dis_fp_move()
9297       assign( frD, unop( Iop_NegF64, unop( Iop_AbsF64, mkexpr(frB) )));  in dis_fp_move()
9302       assign( frD, unop( Iop_AbsF64, mkexpr(frB) ));  in dis_fp_move()
9310    putFReg( frD_addr, mkexpr(frD) );  in dis_fp_move()
13956    IRTemp frD = newTemp(Ity_F64);  in _do_vsx_fp_roundToInt()  local
13992    assign( frD,  in _do_vsx_fp_roundToInt()
14036                       mkexpr( frD ));  in _do_vsx_fp_roundToInt()