8019    IRTemp frS    = newTemp(Ity_F64);  in dis_fp_store()  local
8025    assign( frS, getFReg(frS_addr) );  in dis_fp_store()
8042       store( mkexpr(EA), unop(Iop_TruncF64asF32, mkexpr(frS)) );  in dis_fp_store()
8051       store( mkexpr(EA), unop(Iop_TruncF64asF32, mkexpr(frS)) );  in dis_fp_store()
8058       store( mkexpr(EA), mkexpr(frS) );  in dis_fp_store()
8066       store( mkexpr(EA), mkexpr(frS) );  in dis_fp_store()
8081                 unop(Iop_TruncF64asF32, mkexpr(frS)) );  in dis_fp_store()
8090          store( mkexpr(EA), unop(Iop_TruncF64asF32, mkexpr(frS)) );  in dis_fp_store()
8097          store( mkexpr(EA), mkexpr(frS) );  in dis_fp_store()
8105          store( mkexpr(EA), mkexpr(frS) );  in dis_fp_store()
8114                 unop(Iop_64to32, unop(Iop_ReinterpF64asI64, mkexpr(frS))) );  in dis_fp_store()
10298    IRTemp frS = newTemp( Ity_D64 );  in dis_dfp_arith()  local
10316       assign( frS, triop( Iop_AddD64, round, mkexpr( frA ), mkexpr( frB ) ) );  in dis_dfp_arith()
10321       assign( frS, triop( Iop_SubD64, round, mkexpr( frA ), mkexpr( frB ) ) );  in dis_dfp_arith()
10326       assign( frS, triop( Iop_MulD64, round, mkexpr( frA ), mkexpr( frB ) ) );  in dis_dfp_arith()
10331       assign( frS, triop( Iop_DivD64, round, mkexpr( frA ), mkexpr( frB ) ) );  in dis_dfp_arith()
10335    putDReg( frS_addr, mkexpr( frS ) );  in dis_dfp_arith()
10356    IRTemp frS = newTemp( Ity_D128 );  in dis_dfp_arithq()  local
10374       assign( frS, triop( Iop_AddD128, round, mkexpr( frA ), mkexpr( frB ) ) );  in dis_dfp_arithq()
10379       assign( frS, triop( Iop_SubD128, round, mkexpr( frA ), mkexpr( frB ) ) );  in dis_dfp_arithq()
10384       assign( frS, triop( Iop_MulD128, round, mkexpr( frA ), mkexpr( frB ) ) );  in dis_dfp_arithq()
10389       assign( frS, triop( Iop_DivD128, round, mkexpr( frA ), mkexpr( frB ) ) );  in dis_dfp_arithq()
10393    putDReg_pair( frS_addr, mkexpr( frS ) );  in dis_dfp_arithq()
10412    IRTemp frS = newTemp( Ity_D64 );  in dis_dfp_shift()  local
10421       assign( frS, binop( Iop_ShlD64, mkexpr( frA ), mkU8( shift_val ) ) );  in dis_dfp_shift()
10426       assign( frS, binop( Iop_ShrD64, mkexpr( frA ), mkU8( shift_val ) ) );  in dis_dfp_shift()
10430    putDReg( frS_addr, mkexpr( frS ) );  in dis_dfp_shift()
10449    IRTemp frS = newTemp( Ity_D128 );  in dis_dfp_shiftq()  local
10458       assign( frS, binop( Iop_ShlD128, mkexpr( frA ), mkU8( shift_val ) ) );  in dis_dfp_shiftq()
10463       assign( frS, binop( Iop_ShrD128, mkexpr( frA ), mkU8( shift_val ) ) );  in dis_dfp_shiftq()
10467    putDReg_pair( frS_addr, mkexpr( frS ) );  in dis_dfp_shiftq()
10485    IRTemp frS;  in dis_dfp_fmt_conv()  local
10494       frS = newTemp( Ity_D64 );  in dis_dfp_fmt_conv()
10496       assign( frS, unop( Iop_D32toD64, mkexpr( frB ) ) );  in dis_dfp_fmt_conv()
10497       putDReg( frS_addr, mkexpr( frS ) );  in dis_dfp_fmt_conv()
10503       frS = newTemp( Ity_D32 );  in dis_dfp_fmt_conv()
10505       assign( frS, binop( Iop_D64toD32, round, mkexpr( frB ) ) );  in dis_dfp_fmt_conv()
10506       putDReg32( frS_addr, mkexpr( frS ) );  in dis_dfp_fmt_conv()
10515          frS = newTemp( Ity_D64 );  in dis_dfp_fmt_conv()
10518          assign( frS, unop( Iop_ReinterpI64asD64, mkexpr( tmp ) ) );  in dis_dfp_fmt_conv()
10519          putDReg( frS_addr, mkexpr( frS ) );  in dis_dfp_fmt_conv()
10526       frS = newTemp( Ity_D64 );  in dis_dfp_fmt_conv()
10528       assign( frS, binop( Iop_I64StoD64,  in dis_dfp_fmt_conv()
10531       putDReg( frS_addr, mkexpr( frS ) );  in dis_dfp_fmt_conv()
10615    IRTemp frS     = newTemp( Ity_D64 );  in dis_dfp_round()  local
10635       assign( frS, binop( Iop_RoundD64toInt,  in dis_dfp_round()
10638       putDReg( frS_addr, mkexpr( frS ) );  in dis_dfp_round()
10660    IRTemp frS = newTemp( Ity_D128 );  in dis_dfp_roundq()  local
10676       assign( frS, binop( Iop_RoundD128toInt,  in dis_dfp_roundq()
10679       putDReg_pair( frS_addr, mkexpr( frS ) );  in dis_dfp_roundq()
10705    IRTemp frS = newTemp( Ity_D64 );  in dis_dfp_quantize_sig_rrnd()  local
10741       assign( frS, triop( Iop_QuantizeD64,  in dis_dfp_quantize_sig_rrnd()
10751       assign( frS, triop( Iop_QuantizeD64,  in dis_dfp_quantize_sig_rrnd()
10768          assign( frS, triop( Iop_SignificanceRoundD64,  in dis_dfp_quantize_sig_rrnd()
10778    putDReg( frS_addr, mkexpr( frS ) );  in dis_dfp_quantize_sig_rrnd()
10799    IRTemp frS = newTemp( Ity_D128 );  in dis_dfp_quantize_sig_rrndq()  local
10837       assign( frS, triop( Iop_QuantizeD128,  in dis_dfp_quantize_sig_rrndq()
10846       assign( frS, triop( Iop_QuantizeD128,  in dis_dfp_quantize_sig_rrndq()
10863          assign( frS, triop( Iop_SignificanceRoundD128,  in dis_dfp_quantize_sig_rrndq()
10873    putDReg_pair( frS_addr, mkexpr( frS ) );  in dis_dfp_quantize_sig_rrndq()
10893    IRTemp frS = newTemp( Ity_D64 );  in dis_dfp_extract_insert()  local
10904       assign( frS, unop( Iop_ReinterpI64asD64, mkexpr( tmp ) ) );  in dis_dfp_extract_insert()
10909       assign( frS, binop( Iop_InsertExpD64,  in dis_dfp_extract_insert()
10919    putDReg( frS_addr, mkexpr( frS ) );  in dis_dfp_extract_insert()
10939    IRTemp frS   = newTemp( Ity_D128 );  in dis_dfp_extract_insertq()  local
10961       assign( frS, binop( Iop_InsertExpD128,  in dis_dfp_extract_insertq()
10964       putDReg_pair( frS_addr, mkexpr( frS ) );  in dis_dfp_extract_insertq()