1322       assign(t0, unop(Iop_ReinterpF64asI64, src));  in getLoFromF64()
1467       assign(t6, unop(Iop_ReinterpF64asI64, mkexpr(t1)));  in putDReg()
12224             assign(t0, unop(Iop_ReinterpF64asI64, getDReg(fs)));  in disInstr_MIPS_WRK()
12544                      assign(fd_hi, unop(Iop_64HIto32, unop(Iop_ReinterpF64asI64,  in disInstr_MIPS_WRK()
12548                                 unop(Iop_ReinterpF64asI64, mkexpr(t4))), True));  in disInstr_MIPS_WRK()
12602                                    unop(Iop_ReinterpF64asI64, mkexpr(f))));  in disInstr_MIPS_WRK()
12604                                 unop(Iop_ReinterpF64asI64, mkexpr(t4))), True));  in disInstr_MIPS_WRK()
12695                                       unop(Iop_ReinterpF64asI64, mkexpr(f))));  in disInstr_MIPS_WRK()
12697                                       unop(Iop_ReinterpF64asI64, mkexpr(t4))),  in disInstr_MIPS_WRK()
12776                                       unop(Iop_ReinterpF64asI64, mkexpr(f))));  in disInstr_MIPS_WRK()
12778                                    unop(Iop_ReinterpF64asI64, mkexpr(t4))),  in disInstr_MIPS_WRK()
12836                      assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
12846                   putIReg(rt, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
12963                         assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
12983                         assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
13000                         assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
13024                         assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
13050                      assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
13168                         assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
13218                         assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
13269                         assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
13320                         assign(t0, unop(Iop_ReinterpF64asI64, getFReg(fs)));  in disInstr_MIPS_WRK()
13490          assign(t0, unop(Iop_ReinterpF64asI64, getFReg(ft)));  in disInstr_MIPS_WRK()