{"name": "gen_clrex", "code": "unsigned __int64 gen_clrex ( ) { unsigned __int64 @@v1@@ ; @@v1@@ = __readfsqword ( Number ) ; tcg_gen_movi_i32 ( cpu_exclusive_addr , Number ) ; return __readfsqword ( Number ) ^ @@v1@@ ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}