
BignumInt reciprocal_word(BignumInt d)

{
  longlong lVar1;
  BignumInt BVar2;
  uint uVar3;
  int iVar4;
  uint uVar5;
  uint uVar6;
  
  if (-1 < (int)d) {
    BVar2 = (*(code *)PTR___assert_fail_000b0ac0)
                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,
                       PTR_DAT_000b01d0 + -0x6c3c);
    return BVar2;
  }
  uVar3 = (d >> 0x10) + 1;
  uVar6 = d + 1;
  if (uVar3 == 0) {
    trap(7);
  }
  uVar3 = (((d >> 0x10) + 0x80000000) / uVar3) * 0x10000;
  uVar5 = ~(uint)((ulonglong)uVar6 * (ulonglong)uVar3);
  lVar1 = (ulonglong)
          (~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +
          (uint)(uVar5 + 1 < uVar5)) * (ulonglong)uVar3;
  uVar3 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;
  uVar5 = (uint)((ulonglong)uVar6 * (ulonglong)uVar3);
  iVar4 = (uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20);
  if (iVar4 < 0) {
    uVar6 = ~d + 1;
    do {
      uVar3 = uVar3 - 1;
      iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;
      uVar5 = uVar5 - d;
    } while (iVar4 < 0);
  }
  else {
    uVar6 = d + uVar5;
    iVar4 = iVar4 + (uint)(uVar6 < uVar5);
    if (-1 < iVar4) {
      do {
        uVar6 = uVar6 + d;
        iVar4 = iVar4 + (uint)(uVar6 < d);
        uVar3 = uVar3 + 1;
      } while (-1 < iVar4);
      return uVar3;
    }
  }
  return uVar3;
}



uint FUN_000556d0(uint param_1)

{
  longlong lVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  
  if (-1 < (int)param_1) {
    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)
                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,
                       PTR_DAT_000b01d0 + -0x6c3c);
    return uVar2;
  }
  uVar2 = (param_1 >> 0x10) + 1;
  uVar5 = param_1 + 1;
  if (uVar2 == 0) {
    trap(7);
  }
  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;
  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);
  lVar1 = (ulonglong)
          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +
          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;
  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;
  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);
  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);
  if (iVar3 < 0) {
    uVar5 = ~param_1 + 1;
    do {
      uVar2 = uVar2 - 1;
      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;
      uVar4 = uVar4 - param_1;
    } while (iVar3 < 0);
  }
  else {
    uVar5 = param_1 + uVar4;
    iVar3 = iVar3 + (uint)(uVar5 < uVar4);
    if (-1 < iVar3) {
      do {
        uVar5 = uVar5 + param_1;
        iVar3 = iVar3 + (uint)(uVar5 < param_1);
        uVar2 = uVar2 + 1;
      } while (-1 < iVar3);
      return uVar2;
    }
  }
  return uVar2;
}


lui gp,0x6
addiu gp,gp,0x2a80
addu gp,gp,t9
bgez a0,0x000557cc
_srl v0,a0,0x10
lui a1,0x8000
addiu v1,v0,0x1
addu v0,v0,a1
addiu t0,a0,0x1
teq v1,zero
divu v0,v1
sltu v1,t0,a0
mflo v0
sll v0,v0,0x10
multu t0,v0
mflo t3
mfhi t2
mul a1,v1,v0
nor a3,zero,t3
addu a2,a1,t2
addiu a1,a3,0x1
nor a2,zero,a2
sltu a1,a1,a3
addu a2,a2,a1
multu a2,v0
mfhi a2
mflo a3
sll v0,a2,0x1
srl a1,a3,0x1f
or v0,v0,a1
multu t0,v0
mflo t1
mfhi t0
mul a1,v1,v0
addu v1,a1,t0
or a1,t1,zero
bltz v1,0x00055798
_or a2,v1,zero
addu a1,a0,t1
sltu a2,a1,t1
addu v1,v1,a2
bltz v1,0x000557c4
_nop
addu a1,a1,a0
sltu a2,a1,a0
addu v1,v1,a2
bgez v1,0x0005577c
_addiu v0,v0,0x1
jr ra
_nop
nor a3,zero,a0
addiu t0,a3,0x1
sltu a3,t0,a3
addu v1,a1,t0
addiu v0,v0,-0x1
sltu v1,v1,a1
addu v1,v1,a3
addiu v1,v1,-0x1
addu a2,a2,v1
bltz a2,0x000557a4
_subu a1,a1,a0
jr ra
_nop
lw a3,-0x7f80(gp)
addiu sp,sp,-0x20
lw a1,-0x7f80(gp)
li a2,0x22c
lw a0,-0x7f80(gp)
lw t9,-0x7690(gp)
addiu a3,a3,-0x6c3c
addiu a1,a1,-0x6e40
sw gp,0x10(sp)
sw ra,0x1c(sp)
jalr t9
_addiu a0,a0,-0x6e38
(translation_unit "uint FUN_000556d0(uint param_1)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }\n  uVar2 = (param_1 >> 0x10) + 1;\n  uVar5 = param_1 + 1;\n  if (uVar2 == 0) {\n    trap(7);\n  }\n  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;\n  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;\n  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);\n  if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }\n  return uVar2;\n}\n\n" (function_definition "uint FUN_000556d0(uint param_1)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }\n  uVar2 = (param_1 >> 0x10) + 1;\n  uVar5 = param_1 + 1;\n  if (uVar2 == 0) {\n    trap(7);\n  }\n  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;\n  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;\n  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);\n  if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }\n  return uVar2;\n}" type_identifier (function_declarator "FUN_000556d0(uint param_1)" identifier (parameter_list "(uint param_1)" ( (parameter_declaration "uint param_1" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }\n  uVar2 = (param_1 >> 0x10) + 1;\n  uVar5 = param_1 + 1;\n  if (uVar2 == 0) {\n    trap(7);\n  }\n  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;\n  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;\n  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);\n  if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }\n  return uVar2;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (if_statement "if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }" if (parenthesized_expression "(-1 < (int)param_1)" ( (binary_expression "-1 < (int)param_1" number_literal < (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }" { (expression_statement "uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);" (assignment_expression "uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" identifier = (call_expression "(*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" (parenthesized_expression "(*(code *)PTR___assert_fail_000b0ac0)" ( (pointer_expression "*(code *)PTR___assert_fail_000b0ac0" * (cast_expression "(code *)PTR___assert_fail_000b0ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" ( (binary_expression "PTR_DAT_000b01d0 + -0x6e38" identifier + number_literal) , (binary_expression "PTR_DAT_000b01d0 + -0x6e40" identifier + number_literal) , number_literal , (binary_expression "PTR_DAT_000b01d0 + -0x6c3c" identifier + number_literal) )))) ;) (return_statement "return uVar2;" return identifier ;) })) (expression_statement "uVar2 = (param_1 >> 0x10) + 1;" (assignment_expression "uVar2 = (param_1 >> 0x10) + 1" identifier = (binary_expression "(param_1 >> 0x10) + 1" (parenthesized_expression "(param_1 >> 0x10)" ( (binary_expression "param_1 >> 0x10" identifier >> number_literal) )) + number_literal)) ;) (expression_statement "uVar5 = param_1 + 1;" (assignment_expression "uVar5 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (if_statement "if (uVar2 == 0) {\n    trap(7);\n  }" if (parenthesized_expression "(uVar2 == 0)" ( (binary_expression "uVar2 == 0" identifier == number_literal) )) (compound_statement "{\n    trap(7);\n  }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;" (assignment_expression "uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000" identifier = (binary_expression "(((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000" (parenthesized_expression "(((param_1 >> 0x10) + 0x80000000) / uVar2)" ( (binary_expression "((param_1 >> 0x10) + 0x80000000) / uVar2" (parenthesized_expression "((param_1 >> 0x10) + 0x80000000)" ( (binary_expression "(param_1 >> 0x10) + 0x80000000" (parenthesized_expression "(param_1 >> 0x10)" ( (binary_expression "param_1 >> 0x10" identifier >> number_literal) )) + number_literal) )) / identifier) )) * number_literal)) ;) (expression_statement "uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);" (assignment_expression "uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" identifier = (unary_expression "~(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" ~ (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)uVar2)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ))))) ;) (expression_statement "lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;" (assignment_expression "lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2" identifier = (binary_expression "(ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2" (call_expression "(ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4))" (parenthesized_expression "(ulonglong)" ( identifier )) (argument_list "(~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4))" ( (binary_expression "~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)" (unary_expression "~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20))" ~ (parenthesized_expression "((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20))" ( (binary_expression "(uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (binary_expression "(uVar5 < param_1) * uVar2" (parenthesized_expression "(uVar5 < param_1)" ( (binary_expression "uVar5 < param_1" identifier < identifier) )) * identifier) + (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ))) + (call_expression "(uint)(uVar4 + 1 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar4 + 1 < uVar4)" ( (binary_expression "uVar4 + 1 < uVar4" (binary_expression "uVar4 + 1" identifier + number_literal) < identifier) )))) ))) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;" (assignment_expression "uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f" (binary_expression "(int)((ulonglong)lVar1 >> 0x20) << 1" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) << number_literal) | (binary_expression "(uint)lVar1 >> 0x1f" (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier) >> number_literal))) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)uVar2)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);" (assignment_expression "iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" identifier = (binary_expression "(uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (binary_expression "(uVar5 < param_1) * uVar2" (parenthesized_expression "(uVar5 < param_1)" ( (binary_expression "uVar5 < param_1" identifier < identifier) )) * identifier) + (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))))) ;) (if_statement "if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" if (parenthesized_expression "(iVar3 < 0)" ( (binary_expression "iVar3 < 0" identifier < number_literal) )) (compound_statement "{\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }" { (expression_statement "uVar5 = ~param_1 + 1;" (assignment_expression "uVar5 = ~param_1 + 1" identifier = (binary_expression "~param_1 + 1" (unary_expression "~param_1" ~ identifier) + number_literal)) ;) (do_statement "do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);" do (compound_statement "{\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    }" { (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;" (assignment_expression "iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1" identifier = (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1" (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1)" (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4)" identifier + (call_expression "(uint)(uVar4 + uVar5 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar4 + uVar5 < uVar4)" ( (binary_expression "uVar4 + uVar5 < uVar4" (binary_expression "uVar4 + uVar5" identifier + identifier) < identifier) )))) + (call_expression "(uint)(uVar5 < ~param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 < ~param_1)" ( (binary_expression "uVar5 < ~param_1" identifier < (unary_expression "~param_1" ~ identifier)) )))) + number_literal)) ;) (expression_statement "uVar4 = uVar4 - param_1;" (assignment_expression "uVar4 = uVar4 - param_1" identifier = (binary_expression "uVar4 - param_1" identifier - identifier)) ;) }) while (parenthesized_expression "(iVar3 < 0)" ( (binary_expression "iVar3 < 0" identifier < number_literal) )) ;) }) (else_clause "else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" else (compound_statement "{\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" { (expression_statement "uVar5 = param_1 + uVar4;" (assignment_expression "uVar5 = param_1 + uVar4" identifier = (binary_expression "param_1 + uVar4" identifier + identifier)) ;) (expression_statement "iVar3 = iVar3 + (uint)(uVar5 < uVar4);" (assignment_expression "iVar3 = iVar3 + (uint)(uVar5 < uVar4)" identifier = (binary_expression "iVar3 + (uint)(uVar5 < uVar4)" identifier + (call_expression "(uint)(uVar5 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 < uVar4)" ( (binary_expression "uVar5 < uVar4" identifier < identifier) ))))) ;) (if_statement "if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }" if (parenthesized_expression "(-1 < iVar3)" ( (binary_expression "-1 < iVar3" number_literal < identifier) )) (compound_statement "{\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }" { (do_statement "do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);" do (compound_statement "{\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      }" { (expression_statement "uVar5 = uVar5 + param_1;" (assignment_expression "uVar5 = uVar5 + param_1" identifier = (binary_expression "uVar5 + param_1" identifier + identifier)) ;) (expression_statement "iVar3 = iVar3 + (uint)(uVar5 < param_1);" (assignment_expression "iVar3 = iVar3 + (uint)(uVar5 < param_1)" identifier = (binary_expression "iVar3 + (uint)(uVar5 < param_1)" identifier + (call_expression "(uint)(uVar5 < param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 < param_1)" ( (binary_expression "uVar5 < param_1" identifier < identifier) ))))) ;) (expression_statement "uVar2 = uVar2 + 1;" (assignment_expression "uVar2 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-1 < iVar3)" ( (binary_expression "-1 < iVar3" number_literal < identifier) )) ;) (return_statement "return uVar2;" return identifier ;) })) }))) (return_statement "return uVar2;" return identifier ;) })))
(translation_unit "BignumInt reciprocal_word(BignumInt d)\n\n{\n  longlong lVar1;\n  BignumInt BVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (-1 < (int)d) {\n    BVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return BVar2;\n  }\n  uVar3 = (d >> 0x10) + 1;\n  uVar6 = d + 1;\n  if (uVar3 == 0) {\n    trap(7);\n  }\n  uVar3 = (((d >> 0x10) + 0x80000000) / uVar3) * 0x10000;\n  uVar5 = ~(uint)((ulonglong)uVar6 * (ulonglong)uVar3);\n  lVar1 = (ulonglong)\n          (~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5)) * (ulonglong)uVar3;\n  uVar3 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar5 = (uint)((ulonglong)uVar6 * (ulonglong)uVar3);\n  iVar4 = (uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20);\n  if (iVar4 < 0) {\n    uVar6 = ~d + 1;\n    do {\n      uVar3 = uVar3 - 1;\n      iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;\n      uVar5 = uVar5 - d;\n    } while (iVar4 < 0);\n  }\n  else {\n    uVar6 = d + uVar5;\n    iVar4 = iVar4 + (uint)(uVar6 < uVar5);\n    if (-1 < iVar4) {\n      do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);\n      return uVar3;\n    }\n  }\n  return uVar3;\n}\n\n" (function_definition "BignumInt reciprocal_word(BignumInt d)\n\n{\n  longlong lVar1;\n  BignumInt BVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (-1 < (int)d) {\n    BVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return BVar2;\n  }\n  uVar3 = (d >> 0x10) + 1;\n  uVar6 = d + 1;\n  if (uVar3 == 0) {\n    trap(7);\n  }\n  uVar3 = (((d >> 0x10) + 0x80000000) / uVar3) * 0x10000;\n  uVar5 = ~(uint)((ulonglong)uVar6 * (ulonglong)uVar3);\n  lVar1 = (ulonglong)\n          (~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5)) * (ulonglong)uVar3;\n  uVar3 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar5 = (uint)((ulonglong)uVar6 * (ulonglong)uVar3);\n  iVar4 = (uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20);\n  if (iVar4 < 0) {\n    uVar6 = ~d + 1;\n    do {\n      uVar3 = uVar3 - 1;\n      iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;\n      uVar5 = uVar5 - d;\n    } while (iVar4 < 0);\n  }\n  else {\n    uVar6 = d + uVar5;\n    iVar4 = iVar4 + (uint)(uVar6 < uVar5);\n    if (-1 < iVar4) {\n      do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);\n      return uVar3;\n    }\n  }\n  return uVar3;\n}" type_identifier (function_declarator "reciprocal_word(BignumInt d)" identifier (parameter_list "(BignumInt d)" ( (parameter_declaration "BignumInt d" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  BignumInt BVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (-1 < (int)d) {\n    BVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return BVar2;\n  }\n  uVar3 = (d >> 0x10) + 1;\n  uVar6 = d + 1;\n  if (uVar3 == 0) {\n    trap(7);\n  }\n  uVar3 = (((d >> 0x10) + 0x80000000) / uVar3) * 0x10000;\n  uVar5 = ~(uint)((ulonglong)uVar6 * (ulonglong)uVar3);\n  lVar1 = (ulonglong)\n          (~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5)) * (ulonglong)uVar3;\n  uVar3 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar5 = (uint)((ulonglong)uVar6 * (ulonglong)uVar3);\n  iVar4 = (uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20);\n  if (iVar4 < 0) {\n    uVar6 = ~d + 1;\n    do {\n      uVar3 = uVar3 - 1;\n      iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;\n      uVar5 = uVar5 - d;\n    } while (iVar4 < 0);\n  }\n  else {\n    uVar6 = d + uVar5;\n    iVar4 = iVar4 + (uint)(uVar6 < uVar5);\n    if (-1 < iVar4) {\n      do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);\n      return uVar3;\n    }\n  }\n  return uVar3;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "BignumInt BVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (if_statement "if (-1 < (int)d) {\n    BVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return BVar2;\n  }" if (parenthesized_expression "(-1 < (int)d)" ( (binary_expression "-1 < (int)d" number_literal < (cast_expression "(int)d" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n    BVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return BVar2;\n  }" { (expression_statement "BVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);" (assignment_expression "BVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" identifier = (call_expression "(*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" (parenthesized_expression "(*(code *)PTR___assert_fail_000b0ac0)" ( (pointer_expression "*(code *)PTR___assert_fail_000b0ac0" * (cast_expression "(code *)PTR___assert_fail_000b0ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" ( (binary_expression "PTR_DAT_000b01d0 + -0x6e38" identifier + number_literal) , (binary_expression "PTR_DAT_000b01d0 + -0x6e40" identifier + number_literal) , number_literal , (binary_expression "PTR_DAT_000b01d0 + -0x6c3c" identifier + number_literal) )))) ;) (return_statement "return BVar2;" return identifier ;) })) (expression_statement "uVar3 = (d >> 0x10) + 1;" (assignment_expression "uVar3 = (d >> 0x10) + 1" identifier = (binary_expression "(d >> 0x10) + 1" (parenthesized_expression "(d >> 0x10)" ( (binary_expression "d >> 0x10" identifier >> number_literal) )) + number_literal)) ;) (expression_statement "uVar6 = d + 1;" (assignment_expression "uVar6 = d + 1" identifier = (binary_expression "d + 1" identifier + number_literal)) ;) (if_statement "if (uVar3 == 0) {\n    trap(7);\n  }" if (parenthesized_expression "(uVar3 == 0)" ( (binary_expression "uVar3 == 0" identifier == number_literal) )) (compound_statement "{\n    trap(7);\n  }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "uVar3 = (((d >> 0x10) + 0x80000000) / uVar3) * 0x10000;" (assignment_expression "uVar3 = (((d >> 0x10) + 0x80000000) / uVar3) * 0x10000" identifier = (binary_expression "(((d >> 0x10) + 0x80000000) / uVar3) * 0x10000" (parenthesized_expression "(((d >> 0x10) + 0x80000000) / uVar3)" ( (binary_expression "((d >> 0x10) + 0x80000000) / uVar3" (parenthesized_expression "((d >> 0x10) + 0x80000000)" ( (binary_expression "(d >> 0x10) + 0x80000000" (parenthesized_expression "(d >> 0x10)" ( (binary_expression "d >> 0x10" identifier >> number_literal) )) + number_literal) )) / identifier) )) * number_literal)) ;) (expression_statement "uVar5 = ~(uint)((ulonglong)uVar6 * (ulonglong)uVar3);" (assignment_expression "uVar5 = ~(uint)((ulonglong)uVar6 * (ulonglong)uVar3)" identifier = (unary_expression "~(uint)((ulonglong)uVar6 * (ulonglong)uVar3)" ~ (call_expression "(uint)((ulonglong)uVar6 * (ulonglong)uVar3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar6 * (ulonglong)uVar3)" ( (binary_expression "(ulonglong)uVar6 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ))))) ;) (expression_statement "lVar1 = (ulonglong)\n          (~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5)) * (ulonglong)uVar3;" (assignment_expression "lVar1 = (ulonglong)\n          (~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5)) * (ulonglong)uVar3" identifier = (binary_expression "(ulonglong)\n          (~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5)) * (ulonglong)uVar3" (call_expression "(ulonglong)\n          (~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5))" (parenthesized_expression "(ulonglong)" ( identifier )) (argument_list "(~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5))" ( (binary_expression "~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)) +\n          (uint)(uVar5 + 1 < uVar5)" (unary_expression "~((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20))" ~ (parenthesized_expression "((uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20))" ( (binary_expression "(uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)" (binary_expression "(uVar6 < d) * uVar3" (parenthesized_expression "(uVar6 < d)" ( (binary_expression "uVar6 < d" identifier < identifier) )) * identifier) + (cast_expression "(int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)" ( (binary_expression "(ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20" (binary_expression "(ulonglong)uVar6 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ))) + (call_expression "(uint)(uVar5 + 1 < uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 + 1 < uVar5)" ( (binary_expression "uVar5 + 1 < uVar5" (binary_expression "uVar5 + 1" identifier + number_literal) < identifier) )))) ))) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;" (assignment_expression "uVar3 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f" (binary_expression "(int)((ulonglong)lVar1 >> 0x20) << 1" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) << number_literal) | (binary_expression "(uint)lVar1 >> 0x1f" (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier) >> number_literal))) ;) (expression_statement "uVar5 = (uint)((ulonglong)uVar6 * (ulonglong)uVar3);" (assignment_expression "uVar5 = (uint)((ulonglong)uVar6 * (ulonglong)uVar3)" identifier = (call_expression "(uint)((ulonglong)uVar6 * (ulonglong)uVar3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar6 * (ulonglong)uVar3)" ( (binary_expression "(ulonglong)uVar6 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "iVar4 = (uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20);" (assignment_expression "iVar4 = (uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)" identifier = (binary_expression "(uVar6 < d) * uVar3 + (int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)" (binary_expression "(uVar6 < d) * uVar3" (parenthesized_expression "(uVar6 < d)" ( (binary_expression "uVar6 < d" identifier < identifier) )) * identifier) + (cast_expression "(int)((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20)" ( (binary_expression "(ulonglong)uVar6 * (ulonglong)uVar3 >> 0x20" (binary_expression "(ulonglong)uVar6 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))))) ;) (if_statement "if (iVar4 < 0) {\n    uVar6 = ~d + 1;\n    do {\n      uVar3 = uVar3 - 1;\n      iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;\n      uVar5 = uVar5 - d;\n    } while (iVar4 < 0);\n  }\n  else {\n    uVar6 = d + uVar5;\n    iVar4 = iVar4 + (uint)(uVar6 < uVar5);\n    if (-1 < iVar4) {\n      do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);\n      return uVar3;\n    }\n  }" if (parenthesized_expression "(iVar4 < 0)" ( (binary_expression "iVar4 < 0" identifier < number_literal) )) (compound_statement "{\n    uVar6 = ~d + 1;\n    do {\n      uVar3 = uVar3 - 1;\n      iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;\n      uVar5 = uVar5 - d;\n    } while (iVar4 < 0);\n  }" { (expression_statement "uVar6 = ~d + 1;" (assignment_expression "uVar6 = ~d + 1" identifier = (binary_expression "~d + 1" (unary_expression "~d" ~ identifier) + number_literal)) ;) (do_statement "do {\n      uVar3 = uVar3 - 1;\n      iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;\n      uVar5 = uVar5 - d;\n    } while (iVar4 < 0);" do (compound_statement "{\n      uVar3 = uVar3 - 1;\n      iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;\n      uVar5 = uVar5 - d;\n    }" { (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (expression_statement "iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1;" (assignment_expression "iVar4 = iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1" identifier = (binary_expression "iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d) + -1" (binary_expression "iVar4 + (uint)(uVar5 + uVar6 < uVar5) + (uint)(uVar6 < ~d)" (binary_expression "iVar4 + (uint)(uVar5 + uVar6 < uVar5)" identifier + (call_expression "(uint)(uVar5 + uVar6 < uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 + uVar6 < uVar5)" ( (binary_expression "uVar5 + uVar6 < uVar5" (binary_expression "uVar5 + uVar6" identifier + identifier) < identifier) )))) + (call_expression "(uint)(uVar6 < ~d)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar6 < ~d)" ( (binary_expression "uVar6 < ~d" identifier < (unary_expression "~d" ~ identifier)) )))) + number_literal)) ;) (expression_statement "uVar5 = uVar5 - d;" (assignment_expression "uVar5 = uVar5 - d" identifier = (binary_expression "uVar5 - d" identifier - identifier)) ;) }) while (parenthesized_expression "(iVar4 < 0)" ( (binary_expression "iVar4 < 0" identifier < number_literal) )) ;) }) (else_clause "else {\n    uVar6 = d + uVar5;\n    iVar4 = iVar4 + (uint)(uVar6 < uVar5);\n    if (-1 < iVar4) {\n      do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);\n      return uVar3;\n    }\n  }" else (compound_statement "{\n    uVar6 = d + uVar5;\n    iVar4 = iVar4 + (uint)(uVar6 < uVar5);\n    if (-1 < iVar4) {\n      do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);\n      return uVar3;\n    }\n  }" { (expression_statement "uVar6 = d + uVar5;" (assignment_expression "uVar6 = d + uVar5" identifier = (binary_expression "d + uVar5" identifier + identifier)) ;) (expression_statement "iVar4 = iVar4 + (uint)(uVar6 < uVar5);" (assignment_expression "iVar4 = iVar4 + (uint)(uVar6 < uVar5)" identifier = (binary_expression "iVar4 + (uint)(uVar6 < uVar5)" identifier + (call_expression "(uint)(uVar6 < uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar6 < uVar5)" ( (binary_expression "uVar6 < uVar5" identifier < identifier) ))))) ;) (if_statement "if (-1 < iVar4) {\n      do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);\n      return uVar3;\n    }" if (parenthesized_expression "(-1 < iVar4)" ( (binary_expression "-1 < iVar4" number_literal < identifier) )) (compound_statement "{\n      do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);\n      return uVar3;\n    }" { (do_statement "do {\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      } while (-1 < iVar4);" do (compound_statement "{\n        uVar6 = uVar6 + d;\n        iVar4 = iVar4 + (uint)(uVar6 < d);\n        uVar3 = uVar3 + 1;\n      }" { (expression_statement "uVar6 = uVar6 + d;" (assignment_expression "uVar6 = uVar6 + d" identifier = (binary_expression "uVar6 + d" identifier + identifier)) ;) (expression_statement "iVar4 = iVar4 + (uint)(uVar6 < d);" (assignment_expression "iVar4 = iVar4 + (uint)(uVar6 < d)" identifier = (binary_expression "iVar4 + (uint)(uVar6 < d)" identifier + (call_expression "(uint)(uVar6 < d)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar6 < d)" ( (binary_expression "uVar6 < d" identifier < identifier) ))))) ;) (expression_statement "uVar3 = uVar3 + 1;" (assignment_expression "uVar3 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-1 < iVar4)" ( (binary_expression "-1 < iVar4" number_literal < identifier) )) ;) (return_statement "return uVar3;" return identifier ;) })) }))) (return_statement "return uVar3;" return identifier ;) })))
(translation_unit "uint FUN_000556d0(uint param_1)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }\n  uVar2 = (param_1 >> 0x10) + 1;\n  uVar5 = param_1 + 1;\n  if (uVar2 == 0) {\n    trap(7);\n  }\n  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;\n  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;\n  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);\n  if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }\n  return uVar2;\n}\n\n" (function_definition "uint FUN_000556d0(uint param_1)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }\n  uVar2 = (param_1 >> 0x10) + 1;\n  uVar5 = param_1 + 1;\n  if (uVar2 == 0) {\n    trap(7);\n  }\n  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;\n  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;\n  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);\n  if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }\n  return uVar2;\n}" type_identifier (function_declarator "FUN_000556d0(uint param_1)" identifier (parameter_list "(uint param_1)" ( (parameter_declaration "uint param_1" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }\n  uVar2 = (param_1 >> 0x10) + 1;\n  uVar5 = param_1 + 1;\n  if (uVar2 == 0) {\n    trap(7);\n  }\n  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;\n  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;\n  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);\n  if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }\n  return uVar2;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (if_statement "if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }" if (parenthesized_expression "(-1 < (int)param_1)" ( (binary_expression "-1 < (int)param_1" number_literal < (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }" { (expression_statement "uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);" (assignment_expression "uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" identifier = (call_expression "(*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" (parenthesized_expression "(*(code *)PTR___assert_fail_000b0ac0)" ( (pointer_expression "*(code *)PTR___assert_fail_000b0ac0" * (cast_expression "(code *)PTR___assert_fail_000b0ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" ( (binary_expression "PTR_DAT_000b01d0 + -0x6e38" identifier + number_literal) , (binary_expression "PTR_DAT_000b01d0 + -0x6e40" identifier + number_literal) , number_literal , (binary_expression "PTR_DAT_000b01d0 + -0x6c3c" identifier + number_literal) )))) ;) (return_statement "return uVar2;" return identifier ;) })) (expression_statement "uVar2 = (param_1 >> 0x10) + 1;" (assignment_expression "uVar2 = (param_1 >> 0x10) + 1" identifier = (binary_expression "(param_1 >> 0x10) + 1" (parenthesized_expression "(param_1 >> 0x10)" ( (binary_expression "param_1 >> 0x10" identifier >> number_literal) )) + number_literal)) ;) (expression_statement "uVar5 = param_1 + 1;" (assignment_expression "uVar5 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (if_statement "if (uVar2 == 0) {\n    trap(7);\n  }" if (parenthesized_expression "(uVar2 == 0)" ( (binary_expression "uVar2 == 0" identifier == number_literal) )) (compound_statement "{\n    trap(7);\n  }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;" (assignment_expression "uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000" identifier = (binary_expression "(((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000" (parenthesized_expression "(((param_1 >> 0x10) + 0x80000000) / uVar2)" ( (binary_expression "((param_1 >> 0x10) + 0x80000000) / uVar2" (parenthesized_expression "((param_1 >> 0x10) + 0x80000000)" ( (binary_expression "(param_1 >> 0x10) + 0x80000000" (parenthesized_expression "(param_1 >> 0x10)" ( (binary_expression "param_1 >> 0x10" identifier >> number_literal) )) + number_literal) )) / identifier) )) * number_literal)) ;) (expression_statement "uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);" (assignment_expression "uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" identifier = (unary_expression "~(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" ~ (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)uVar2)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ))))) ;) (expression_statement "lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;" (assignment_expression "lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2" identifier = (binary_expression "(ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2" (call_expression "(ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4))" (parenthesized_expression "(ulonglong)" ( identifier )) (argument_list "(~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4))" ( (binary_expression "~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)" (unary_expression "~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20))" ~ (parenthesized_expression "((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20))" ( (binary_expression "(uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (binary_expression "(uVar5 < param_1) * uVar2" (parenthesized_expression "(uVar5 < param_1)" ( (binary_expression "uVar5 < param_1" identifier < identifier) )) * identifier) + (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ))) + (call_expression "(uint)(uVar4 + 1 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar4 + 1 < uVar4)" ( (binary_expression "uVar4 + 1 < uVar4" (binary_expression "uVar4 + 1" identifier + number_literal) < identifier) )))) ))) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;" (assignment_expression "uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f" (binary_expression "(int)((ulonglong)lVar1 >> 0x20) << 1" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) << number_literal) | (binary_expression "(uint)lVar1 >> 0x1f" (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier) >> number_literal))) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)uVar2)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);" (assignment_expression "iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" identifier = (binary_expression "(uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (binary_expression "(uVar5 < param_1) * uVar2" (parenthesized_expression "(uVar5 < param_1)" ( (binary_expression "uVar5 < param_1" identifier < identifier) )) * identifier) + (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))))) ;) (if_statement "if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" if (parenthesized_expression "(iVar3 < 0)" ( (binary_expression "iVar3 < 0" identifier < number_literal) )) (compound_statement "{\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }" { (expression_statement "uVar5 = ~param_1 + 1;" (assignment_expression "uVar5 = ~param_1 + 1" identifier = (binary_expression "~param_1 + 1" (unary_expression "~param_1" ~ identifier) + number_literal)) ;) (do_statement "do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);" do (compound_statement "{\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    }" { (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;" (assignment_expression "iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1" identifier = (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1" (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1)" (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4)" identifier + (call_expression "(uint)(uVar4 + uVar5 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar4 + uVar5 < uVar4)" ( (binary_expression "uVar4 + uVar5 < uVar4" (binary_expression "uVar4 + uVar5" identifier + identifier) < identifier) )))) + (call_expression "(uint)(uVar5 < ~param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 < ~param_1)" ( (binary_expression "uVar5 < ~param_1" identifier < (unary_expression "~param_1" ~ identifier)) )))) + number_literal)) ;) (expression_statement "uVar4 = uVar4 - param_1;" (assignment_expression "uVar4 = uVar4 - param_1" identifier = (binary_expression "uVar4 - param_1" identifier - identifier)) ;) }) while (parenthesized_expression "(iVar3 < 0)" ( (binary_expression "iVar3 < 0" identifier < number_literal) )) ;) }) (else_clause "else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" else (compound_statement "{\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" { (expression_statement "uVar5 = param_1 + uVar4;" (assignment_expression "uVar5 = param_1 + uVar4" identifier = (binary_expression "param_1 + uVar4" identifier + identifier)) ;) (expression_statement "iVar3 = iVar3 + (uint)(uVar5 < uVar4);" (assignment_expression "iVar3 = iVar3 + (uint)(uVar5 < uVar4)" identifier = (binary_expression "iVar3 + (uint)(uVar5 < uVar4)" identifier + (call_expression "(uint)(uVar5 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 < uVar4)" ( (binary_expression "uVar5 < uVar4" identifier < identifier) ))))) ;) (if_statement "if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }" if (parenthesized_expression "(-1 < iVar3)" ( (binary_expression "-1 < iVar3" number_literal < identifier) )) (compound_statement "{\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }" { (do_statement "do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);" do (compound_statement "{\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      }" { (expression_statement "uVar5 = uVar5 + param_1;" (assignment_expression "uVar5 = uVar5 + param_1" identifier = (binary_expression "uVar5 + param_1" identifier + identifier)) ;) (expression_statement "iVar3 = iVar3 + (uint)(uVar5 < param_1);" (assignment_expression "iVar3 = iVar3 + (uint)(uVar5 < param_1)" identifier = (binary_expression "iVar3 + (uint)(uVar5 < param_1)" identifier + (call_expression "(uint)(uVar5 < param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 < param_1)" ( (binary_expression "uVar5 < param_1" identifier < identifier) ))))) ;) (expression_statement "uVar2 = uVar2 + 1;" (assignment_expression "uVar2 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-1 < iVar3)" ( (binary_expression "-1 < iVar3" number_literal < identifier) )) ;) (return_statement "return uVar2;" return identifier ;) })) }))) (return_statement "return uVar2;" return identifier ;) })))
(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 ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , (binary_expression IDENT + LIT) , LIT , (binary_expression IDENT + LIT) )))) ;) (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) + LIT) )) / IDENT) )) * LIT)) ;) (expression_statement (assignment_expression IDENT = (unary_expression ~ (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (unary_expression ~ (parenthesized_expression ( (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT < IDENT) )) * IDENT) + (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) )))) ))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression IDENT + LIT) < IDENT) )))) ))) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) << LIT) | (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT < IDENT) )) * IDENT) + (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression ~ IDENT) + LIT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression IDENT + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression IDENT + IDENT) < IDENT) )))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < (unary_expression ~ IDENT)) )))) + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT < LIT) )) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression LIT < IDENT) )) ;) (return_statement return IDENT ;) })) }))) (return_statement return IDENT ;) })))
(function_definition "uint FUN_000556d0(uint param_1)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }\n  uVar2 = (param_1 >> 0x10) + 1;\n  uVar5 = param_1 + 1;\n  if (uVar2 == 0) {\n    trap(7);\n  }\n  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;\n  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;\n  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);\n  if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }\n  return uVar2;\n}" (type_identifier "uint") (function_declarator "FUN_000556d0(uint param_1)" (identifier "FUN_000556d0") (parameter_list "(uint param_1)" (( "(") (parameter_declaration "uint param_1" (type_identifier "uint") (identifier "param_1")) () ")"))) (compound_statement "{\n  longlong lVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }\n  uVar2 = (param_1 >> 0x10) + 1;\n  uVar5 = param_1 + 1;\n  if (uVar2 == 0) {\n    trap(7);\n  }\n  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;\n  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;\n  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;\n  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);\n  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);\n  if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }\n  return uVar2;\n}" ({ "{") (declaration "longlong lVar1;" (type_identifier "longlong") (identifier "lVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (if_statement "if (-1 < (int)param_1) {\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }" (if "if") (parenthesized_expression "(-1 < (int)param_1)" (( "(") (binary_expression "-1 < (int)param_1" (number_literal "-1") (< "<") (cast_expression "(int)param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_1"))) () ")")) (compound_statement "{\n    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);\n    return uVar2;\n  }" ({ "{") (expression_statement "uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c);" (assignment_expression "uVar2 = (*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" (identifier "uVar2") (= "=") (call_expression "(*(code *)PTR___assert_fail_000b0ac0)\n                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" (parenthesized_expression "(*(code *)PTR___assert_fail_000b0ac0)" (( "(") (pointer_expression "*(code *)PTR___assert_fail_000b0ac0" (* "*") (cast_expression "(code *)PTR___assert_fail_000b0ac0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___assert_fail_000b0ac0"))) () ")")) (argument_list "(PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,\n                       PTR_DAT_000b01d0 + -0x6c3c)" (( "(") (binary_expression "PTR_DAT_000b01d0 + -0x6e38" (identifier "PTR_DAT_000b01d0") (+ "+") (number_literal "-0x6e38")) (, ",") (binary_expression "PTR_DAT_000b01d0 + -0x6e40" (identifier "PTR_DAT_000b01d0") (+ "+") (number_literal "-0x6e40")) (, ",") (number_literal "0x22c") (, ",") (binary_expression "PTR_DAT_000b01d0 + -0x6c3c" (identifier "PTR_DAT_000b01d0") (+ "+") (number_literal "-0x6c3c")) () ")")))) (; ";")) (return_statement "return uVar2;" (return "return") (identifier "uVar2") (; ";")) (} "}"))) (expression_statement "uVar2 = (param_1 >> 0x10) + 1;" (assignment_expression "uVar2 = (param_1 >> 0x10) + 1" (identifier "uVar2") (= "=") (binary_expression "(param_1 >> 0x10) + 1" (parenthesized_expression "(param_1 >> 0x10)" (( "(") (binary_expression "param_1 >> 0x10" (identifier "param_1") (>> ">>") (number_literal "0x10")) () ")")) (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar5 = param_1 + 1;" (assignment_expression "uVar5 = param_1 + 1" (identifier "uVar5") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar2 == 0) {\n    trap(7);\n  }" (if "if") (parenthesized_expression "(uVar2 == 0)" (( "(") (binary_expression "uVar2 == 0" (identifier "uVar2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    trap(7);\n  }" ({ "{") (expression_statement "trap(7);" (call_expression "trap(7)" (identifier "trap") (argument_list "(7)" (( "(") (number_literal "7") () ")"))) (; ";")) (} "}"))) (expression_statement "uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;" (assignment_expression "uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000" (identifier "uVar2") (= "=") (binary_expression "(((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000" (parenthesized_expression "(((param_1 >> 0x10) + 0x80000000) / uVar2)" (( "(") (binary_expression "((param_1 >> 0x10) + 0x80000000) / uVar2" (parenthesized_expression "((param_1 >> 0x10) + 0x80000000)" (( "(") (binary_expression "(param_1 >> 0x10) + 0x80000000" (parenthesized_expression "(param_1 >> 0x10)" (( "(") (binary_expression "param_1 >> 0x10" (identifier "param_1") (>> ">>") (number_literal "0x10")) () ")")) (+ "+") (number_literal "0x80000000")) () ")")) (/ "/") (identifier "uVar2")) () ")")) (* "*") (number_literal "0x10000"))) (; ";")) (expression_statement "uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);" (assignment_expression "uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (identifier "uVar4") (= "=") (unary_expression "~(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (~ "~") (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar5 * (ulonglong)uVar2)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2"))) () ")"))))) (; ";")) (expression_statement "lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;" (assignment_expression "lVar1 = (ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2" (call_expression "(ulonglong)\n          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4))" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (argument_list "(~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4))" (( "(") (binary_expression "~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +\n          (uint)(uVar4 + 1 < uVar4)" (unary_expression "~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20))" (~ "~") (parenthesized_expression "((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20))" (( "(") (binary_expression "(uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (binary_expression "(uVar5 < param_1) * uVar2" (parenthesized_expression "(uVar5 < param_1)" (( "(") (binary_expression "uVar5 < param_1" (identifier "uVar5") (< "<") (identifier "param_1")) () ")")) (* "*") (identifier "uVar2")) (+ "+") (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2"))) (>> ">>") (number_literal "0x20")) () ")")))) () ")"))) (+ "+") (call_expression "(uint)(uVar4 + 1 < uVar4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar4 + 1 < uVar4)" (( "(") (binary_expression "uVar4 + 1 < uVar4" (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1")) (< "<") (identifier "uVar4")) () ")")))) () ")"))) (* "*") (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2")))) (; ";")) (expression_statement "uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;" (assignment_expression "uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f" (identifier "uVar2") (= "=") (binary_expression "(int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f" (binary_expression "(int)((ulonglong)lVar1 >> 0x20) << 1" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")"))) (<< "<<") (number_literal "1")) (| "|") (binary_expression "(uint)lVar1 >> 0x1f" (cast_expression "(uint)lVar1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x1f")))) (; ";")) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (identifier "uVar4") (= "=") (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)uVar2)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar5 * (ulonglong)uVar2)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2"))) () ")")))) (; ";")) (expression_statement "iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);" (assignment_expression "iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (identifier "iVar3") (= "=") (binary_expression "(uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (binary_expression "(uVar5 < param_1) * uVar2" (parenthesized_expression "(uVar5 < param_1)" (( "(") (binary_expression "uVar5 < param_1" (identifier "uVar5") (< "<") (identifier "param_1")) () ")")) (* "*") (identifier "uVar2")) (+ "+") (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar2" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2"))) (>> ">>") (number_literal "0x20")) () ")"))))) (; ";")) (if_statement "if (iVar3 < 0) {\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }\n  else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" (if "if") (parenthesized_expression "(iVar3 < 0)" (( "(") (binary_expression "iVar3 < 0" (identifier "iVar3") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    uVar5 = ~param_1 + 1;\n    do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);\n  }" ({ "{") (expression_statement "uVar5 = ~param_1 + 1;" (assignment_expression "uVar5 = ~param_1 + 1" (identifier "uVar5") (= "=") (binary_expression "~param_1 + 1" (unary_expression "~param_1" (~ "~") (identifier "param_1")) (+ "+") (number_literal "1"))) (; ";")) (do_statement "do {\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    } while (iVar3 < 0);" (do "do") (compound_statement "{\n      uVar2 = uVar2 - 1;\n      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;\n      uVar4 = uVar4 - param_1;\n    }" ({ "{") (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" (identifier "uVar2") (= "=") (binary_expression "uVar2 - 1" (identifier "uVar2") (- "-") (number_literal "1"))) (; ";")) (expression_statement "iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;" (assignment_expression "iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1" (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1)" (binary_expression "iVar3 + (uint)(uVar4 + uVar5 < uVar4)" (identifier "iVar3") (+ "+") (call_expression "(uint)(uVar4 + uVar5 < uVar4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar4 + uVar5 < uVar4)" (( "(") (binary_expression "uVar4 + uVar5 < uVar4" (binary_expression "uVar4 + uVar5" (identifier "uVar4") (+ "+") (identifier "uVar5")) (< "<") (identifier "uVar4")) () ")")))) (+ "+") (call_expression "(uint)(uVar5 < ~param_1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar5 < ~param_1)" (( "(") (binary_expression "uVar5 < ~param_1" (identifier "uVar5") (< "<") (unary_expression "~param_1" (~ "~") (identifier "param_1"))) () ")")))) (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "uVar4 = uVar4 - param_1;" (assignment_expression "uVar4 = uVar4 - param_1" (identifier "uVar4") (= "=") (binary_expression "uVar4 - param_1" (identifier "uVar4") (- "-") (identifier "param_1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar3 < 0)" (( "(") (binary_expression "iVar3 < 0" (identifier "iVar3") (< "<") (number_literal "0")) () ")")) (; ";")) (} "}")) (else_clause "else {\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" (else "else") (compound_statement "{\n    uVar5 = param_1 + uVar4;\n    iVar3 = iVar3 + (uint)(uVar5 < uVar4);\n    if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }\n  }" ({ "{") (expression_statement "uVar5 = param_1 + uVar4;" (assignment_expression "uVar5 = param_1 + uVar4" (identifier "uVar5") (= "=") (binary_expression "param_1 + uVar4" (identifier "param_1") (+ "+") (identifier "uVar4"))) (; ";")) (expression_statement "iVar3 = iVar3 + (uint)(uVar5 < uVar4);" (assignment_expression "iVar3 = iVar3 + (uint)(uVar5 < uVar4)" (identifier "iVar3") (= "=") (binary_expression "iVar3 + (uint)(uVar5 < uVar4)" (identifier "iVar3") (+ "+") (call_expression "(uint)(uVar5 < uVar4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar5 < uVar4)" (( "(") (binary_expression "uVar5 < uVar4" (identifier "uVar5") (< "<") (identifier "uVar4")) () ")"))))) (; ";")) (if_statement "if (-1 < iVar3) {\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }" (if "if") (parenthesized_expression "(-1 < iVar3)" (( "(") (binary_expression "-1 < iVar3" (number_literal "-1") (< "<") (identifier "iVar3")) () ")")) (compound_statement "{\n      do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);\n      return uVar2;\n    }" ({ "{") (do_statement "do {\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      } while (-1 < iVar3);" (do "do") (compound_statement "{\n        uVar5 = uVar5 + param_1;\n        iVar3 = iVar3 + (uint)(uVar5 < param_1);\n        uVar2 = uVar2 + 1;\n      }" ({ "{") (expression_statement "uVar5 = uVar5 + param_1;" (assignment_expression "uVar5 = uVar5 + param_1" (identifier "uVar5") (= "=") (binary_expression "uVar5 + param_1" (identifier "uVar5") (+ "+") (identifier "param_1"))) (; ";")) (expression_statement "iVar3 = iVar3 + (uint)(uVar5 < param_1);" (assignment_expression "iVar3 = iVar3 + (uint)(uVar5 < param_1)" (identifier "iVar3") (= "=") (binary_expression "iVar3 + (uint)(uVar5 < param_1)" (identifier "iVar3") (+ "+") (call_expression "(uint)(uVar5 < param_1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar5 < param_1)" (( "(") (binary_expression "uVar5 < param_1" (identifier "uVar5") (< "<") (identifier "param_1")) () ")"))))) (; ";")) (expression_statement "uVar2 = uVar2 + 1;" (assignment_expression "uVar2 = uVar2 + 1" (identifier "uVar2") (= "=") (binary_expression "uVar2 + 1" (identifier "uVar2") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(-1 < iVar3)" (( "(") (binary_expression "-1 < iVar3" (number_literal "-1") (< "<") (identifier "iVar3")) () ")")) (; ";")) (return_statement "return uVar2;" (return "return") (identifier "uVar2") (; ";")) (} "}"))) (} "}")))) (return_statement "return uVar2;" (return "return") (identifier "uVar2") (; ";")) (} "}")))
(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (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: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (binary_expression left: (identifier) right: (number_literal)) (number_literal) (binary_expression left: (identifier) right: (number_literal)))))) (return_statement (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) 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: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (identifier))) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (unary_expression argument: (parenthesized_expression (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))) right: (number_literal))))))) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (identifier))))))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal)))) right: (number_literal)) right: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (unary_expression argument: (identifier)) right: (number_literal)))) (do_statement 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: (binary_expression left: (binary_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (identifier))))) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (identifier) right: (unary_expression argument: (identifier)))))) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (identifier) right: (identifier))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (identifier) right: (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier)))) (return_statement (identifier))))))) (return_statement (identifier)))))

uint MASKED(uint param_1)

{
  longlong lVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  
  if (-1 < (int)param_1) {
    uVar2 = (*(code *)PTR___assert_fail_000b0ac0)
                      (PTR_DAT_000b01d0 + -0x6e38,PTR_DAT_000b01d0 + -0x6e40,0x22c,
                       PTR_DAT_000b01d0 + -0x6c3c);
    return uVar2;
  }
  uVar2 = (param_1 >> 0x10) + 1;
  uVar5 = param_1 + 1;
  if (uVar2 == 0) {
    trap(7);
  }
  uVar2 = (((param_1 >> 0x10) + 0x80000000) / uVar2) * 0x10000;
  uVar4 = ~(uint)((ulonglong)uVar5 * (ulonglong)uVar2);
  lVar1 = (ulonglong)
          (~((uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20)) +
          (uint)(uVar4 + 1 < uVar4)) * (ulonglong)uVar2;
  uVar2 = (int)((ulonglong)lVar1 >> 0x20) << 1 | (uint)lVar1 >> 0x1f;
  uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)uVar2);
  iVar3 = (uVar5 < param_1) * uVar2 + (int)((ulonglong)uVar5 * (ulonglong)uVar2 >> 0x20);
  if (iVar3 < 0) {
    uVar5 = ~param_1 + 1;
    do {
      uVar2 = uVar2 - 1;
      iVar3 = iVar3 + (uint)(uVar4 + uVar5 < uVar4) + (uint)(uVar5 < ~param_1) + -1;
      uVar4 = uVar4 - param_1;
    } while (iVar3 < 0);
  }
  else {
    uVar5 = param_1 + uVar4;
    iVar3 = iVar3 + (uint)(uVar5 < uVar4);
    if (-1 < iVar3) {
      do {
        uVar5 = uVar5 + param_1;
        iVar3 = iVar3 + (uint)(uVar5 < param_1);
        uVar2 = uVar2 + 1;
      } while (-1 < iVar3);
      return uVar2;
    }
  }
  return uVar2;
}

