1HANDLE_OPCODE(OP_REM_DOUBLE_2ADDR /*vA, vB*/)
2    vdst = INST_A(inst);
3    vsrc1 = INST_B(inst);
4    ILOGV("|%s-double-2addr v%d,v%d", "mod", vdst, vsrc1);
5    SET_REGISTER_DOUBLE(vdst,
6        fmod(GET_REGISTER_DOUBLE(vdst), GET_REGISTER_DOUBLE(vsrc1)));
7    FINISH(1);
8OP_END
9