
int __gmpz_divisible_2exp_p(mpz_srcptr a,mp_bitcnt_t d)

{
  uint uVar1;
  uint uVar2;
  mp_limb_t *pmVar3;
  uint uVar4;
  mp_limb_t *pmVar5;
  
  uVar1 = a->_mp_size;
  uVar4 = d >> 5;
  uVar2 = uVar1;
  if ((int)uVar1 < 0) {
    uVar2 = -uVar1;
  }
  if ((int)uVar4 < (int)uVar2) {
    pmVar5 = a->_mp_d;
    if (uVar4 != 0) {
      if (*pmVar5 != 0) {
        return 0;
      }
      uVar2 = 0;
      pmVar3 = pmVar5;
      while( true ) {
        pmVar3 = pmVar3 + 1;
        uVar2 = uVar2 + 1;
        if (uVar4 == uVar2) break;
        if (*pmVar3 != 0) {
          return 0;
        }
      }
    }
    uVar1 = ~(-1 << (d & 0x1f)) & pmVar5[uVar4];
  }
  return (uint)(uVar1 == 0);
}



bool __gmpz_divisible_2exp_p(int param_1,uint param_2)

{
  uint uVar1;
  uint uVar2;
  int *piVar3;
  uint uVar4;
  int *piVar5;
  
  uVar1 = *(uint *)(param_1 + 4);
  uVar4 = param_2 >> 5;
  uVar2 = uVar1;
  if ((int)uVar1 < 0) {
    uVar2 = -uVar1;
  }
  if ((int)uVar4 < (int)uVar2) {
    piVar5 = *(int **)(param_1 + 8);
    if (uVar4 != 0) {
      if (*piVar5 != 0) {
        return false;
      }
      uVar2 = 0;
      piVar3 = piVar5;
      while( true ) {
        piVar3 = piVar3 + 1;
        uVar2 = uVar2 + 1;
        if (uVar4 == uVar2) break;
        if (*piVar3 != 0) {
          return false;
        }
      }
    }
    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];
  }
  return uVar1 == 0;
}


lw v0,0x4(a0)
srl a2,a1,0x5
bgez v0,0x00026334
_or v1,v0,zero
subu v1,zero,v0
slt v1,a2,v1
beq v1,zero,0x00026390
_nop
beq a2,zero,0x00026374
_lw a3,0x8(a0)
lw v0,0x0(a3)
bne v0,zero,0x000263a0
_addiu v1,a3,0x4
b 0x0002636c
_addiu v0,v0,0x1
lw a0,-0x4(v1)
bne a0,zero,0x00026398
_nop
addiu v0,v0,0x1
bne a2,v0,0x0002635c
_addiu v1,v1,0x4
sll a2,a2,0x2
li v0,-0x1
addu a2,a3,a2
sllv v0,v0,a1
lw v1,0x0(a2)
nor v0,zero,v0
and v0,v0,v1
jr ra
_sltiu v0,v0,0x1
jr ra
_or v0,zero,zero
jr ra
_or v0,zero,zero
(translation_unit "bool __gmpz_divisible_2exp_p(int param_1,uint param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  uVar1 = *(uint *)(param_1 + 4);\n  uVar4 = param_2 >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }\n  return uVar1 == 0;\n}\n\n" (function_definition "bool __gmpz_divisible_2exp_p(int param_1,uint param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  uVar1 = *(uint *)(param_1 + 4);\n  uVar4 = param_2 >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }\n  return uVar1 == 0;\n}" primitive_type (function_declarator "__gmpz_divisible_2exp_p(int param_1,uint param_2)" identifier (parameter_list "(int param_1,uint param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  uVar1 = *(uint *)(param_1 + 4);\n  uVar4 = param_2 >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }\n  return uVar1 == 0;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (expression_statement "uVar1 = *(uint *)(param_1 + 4);" (assignment_expression "uVar1 = *(uint *)(param_1 + 4)" identifier = (pointer_expression "*(uint *)(param_1 + 4)" * (cast_expression "(uint *)(param_1 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = param_2 >> 5;" (assignment_expression "uVar4 = param_2 >> 5" identifier = (binary_expression "param_2 >> 5" identifier >> number_literal)) ;) (expression_statement "uVar2 = uVar1;" (assignment_expression "uVar2 = uVar1" identifier = identifier) ;) (if_statement "if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }" if (parenthesized_expression "((int)uVar1 < 0)" ( (binary_expression "(int)uVar1 < 0" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    uVar2 = -uVar1;\n  }" { (expression_statement "uVar2 = -uVar1;" (assignment_expression "uVar2 = -uVar1" identifier = (unary_expression "-uVar1" - identifier)) ;) })) (if_statement "if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }" if (parenthesized_expression "((int)uVar4 < (int)uVar2)" ( (binary_expression "(int)uVar4 < (int)uVar2" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }" { (expression_statement "piVar5 = *(int **)(param_1 + 8);" (assignment_expression "piVar5 = *(int **)(param_1 + 8)" identifier = (pointer_expression "*(int **)(param_1 + 8)" * (cast_expression "(int **)(param_1 + 8)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) ))))) ;) (if_statement "if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }" if (parenthesized_expression "(uVar4 != 0)" ( (binary_expression "uVar4 != 0" identifier != number_literal) )) (compound_statement "{\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }" { (if_statement "if (*piVar5 != 0) {\n        return false;\n      }" if (parenthesized_expression "(*piVar5 != 0)" ( (binary_expression "*piVar5 != 0" (pointer_expression "*piVar5" * identifier) != number_literal) )) (compound_statement "{\n        return false;\n      }" { (return_statement "return false;" return false ;) })) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (expression_statement "piVar3 = piVar5;" (assignment_expression "piVar3 = piVar5" identifier = identifier) ;) (while_statement "while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }" { (expression_statement "piVar3 = piVar3 + 1;" (assignment_expression "piVar3 = piVar3 + 1" identifier = (binary_expression "piVar3 + 1" identifier + number_literal)) ;) (expression_statement "uVar2 = uVar2 + 1;" (assignment_expression "uVar2 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) (if_statement "if (uVar4 == uVar2) break;" if (parenthesized_expression "(uVar4 == uVar2)" ( (binary_expression "uVar4 == uVar2" identifier == identifier) )) (break_statement "break;" break ;)) (if_statement "if (*piVar3 != 0) {\n          return false;\n        }" if (parenthesized_expression "(*piVar3 != 0)" ( (binary_expression "*piVar3 != 0" (pointer_expression "*piVar3" * identifier) != number_literal) )) (compound_statement "{\n          return false;\n        }" { (return_statement "return false;" return false ;) })) })) })) (expression_statement "uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];" (assignment_expression "uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4]" identifier = (binary_expression "~(-1 << (param_2 & 0x1f)) & piVar5[uVar4]" (unary_expression "~(-1 << (param_2 & 0x1f))" ~ (parenthesized_expression "(-1 << (param_2 & 0x1f))" ( (binary_expression "-1 << (param_2 & 0x1f)" number_literal << (parenthesized_expression "(param_2 & 0x1f)" ( (binary_expression "param_2 & 0x1f" identifier & number_literal) ))) ))) & (subscript_expression "piVar5[uVar4]" identifier [ identifier ]))) ;) })) (return_statement "return uVar1 == 0;" return (binary_expression "uVar1 == 0" identifier == number_literal) ;) })))
(translation_unit "int __gmpz_divisible_2exp_p(mpz_srcptr a,mp_bitcnt_t d)\n\n{\n  uint uVar1;\n  uint uVar2;\n  mp_limb_t *pmVar3;\n  uint uVar4;\n  mp_limb_t *pmVar5;\n  \n  uVar1 = a->_mp_size;\n  uVar4 = d >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    pmVar5 = a->_mp_d;\n    if (uVar4 != 0) {\n      if (*pmVar5 != 0) {\n        return 0;\n      }\n      uVar2 = 0;\n      pmVar3 = pmVar5;\n      while( true ) {\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (d & 0x1f)) & pmVar5[uVar4];\n  }\n  return (uint)(uVar1 == 0);\n}\n\n" (function_definition "int __gmpz_divisible_2exp_p(mpz_srcptr a,mp_bitcnt_t d)\n\n{\n  uint uVar1;\n  uint uVar2;\n  mp_limb_t *pmVar3;\n  uint uVar4;\n  mp_limb_t *pmVar5;\n  \n  uVar1 = a->_mp_size;\n  uVar4 = d >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    pmVar5 = a->_mp_d;\n    if (uVar4 != 0) {\n      if (*pmVar5 != 0) {\n        return 0;\n      }\n      uVar2 = 0;\n      pmVar3 = pmVar5;\n      while( true ) {\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (d & 0x1f)) & pmVar5[uVar4];\n  }\n  return (uint)(uVar1 == 0);\n}" primitive_type (function_declarator "__gmpz_divisible_2exp_p(mpz_srcptr a,mp_bitcnt_t d)" identifier (parameter_list "(mpz_srcptr a,mp_bitcnt_t d)" ( (parameter_declaration "mpz_srcptr a" type_identifier identifier) , (parameter_declaration "mp_bitcnt_t d" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  mp_limb_t *pmVar3;\n  uint uVar4;\n  mp_limb_t *pmVar5;\n  \n  uVar1 = a->_mp_size;\n  uVar4 = d >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    pmVar5 = a->_mp_d;\n    if (uVar4 != 0) {\n      if (*pmVar5 != 0) {\n        return 0;\n      }\n      uVar2 = 0;\n      pmVar3 = pmVar5;\n      while( true ) {\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (d & 0x1f)) & pmVar5[uVar4];\n  }\n  return (uint)(uVar1 == 0);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "mp_limb_t *pmVar3;" type_identifier (pointer_declarator "*pmVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "mp_limb_t *pmVar5;" type_identifier (pointer_declarator "*pmVar5" * identifier) ;) (expression_statement "uVar1 = a->_mp_size;" (assignment_expression "uVar1 = a->_mp_size" identifier = (field_expression "a->_mp_size" identifier -> field_identifier)) ;) (expression_statement "uVar4 = d >> 5;" (assignment_expression "uVar4 = d >> 5" identifier = (binary_expression "d >> 5" identifier >> number_literal)) ;) (expression_statement "uVar2 = uVar1;" (assignment_expression "uVar2 = uVar1" identifier = identifier) ;) (if_statement "if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }" if (parenthesized_expression "((int)uVar1 < 0)" ( (binary_expression "(int)uVar1 < 0" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    uVar2 = -uVar1;\n  }" { (expression_statement "uVar2 = -uVar1;" (assignment_expression "uVar2 = -uVar1" identifier = (unary_expression "-uVar1" - identifier)) ;) })) (if_statement "if ((int)uVar4 < (int)uVar2) {\n    pmVar5 = a->_mp_d;\n    if (uVar4 != 0) {\n      if (*pmVar5 != 0) {\n        return 0;\n      }\n      uVar2 = 0;\n      pmVar3 = pmVar5;\n      while( true ) {\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (d & 0x1f)) & pmVar5[uVar4];\n  }" if (parenthesized_expression "((int)uVar4 < (int)uVar2)" ( (binary_expression "(int)uVar4 < (int)uVar2" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n    pmVar5 = a->_mp_d;\n    if (uVar4 != 0) {\n      if (*pmVar5 != 0) {\n        return 0;\n      }\n      uVar2 = 0;\n      pmVar3 = pmVar5;\n      while( true ) {\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (d & 0x1f)) & pmVar5[uVar4];\n  }" { (expression_statement "pmVar5 = a->_mp_d;" (assignment_expression "pmVar5 = a->_mp_d" identifier = (field_expression "a->_mp_d" identifier -> field_identifier)) ;) (if_statement "if (uVar4 != 0) {\n      if (*pmVar5 != 0) {\n        return 0;\n      }\n      uVar2 = 0;\n      pmVar3 = pmVar5;\n      while( true ) {\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }\n    }" if (parenthesized_expression "(uVar4 != 0)" ( (binary_expression "uVar4 != 0" identifier != number_literal) )) (compound_statement "{\n      if (*pmVar5 != 0) {\n        return 0;\n      }\n      uVar2 = 0;\n      pmVar3 = pmVar5;\n      while( true ) {\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }\n    }" { (if_statement "if (*pmVar5 != 0) {\n        return 0;\n      }" if (parenthesized_expression "(*pmVar5 != 0)" ( (binary_expression "*pmVar5 != 0" (pointer_expression "*pmVar5" * identifier) != number_literal) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (expression_statement "pmVar3 = pmVar5;" (assignment_expression "pmVar3 = pmVar5" identifier = identifier) ;) (while_statement "while( true ) {\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        pmVar3 = pmVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*pmVar3 != 0) {\n          return 0;\n        }\n      }" { (expression_statement "pmVar3 = pmVar3 + 1;" (assignment_expression "pmVar3 = pmVar3 + 1" identifier = (binary_expression "pmVar3 + 1" identifier + number_literal)) ;) (expression_statement "uVar2 = uVar2 + 1;" (assignment_expression "uVar2 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) (if_statement "if (uVar4 == uVar2) break;" if (parenthesized_expression "(uVar4 == uVar2)" ( (binary_expression "uVar4 == uVar2" identifier == identifier) )) (break_statement "break;" break ;)) (if_statement "if (*pmVar3 != 0) {\n          return 0;\n        }" if (parenthesized_expression "(*pmVar3 != 0)" ( (binary_expression "*pmVar3 != 0" (pointer_expression "*pmVar3" * identifier) != number_literal) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) })) })) (expression_statement "uVar1 = ~(-1 << (d & 0x1f)) & pmVar5[uVar4];" (assignment_expression "uVar1 = ~(-1 << (d & 0x1f)) & pmVar5[uVar4]" identifier = (binary_expression "~(-1 << (d & 0x1f)) & pmVar5[uVar4]" (unary_expression "~(-1 << (d & 0x1f))" ~ (parenthesized_expression "(-1 << (d & 0x1f))" ( (binary_expression "-1 << (d & 0x1f)" number_literal << (parenthesized_expression "(d & 0x1f)" ( (binary_expression "d & 0x1f" identifier & number_literal) ))) ))) & (subscript_expression "pmVar5[uVar4]" identifier [ identifier ]))) ;) })) (return_statement "return (uint)(uVar1 == 0);" return (call_expression "(uint)(uVar1 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 == 0)" ( (binary_expression "uVar1 == 0" identifier == number_literal) ))) ;) })))
(translation_unit "bool __gmpz_divisible_2exp_p(int param_1,uint param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  uVar1 = *(uint *)(param_1 + 4);\n  uVar4 = param_2 >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }\n  return uVar1 == 0;\n}\n\n" (function_definition "bool __gmpz_divisible_2exp_p(int param_1,uint param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  uVar1 = *(uint *)(param_1 + 4);\n  uVar4 = param_2 >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }\n  return uVar1 == 0;\n}" primitive_type (function_declarator "__gmpz_divisible_2exp_p(int param_1,uint param_2)" identifier (parameter_list "(int param_1,uint param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  uVar1 = *(uint *)(param_1 + 4);\n  uVar4 = param_2 >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }\n  return uVar1 == 0;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (expression_statement "uVar1 = *(uint *)(param_1 + 4);" (assignment_expression "uVar1 = *(uint *)(param_1 + 4)" identifier = (pointer_expression "*(uint *)(param_1 + 4)" * (cast_expression "(uint *)(param_1 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = param_2 >> 5;" (assignment_expression "uVar4 = param_2 >> 5" identifier = (binary_expression "param_2 >> 5" identifier >> number_literal)) ;) (expression_statement "uVar2 = uVar1;" (assignment_expression "uVar2 = uVar1" identifier = identifier) ;) (if_statement "if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }" if (parenthesized_expression "((int)uVar1 < 0)" ( (binary_expression "(int)uVar1 < 0" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    uVar2 = -uVar1;\n  }" { (expression_statement "uVar2 = -uVar1;" (assignment_expression "uVar2 = -uVar1" identifier = (unary_expression "-uVar1" - identifier)) ;) })) (if_statement "if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }" if (parenthesized_expression "((int)uVar4 < (int)uVar2)" ( (binary_expression "(int)uVar4 < (int)uVar2" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }" { (expression_statement "piVar5 = *(int **)(param_1 + 8);" (assignment_expression "piVar5 = *(int **)(param_1 + 8)" identifier = (pointer_expression "*(int **)(param_1 + 8)" * (cast_expression "(int **)(param_1 + 8)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) ))))) ;) (if_statement "if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }" if (parenthesized_expression "(uVar4 != 0)" ( (binary_expression "uVar4 != 0" identifier != number_literal) )) (compound_statement "{\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }" { (if_statement "if (*piVar5 != 0) {\n        return false;\n      }" if (parenthesized_expression "(*piVar5 != 0)" ( (binary_expression "*piVar5 != 0" (pointer_expression "*piVar5" * identifier) != number_literal) )) (compound_statement "{\n        return false;\n      }" { (return_statement "return false;" return false ;) })) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (expression_statement "piVar3 = piVar5;" (assignment_expression "piVar3 = piVar5" identifier = identifier) ;) (while_statement "while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }" { (expression_statement "piVar3 = piVar3 + 1;" (assignment_expression "piVar3 = piVar3 + 1" identifier = (binary_expression "piVar3 + 1" identifier + number_literal)) ;) (expression_statement "uVar2 = uVar2 + 1;" (assignment_expression "uVar2 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) (if_statement "if (uVar4 == uVar2) break;" if (parenthesized_expression "(uVar4 == uVar2)" ( (binary_expression "uVar4 == uVar2" identifier == identifier) )) (break_statement "break;" break ;)) (if_statement "if (*piVar3 != 0) {\n          return false;\n        }" if (parenthesized_expression "(*piVar3 != 0)" ( (binary_expression "*piVar3 != 0" (pointer_expression "*piVar3" * identifier) != number_literal) )) (compound_statement "{\n          return false;\n        }" { (return_statement "return false;" return false ;) })) })) })) (expression_statement "uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];" (assignment_expression "uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4]" identifier = (binary_expression "~(-1 << (param_2 & 0x1f)) & piVar5[uVar4]" (unary_expression "~(-1 << (param_2 & 0x1f))" ~ (parenthesized_expression "(-1 << (param_2 & 0x1f))" ( (binary_expression "-1 << (param_2 & 0x1f)" number_literal << (parenthesized_expression "(param_2 & 0x1f)" ( (binary_expression "param_2 & 0x1f" identifier & number_literal) ))) ))) & (subscript_expression "piVar5[uVar4]" identifier [ identifier ]))) ;) })) (return_statement "return uVar1 == 0;" return (binary_expression "uVar1 == 0" identifier == number_literal) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (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 = (binary_expression IDENT >> LIT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (compound_statement { (return_statement return BOOL ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (break_statement break ;)) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (compound_statement { (return_statement return BOOL ;) })) })) })) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression ~ (parenthesized_expression ( (binary_expression LIT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))) ))) & (subscript_expression IDENT [ IDENT ]))) ;) })) (return_statement return (binary_expression IDENT == LIT) ;) })))
(function_definition "bool __gmpz_divisible_2exp_p(int param_1,uint param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  uVar1 = *(uint *)(param_1 + 4);\n  uVar4 = param_2 >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }\n  return uVar1 == 0;\n}" (primitive_type "bool") (function_declarator "__gmpz_divisible_2exp_p(int param_1,uint param_2)" (identifier "__gmpz_divisible_2exp_p") (parameter_list "(int param_1,uint param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "uint param_2" (type_identifier "uint") (identifier "param_2")) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  uVar1 = *(uint *)(param_1 + 4);\n  uVar4 = param_2 >> 5;\n  uVar2 = uVar1;\n  if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }\n  if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }\n  return uVar1 == 0;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int *piVar3;" (primitive_type "int") (pointer_declarator "*piVar3" (* "*") (identifier "piVar3")) (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "int *piVar5;" (primitive_type "int") (pointer_declarator "*piVar5" (* "*") (identifier "piVar5")) (; ";")) (expression_statement "uVar1 = *(uint *)(param_1 + 4);" (assignment_expression "uVar1 = *(uint *)(param_1 + 4)" (identifier "uVar1") (= "=") (pointer_expression "*(uint *)(param_1 + 4)" (* "*") (cast_expression "(uint *)(param_1 + 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 4)" (( "(") (binary_expression "param_1 + 4" (identifier "param_1") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (expression_statement "uVar4 = param_2 >> 5;" (assignment_expression "uVar4 = param_2 >> 5" (identifier "uVar4") (= "=") (binary_expression "param_2 >> 5" (identifier "param_2") (>> ">>") (number_literal "5"))) (; ";")) (expression_statement "uVar2 = uVar1;" (assignment_expression "uVar2 = uVar1" (identifier "uVar2") (= "=") (identifier "uVar1")) (; ";")) (if_statement "if ((int)uVar1 < 0) {\n    uVar2 = -uVar1;\n  }" (if "if") (parenthesized_expression "((int)uVar1 < 0)" (( "(") (binary_expression "(int)uVar1 < 0" (cast_expression "(int)uVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar1")) (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    uVar2 = -uVar1;\n  }" ({ "{") (expression_statement "uVar2 = -uVar1;" (assignment_expression "uVar2 = -uVar1" (identifier "uVar2") (= "=") (unary_expression "-uVar1" (- "-") (identifier "uVar1"))) (; ";")) (} "}"))) (if_statement "if ((int)uVar4 < (int)uVar2) {\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }" (if "if") (parenthesized_expression "((int)uVar4 < (int)uVar2)" (( "(") (binary_expression "(int)uVar4 < (int)uVar2" (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4")) (< "<") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) () ")")) (compound_statement "{\n    piVar5 = *(int **)(param_1 + 8);\n    if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }\n    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];\n  }" ({ "{") (expression_statement "piVar5 = *(int **)(param_1 + 8);" (assignment_expression "piVar5 = *(int **)(param_1 + 8)" (identifier "piVar5") (= "=") (pointer_expression "*(int **)(param_1 + 8)" (* "*") (cast_expression "(int **)(param_1 + 8)" (( "(") (type_descriptor "int **" (primitive_type "int") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")"))))) (; ";")) (if_statement "if (uVar4 != 0) {\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }" (if "if") (parenthesized_expression "(uVar4 != 0)" (( "(") (binary_expression "uVar4 != 0" (identifier "uVar4") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      if (*piVar5 != 0) {\n        return false;\n      }\n      uVar2 = 0;\n      piVar3 = piVar5;\n      while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }\n    }" ({ "{") (if_statement "if (*piVar5 != 0) {\n        return false;\n      }" (if "if") (parenthesized_expression "(*piVar5 != 0)" (( "(") (binary_expression "*piVar5 != 0" (pointer_expression "*piVar5" (* "*") (identifier "piVar5")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        return false;\n      }" ({ "{") (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}"))) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" (identifier "uVar2") (= "=") (number_literal "0")) (; ";")) (expression_statement "piVar3 = piVar5;" (assignment_expression "piVar3 = piVar5" (identifier "piVar3") (= "=") (identifier "piVar5")) (; ";")) (while_statement "while( true ) {\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n        piVar3 = piVar3 + 1;\n        uVar2 = uVar2 + 1;\n        if (uVar4 == uVar2) break;\n        if (*piVar3 != 0) {\n          return false;\n        }\n      }" ({ "{") (expression_statement "piVar3 = piVar3 + 1;" (assignment_expression "piVar3 = piVar3 + 1" (identifier "piVar3") (= "=") (binary_expression "piVar3 + 1" (identifier "piVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar2 = uVar2 + 1;" (assignment_expression "uVar2 = uVar2 + 1" (identifier "uVar2") (= "=") (binary_expression "uVar2 + 1" (identifier "uVar2") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar4 == uVar2) break;" (if "if") (parenthesized_expression "(uVar4 == uVar2)" (( "(") (binary_expression "uVar4 == uVar2" (identifier "uVar4") (== "==") (identifier "uVar2")) () ")")) (break_statement "break;" (break "break") (; ";"))) (if_statement "if (*piVar3 != 0) {\n          return false;\n        }" (if "if") (parenthesized_expression "(*piVar3 != 0)" (( "(") (binary_expression "*piVar3 != 0" (pointer_expression "*piVar3" (* "*") (identifier "piVar3")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n          return false;\n        }" ({ "{") (return_statement "return false;" (return "return") (false "false") (; ";")) (} "}"))) (} "}"))) (} "}"))) (expression_statement "uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];" (assignment_expression "uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4]" (identifier "uVar1") (= "=") (binary_expression "~(-1 << (param_2 & 0x1f)) & piVar5[uVar4]" (unary_expression "~(-1 << (param_2 & 0x1f))" (~ "~") (parenthesized_expression "(-1 << (param_2 & 0x1f))" (( "(") (binary_expression "-1 << (param_2 & 0x1f)" (number_literal "-1") (<< "<<") (parenthesized_expression "(param_2 & 0x1f)" (( "(") (binary_expression "param_2 & 0x1f" (identifier "param_2") (& "&") (number_literal "0x1f")) () ")"))) () ")"))) (& "&") (subscript_expression "piVar5[uVar4]" (identifier "piVar5") ([ "[") (identifier "uVar4") (] "]")))) (; ";")) (} "}"))) (return_statement "return uVar1 == 0;" (return "return") (binary_expression "uVar1 == 0" (identifier "uVar1") (== "==") (number_literal "0")) (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) 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 declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) consequence: (compound_statement (return_statement (false)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (break_statement)) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) consequence: (compound_statement (return_statement (false)))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (unary_expression argument: (parenthesized_expression (binary_expression left: (number_literal) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) right: (subscript_expression argument: (identifier) index: (identifier))))))) (return_statement (binary_expression left: (identifier) right: (number_literal))))))

bool MASKED(int param_1,uint param_2)

{
  uint uVar1;
  uint uVar2;
  int *piVar3;
  uint uVar4;
  int *piVar5;
  
  uVar1 = *(uint *)(param_1 + 4);
  uVar4 = param_2 >> 5;
  uVar2 = uVar1;
  if ((int)uVar1 < 0) {
    uVar2 = -uVar1;
  }
  if ((int)uVar4 < (int)uVar2) {
    piVar5 = *(int **)(param_1 + 8);
    if (uVar4 != 0) {
      if (*piVar5 != 0) {
        return false;
      }
      uVar2 = 0;
      piVar3 = piVar5;
      while( true ) {
        piVar3 = piVar3 + 1;
        uVar2 = uVar2 + 1;
        if (uVar4 == uVar2) break;
        if (*piVar3 != 0) {
          return false;
        }
      }
    }
    uVar1 = ~(-1 << (param_2 & 0x1f)) & piVar5[uVar4];
  }
  return uVar1 == 0;
}

