JIT64: add frspx implementation