{"name": "gen_vfp_tosi", "code": "unsigned __int64 __fastcall gen_vfp_tosi ( int @@a1@@ ) { unsigned __int64 @@v2@@ ; @@v2@@ = __readfsqword ( Number ) ; if ( @@a1@@ ) gen_helper_vfp_tosid ( cpu_F0s , cpu_F0d , cpu_env ) ; else gen_helper_vfp_tosis ( cpu_F0s , cpu_F0s , cpu_env ) ; return __readfsqword ( Number ) ^ @@v2@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "v2", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}