set_fpu_register_double 1143 src/mips/simulator-mips.cc     set_fpu_register_double(0, result);
set_fpu_register_double 1994 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, static_cast<double>(f));
set_fpu_register_double 2023 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, fs + ft);
set_fpu_register_double 2026 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, fs - ft);
set_fpu_register_double 2029 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, fs * ft);
set_fpu_register_double 2032 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, fs / ft);
set_fpu_register_double 2035 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, fs < 0 ? -fs : fs);
set_fpu_register_double 2038 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, fs);
set_fpu_register_double 2041 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, -fs);
set_fpu_register_double 2044 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, sqrt(fs));
set_fpu_register_double 2160 src/mips/simulator-mips.cc               set_fpu_register_double(fd_reg, static_cast<double>(alu_out));
set_fpu_register_double 2173 src/mips/simulator-mips.cc             set_fpu_register_double(fd_reg, static_cast<double>(i64));
set_fpu_register_double 2591 src/mips/simulator-mips.cc       set_fpu_register_double(ft_reg, fp_out);
set_fpu_register_double  191 src/mips/simulator-mips.h   void set_fpu_register_double(int fpureg, double value);