
mp_limb_t __gmpn_add_1(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)

{
  mp_limb_t mVar1;
  mp_limb_t *pmVar2;
  int iVar3;
  mp_ptr pmVar4;
  mp_limb_t *__gmp_x;
  mp_srcptr pmVar5;
  
  mVar1 = *__gmp_src;
  *__gmp_dst = __gmp_n + mVar1;
  if (__gmp_n + mVar1 < __gmp_n) {
    if (__gmp_size < 2) {
      return 1;
    }
    mVar1 = __gmp_src[1];
    __gmp_dst[1] = mVar1 + 1;
    if (mVar1 + 1 == 0) {
      pmVar5 = __gmp_src + 2;
      iVar3 = 2;
      pmVar4 = __gmp_dst + 2;
      do {
        if (__gmp_size == iVar3) {
          return 1;
        }
        mVar1 = *pmVar5;
        iVar3 = iVar3 + 1;
        pmVar5 = pmVar5 + 1;
        *pmVar4 = mVar1 + 1;
        pmVar4 = pmVar4 + 1;
      } while (mVar1 + 1 == 0);
    }
    else {
      iVar3 = 2;
    }
    if ((__gmp_src != __gmp_dst) && (iVar3 < __gmp_size)) {
      pmVar2 = __gmp_src + iVar3;
      pmVar4 = __gmp_dst + iVar3;
      do {
        mVar1 = *pmVar2;
        pmVar2 = pmVar2 + 1;
        *pmVar4 = mVar1;
        pmVar4 = pmVar4 + 1;
      } while (pmVar2 != __gmp_src + __gmp_size);
      return 0;
    }
  }
  else if ((__gmp_src != __gmp_dst) && (1 < __gmp_size)) {
    pmVar2 = __gmp_src + 1;
    pmVar4 = __gmp_dst + 1;
    do {
      mVar1 = *pmVar2;
      pmVar2 = pmVar2 + 1;
      *pmVar4 = mVar1;
      pmVar4 = pmVar4 + 1;
    } while (pmVar2 != __gmp_src + __gmp_size);
  }
  return 0;
}



undefined4 __gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)

{
  uint uVar1;
  uint *puVar2;
  int iVar3;
  uint *puVar4;
  
  uVar1 = *param_2;
  *param_1 = param_4 + uVar1;
  if (param_4 + uVar1 < param_4) {
    if (param_3 < 2) {
      return 1;
    }
    uVar1 = param_2[1];
    param_1[1] = uVar1 + 1;
    if (uVar1 + 1 == 0) {
      puVar2 = param_2 + 2;
      iVar3 = 2;
      puVar4 = param_1 + 2;
      do {
        if (param_3 == iVar3) {
          return 1;
        }
        uVar1 = *puVar2;
        iVar3 = iVar3 + 1;
        puVar2 = puVar2 + 1;
        *puVar4 = uVar1 + 1;
        puVar4 = puVar4 + 1;
      } while (uVar1 + 1 == 0);
    }
    else {
      iVar3 = 2;
    }
    if ((param_2 != param_1) && (iVar3 < param_3)) {
      puVar2 = param_2 + iVar3;
      puVar4 = param_1 + iVar3;
      do {
        uVar1 = *puVar2;
        puVar2 = puVar2 + 1;
        *puVar4 = uVar1;
        puVar4 = puVar4 + 1;
      } while (puVar2 != param_2 + param_3);
      return 0;
    }
  }
  else if ((param_2 != param_1) && (1 < param_3)) {
    puVar2 = param_2 + 1;
    puVar4 = param_1 + 1;
    do {
      uVar1 = *puVar2;
      puVar2 = puVar2 + 1;
      *puVar4 = uVar1;
      puVar4 = puVar4 + 1;
    } while (puVar2 != param_2 + param_3);
  }
  return 0;
}


lw v0,0x0(a1)
addu v0,a3,v0
sltu a3,v0,a3
beq a3,zero,0x0003a408
_sw v0,0x0(a0)
slti v0,a2,0x2
bne v0,zero,0x0003a400
_nop
lw v0,0x4(a1)
addiu v0,v0,0x1
bne v0,zero,0x0003a444
_sw v0,0x4(a0)
addiu t0,a1,0x8
addiu a3,a0,0x8
b 0x0003a3f8
_li v1,0x2
lw v0,0x0(t0)
addiu v1,v1,0x1
addiu t0,t0,0x4
addiu v0,v0,0x1
bne v0,zero,0x0003a448
_sw v0,-0x4(a3)
bne a2,v1,0x0003a3e0
_addiu a3,a3,0x4
jr ra
_li v0,0x1
beq a1,a0,0x0003a43c
_nop
slti v0,a2,0x2
bne v0,zero,0x0003a43c
_sll a2,a2,0x2
addiu v0,a1,0x4
addiu a0,a0,0x4
addu a2,a1,a2
lw v1,0x0(v0)
addiu a0,a0,0x4
addiu v0,v0,0x4
bne v0,a2,0x0003a428
_sw v1,-0x4(a0)
jr ra
_or v0,zero,zero
li v1,0x2
beq a1,a0,0x0003a43c
_nop
slt v0,v1,a2
beq v0,zero,0x0003a43c
_sll v1,v1,0x2
sll a2,a2,0x2
addu v0,a1,v1
addu a0,a0,v1
addu a1,a1,a2
lw v1,0x0(v0)
addiu a0,a0,0x4
addiu v0,v0,0x4
bne v0,a1,0x0003a46c
_sw v1,-0x4(a0)
jr ra
_or v0,zero,zero
(translation_unit "undefined4 __gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  \n  uVar1 = *param_2;\n  *param_1 = param_4 + uVar1;\n  if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }\n  return 0;\n}\n\n" (function_definition "undefined4 __gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  \n  uVar1 = *param_2;\n  *param_1 = param_4 + uVar1;\n  if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }\n  return 0;\n}" type_identifier (function_declarator "__gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,int param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  \n  uVar1 = *param_2;\n  *param_1 = param_4 + uVar1;\n  if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }\n  return 0;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (expression_statement "uVar1 = *param_2;" (assignment_expression "uVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "*param_1 = param_4 + uVar1;" (assignment_expression "*param_1 = param_4 + uVar1" (pointer_expression "*param_1" * identifier) = (binary_expression "param_4 + uVar1" identifier + identifier)) ;) (if_statement "if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" if (parenthesized_expression "(param_4 + uVar1 < param_4)" ( (binary_expression "param_4 + uVar1 < param_4" (binary_expression "param_4 + uVar1" identifier + identifier) < identifier) )) (compound_statement "{\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }" { (if_statement "if (param_3 < 2) {\n      return 1;\n    }" if (parenthesized_expression "(param_3 < 2)" ( (binary_expression "param_3 < 2" identifier < number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar1 = param_2[1];" (assignment_expression "uVar1 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = uVar1 + 1;" (assignment_expression "param_1[1] = uVar1 + 1" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar1 + 1" identifier + number_literal)) ;) (if_statement "if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }" if (parenthesized_expression "(uVar1 + 1 == 0)" ( (binary_expression "uVar1 + 1 == 0" (binary_expression "uVar1 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }" { (expression_statement "puVar2 = param_2 + 2;" (assignment_expression "puVar2 = param_2 + 2" identifier = (binary_expression "param_2 + 2" identifier + number_literal)) ;) (expression_statement "iVar3 = 2;" (assignment_expression "iVar3 = 2" identifier = number_literal) ;) (expression_statement "puVar4 = param_1 + 2;" (assignment_expression "puVar4 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) (do_statement "do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);" do (compound_statement "{\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      }" { (if_statement "if (param_3 == iVar3) {\n          return 1;\n        }" if (parenthesized_expression "(param_3 == iVar3)" ( (binary_expression "param_3 == iVar3" identifier == identifier) )) (compound_statement "{\n          return 1;\n        }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" identifier = (binary_expression "puVar2 + 1" identifier + number_literal)) ;) (expression_statement "*puVar4 = uVar1 + 1;" (assignment_expression "*puVar4 = uVar1 + 1" (pointer_expression "*puVar4" * identifier) = (binary_expression "uVar1 + 1" identifier + number_literal)) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar1 + 1 == 0)" ( (binary_expression "uVar1 + 1 == 0" (binary_expression "uVar1 + 1" identifier + number_literal) == number_literal) )) ;) }) (else_clause "else {\n      iVar3 = 2;\n    }" else (compound_statement "{\n      iVar3 = 2;\n    }" { (expression_statement "iVar3 = 2;" (assignment_expression "iVar3 = 2" identifier = number_literal) ;) }))) (if_statement "if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }" if (parenthesized_expression "((param_2 != param_1) && (iVar3 < param_3))" ( (binary_expression "(param_2 != param_1) && (iVar3 < param_3)" (parenthesized_expression "(param_2 != param_1)" ( (binary_expression "param_2 != param_1" identifier != identifier) )) && (parenthesized_expression "(iVar3 < param_3)" ( (binary_expression "iVar3 < param_3" identifier < identifier) ))) )) (compound_statement "{\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }" { (expression_statement "puVar2 = param_2 + iVar3;" (assignment_expression "puVar2 = param_2 + iVar3" identifier = (binary_expression "param_2 + iVar3" identifier + identifier)) ;) (expression_statement "puVar4 = param_1 + iVar3;" (assignment_expression "puVar4 = param_1 + iVar3" identifier = (binary_expression "param_1 + iVar3" identifier + identifier)) ;) (do_statement "do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);" do (compound_statement "{\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      }" { (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" identifier = (binary_expression "puVar2 + 1" identifier + number_literal)) ;) (expression_statement "*puVar4 = uVar1;" (assignment_expression "*puVar4 = uVar1" (pointer_expression "*puVar4" * identifier) = identifier) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(puVar2 != param_2 + param_3)" ( (binary_expression "puVar2 != param_2 + param_3" identifier != (binary_expression "param_2 + param_3" identifier + identifier)) )) ;) (return_statement "return 0;" return number_literal ;) })) }) (else_clause "else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" else (if_statement "if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" if (parenthesized_expression "((param_2 != param_1) && (1 < param_3))" ( (binary_expression "(param_2 != param_1) && (1 < param_3)" (parenthesized_expression "(param_2 != param_1)" ( (binary_expression "param_2 != param_1" identifier != identifier) )) && (parenthesized_expression "(1 < param_3)" ( (binary_expression "1 < param_3" number_literal < identifier) ))) )) (compound_statement "{\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" { (expression_statement "puVar2 = param_2 + 1;" (assignment_expression "puVar2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "puVar4 = param_1 + 1;" (assignment_expression "puVar4 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (do_statement "do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);" do (compound_statement "{\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    }" { (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" identifier = (binary_expression "puVar2 + 1" identifier + number_literal)) ;) (expression_statement "*puVar4 = uVar1;" (assignment_expression "*puVar4 = uVar1" (pointer_expression "*puVar4" * identifier) = identifier) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(puVar2 != param_2 + param_3)" ( (binary_expression "puVar2 != param_2 + param_3" identifier != (binary_expression "param_2 + param_3" identifier + identifier)) )) ;) })))) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "mp_limb_t __gmpn_add_1(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)\n\n{\n  mp_limb_t mVar1;\n  mp_limb_t *pmVar2;\n  int iVar3;\n  mp_ptr pmVar4;\n  mp_limb_t *__gmp_x;\n  mp_srcptr pmVar5;\n  \n  mVar1 = *__gmp_src;\n  *__gmp_dst = __gmp_n + mVar1;\n  if (__gmp_n + mVar1 < __gmp_n) {\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar1 = __gmp_src[1];\n    __gmp_dst[1] = mVar1 + 1;\n    if (mVar1 + 1 == 0) {\n      pmVar5 = __gmp_src + 2;\n      iVar3 = 2;\n      pmVar4 = __gmp_dst + 2;\n      do {\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      } while (mVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((__gmp_src != __gmp_dst) && (iVar3 < __gmp_size)) {\n      pmVar2 = __gmp_src + iVar3;\n      pmVar4 = __gmp_dst + iVar3;\n      do {\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      } while (pmVar2 != __gmp_src + __gmp_size);\n      return 0;\n    }\n  }\n  else if ((__gmp_src != __gmp_dst) && (1 < __gmp_size)) {\n    pmVar2 = __gmp_src + 1;\n    pmVar4 = __gmp_dst + 1;\n    do {\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    } while (pmVar2 != __gmp_src + __gmp_size);\n  }\n  return 0;\n}\n\n" (function_definition "mp_limb_t __gmpn_add_1(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)\n\n{\n  mp_limb_t mVar1;\n  mp_limb_t *pmVar2;\n  int iVar3;\n  mp_ptr pmVar4;\n  mp_limb_t *__gmp_x;\n  mp_srcptr pmVar5;\n  \n  mVar1 = *__gmp_src;\n  *__gmp_dst = __gmp_n + mVar1;\n  if (__gmp_n + mVar1 < __gmp_n) {\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar1 = __gmp_src[1];\n    __gmp_dst[1] = mVar1 + 1;\n    if (mVar1 + 1 == 0) {\n      pmVar5 = __gmp_src + 2;\n      iVar3 = 2;\n      pmVar4 = __gmp_dst + 2;\n      do {\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      } while (mVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((__gmp_src != __gmp_dst) && (iVar3 < __gmp_size)) {\n      pmVar2 = __gmp_src + iVar3;\n      pmVar4 = __gmp_dst + iVar3;\n      do {\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      } while (pmVar2 != __gmp_src + __gmp_size);\n      return 0;\n    }\n  }\n  else if ((__gmp_src != __gmp_dst) && (1 < __gmp_size)) {\n    pmVar2 = __gmp_src + 1;\n    pmVar4 = __gmp_dst + 1;\n    do {\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    } while (pmVar2 != __gmp_src + __gmp_size);\n  }\n  return 0;\n}" type_identifier (function_declarator "__gmpn_add_1(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)" identifier (parameter_list "(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)" ( (parameter_declaration "mp_ptr __gmp_dst" type_identifier identifier) , (parameter_declaration "mp_srcptr __gmp_src" type_identifier identifier) , (parameter_declaration "mp_size_t __gmp_size" type_identifier identifier) , (parameter_declaration "mp_limb_t __gmp_n" type_identifier identifier) ))) (compound_statement "{\n  mp_limb_t mVar1;\n  mp_limb_t *pmVar2;\n  int iVar3;\n  mp_ptr pmVar4;\n  mp_limb_t *__gmp_x;\n  mp_srcptr pmVar5;\n  \n  mVar1 = *__gmp_src;\n  *__gmp_dst = __gmp_n + mVar1;\n  if (__gmp_n + mVar1 < __gmp_n) {\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar1 = __gmp_src[1];\n    __gmp_dst[1] = mVar1 + 1;\n    if (mVar1 + 1 == 0) {\n      pmVar5 = __gmp_src + 2;\n      iVar3 = 2;\n      pmVar4 = __gmp_dst + 2;\n      do {\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      } while (mVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((__gmp_src != __gmp_dst) && (iVar3 < __gmp_size)) {\n      pmVar2 = __gmp_src + iVar3;\n      pmVar4 = __gmp_dst + iVar3;\n      do {\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      } while (pmVar2 != __gmp_src + __gmp_size);\n      return 0;\n    }\n  }\n  else if ((__gmp_src != __gmp_dst) && (1 < __gmp_size)) {\n    pmVar2 = __gmp_src + 1;\n    pmVar4 = __gmp_dst + 1;\n    do {\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    } while (pmVar2 != __gmp_src + __gmp_size);\n  }\n  return 0;\n}" { (declaration "mp_limb_t mVar1;" type_identifier identifier ;) (declaration "mp_limb_t *pmVar2;" type_identifier (pointer_declarator "*pmVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "mp_ptr pmVar4;" type_identifier identifier ;) (declaration "mp_limb_t *__gmp_x;" type_identifier (pointer_declarator "*__gmp_x" * identifier) ;) (declaration "mp_srcptr pmVar5;" type_identifier identifier ;) (expression_statement "mVar1 = *__gmp_src;" (assignment_expression "mVar1 = *__gmp_src" identifier = (pointer_expression "*__gmp_src" * identifier)) ;) (expression_statement "*__gmp_dst = __gmp_n + mVar1;" (assignment_expression "*__gmp_dst = __gmp_n + mVar1" (pointer_expression "*__gmp_dst" * identifier) = (binary_expression "__gmp_n + mVar1" identifier + identifier)) ;) (if_statement "if (__gmp_n + mVar1 < __gmp_n) {\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar1 = __gmp_src[1];\n    __gmp_dst[1] = mVar1 + 1;\n    if (mVar1 + 1 == 0) {\n      pmVar5 = __gmp_src + 2;\n      iVar3 = 2;\n      pmVar4 = __gmp_dst + 2;\n      do {\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      } while (mVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((__gmp_src != __gmp_dst) && (iVar3 < __gmp_size)) {\n      pmVar2 = __gmp_src + iVar3;\n      pmVar4 = __gmp_dst + iVar3;\n      do {\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      } while (pmVar2 != __gmp_src + __gmp_size);\n      return 0;\n    }\n  }\n  else if ((__gmp_src != __gmp_dst) && (1 < __gmp_size)) {\n    pmVar2 = __gmp_src + 1;\n    pmVar4 = __gmp_dst + 1;\n    do {\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    } while (pmVar2 != __gmp_src + __gmp_size);\n  }" if (parenthesized_expression "(__gmp_n + mVar1 < __gmp_n)" ( (binary_expression "__gmp_n + mVar1 < __gmp_n" (binary_expression "__gmp_n + mVar1" identifier + identifier) < identifier) )) (compound_statement "{\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar1 = __gmp_src[1];\n    __gmp_dst[1] = mVar1 + 1;\n    if (mVar1 + 1 == 0) {\n      pmVar5 = __gmp_src + 2;\n      iVar3 = 2;\n      pmVar4 = __gmp_dst + 2;\n      do {\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      } while (mVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((__gmp_src != __gmp_dst) && (iVar3 < __gmp_size)) {\n      pmVar2 = __gmp_src + iVar3;\n      pmVar4 = __gmp_dst + iVar3;\n      do {\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      } while (pmVar2 != __gmp_src + __gmp_size);\n      return 0;\n    }\n  }" { (if_statement "if (__gmp_size < 2) {\n      return 1;\n    }" if (parenthesized_expression "(__gmp_size < 2)" ( (binary_expression "__gmp_size < 2" identifier < number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "mVar1 = __gmp_src[1];" (assignment_expression "mVar1 = __gmp_src[1]" identifier = (subscript_expression "__gmp_src[1]" identifier [ number_literal ])) ;) (expression_statement "__gmp_dst[1] = mVar1 + 1;" (assignment_expression "__gmp_dst[1] = mVar1 + 1" (subscript_expression "__gmp_dst[1]" identifier [ number_literal ]) = (binary_expression "mVar1 + 1" identifier + number_literal)) ;) (if_statement "if (mVar1 + 1 == 0) {\n      pmVar5 = __gmp_src + 2;\n      iVar3 = 2;\n      pmVar4 = __gmp_dst + 2;\n      do {\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      } while (mVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }" if (parenthesized_expression "(mVar1 + 1 == 0)" ( (binary_expression "mVar1 + 1 == 0" (binary_expression "mVar1 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      pmVar5 = __gmp_src + 2;\n      iVar3 = 2;\n      pmVar4 = __gmp_dst + 2;\n      do {\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      } while (mVar1 + 1 == 0);\n    }" { (expression_statement "pmVar5 = __gmp_src + 2;" (assignment_expression "pmVar5 = __gmp_src + 2" identifier = (binary_expression "__gmp_src + 2" identifier + number_literal)) ;) (expression_statement "iVar3 = 2;" (assignment_expression "iVar3 = 2" identifier = number_literal) ;) (expression_statement "pmVar4 = __gmp_dst + 2;" (assignment_expression "pmVar4 = __gmp_dst + 2" identifier = (binary_expression "__gmp_dst + 2" identifier + number_literal)) ;) (do_statement "do {\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      } while (mVar1 + 1 == 0);" do (compound_statement "{\n        if (__gmp_size == iVar3) {\n          return 1;\n        }\n        mVar1 = *pmVar5;\n        iVar3 = iVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n        *pmVar4 = mVar1 + 1;\n        pmVar4 = pmVar4 + 1;\n      }" { (if_statement "if (__gmp_size == iVar3) {\n          return 1;\n        }" if (parenthesized_expression "(__gmp_size == iVar3)" ( (binary_expression "__gmp_size == iVar3" identifier == identifier) )) (compound_statement "{\n          return 1;\n        }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "mVar1 = *pmVar5;" (assignment_expression "mVar1 = *pmVar5" identifier = (pointer_expression "*pmVar5" * identifier)) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "pmVar5 = pmVar5 + 1;" (assignment_expression "pmVar5 = pmVar5 + 1" identifier = (binary_expression "pmVar5 + 1" identifier + number_literal)) ;) (expression_statement "*pmVar4 = mVar1 + 1;" (assignment_expression "*pmVar4 = mVar1 + 1" (pointer_expression "*pmVar4" * identifier) = (binary_expression "mVar1 + 1" identifier + number_literal)) ;) (expression_statement "pmVar4 = pmVar4 + 1;" (assignment_expression "pmVar4 = pmVar4 + 1" identifier = (binary_expression "pmVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(mVar1 + 1 == 0)" ( (binary_expression "mVar1 + 1 == 0" (binary_expression "mVar1 + 1" identifier + number_literal) == number_literal) )) ;) }) (else_clause "else {\n      iVar3 = 2;\n    }" else (compound_statement "{\n      iVar3 = 2;\n    }" { (expression_statement "iVar3 = 2;" (assignment_expression "iVar3 = 2" identifier = number_literal) ;) }))) (if_statement "if ((__gmp_src != __gmp_dst) && (iVar3 < __gmp_size)) {\n      pmVar2 = __gmp_src + iVar3;\n      pmVar4 = __gmp_dst + iVar3;\n      do {\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      } while (pmVar2 != __gmp_src + __gmp_size);\n      return 0;\n    }" if (parenthesized_expression "((__gmp_src != __gmp_dst) && (iVar3 < __gmp_size))" ( (binary_expression "(__gmp_src != __gmp_dst) && (iVar3 < __gmp_size)" (parenthesized_expression "(__gmp_src != __gmp_dst)" ( (binary_expression "__gmp_src != __gmp_dst" identifier != identifier) )) && (parenthesized_expression "(iVar3 < __gmp_size)" ( (binary_expression "iVar3 < __gmp_size" identifier < identifier) ))) )) (compound_statement "{\n      pmVar2 = __gmp_src + iVar3;\n      pmVar4 = __gmp_dst + iVar3;\n      do {\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      } while (pmVar2 != __gmp_src + __gmp_size);\n      return 0;\n    }" { (expression_statement "pmVar2 = __gmp_src + iVar3;" (assignment_expression "pmVar2 = __gmp_src + iVar3" identifier = (binary_expression "__gmp_src + iVar3" identifier + identifier)) ;) (expression_statement "pmVar4 = __gmp_dst + iVar3;" (assignment_expression "pmVar4 = __gmp_dst + iVar3" identifier = (binary_expression "__gmp_dst + iVar3" identifier + identifier)) ;) (do_statement "do {\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      } while (pmVar2 != __gmp_src + __gmp_size);" do (compound_statement "{\n        mVar1 = *pmVar2;\n        pmVar2 = pmVar2 + 1;\n        *pmVar4 = mVar1;\n        pmVar4 = pmVar4 + 1;\n      }" { (expression_statement "mVar1 = *pmVar2;" (assignment_expression "mVar1 = *pmVar2" identifier = (pointer_expression "*pmVar2" * identifier)) ;) (expression_statement "pmVar2 = pmVar2 + 1;" (assignment_expression "pmVar2 = pmVar2 + 1" identifier = (binary_expression "pmVar2 + 1" identifier + number_literal)) ;) (expression_statement "*pmVar4 = mVar1;" (assignment_expression "*pmVar4 = mVar1" (pointer_expression "*pmVar4" * identifier) = identifier) ;) (expression_statement "pmVar4 = pmVar4 + 1;" (assignment_expression "pmVar4 = pmVar4 + 1" identifier = (binary_expression "pmVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(pmVar2 != __gmp_src + __gmp_size)" ( (binary_expression "pmVar2 != __gmp_src + __gmp_size" identifier != (binary_expression "__gmp_src + __gmp_size" identifier + identifier)) )) ;) (return_statement "return 0;" return number_literal ;) })) }) (else_clause "else if ((__gmp_src != __gmp_dst) && (1 < __gmp_size)) {\n    pmVar2 = __gmp_src + 1;\n    pmVar4 = __gmp_dst + 1;\n    do {\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    } while (pmVar2 != __gmp_src + __gmp_size);\n  }" else (if_statement "if ((__gmp_src != __gmp_dst) && (1 < __gmp_size)) {\n    pmVar2 = __gmp_src + 1;\n    pmVar4 = __gmp_dst + 1;\n    do {\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    } while (pmVar2 != __gmp_src + __gmp_size);\n  }" if (parenthesized_expression "((__gmp_src != __gmp_dst) && (1 < __gmp_size))" ( (binary_expression "(__gmp_src != __gmp_dst) && (1 < __gmp_size)" (parenthesized_expression "(__gmp_src != __gmp_dst)" ( (binary_expression "__gmp_src != __gmp_dst" identifier != identifier) )) && (parenthesized_expression "(1 < __gmp_size)" ( (binary_expression "1 < __gmp_size" number_literal < identifier) ))) )) (compound_statement "{\n    pmVar2 = __gmp_src + 1;\n    pmVar4 = __gmp_dst + 1;\n    do {\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    } while (pmVar2 != __gmp_src + __gmp_size);\n  }" { (expression_statement "pmVar2 = __gmp_src + 1;" (assignment_expression "pmVar2 = __gmp_src + 1" identifier = (binary_expression "__gmp_src + 1" identifier + number_literal)) ;) (expression_statement "pmVar4 = __gmp_dst + 1;" (assignment_expression "pmVar4 = __gmp_dst + 1" identifier = (binary_expression "__gmp_dst + 1" identifier + number_literal)) ;) (do_statement "do {\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    } while (pmVar2 != __gmp_src + __gmp_size);" do (compound_statement "{\n      mVar1 = *pmVar2;\n      pmVar2 = pmVar2 + 1;\n      *pmVar4 = mVar1;\n      pmVar4 = pmVar4 + 1;\n    }" { (expression_statement "mVar1 = *pmVar2;" (assignment_expression "mVar1 = *pmVar2" identifier = (pointer_expression "*pmVar2" * identifier)) ;) (expression_statement "pmVar2 = pmVar2 + 1;" (assignment_expression "pmVar2 = pmVar2 + 1" identifier = (binary_expression "pmVar2 + 1" identifier + number_literal)) ;) (expression_statement "*pmVar4 = mVar1;" (assignment_expression "*pmVar4 = mVar1" (pointer_expression "*pmVar4" * identifier) = identifier) ;) (expression_statement "pmVar4 = pmVar4 + 1;" (assignment_expression "pmVar4 = pmVar4 + 1" identifier = (binary_expression "pmVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(pmVar2 != __gmp_src + __gmp_size)" ( (binary_expression "pmVar2 != __gmp_src + __gmp_size" identifier != (binary_expression "__gmp_src + __gmp_size" identifier + identifier)) )) ;) })))) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "undefined4 __gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  \n  uVar1 = *param_2;\n  *param_1 = param_4 + uVar1;\n  if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }\n  return 0;\n}\n\n" (function_definition "undefined4 __gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  \n  uVar1 = *param_2;\n  *param_1 = param_4 + uVar1;\n  if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }\n  return 0;\n}" type_identifier (function_declarator "__gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,int param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  \n  uVar1 = *param_2;\n  *param_1 = param_4 + uVar1;\n  if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }\n  return 0;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (expression_statement "uVar1 = *param_2;" (assignment_expression "uVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "*param_1 = param_4 + uVar1;" (assignment_expression "*param_1 = param_4 + uVar1" (pointer_expression "*param_1" * identifier) = (binary_expression "param_4 + uVar1" identifier + identifier)) ;) (if_statement "if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" if (parenthesized_expression "(param_4 + uVar1 < param_4)" ( (binary_expression "param_4 + uVar1 < param_4" (binary_expression "param_4 + uVar1" identifier + identifier) < identifier) )) (compound_statement "{\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }" { (if_statement "if (param_3 < 2) {\n      return 1;\n    }" if (parenthesized_expression "(param_3 < 2)" ( (binary_expression "param_3 < 2" identifier < number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar1 = param_2[1];" (assignment_expression "uVar1 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = uVar1 + 1;" (assignment_expression "param_1[1] = uVar1 + 1" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar1 + 1" identifier + number_literal)) ;) (if_statement "if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }" if (parenthesized_expression "(uVar1 + 1 == 0)" ( (binary_expression "uVar1 + 1 == 0" (binary_expression "uVar1 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }" { (expression_statement "puVar2 = param_2 + 2;" (assignment_expression "puVar2 = param_2 + 2" identifier = (binary_expression "param_2 + 2" identifier + number_literal)) ;) (expression_statement "iVar3 = 2;" (assignment_expression "iVar3 = 2" identifier = number_literal) ;) (expression_statement "puVar4 = param_1 + 2;" (assignment_expression "puVar4 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) (do_statement "do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);" do (compound_statement "{\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      }" { (if_statement "if (param_3 == iVar3) {\n          return 1;\n        }" if (parenthesized_expression "(param_3 == iVar3)" ( (binary_expression "param_3 == iVar3" identifier == identifier) )) (compound_statement "{\n          return 1;\n        }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" identifier = (binary_expression "puVar2 + 1" identifier + number_literal)) ;) (expression_statement "*puVar4 = uVar1 + 1;" (assignment_expression "*puVar4 = uVar1 + 1" (pointer_expression "*puVar4" * identifier) = (binary_expression "uVar1 + 1" identifier + number_literal)) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar1 + 1 == 0)" ( (binary_expression "uVar1 + 1 == 0" (binary_expression "uVar1 + 1" identifier + number_literal) == number_literal) )) ;) }) (else_clause "else {\n      iVar3 = 2;\n    }" else (compound_statement "{\n      iVar3 = 2;\n    }" { (expression_statement "iVar3 = 2;" (assignment_expression "iVar3 = 2" identifier = number_literal) ;) }))) (if_statement "if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }" if (parenthesized_expression "((param_2 != param_1) && (iVar3 < param_3))" ( (binary_expression "(param_2 != param_1) && (iVar3 < param_3)" (parenthesized_expression "(param_2 != param_1)" ( (binary_expression "param_2 != param_1" identifier != identifier) )) && (parenthesized_expression "(iVar3 < param_3)" ( (binary_expression "iVar3 < param_3" identifier < identifier) ))) )) (compound_statement "{\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }" { (expression_statement "puVar2 = param_2 + iVar3;" (assignment_expression "puVar2 = param_2 + iVar3" identifier = (binary_expression "param_2 + iVar3" identifier + identifier)) ;) (expression_statement "puVar4 = param_1 + iVar3;" (assignment_expression "puVar4 = param_1 + iVar3" identifier = (binary_expression "param_1 + iVar3" identifier + identifier)) ;) (do_statement "do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);" do (compound_statement "{\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      }" { (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" identifier = (binary_expression "puVar2 + 1" identifier + number_literal)) ;) (expression_statement "*puVar4 = uVar1;" (assignment_expression "*puVar4 = uVar1" (pointer_expression "*puVar4" * identifier) = identifier) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(puVar2 != param_2 + param_3)" ( (binary_expression "puVar2 != param_2 + param_3" identifier != (binary_expression "param_2 + param_3" identifier + identifier)) )) ;) (return_statement "return 0;" return number_literal ;) })) }) (else_clause "else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" else (if_statement "if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" if (parenthesized_expression "((param_2 != param_1) && (1 < param_3))" ( (binary_expression "(param_2 != param_1) && (1 < param_3)" (parenthesized_expression "(param_2 != param_1)" ( (binary_expression "param_2 != param_1" identifier != identifier) )) && (parenthesized_expression "(1 < param_3)" ( (binary_expression "1 < param_3" number_literal < identifier) ))) )) (compound_statement "{\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" { (expression_statement "puVar2 = param_2 + 1;" (assignment_expression "puVar2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "puVar4 = param_1 + 1;" (assignment_expression "puVar4 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (do_statement "do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);" do (compound_statement "{\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    }" { (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" identifier = (binary_expression "puVar2 + 1" identifier + number_literal)) ;) (expression_statement "*puVar4 = uVar1;" (assignment_expression "*puVar4 = uVar1" (pointer_expression "*puVar4" * identifier) = identifier) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(puVar2 != param_2 + param_3)" ( (binary_expression "puVar2 != param_2 + param_3" identifier != (binary_expression "param_2 + param_3" identifier + identifier)) )) ;) })))) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + IDENT) < IDENT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != IDENT) )) && (parenthesized_expression ( (binary_expression IDENT < IDENT) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (binary_expression IDENT + IDENT)) )) ;) (return_statement return LIT ;) })) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != IDENT) )) && (parenthesized_expression ( (binary_expression LIT < IDENT) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (binary_expression IDENT + IDENT)) )) ;) })))) (return_statement return LIT ;) })))
(function_definition "undefined4 __gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  \n  uVar1 = *param_2;\n  *param_1 = param_4 + uVar1;\n  if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }\n  return 0;\n}" (type_identifier "undefined4") (function_declarator "__gmpn_add_1(uint *param_1,uint *param_2,int param_3,uint param_4)" (identifier "__gmpn_add_1") (parameter_list "(uint *param_1,uint *param_2,int param_3,uint param_4)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) (, ",") (parameter_declaration "uint param_4" (type_identifier "uint") (identifier "param_4")) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  \n  uVar1 = *param_2;\n  *param_1 = param_4 + uVar1;\n  if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }\n  return 0;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint *puVar2;" (type_identifier "uint") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint *puVar4;" (type_identifier "uint") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (expression_statement "uVar1 = *param_2;" (assignment_expression "uVar1 = *param_2" (identifier "uVar1") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "*param_1 = param_4 + uVar1;" (assignment_expression "*param_1 = param_4 + uVar1" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "param_4 + uVar1" (identifier "param_4") (+ "+") (identifier "uVar1"))) (; ";")) (if_statement "if (param_4 + uVar1 < param_4) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }\n  else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" (if "if") (parenthesized_expression "(param_4 + uVar1 < param_4)" (( "(") (binary_expression "param_4 + uVar1 < param_4" (binary_expression "param_4 + uVar1" (identifier "param_4") (+ "+") (identifier "uVar1")) (< "<") (identifier "param_4")) () ")")) (compound_statement "{\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar1 = param_2[1];\n    param_1[1] = uVar1 + 1;\n    if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }\n    if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }\n  }" ({ "{") (if_statement "if (param_3 < 2) {\n      return 1;\n    }" (if "if") (parenthesized_expression "(param_3 < 2)" (( "(") (binary_expression "param_3 < 2" (identifier "param_3") (< "<") (number_literal "2")) () ")")) (compound_statement "{\n      return 1;\n    }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (expression_statement "uVar1 = param_2[1];" (assignment_expression "uVar1 = param_2[1]" (identifier "uVar1") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "param_1[1] = uVar1 + 1;" (assignment_expression "param_1[1] = uVar1 + 1" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar1 + 1" (identifier "uVar1") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar1 + 1 == 0) {\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }\n    else {\n      iVar3 = 2;\n    }" (if "if") (parenthesized_expression "(uVar1 + 1 == 0)" (( "(") (binary_expression "uVar1 + 1 == 0" (binary_expression "uVar1 + 1" (identifier "uVar1") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      puVar2 = param_2 + 2;\n      iVar3 = 2;\n      puVar4 = param_1 + 2;\n      do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);\n    }" ({ "{") (expression_statement "puVar2 = param_2 + 2;" (assignment_expression "puVar2 = param_2 + 2" (identifier "puVar2") (= "=") (binary_expression "param_2 + 2" (identifier "param_2") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "iVar3 = 2;" (assignment_expression "iVar3 = 2" (identifier "iVar3") (= "=") (number_literal "2")) (; ";")) (expression_statement "puVar4 = param_1 + 2;" (assignment_expression "puVar4 = param_1 + 2" (identifier "puVar4") (= "=") (binary_expression "param_1 + 2" (identifier "param_1") (+ "+") (number_literal "2"))) (; ";")) (do_statement "do {\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      } while (uVar1 + 1 == 0);" (do "do") (compound_statement "{\n        if (param_3 == iVar3) {\n          return 1;\n        }\n        uVar1 = *puVar2;\n        iVar3 = iVar3 + 1;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1 + 1;\n        puVar4 = puVar4 + 1;\n      }" ({ "{") (if_statement "if (param_3 == iVar3) {\n          return 1;\n        }" (if "if") (parenthesized_expression "(param_3 == iVar3)" (( "(") (binary_expression "param_3 == iVar3" (identifier "param_3") (== "==") (identifier "iVar3")) () ")")) (compound_statement "{\n          return 1;\n        }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" (identifier "uVar1") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" (identifier "puVar2") (= "=") (binary_expression "puVar2 + 1" (identifier "puVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*puVar4 = uVar1 + 1;" (assignment_expression "*puVar4 = uVar1 + 1" (pointer_expression "*puVar4" (* "*") (identifier "puVar4")) (= "=") (binary_expression "uVar1 + 1" (identifier "uVar1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" (identifier "puVar4") (= "=") (binary_expression "puVar4 + 1" (identifier "puVar4") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar1 + 1 == 0)" (( "(") (binary_expression "uVar1 + 1 == 0" (binary_expression "uVar1 + 1" (identifier "uVar1") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (; ";")) (} "}")) (else_clause "else {\n      iVar3 = 2;\n    }" (else "else") (compound_statement "{\n      iVar3 = 2;\n    }" ({ "{") (expression_statement "iVar3 = 2;" (assignment_expression "iVar3 = 2" (identifier "iVar3") (= "=") (number_literal "2")) (; ";")) (} "}")))) (if_statement "if ((param_2 != param_1) && (iVar3 < param_3)) {\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }" (if "if") (parenthesized_expression "((param_2 != param_1) && (iVar3 < param_3))" (( "(") (binary_expression "(param_2 != param_1) && (iVar3 < param_3)" (parenthesized_expression "(param_2 != param_1)" (( "(") (binary_expression "param_2 != param_1" (identifier "param_2") (!= "!=") (identifier "param_1")) () ")")) (&& "&&") (parenthesized_expression "(iVar3 < param_3)" (( "(") (binary_expression "iVar3 < param_3" (identifier "iVar3") (< "<") (identifier "param_3")) () ")"))) () ")")) (compound_statement "{\n      puVar2 = param_2 + iVar3;\n      puVar4 = param_1 + iVar3;\n      do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);\n      return 0;\n    }" ({ "{") (expression_statement "puVar2 = param_2 + iVar3;" (assignment_expression "puVar2 = param_2 + iVar3" (identifier "puVar2") (= "=") (binary_expression "param_2 + iVar3" (identifier "param_2") (+ "+") (identifier "iVar3"))) (; ";")) (expression_statement "puVar4 = param_1 + iVar3;" (assignment_expression "puVar4 = param_1 + iVar3" (identifier "puVar4") (= "=") (binary_expression "param_1 + iVar3" (identifier "param_1") (+ "+") (identifier "iVar3"))) (; ";")) (do_statement "do {\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      } while (puVar2 != param_2 + param_3);" (do "do") (compound_statement "{\n        uVar1 = *puVar2;\n        puVar2 = puVar2 + 1;\n        *puVar4 = uVar1;\n        puVar4 = puVar4 + 1;\n      }" ({ "{") (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" (identifier "uVar1") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" (identifier "puVar2") (= "=") (binary_expression "puVar2 + 1" (identifier "puVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*puVar4 = uVar1;" (assignment_expression "*puVar4 = uVar1" (pointer_expression "*puVar4" (* "*") (identifier "puVar4")) (= "=") (identifier "uVar1")) (; ";")) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" (identifier "puVar4") (= "=") (binary_expression "puVar4 + 1" (identifier "puVar4") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(puVar2 != param_2 + param_3)" (( "(") (binary_expression "puVar2 != param_2 + param_3" (identifier "puVar2") (!= "!=") (binary_expression "param_2 + param_3" (identifier "param_2") (+ "+") (identifier "param_3"))) () ")")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}")) (else_clause "else if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" (else "else") (if_statement "if ((param_2 != param_1) && (1 < param_3)) {\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" (if "if") (parenthesized_expression "((param_2 != param_1) && (1 < param_3))" (( "(") (binary_expression "(param_2 != param_1) && (1 < param_3)" (parenthesized_expression "(param_2 != param_1)" (( "(") (binary_expression "param_2 != param_1" (identifier "param_2") (!= "!=") (identifier "param_1")) () ")")) (&& "&&") (parenthesized_expression "(1 < param_3)" (( "(") (binary_expression "1 < param_3" (number_literal "1") (< "<") (identifier "param_3")) () ")"))) () ")")) (compound_statement "{\n    puVar2 = param_2 + 1;\n    puVar4 = param_1 + 1;\n    do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);\n  }" ({ "{") (expression_statement "puVar2 = param_2 + 1;" (assignment_expression "puVar2 = param_2 + 1" (identifier "puVar2") (= "=") (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar4 = param_1 + 1;" (assignment_expression "puVar4 = param_1 + 1" (identifier "puVar4") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (do_statement "do {\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    } while (puVar2 != param_2 + param_3);" (do "do") (compound_statement "{\n      uVar1 = *puVar2;\n      puVar2 = puVar2 + 1;\n      *puVar4 = uVar1;\n      puVar4 = puVar4 + 1;\n    }" ({ "{") (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" (identifier "uVar1") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" (identifier "puVar2") (= "=") (binary_expression "puVar2 + 1" (identifier "puVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*puVar4 = uVar1;" (assignment_expression "*puVar4 = uVar1" (pointer_expression "*puVar4" (* "*") (identifier "puVar4")) (= "=") (identifier "uVar1")) (; ";")) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" (identifier "puVar4") (= "=") (binary_expression "puVar4 + 1" (identifier "puVar4") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(puVar2 != param_2 + param_3)" (( "(") (binary_expression "puVar2 != param_2 + param_3" (identifier "puVar2") (!= "!=") (binary_expression "param_2 + param_3" (identifier "param_2") (+ "+") (identifier "param_3"))) () ")")) (; ";")) (} "}"))))) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

type_1 function_1(type_2 var_5,type_3 var_4,type_4 var_3,type_1 var_1)

{
  type_1 var_2;
  type_1 *var_9;
  int var_6;
  type_2 var_8;
  type_1 *__gmp_x;
  type_3 var_7;
  
  var_2 = *var_4;
  *var_5 = var_1 + var_2;
  if (var_1 + var_2 < var_1) {
    if (var_3 < 2) {
      return 1;
    }
    var_2 = var_4[1];
    var_5[1] = var_2 + 1;
    if (var_2 + 1 == 0) {
      var_7 = var_4 + 2;
      var_6 = 2;
      var_8 = var_5 + 2;
      do {
        if (var_3 == var_6) {
          return 1;
        }
        var_2 = *var_7;
        var_6 = var_6 + 1;
        var_7 = var_7 + 1;
        *var_8 = var_2 + 1;
        var_8 = var_8 + 1;
      } while (var_2 + 1 == 0);
    }
    else {
      var_6 = 2;
    }
    if ((var_4 != var_5) && (var_6 < var_3)) {
      var_9 = var_4 + var_6;
      var_8 = var_5 + var_6;
      do {
        var_2 = *var_9;
        var_9 = var_9 + 1;
        *var_8 = var_2;
        var_8 = var_8 + 1;
      } while (var_9 != var_4 + var_3);
      return 0;
    }
  }
  else if ((var_4 != var_5) && (1 < var_3)) {
    var_9 = var_4 + 1;
    var_8 = var_5 + 1;
    do {
      var_2 = *var_9;
      var_9 = var_9 + 1;
      *var_8 = var_2;
      var_8 = var_8 + 1;
    } while (var_9 != var_4 + var_3);
  }
  return 0;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (identifier))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (do_statement body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))))) consequence: (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: (identifier)))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))) (return_statement (number_literal))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))))))) (return_statement (number_literal)))))

undefined4 MASKED(uint *param_1,uint *param_2,int param_3,uint param_4)

{
  uint uVar1;
  uint *puVar2;
  int iVar3;
  uint *puVar4;
  
  uVar1 = *param_2;
  *param_1 = param_4 + uVar1;
  if (param_4 + uVar1 < param_4) {
    if (param_3 < 2) {
      return 1;
    }
    uVar1 = param_2[1];
    param_1[1] = uVar1 + 1;
    if (uVar1 + 1 == 0) {
      puVar2 = param_2 + 2;
      iVar3 = 2;
      puVar4 = param_1 + 2;
      do {
        if (param_3 == iVar3) {
          return 1;
        }
        uVar1 = *puVar2;
        iVar3 = iVar3 + 1;
        puVar2 = puVar2 + 1;
        *puVar4 = uVar1 + 1;
        puVar4 = puVar4 + 1;
      } while (uVar1 + 1 == 0);
    }
    else {
      iVar3 = 2;
    }
    if ((param_2 != param_1) && (iVar3 < param_3)) {
      puVar2 = param_2 + iVar3;
      puVar4 = param_1 + iVar3;
      do {
        uVar1 = *puVar2;
        puVar2 = puVar2 + 1;
        *puVar4 = uVar1;
        puVar4 = puVar4 + 1;
      } while (puVar2 != param_2 + param_3);
      return 0;
    }
  }
  else if ((param_2 != param_1) && (1 < param_3)) {
    puVar2 = param_2 + 1;
    puVar4 = param_1 + 1;
    do {
      uVar1 = *puVar2;
      puVar2 = puVar2 + 1;
      *puVar4 = uVar1;
      puVar4 = puVar4 + 1;
    } while (puVar2 != param_2 + param_3);
  }
  return 0;
}

