{"name": "gen_rfe", "code": "unsigned __int64 __fastcall gen_rfe ( __int64 @@a1@@ , unsigned int @@a2@@ , unsigned int @@a3@@ ) { unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; gen_set_cpsr ( @@a3@@ , Number ) ; dead_tmp ( @@a3@@ ) ; store_reg ( @@a1@@ , Number , @@a2@@ ) ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; return __readfsqword ( Number ) ^ @@v5@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}