1HANDLE_OPCODE(OP_REM_DOUBLE /*vAA, vBB, vCC*/)
2    {
3        u2 srcRegs;
4        vdst = INST_AA(inst);
5        srcRegs = FETCH(1);
6        vsrc1 = srcRegs & 0xff;
7        vsrc2 = srcRegs >> 8;
8        ILOGV("|%s-double v%d,v%d,v%d", "mod", vdst, vsrc1, vsrc2);
9        SET_REGISTER_DOUBLE(vdst,
10            fmod(GET_REGISTER_DOUBLE(vsrc1), GET_REGISTER_DOUBLE(vsrc2)));
11    }
12    FINISH(2);
13OP_END
14