
/* WARNING: Unknown calling convention */

mp_bitcnt_t __gmpf_get_prec(mpf_srcptr x)

{
  return x->_mp_prec * 0x20 - 0x20;
}



int __gmpf_get_prec(int *param_1)

{
  return *param_1 * 0x20 + -0x20;
}


lw v0,0x0(a0)
sll v0,v0,0x5
jr ra
_addiu v0,v0,-0x20
(translation_unit "int __gmpf_get_prec(int *param_1)\n\n{\n  return *param_1 * 0x20 + -0x20;\n}\n\n" (function_definition "int __gmpf_get_prec(int *param_1)\n\n{\n  return *param_1 * 0x20 + -0x20;\n}" primitive_type (function_declarator "__gmpf_get_prec(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  return *param_1 * 0x20 + -0x20;\n}" { (return_statement "return *param_1 * 0x20 + -0x20;" return (binary_expression "*param_1 * 0x20 + -0x20" (binary_expression "*param_1 * 0x20" (pointer_expression "*param_1" * identifier) * number_literal) + number_literal) ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nmp_bitcnt_t __gmpf_get_prec(mpf_srcptr x)\n\n{\n  return x->_mp_prec * 0x20 - 0x20;\n}\n\n" comment (function_definition "mp_bitcnt_t __gmpf_get_prec(mpf_srcptr x)\n\n{\n  return x->_mp_prec * 0x20 - 0x20;\n}" type_identifier (function_declarator "__gmpf_get_prec(mpf_srcptr x)" identifier (parameter_list "(mpf_srcptr x)" ( (parameter_declaration "mpf_srcptr x" type_identifier identifier) ))) (compound_statement "{\n  return x->_mp_prec * 0x20 - 0x20;\n}" { (return_statement "return x->_mp_prec * 0x20 - 0x20;" return (binary_expression "x->_mp_prec * 0x20 - 0x20" (binary_expression "x->_mp_prec * 0x20" (field_expression "x->_mp_prec" identifier -> field_identifier) * number_literal) - number_literal) ;) })))
(translation_unit "int __gmpf_get_prec(int *param_1)\n\n{\n  return *param_1 * 0x20 + -0x20;\n}\n\n" (function_definition "int __gmpf_get_prec(int *param_1)\n\n{\n  return *param_1 * 0x20 + -0x20;\n}" primitive_type (function_declarator "__gmpf_get_prec(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  return *param_1 * 0x20 + -0x20;\n}" { (return_statement "return *param_1 * 0x20 + -0x20;" return (binary_expression "*param_1 * 0x20 + -0x20" (binary_expression "*param_1 * 0x20" (pointer_expression "*param_1" * identifier) * number_literal) + number_literal) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (return_statement return (binary_expression (binary_expression (pointer_expression * IDENT) * LIT) + LIT) ;) })))
(function_definition "int __gmpf_get_prec(int *param_1)\n\n{\n  return *param_1 * 0x20 + -0x20;\n}" (primitive_type "int") (function_declarator "__gmpf_get_prec(int *param_1)" (identifier "__gmpf_get_prec") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  return *param_1 * 0x20 + -0x20;\n}" ({ "{") (return_statement "return *param_1 * 0x20 + -0x20;" (return "return") (binary_expression "*param_1 * 0x20 + -0x20" (binary_expression "*param_1 * 0x20" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (* "*") (number_literal "0x20")) (+ "+") (number_literal "-0x20")) (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

type_1 function_1(type_2 x)

{
  return x->_mp_prec * 0x20 - 0x20;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (return_statement (binary_expression left: (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal)) right: (number_literal))))))

int MASKED(int *param_1)

{
  return *param_1 * 0x20 + -0x20;
}

