
mp_limb_t __gmpn_add_err1_n(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp,mp_size_t n,
                           mp_limb_t cy)

{
  uint uVar1;
  uint uVar2;
  uint uVar3;
  uint *puVar4;
  uint uVar5;
  mp_limb_t mVar6;
  
  mVar6 = 0;
  uVar5 = 0;
  puVar4 = yp + n + -1;
  do {
    uVar3 = *up;
    uVar2 = *puVar4;
    n = n + -1;
    uVar1 = uVar3 + *vp;
    vp = vp + 1;
    *rp = cy + uVar1;
    cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1);
    if (cy == 0) {
      uVar2 = 0;
    }
    uVar5 = uVar5 + uVar2;
    mVar6 = mVar6 + (uVar5 < uVar2);
    rp = rp + 1;
    up = up + 1;
    puVar4 = puVar4 + -1;
  } while (n != 0);
  *ep = uVar5;
  ep[1] = mVar6;
  return cy;
}



void __gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,
                      int param_6,uint param_7)

{
  uint uVar1;
  uint uVar2;
  uint uVar3;
  uint *puVar4;
  uint uVar5;
  uint uVar6;
  
  uVar6 = 0;
  uVar5 = 0;
  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);
  do {
    uVar3 = *param_2;
    uVar2 = *puVar4;
    param_6 = param_6 + -1;
    uVar1 = uVar3 + *param_3;
    param_3 = param_3 + 1;
    *param_1 = param_7 + uVar1;
    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);
    if (param_7 == 0) {
      uVar2 = 0;
    }
    uVar5 = uVar5 + uVar2;
    uVar6 = uVar6 + (uVar5 < uVar2);
    param_1 = param_1 + 1;
    param_2 = param_2 + 1;
    puVar4 = puVar4 + -1;
  } while (param_6 != 0);
  *param_4 = uVar5;
  param_4[1] = uVar6;
  return;
}


lw t4,0x14(sp)
or t5,zero,zero
lw v0,0x18(sp)
or t3,zero,zero
sll t2,t4,0x2
addiu v1,t2,-0x4
lw t2,0x10(sp)
addu t2,t2,v1
addiu a1,a1,0x4
lw v1,0x0(a2)
lw t1,-0x4(a1)
addiu t2,t2,-0x4
addiu a0,a0,0x4
lw t0,0x4(t2)
addiu t4,t4,-0x1
addu v1,t1,v1
addiu a2,a2,0x4
addu v0,v0,v1
sltu t1,v1,t1
sltu v1,v0,v1
sw v0,-0x4(a0)
or v0,t1,v1
movz t0,zero,v0
addu t3,t3,t0
sltu t0,t3,t0
bne t4,zero,0x0003be90
_addu t5,t5,t0
sw t3,0x0(a3)
jr ra
_sw t5,0x4(a3)
(translation_unit "void __gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  uVar5 = 0;\n  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);\n  do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);\n  *param_4 = uVar5;\n  param_4[1] = uVar6;\n  return;\n}\n\n" (function_definition "void __gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  uVar5 = 0;\n  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);\n  do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);\n  *param_4 = uVar5;\n  param_4[1] = uVar6;\n  return;\n}" primitive_type (function_declarator "__gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)" identifier (parameter_list "(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)" ( (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 (pointer_declarator "*param_3" * identifier)) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) , (parameter_declaration "int param_5" primitive_type identifier) , (parameter_declaration "int param_6" primitive_type identifier) , (parameter_declaration "uint param_7" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  uVar5 = 0;\n  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);\n  do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);\n  *param_4 = uVar5;\n  param_4[1] = uVar6;\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar4 = (uint *)(param_5 + param_6 * 4 + -4);" (assignment_expression "puVar4 = (uint *)(param_5 + param_6 * 4 + -4)" identifier = (cast_expression "(uint *)(param_5 + param_6 * 4 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_5 + param_6 * 4 + -4)" ( (binary_expression "param_5 + param_6 * 4 + -4" (binary_expression "param_5 + param_6 * 4" identifier + (binary_expression "param_6 * 4" identifier * number_literal)) + number_literal) )))) ;) (do_statement "do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);" do (compound_statement "{\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar2 = *puVar4;" (assignment_expression "uVar2 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (expression_statement "param_6 = param_6 + -1;" (assignment_expression "param_6 = param_6 + -1" identifier = (binary_expression "param_6 + -1" identifier + number_literal)) ;) (expression_statement "uVar1 = uVar3 + *param_3;" (assignment_expression "uVar1 = uVar3 + *param_3" identifier = (binary_expression "uVar3 + *param_3" identifier + (pointer_expression "*param_3" * identifier))) ;) (expression_statement "param_3 = param_3 + 1;" (assignment_expression "param_3 = param_3 + 1" identifier = (binary_expression "param_3 + 1" identifier + number_literal)) ;) (expression_statement "*param_1 = param_7 + uVar1;" (assignment_expression "*param_1 = param_7 + uVar1" (pointer_expression "*param_1" * identifier) = (binary_expression "param_7 + uVar1" identifier + identifier)) ;) (expression_statement "param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);" (assignment_expression "param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" identifier = (call_expression "(uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" ( (binary_expression "uVar1 < uVar3 || param_7 + uVar1 < uVar1" (binary_expression "uVar1 < uVar3" identifier < identifier) || (binary_expression "param_7 + uVar1 < uVar1" (binary_expression "param_7 + uVar1" identifier + identifier) < identifier)) )))) ;) (if_statement "if (param_7 == 0) {\n      uVar2 = 0;\n    }" if (parenthesized_expression "(param_7 == 0)" ( (binary_expression "param_7 == 0" identifier == number_literal) )) (compound_statement "{\n      uVar2 = 0;\n    }" { (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) })) (expression_statement "uVar5 = uVar5 + uVar2;" (assignment_expression "uVar5 = uVar5 + uVar2" identifier = (binary_expression "uVar5 + uVar2" identifier + identifier)) ;) (expression_statement "uVar6 = uVar6 + (uVar5 < uVar2);" (assignment_expression "uVar6 = uVar6 + (uVar5 < uVar2)" identifier = (binary_expression "uVar6 + (uVar5 < uVar2)" identifier + (parenthesized_expression "(uVar5 < uVar2)" ( (binary_expression "uVar5 < uVar2" identifier < identifier) )))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 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 "(param_6 != 0)" ( (binary_expression "param_6 != 0" identifier != number_literal) )) ;) (expression_statement "*param_4 = uVar5;" (assignment_expression "*param_4 = uVar5" (pointer_expression "*param_4" * identifier) = identifier) ;) (expression_statement "param_4[1] = uVar6;" (assignment_expression "param_4[1] = uVar6" (subscript_expression "param_4[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "mp_limb_t __gmpn_add_err1_n(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp,mp_size_t n,\n                           mp_limb_t cy)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  mp_limb_t mVar6;\n  \n  mVar6 = 0;\n  uVar5 = 0;\n  puVar4 = yp + n + -1;\n  do {\n    uVar3 = *up;\n    uVar2 = *puVar4;\n    n = n + -1;\n    uVar1 = uVar3 + *vp;\n    vp = vp + 1;\n    *rp = cy + uVar1;\n    cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1);\n    if (cy == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    mVar6 = mVar6 + (uVar5 < uVar2);\n    rp = rp + 1;\n    up = up + 1;\n    puVar4 = puVar4 + -1;\n  } while (n != 0);\n  *ep = uVar5;\n  ep[1] = mVar6;\n  return cy;\n}\n\n" (function_definition "mp_limb_t __gmpn_add_err1_n(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp,mp_size_t n,\n                           mp_limb_t cy)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  mp_limb_t mVar6;\n  \n  mVar6 = 0;\n  uVar5 = 0;\n  puVar4 = yp + n + -1;\n  do {\n    uVar3 = *up;\n    uVar2 = *puVar4;\n    n = n + -1;\n    uVar1 = uVar3 + *vp;\n    vp = vp + 1;\n    *rp = cy + uVar1;\n    cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1);\n    if (cy == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    mVar6 = mVar6 + (uVar5 < uVar2);\n    rp = rp + 1;\n    up = up + 1;\n    puVar4 = puVar4 + -1;\n  } while (n != 0);\n  *ep = uVar5;\n  ep[1] = mVar6;\n  return cy;\n}" type_identifier (function_declarator "__gmpn_add_err1_n(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp,mp_size_t n,\n                           mp_limb_t cy)" identifier (parameter_list "(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp,mp_size_t n,\n                           mp_limb_t cy)" ( (parameter_declaration "mp_ptr rp" type_identifier identifier) , (parameter_declaration "mp_srcptr up" type_identifier identifier) , (parameter_declaration "mp_srcptr vp" type_identifier identifier) , (parameter_declaration "mp_ptr ep" type_identifier identifier) , (parameter_declaration "mp_srcptr yp" type_identifier identifier) , (parameter_declaration "mp_size_t n" type_identifier identifier) , (parameter_declaration "mp_limb_t cy" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  mp_limb_t mVar6;\n  \n  mVar6 = 0;\n  uVar5 = 0;\n  puVar4 = yp + n + -1;\n  do {\n    uVar3 = *up;\n    uVar2 = *puVar4;\n    n = n + -1;\n    uVar1 = uVar3 + *vp;\n    vp = vp + 1;\n    *rp = cy + uVar1;\n    cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1);\n    if (cy == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    mVar6 = mVar6 + (uVar5 < uVar2);\n    rp = rp + 1;\n    up = up + 1;\n    puVar4 = puVar4 + -1;\n  } while (n != 0);\n  *ep = uVar5;\n  ep[1] = mVar6;\n  return cy;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "mp_limb_t mVar6;" type_identifier identifier ;) (expression_statement "mVar6 = 0;" (assignment_expression "mVar6 = 0" identifier = number_literal) ;) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar4 = yp + n + -1;" (assignment_expression "puVar4 = yp + n + -1" identifier = (binary_expression "yp + n + -1" (binary_expression "yp + n" identifier + identifier) + number_literal)) ;) (do_statement "do {\n    uVar3 = *up;\n    uVar2 = *puVar4;\n    n = n + -1;\n    uVar1 = uVar3 + *vp;\n    vp = vp + 1;\n    *rp = cy + uVar1;\n    cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1);\n    if (cy == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    mVar6 = mVar6 + (uVar5 < uVar2);\n    rp = rp + 1;\n    up = up + 1;\n    puVar4 = puVar4 + -1;\n  } while (n != 0);" do (compound_statement "{\n    uVar3 = *up;\n    uVar2 = *puVar4;\n    n = n + -1;\n    uVar1 = uVar3 + *vp;\n    vp = vp + 1;\n    *rp = cy + uVar1;\n    cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1);\n    if (cy == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    mVar6 = mVar6 + (uVar5 < uVar2);\n    rp = rp + 1;\n    up = up + 1;\n    puVar4 = puVar4 + -1;\n  }" { (expression_statement "uVar3 = *up;" (assignment_expression "uVar3 = *up" identifier = (pointer_expression "*up" * identifier)) ;) (expression_statement "uVar2 = *puVar4;" (assignment_expression "uVar2 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (expression_statement "n = n + -1;" (assignment_expression "n = n + -1" identifier = (binary_expression "n + -1" identifier + number_literal)) ;) (expression_statement "uVar1 = uVar3 + *vp;" (assignment_expression "uVar1 = uVar3 + *vp" identifier = (binary_expression "uVar3 + *vp" identifier + (pointer_expression "*vp" * identifier))) ;) (expression_statement "vp = vp + 1;" (assignment_expression "vp = vp + 1" identifier = (binary_expression "vp + 1" identifier + number_literal)) ;) (expression_statement "*rp = cy + uVar1;" (assignment_expression "*rp = cy + uVar1" (pointer_expression "*rp" * identifier) = (binary_expression "cy + uVar1" identifier + identifier)) ;) (expression_statement "cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1);" (assignment_expression "cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1)" identifier = (call_expression "(mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1)" (parenthesized_expression "(mp_limb_t)" ( identifier )) (argument_list "(uVar1 < uVar3 || cy + uVar1 < uVar1)" ( (binary_expression "uVar1 < uVar3 || cy + uVar1 < uVar1" (binary_expression "uVar1 < uVar3" identifier < identifier) || (binary_expression "cy + uVar1 < uVar1" (binary_expression "cy + uVar1" identifier + identifier) < identifier)) )))) ;) (if_statement "if (cy == 0) {\n      uVar2 = 0;\n    }" if (parenthesized_expression "(cy == 0)" ( (binary_expression "cy == 0" identifier == number_literal) )) (compound_statement "{\n      uVar2 = 0;\n    }" { (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) })) (expression_statement "uVar5 = uVar5 + uVar2;" (assignment_expression "uVar5 = uVar5 + uVar2" identifier = (binary_expression "uVar5 + uVar2" identifier + identifier)) ;) (expression_statement "mVar6 = mVar6 + (uVar5 < uVar2);" (assignment_expression "mVar6 = mVar6 + (uVar5 < uVar2)" identifier = (binary_expression "mVar6 + (uVar5 < uVar2)" identifier + (parenthesized_expression "(uVar5 < uVar2)" ( (binary_expression "uVar5 < uVar2" identifier < identifier) )))) ;) (expression_statement "rp = rp + 1;" (assignment_expression "rp = rp + 1" identifier = (binary_expression "rp + 1" identifier + number_literal)) ;) (expression_statement "up = up + 1;" (assignment_expression "up = up + 1" identifier = (binary_expression "up + 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 "(n != 0)" ( (binary_expression "n != 0" identifier != number_literal) )) ;) (expression_statement "*ep = uVar5;" (assignment_expression "*ep = uVar5" (pointer_expression "*ep" * identifier) = identifier) ;) (expression_statement "ep[1] = mVar6;" (assignment_expression "ep[1] = mVar6" (subscript_expression "ep[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return cy;" return identifier ;) })))
(translation_unit "void __gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  uVar5 = 0;\n  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);\n  do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);\n  *param_4 = uVar5;\n  param_4[1] = uVar6;\n  return;\n}\n\n" (function_definition "void __gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  uVar5 = 0;\n  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);\n  do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);\n  *param_4 = uVar5;\n  param_4[1] = uVar6;\n  return;\n}" primitive_type (function_declarator "__gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)" identifier (parameter_list "(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)" ( (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 (pointer_declarator "*param_3" * identifier)) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) , (parameter_declaration "int param_5" primitive_type identifier) , (parameter_declaration "int param_6" primitive_type identifier) , (parameter_declaration "uint param_7" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  uVar5 = 0;\n  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);\n  do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);\n  *param_4 = uVar5;\n  param_4[1] = uVar6;\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar4 = (uint *)(param_5 + param_6 * 4 + -4);" (assignment_expression "puVar4 = (uint *)(param_5 + param_6 * 4 + -4)" identifier = (cast_expression "(uint *)(param_5 + param_6 * 4 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_5 + param_6 * 4 + -4)" ( (binary_expression "param_5 + param_6 * 4 + -4" (binary_expression "param_5 + param_6 * 4" identifier + (binary_expression "param_6 * 4" identifier * number_literal)) + number_literal) )))) ;) (do_statement "do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);" do (compound_statement "{\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar2 = *puVar4;" (assignment_expression "uVar2 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (expression_statement "param_6 = param_6 + -1;" (assignment_expression "param_6 = param_6 + -1" identifier = (binary_expression "param_6 + -1" identifier + number_literal)) ;) (expression_statement "uVar1 = uVar3 + *param_3;" (assignment_expression "uVar1 = uVar3 + *param_3" identifier = (binary_expression "uVar3 + *param_3" identifier + (pointer_expression "*param_3" * identifier))) ;) (expression_statement "param_3 = param_3 + 1;" (assignment_expression "param_3 = param_3 + 1" identifier = (binary_expression "param_3 + 1" identifier + number_literal)) ;) (expression_statement "*param_1 = param_7 + uVar1;" (assignment_expression "*param_1 = param_7 + uVar1" (pointer_expression "*param_1" * identifier) = (binary_expression "param_7 + uVar1" identifier + identifier)) ;) (expression_statement "param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);" (assignment_expression "param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" identifier = (call_expression "(uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" ( (binary_expression "uVar1 < uVar3 || param_7 + uVar1 < uVar1" (binary_expression "uVar1 < uVar3" identifier < identifier) || (binary_expression "param_7 + uVar1 < uVar1" (binary_expression "param_7 + uVar1" identifier + identifier) < identifier)) )))) ;) (if_statement "if (param_7 == 0) {\n      uVar2 = 0;\n    }" if (parenthesized_expression "(param_7 == 0)" ( (binary_expression "param_7 == 0" identifier == number_literal) )) (compound_statement "{\n      uVar2 = 0;\n    }" { (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) })) (expression_statement "uVar5 = uVar5 + uVar2;" (assignment_expression "uVar5 = uVar5 + uVar2" identifier = (binary_expression "uVar5 + uVar2" identifier + identifier)) ;) (expression_statement "uVar6 = uVar6 + (uVar5 < uVar2);" (assignment_expression "uVar6 = uVar6 + (uVar5 < uVar2)" identifier = (binary_expression "uVar6 + (uVar5 < uVar2)" identifier + (parenthesized_expression "(uVar5 < uVar2)" ( (binary_expression "uVar5 < uVar2" identifier < identifier) )))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 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 "(param_6 != 0)" ( (binary_expression "param_6 != 0" identifier != number_literal) )) ;) (expression_statement "*param_4 = uVar5;" (assignment_expression "*param_4 = uVar5" (pointer_expression "*param_4" * identifier) = identifier) ;) (expression_statement "param_4[1] = uVar6;" (assignment_expression "param_4[1] = uVar6" (subscript_expression "param_4[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(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 (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + (binary_expression IDENT * LIT)) + LIT) )))) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (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 + (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression IDENT < IDENT) || (binary_expression (binary_expression IDENT + IDENT) < IDENT)) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT < IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return ;) })))
(function_definition "void __gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  uVar5 = 0;\n  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);\n  do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);\n  *param_4 = uVar5;\n  param_4[1] = uVar6;\n  return;\n}" (primitive_type "void") (function_declarator "__gmpn_add_err1_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)" (identifier "__gmpn_add_err1_n") (parameter_list "(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,uint param_7)" (( "(") (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") (pointer_declarator "*param_3" (* "*") (identifier "param_3"))) (, ",") (parameter_declaration "uint *param_4" (type_identifier "uint") (pointer_declarator "*param_4" (* "*") (identifier "param_4"))) (, ",") (parameter_declaration "int param_5" (primitive_type "int") (identifier "param_5")) (, ",") (parameter_declaration "int param_6" (primitive_type "int") (identifier "param_6")) (, ",") (parameter_declaration "uint param_7" (type_identifier "uint") (identifier "param_7")) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  uVar5 = 0;\n  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);\n  do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);\n  *param_4 = uVar5;\n  param_4[1] = uVar6;\n  return;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint *puVar4;" (type_identifier "uint") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" (identifier "uVar6") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" (identifier "uVar5") (= "=") (number_literal "0")) (; ";")) (expression_statement "puVar4 = (uint *)(param_5 + param_6 * 4 + -4);" (assignment_expression "puVar4 = (uint *)(param_5 + param_6 * 4 + -4)" (identifier "puVar4") (= "=") (cast_expression "(uint *)(param_5 + param_6 * 4 + -4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_5 + param_6 * 4 + -4)" (( "(") (binary_expression "param_5 + param_6 * 4 + -4" (binary_expression "param_5 + param_6 * 4" (identifier "param_5") (+ "+") (binary_expression "param_6 * 4" (identifier "param_6") (* "*") (number_literal "4"))) (+ "+") (number_literal "-4")) () ")")))) (; ";")) (do_statement "do {\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  } while (param_6 != 0);" (do "do") (compound_statement "{\n    uVar3 = *param_2;\n    uVar2 = *puVar4;\n    param_6 = param_6 + -1;\n    uVar1 = uVar3 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_7 + uVar1;\n    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);\n    if (param_7 == 0) {\n      uVar2 = 0;\n    }\n    uVar5 = uVar5 + uVar2;\n    uVar6 = uVar6 + (uVar5 < uVar2);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar4 = puVar4 + -1;\n  }" ({ "{") (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" (identifier "uVar3") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar2 = *puVar4;" (assignment_expression "uVar2 = *puVar4" (identifier "uVar2") (= "=") (pointer_expression "*puVar4" (* "*") (identifier "puVar4"))) (; ";")) (expression_statement "param_6 = param_6 + -1;" (assignment_expression "param_6 = param_6 + -1" (identifier "param_6") (= "=") (binary_expression "param_6 + -1" (identifier "param_6") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "uVar1 = uVar3 + *param_3;" (assignment_expression "uVar1 = uVar3 + *param_3" (identifier "uVar1") (= "=") (binary_expression "uVar3 + *param_3" (identifier "uVar3") (+ "+") (pointer_expression "*param_3" (* "*") (identifier "param_3")))) (; ";")) (expression_statement "param_3 = param_3 + 1;" (assignment_expression "param_3 = param_3 + 1" (identifier "param_3") (= "=") (binary_expression "param_3 + 1" (identifier "param_3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*param_1 = param_7 + uVar1;" (assignment_expression "*param_1 = param_7 + uVar1" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "param_7 + uVar1" (identifier "param_7") (+ "+") (identifier "uVar1"))) (; ";")) (expression_statement "param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);" (assignment_expression "param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" (identifier "param_7") (= "=") (call_expression "(uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar1 < uVar3 || param_7 + uVar1 < uVar1)" (( "(") (binary_expression "uVar1 < uVar3 || param_7 + uVar1 < uVar1" (binary_expression "uVar1 < uVar3" (identifier "uVar1") (< "<") (identifier "uVar3")) (|| "||") (binary_expression "param_7 + uVar1 < uVar1" (binary_expression "param_7 + uVar1" (identifier "param_7") (+ "+") (identifier "uVar1")) (< "<") (identifier "uVar1"))) () ")")))) (; ";")) (if_statement "if (param_7 == 0) {\n      uVar2 = 0;\n    }" (if "if") (parenthesized_expression "(param_7 == 0)" (( "(") (binary_expression "param_7 == 0" (identifier "param_7") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      uVar2 = 0;\n    }" ({ "{") (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" (identifier "uVar2") (= "=") (number_literal "0")) (; ";")) (} "}"))) (expression_statement "uVar5 = uVar5 + uVar2;" (assignment_expression "uVar5 = uVar5 + uVar2" (identifier "uVar5") (= "=") (binary_expression "uVar5 + uVar2" (identifier "uVar5") (+ "+") (identifier "uVar2"))) (; ";")) (expression_statement "uVar6 = uVar6 + (uVar5 < uVar2);" (assignment_expression "uVar6 = uVar6 + (uVar5 < uVar2)" (identifier "uVar6") (= "=") (binary_expression "uVar6 + (uVar5 < uVar2)" (identifier "uVar6") (+ "+") (parenthesized_expression "(uVar5 < uVar2)" (( "(") (binary_expression "uVar5 < uVar2" (identifier "uVar5") (< "<") (identifier "uVar2")) () ")")))) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" (identifier "param_2") (= "=") (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (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 "(param_6 != 0)" (( "(") (binary_expression "param_6 != 0" (identifier "param_6") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "*param_4 = uVar5;" (assignment_expression "*param_4 = uVar5" (pointer_expression "*param_4" (* "*") (identifier "param_4")) (= "=") (identifier "uVar5")) (; ";")) (expression_statement "param_4[1] = uVar6;" (assignment_expression "param_4[1] = uVar6" (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar6")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

type_1 function_1(type_2 var_10,type_3 var_11,type_3 var_4,type_2 ep,type_3 var_1,type_4 var_2,
                           type_1 var_5)

{
  type_5 var_6;
  type_5 var_8;
  type_5 var_3;
  type_5 *var_12;
  type_5 var_7;
  type_1 var_9;
  
  var_9 = 0;
  var_7 = 0;
  var_12 = var_1 + var_2 + -1;
  do {
    var_3 = *var_11;
    var_8 = *var_12;
    var_2 = var_2 + -1;
    var_6 = var_3 + *var_4;
    var_4 = var_4 + 1;
    *var_10 = var_5 + var_6;
    var_5 = (type_1)(var_6 < var_3 || var_5 + var_6 < var_6);
    if (var_5 == 0) {
      var_8 = 0;
    }
    var_7 = var_7 + var_8;
    var_9 = var_9 + (var_7 < var_8);
    var_10 = var_10 + 1;
    var_11 = var_11 + 1;
    var_12 = var_12 + -1;
  } while (var_2 != 0);
  *ep = var_7;
  ep[1] = var_9;
  return var_5;
}


(translation_unit (function_definition type: (primitive_type) 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: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) 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: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) 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: (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: (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: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (identifier))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))))) (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: (parenthesized_expression (binary_expression left: (identifier) right: (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: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (return_statement))))

void MASKED(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,
                      int param_6,uint param_7)

{
  uint uVar1;
  uint uVar2;
  uint uVar3;
  uint *puVar4;
  uint uVar5;
  uint uVar6;
  
  uVar6 = 0;
  uVar5 = 0;
  puVar4 = (uint *)(param_5 + param_6 * 4 + -4);
  do {
    uVar3 = *param_2;
    uVar2 = *puVar4;
    param_6 = param_6 + -1;
    uVar1 = uVar3 + *param_3;
    param_3 = param_3 + 1;
    *param_1 = param_7 + uVar1;
    param_7 = (uint)(uVar1 < uVar3 || param_7 + uVar1 < uVar1);
    if (param_7 == 0) {
      uVar2 = 0;
    }
    uVar5 = uVar5 + uVar2;
    uVar6 = uVar6 + (uVar5 < uVar2);
    param_1 = param_1 + 1;
    param_2 = param_2 + 1;
    puVar4 = puVar4 + -1;
  } while (param_6 != 0);
  *param_4 = uVar5;
  param_4[1] = uVar6;
  return;
}

