8860    IRTemp frB_I64     = newTemp(Ity_I64);  in dis_fp_tests()  local
8866    assign( frB_I64, unop( Iop_ReinterpF64asI64, getFReg( frB_addr ) ) );  in dis_fp_tests()
8880          putGST_field( PPC_GST_CR, do_fp_tdiv(frA_I64, frB_I64), crfD );  in dis_fp_tests()
8896          do_fp_tsqrt(frB_I64, False /* not single precision*/, &fe_flag, &fg_flag);  in dis_fp_tests()
13943 static IRExpr * _get_maxmin_fp_NaN(IRTemp frA_I64, IRTemp frB_I64)  in _get_maxmin_fp_NaN()  argument
13953    assign( frB_isNaN, is_NaN( frB_I64 ) );  in _get_maxmin_fp_NaN()
13966                                  unop( Iop_64HIto32, mkexpr( frB_I64 ) ),  in _get_maxmin_fp_NaN()
13997                          binop(Iop_Or64, mkexpr(frB_I64), mkU64(SNAN_MASK)),  in _get_maxmin_fp_NaN()
14003                                     mkexpr(frB_I64))));  in _get_maxmin_fp_NaN()
14031 static IRExpr * get_max_min_fp(IRTemp frA_I64, IRTemp frB_I64, Bool isMin)  in get_max_min_fp()  argument
14046    assign(frB_isZero, is_Zero(frB_I64, False /*not single precision*/ ));  in get_max_min_fp()
14047    assign(anyNaN, mkOR1(is_NaN(frA_I64), is_NaN(frB_I64)));  in get_max_min_fp()
14060                                  mkexpr( frB_I64 ) ),  in get_max_min_fp()
14064                                  _get_maxmin_fp_NaN( frA_I64, frB_I64 ),  in get_max_min_fp()
14066                                  _get_maxmin_fp_cmp( frB_I64, frA_I64, isMin ) ));  in get_max_min_fp()
14092 static IRExpr * _do_vsx_fp_roundToInt(IRTemp frB_I64, UInt opc2)  in _do_vsx_fp_roundToInt()  argument
14123    assign(frB, unop(Iop_ReinterpI64asF64, mkexpr(frB_I64)));  in _do_vsx_fp_roundToInt()
14146                                      mkexpr( frB_I64 ) ),  in _do_vsx_fp_roundToInt()
14165    hi32 = unop( Iop_64HIto32, mkexpr(frB_I64) );  in _do_vsx_fp_roundToInt()
14167            mkAND1( is_NaN( frB_I64 ),  in _do_vsx_fp_roundToInt()
14176                                      mkexpr( frB_I64 ) ) ),  in _do_vsx_fp_roundToInt()
14938          IRTemp frB_I64 = newTemp(Ity_I64);  in dis_vxs_arith()  local
14941          assign( frB_I64, unop( Iop_ReinterpF64asI64, mkexpr( frB ) ) );  in dis_vxs_arith()
14942          putGST_field( PPC_GST_CR, do_fp_tdiv(frA_I64, frB_I64), crfD );  in dis_vxs_arith()
14947          IRTemp frB_I64 = newTemp(Ity_I64);  in dis_vxs_arith()  local
14953          assign( frB_I64, unop(Iop_V128HIto64, getVSReg( XB )) );  in dis_vxs_arith()
14954          do_fp_tsqrt(frB_I64, False /*not single precision*/, &fe_flag, &fg_flag);  in dis_vxs_arith()
15339          IRTemp frB_I64 = newTemp(Ity_I64);  in dis_vxs_misc()  local
15342          assign(frB_I64, unop(Iop_V128HIto64, mkexpr( vB )));  in dis_vxs_misc()
15343          frD_fp_round = _do_vsx_fp_roundToInt(frB_I64, opc2);  in dis_vxs_misc()