{"name": "qemu_pixman_get_type", "code": "__int64 __fastcall qemu_pixman_get_type ( int @@a1@@ , int @@a2@@ , int @@a3@@ ) { unsigned int @@v4@@ ; @@v4@@ = Number ; if ( @@a1@@ <= @@a2@@ || @@a2@@ <= @@a3@@ ) { if ( @@a1@@ < @@a2@@ && @@a2@@ < @@a3@@ ) { if ( @@a1@@ ) @@v4@@ = Number ; else @@v4@@ = Number ; } } else if ( @@a3@@ ) { @@v4@@ = Number ; } else { @@v4@@ = Number ; } return @@v4@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s12"}]}
{"name": "qemu_pixman_get_format", "code": "__int64 __fastcall qemu_pixman_get_format ( unsigned __int8 * @@a1@@ ) { __int64 @@result@@ ; unsigned int @@v2@@ ; @@v2@@ = ( Number * @@a1@@ [ Number ] ) | ( @@a1@@ [ Number ] << Number ) | ( @@a1@@ [ Number ] << Number ) | ( ( unsigned int ) qemu_pixman_get_type ( @@a1@@ [ Number ] , @@a1@@ [ Number ] , @@a1@@ [ Number ] ) << Number ) | ( * @@a1@@ << Number ) | @@a1@@ [ Number ] ; if ( ( unsigned int ) pixman_format_supported_source ( @@v2@@ ) ) @@result@@ = @@v2@@ ; else @@result@@ = Number L ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "unsigned __int8"}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s12"}]}