
int __gmpf_fits_sshort_p(mpf_srcptr f)

{
  int iVar1;
  int iVar2;
  uint uVar3;
  
  if (f->_mp_exp < 1) {
    return 1;
  }
  if (f->_mp_exp == 1) {
    iVar1 = f->_mp_size;
    iVar2 = iVar1;
    if (iVar1 < 0) {
      iVar2 = -iVar1;
    }
    uVar3 = 0x8000;
    if (-1 < iVar1) {
      uVar3 = 0x7fff;
    }
    return uVar3 < f->_mp_d[iVar2 + -1] ^ 1;
  }
  return 0;
}



bool __gmpf_fits_sshort_p(int param_1)

{
  int iVar1;
  int iVar2;
  uint uVar3;
  
  if (*(int *)(param_1 + 8) < 1) {
    return true;
  }
  if (*(int *)(param_1 + 8) == 1) {
    iVar1 = *(int *)(param_1 + 4);
    iVar2 = iVar1;
    if (iVar1 < 0) {
      iVar2 = -iVar1;
    }
    uVar3 = 0x8000;
    if (-1 < iVar1) {
      uVar3 = 0x7fff;
    }
    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;
  }
  return false;
}


lw v0,0x8(a0)
blez v0,0x0001f258
_li v1,0x1
bne v0,v1,0x0001f250
_nop
lw v0,0x4(a0)
bgez v0,0x0001f224
_or v1,v0,zero
subu v1,zero,v0
lw a0,0xc(a0)
sll v1,v1,0x2
li a1,0x7fff
slti v0,v0,0x0
addu v1,a0,v1
ori a0,zero,0x8000
movz a0,a1,v0
lw v1,-0x4(v1)
sltu v0,a0,v1
jr ra
_xori v0,v0,0x1
jr ra
_or v0,zero,zero
jr ra
_li v0,0x1
(translation_unit "bool __gmpf_fits_sshort_p(int param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }\n  if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }\n  return false;\n}\n\n" (function_definition "bool __gmpf_fits_sshort_p(int param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }\n  if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }\n  return false;\n}" primitive_type (function_declarator "__gmpf_fits_sshort_p(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }\n  if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }\n  return false;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (if_statement "if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }" if (parenthesized_expression "(*(int *)(param_1 + 8) < 1)" ( (binary_expression "*(int *)(param_1 + 8) < 1" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) < number_literal) )) (compound_statement "{\n    return true;\n  }" { (return_statement "return true;" return true ;) })) (if_statement "if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }" if (parenthesized_expression "(*(int *)(param_1 + 8) == 1)" ( (binary_expression "*(int *)(param_1 + 8) == 1" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }" { (expression_statement "iVar1 = *(int *)(param_1 + 4);" (assignment_expression "iVar1 = *(int *)(param_1 + 4)" identifier = (pointer_expression "*(int *)(param_1 + 4)" * (cast_expression "(int *)(param_1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) ))))) ;) (expression_statement "iVar2 = iVar1;" (assignment_expression "iVar2 = iVar1" identifier = identifier) ;) (if_statement "if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n      iVar2 = -iVar1;\n    }" { (expression_statement "iVar2 = -iVar1;" (assignment_expression "iVar2 = -iVar1" identifier = (unary_expression "-iVar1" - identifier)) ;) })) (expression_statement "uVar3 = 0x8000;" (assignment_expression "uVar3 = 0x8000" identifier = number_literal) ;) (if_statement "if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n      uVar3 = 0x7fff;\n    }" { (expression_statement "uVar3 = 0x7fff;" (assignment_expression "uVar3 = 0x7fff" identifier = number_literal) ;) })) (return_statement "return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;" return (binary_expression "*(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3" (pointer_expression "*(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" * (cast_expression "(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" ( (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4 + -4" (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) + (binary_expression "iVar2 * 4" identifier * number_literal)) + number_literal) )))) <= identifier) ;) })) (return_statement "return false;" return false ;) })))
(translation_unit "int __gmpf_fits_sshort_p(mpf_srcptr f)\n\n{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (f->_mp_exp < 1) {\n    return 1;\n  }\n  if (f->_mp_exp == 1) {\n    iVar1 = f->_mp_size;\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return uVar3 < f->_mp_d[iVar2 + -1] ^ 1;\n  }\n  return 0;\n}\n\n" (function_definition "int __gmpf_fits_sshort_p(mpf_srcptr f)\n\n{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (f->_mp_exp < 1) {\n    return 1;\n  }\n  if (f->_mp_exp == 1) {\n    iVar1 = f->_mp_size;\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return uVar3 < f->_mp_d[iVar2 + -1] ^ 1;\n  }\n  return 0;\n}" primitive_type (function_declarator "__gmpf_fits_sshort_p(mpf_srcptr f)" identifier (parameter_list "(mpf_srcptr f)" ( (parameter_declaration "mpf_srcptr f" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (f->_mp_exp < 1) {\n    return 1;\n  }\n  if (f->_mp_exp == 1) {\n    iVar1 = f->_mp_size;\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return uVar3 < f->_mp_d[iVar2 + -1] ^ 1;\n  }\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (if_statement "if (f->_mp_exp < 1) {\n    return 1;\n  }" if (parenthesized_expression "(f->_mp_exp < 1)" ( (binary_expression "f->_mp_exp < 1" (field_expression "f->_mp_exp" identifier -> field_identifier) < number_literal) )) (compound_statement "{\n    return 1;\n  }" { (return_statement "return 1;" return number_literal ;) })) (if_statement "if (f->_mp_exp == 1) {\n    iVar1 = f->_mp_size;\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return uVar3 < f->_mp_d[iVar2 + -1] ^ 1;\n  }" if (parenthesized_expression "(f->_mp_exp == 1)" ( (binary_expression "f->_mp_exp == 1" (field_expression "f->_mp_exp" identifier -> field_identifier) == number_literal) )) (compound_statement "{\n    iVar1 = f->_mp_size;\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return uVar3 < f->_mp_d[iVar2 + -1] ^ 1;\n  }" { (expression_statement "iVar1 = f->_mp_size;" (assignment_expression "iVar1 = f->_mp_size" identifier = (field_expression "f->_mp_size" identifier -> field_identifier)) ;) (expression_statement "iVar2 = iVar1;" (assignment_expression "iVar2 = iVar1" identifier = identifier) ;) (if_statement "if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n      iVar2 = -iVar1;\n    }" { (expression_statement "iVar2 = -iVar1;" (assignment_expression "iVar2 = -iVar1" identifier = (unary_expression "-iVar1" - identifier)) ;) })) (expression_statement "uVar3 = 0x8000;" (assignment_expression "uVar3 = 0x8000" identifier = number_literal) ;) (if_statement "if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n      uVar3 = 0x7fff;\n    }" { (expression_statement "uVar3 = 0x7fff;" (assignment_expression "uVar3 = 0x7fff" identifier = number_literal) ;) })) (return_statement "return uVar3 < f->_mp_d[iVar2 + -1] ^ 1;" return (binary_expression "uVar3 < f->_mp_d[iVar2 + -1] ^ 1" (binary_expression "uVar3 < f->_mp_d[iVar2 + -1]" identifier < (subscript_expression "f->_mp_d[iVar2 + -1]" (field_expression "f->_mp_d" identifier -> field_identifier) [ (binary_expression "iVar2 + -1" identifier + number_literal) ])) ^ number_literal) ;) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "bool __gmpf_fits_sshort_p(int param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }\n  if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }\n  return false;\n}\n\n" (function_definition "bool __gmpf_fits_sshort_p(int param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }\n  if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }\n  return false;\n}" primitive_type (function_declarator "__gmpf_fits_sshort_p(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }\n  if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }\n  return false;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (if_statement "if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }" if (parenthesized_expression "(*(int *)(param_1 + 8) < 1)" ( (binary_expression "*(int *)(param_1 + 8) < 1" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) < number_literal) )) (compound_statement "{\n    return true;\n  }" { (return_statement "return true;" return true ;) })) (if_statement "if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }" if (parenthesized_expression "(*(int *)(param_1 + 8) == 1)" ( (binary_expression "*(int *)(param_1 + 8) == 1" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }" { (expression_statement "iVar1 = *(int *)(param_1 + 4);" (assignment_expression "iVar1 = *(int *)(param_1 + 4)" identifier = (pointer_expression "*(int *)(param_1 + 4)" * (cast_expression "(int *)(param_1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) ))))) ;) (expression_statement "iVar2 = iVar1;" (assignment_expression "iVar2 = iVar1" identifier = identifier) ;) (if_statement "if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n      iVar2 = -iVar1;\n    }" { (expression_statement "iVar2 = -iVar1;" (assignment_expression "iVar2 = -iVar1" identifier = (unary_expression "-iVar1" - identifier)) ;) })) (expression_statement "uVar3 = 0x8000;" (assignment_expression "uVar3 = 0x8000" identifier = number_literal) ;) (if_statement "if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n      uVar3 = 0x7fff;\n    }" { (expression_statement "uVar3 = 0x7fff;" (assignment_expression "uVar3 = 0x7fff" identifier = number_literal) ;) })) (return_statement "return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;" return (binary_expression "*(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3" (pointer_expression "*(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" * (cast_expression "(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" ( (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4 + -4" (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) + (binary_expression "iVar2 * 4" identifier * number_literal)) + number_literal) )))) <= identifier) ;) })) (return_statement "return false;" return false ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) < LIT) )) (compound_statement { (return_statement return BOOL ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) })) (return_statement return (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + (binary_expression IDENT * LIT)) + LIT) )))) <= IDENT) ;) })) (return_statement return BOOL ;) })))
(function_definition "bool __gmpf_fits_sshort_p(int param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }\n  if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }\n  return false;\n}" (primitive_type "bool") (function_declarator "__gmpf_fits_sshort_p(int param_1)" (identifier "__gmpf_fits_sshort_p") (parameter_list "(int param_1)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) () ")"))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  uint uVar3;\n  \n  if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }\n  if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }\n  return false;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (if_statement "if (*(int *)(param_1 + 8) < 1) {\n    return true;\n  }" (if "if") (parenthesized_expression "(*(int *)(param_1 + 8) < 1)" (( "(") (binary_expression "*(int *)(param_1 + 8) < 1" (pointer_expression "*(int *)(param_1 + 8)" (* "*") (cast_expression "(int *)(param_1 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    return true;\n  }" ({ "{") (return_statement "return true;" (return "return") (true "true") (; ";")) (} "}"))) (if_statement "if (*(int *)(param_1 + 8) == 1) {\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }" (if "if") (parenthesized_expression "(*(int *)(param_1 + 8) == 1)" (( "(") (binary_expression "*(int *)(param_1 + 8) == 1" (pointer_expression "*(int *)(param_1 + 8)" (* "*") (cast_expression "(int *)(param_1 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) (== "==") (number_literal "1")) () ")")) (compound_statement "{\n    iVar1 = *(int *)(param_1 + 4);\n    iVar2 = iVar1;\n    if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }\n    uVar3 = 0x8000;\n    if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }\n    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;\n  }" ({ "{") (expression_statement "iVar1 = *(int *)(param_1 + 4);" (assignment_expression "iVar1 = *(int *)(param_1 + 4)" (identifier "iVar1") (= "=") (pointer_expression "*(int *)(param_1 + 4)" (* "*") (cast_expression "(int *)(param_1 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 4)" (( "(") (binary_expression "param_1 + 4" (identifier "param_1") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (expression_statement "iVar2 = iVar1;" (assignment_expression "iVar2 = iVar1" (identifier "iVar2") (= "=") (identifier "iVar1")) (; ";")) (if_statement "if (iVar1 < 0) {\n      iVar2 = -iVar1;\n    }" (if "if") (parenthesized_expression "(iVar1 < 0)" (( "(") (binary_expression "iVar1 < 0" (identifier "iVar1") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n      iVar2 = -iVar1;\n    }" ({ "{") (expression_statement "iVar2 = -iVar1;" (assignment_expression "iVar2 = -iVar1" (identifier "iVar2") (= "=") (unary_expression "-iVar1" (- "-") (identifier "iVar1"))) (; ";")) (} "}"))) (expression_statement "uVar3 = 0x8000;" (assignment_expression "uVar3 = 0x8000" (identifier "uVar3") (= "=") (number_literal "0x8000")) (; ";")) (if_statement "if (-1 < iVar1) {\n      uVar3 = 0x7fff;\n    }" (if "if") (parenthesized_expression "(-1 < iVar1)" (( "(") (binary_expression "-1 < iVar1" (number_literal "-1") (< "<") (identifier "iVar1")) () ")")) (compound_statement "{\n      uVar3 = 0x7fff;\n    }" ({ "{") (expression_statement "uVar3 = 0x7fff;" (assignment_expression "uVar3 = 0x7fff" (identifier "uVar3") (= "=") (number_literal "0x7fff")) (; ";")) (} "}"))) (return_statement "return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;" (return "return") (binary_expression "*(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3" (pointer_expression "*(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" (* "*") (cast_expression "(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4)" (( "(") (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4 + -4" (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" (* "*") (cast_expression "(int *)(param_1 + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))) (+ "+") (binary_expression "iVar2 * 4" (identifier "iVar2") (* "*") (number_literal "4"))) (+ "+") (number_literal "-4")) () ")")))) (<= "<=") (identifier "uVar3")) (; ";")) (} "}"))) (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}")))

int function_1(type_1 f)

{
  int var_1;
  int var_3;
  type_2 var_2;
  
  if (f->_mp_exp < 1) {
    return 1;
  }
  if (f->_mp_exp == 1) {
    var_1 = f->_mp_size;
    var_3 = var_1;
    if (var_1 < 0) {
      var_3 = -var_1;
    }
    var_2 = 0x8000;
    if (-1 < var_1) {
      var_2 = 0x7fff;
    }
    return var_2 < f->_mp_d[var_3 + -1] ^ 1;
  }
  return 0;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (return_statement (true)))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))))) (return_statement (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))))) right: (identifier))))) (return_statement (false)))))

bool MASKED(int param_1)

{
  int iVar1;
  int iVar2;
  uint uVar3;
  
  if (*(int *)(param_1 + 8) < 1) {
    return true;
  }
  if (*(int *)(param_1 + 8) == 1) {
    iVar1 = *(int *)(param_1 + 4);
    iVar2 = iVar1;
    if (iVar1 < 0) {
      iVar2 = -iVar1;
    }
    uVar3 = 0x8000;
    if (-1 < iVar1) {
      uVar3 = 0x7fff;
    }
    return *(uint *)(*(int *)(param_1 + 0xc) + iVar2 * 4 + -4) <= uVar3;
  }
  return false;
}

