
mp_limb_t __gmpn_add_err2_n(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp1,
                           mp_srcptr yp2,mp_size_t n,mp_limb_t cy)

{
  mp_limb_t __w_1;
  mp_limb_t __w;
  uint uVar1;
  uint uVar2;
  mp_limb_t ul;
  uint uVar3;
  uint *puVar4;
  uint *puVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  mp_limb_t mVar9;
  mp_limb_t mVar10;
  
  mVar9 = 0;
  uVar6 = 0;
  mVar10 = 0;
  uVar7 = 0;
  puVar4 = yp2 + n + -1;
  puVar5 = yp1 + n + -1;
  do {
    uVar3 = *up;
    uVar8 = *puVar4;
    uVar2 = *puVar5;
    n = n + -1;
    uVar1 = uVar3 + *vp;
    vp = vp + 1;
    *rp = cy + uVar1;
    cy = (mp_limb_t)(uVar1 < uVar3 || cy + uVar1 < uVar1);
    puVar4 = puVar4 + -1;
    uVar2 = -cy & uVar2;
    uVar8 = -cy & uVar8;
    uVar7 = uVar7 + uVar2;
    uVar6 = uVar6 + uVar8;
    mVar10 = mVar10 + (uVar7 < uVar2);
    mVar9 = mVar9 + (uVar6 < uVar8);
    rp = rp + 1;
    up = up + 1;
    puVar5 = puVar5 + -1;
  } while (n != 0);
  *ep = uVar7;
  ep[1] = mVar10;
  ep[2] = uVar6;
  ep[3] = mVar9;
  return cy;
}



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

{
  int iVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint *puVar5;
  uint *puVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  
  uVar10 = 0;
  uVar7 = 0;
  uVar11 = 0;
  uVar8 = 0;
  iVar1 = param_7 * 4 + -4;
  puVar5 = (uint *)(param_6 + iVar1);
  puVar6 = (uint *)(param_5 + iVar1);
  do {
    uVar4 = *param_2;
    uVar9 = *puVar5;
    uVar3 = *puVar6;
    param_7 = param_7 + -1;
    uVar2 = uVar4 + *param_3;
    param_3 = param_3 + 1;
    *param_1 = param_8 + uVar2;
    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);
    puVar5 = puVar5 + -1;
    uVar3 = -param_8 & uVar3;
    uVar9 = -param_8 & uVar9;
    uVar8 = uVar8 + uVar3;
    uVar7 = uVar7 + uVar9;
    uVar11 = uVar11 + (uVar8 < uVar3);
    uVar10 = uVar10 + (uVar7 < uVar9);
    param_1 = param_1 + 1;
    param_2 = param_2 + 1;
    puVar6 = puVar6 + -1;
  } while (param_7 != 0);
  *param_4 = uVar8;
  param_4[1] = uVar11;
  param_4[2] = uVar7;
  param_4[3] = uVar10;
  return;
}


addiu sp,sp,-0x8
or t8,zero,zero
or t5,zero,zero
lw t7,0x20(sp)
or t9,zero,zero
lw t4,0x18(sp)
or t6,zero,zero
lw v0,0x24(sp)
sll t3,t7,0x2
sw s0,0x4(sp)
addiu v1,t3,-0x4
lw t3,0x1c(sp)
addu t4,t4,v1
addu t3,t3,v1
addiu a1,a1,0x4
lw t0,0x0(a2)
lw t2,-0x4(a1)
addiu t4,t4,-0x4
addiu a0,a0,0x4
lw s0,0x0(t3)
lw t1,0x4(t4)
addiu t7,t7,-0x1
addu t0,t2,t0
addiu a2,a2,0x4
addu v0,v0,t0
sltu t2,t0,t2
sltu t0,v0,t0
sw v0,-0x4(a0)
or v0,t2,t0
subu v1,zero,v0
addiu t3,t3,-0x4
and t1,v1,t1
and v1,v1,s0
addu t6,t6,t1
addu t5,t5,v1
sltu t1,t6,t1
sltu v1,t5,v1
addu t9,t9,t1
bne t7,zero,0x0003ad48
_addu t8,t8,v1
lw s0,0x4(sp)
addiu sp,sp,0x8
sw t6,0x0(a3)
sw t9,0x4(a3)
sw t5,0x8(a3)
jr ra
_sw t8,0xc(a3)
(translation_unit "void __gmpn_add_err2_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint *puVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  uVar10 = 0;\n  uVar7 = 0;\n  uVar11 = 0;\n  uVar8 = 0;\n  iVar1 = param_7 * 4 + -4;\n  puVar5 = (uint *)(param_6 + iVar1);\n  puVar6 = (uint *)(param_5 + iVar1);\n  do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);\n  *param_4 = uVar8;\n  param_4[1] = uVar11;\n  param_4[2] = uVar7;\n  param_4[3] = uVar10;\n  return;\n}\n\n" (function_definition "void __gmpn_add_err2_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint *puVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  uVar10 = 0;\n  uVar7 = 0;\n  uVar11 = 0;\n  uVar8 = 0;\n  iVar1 = param_7 * 4 + -4;\n  puVar5 = (uint *)(param_6 + iVar1);\n  puVar6 = (uint *)(param_5 + iVar1);\n  do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);\n  *param_4 = uVar8;\n  param_4[1] = uVar11;\n  param_4[2] = uVar7;\n  param_4[3] = uVar10;\n  return;\n}" primitive_type (function_declarator "__gmpn_add_err2_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)" identifier (parameter_list "(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)" ( (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 "int param_7" primitive_type identifier) , (parameter_declaration "uint param_8" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint *puVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  uVar10 = 0;\n  uVar7 = 0;\n  uVar11 = 0;\n  uVar8 = 0;\n  iVar1 = param_7 * 4 + -4;\n  puVar5 = (uint *)(param_6 + iVar1);\n  puVar6 = (uint *)(param_5 + iVar1);\n  do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);\n  *param_4 = uVar8;\n  param_4[1] = uVar11;\n  param_4[2] = uVar7;\n  param_4[3] = uVar10;\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint *puVar6;" type_identifier (pointer_declarator "*puVar6" * identifier) ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (expression_statement "uVar10 = 0;" (assignment_expression "uVar10 = 0" identifier = number_literal) ;) (expression_statement "uVar7 = 0;" (assignment_expression "uVar7 = 0" identifier = number_literal) ;) (expression_statement "uVar11 = 0;" (assignment_expression "uVar11 = 0" identifier = number_literal) ;) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (expression_statement "iVar1 = param_7 * 4 + -4;" (assignment_expression "iVar1 = param_7 * 4 + -4" identifier = (binary_expression "param_7 * 4 + -4" (binary_expression "param_7 * 4" identifier * number_literal) + number_literal)) ;) (expression_statement "puVar5 = (uint *)(param_6 + iVar1);" (assignment_expression "puVar5 = (uint *)(param_6 + iVar1)" identifier = (cast_expression "(uint *)(param_6 + iVar1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_6 + iVar1)" ( (binary_expression "param_6 + iVar1" identifier + identifier) )))) ;) (expression_statement "puVar6 = (uint *)(param_5 + iVar1);" (assignment_expression "puVar6 = (uint *)(param_5 + iVar1)" identifier = (cast_expression "(uint *)(param_5 + iVar1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_5 + iVar1)" ( (binary_expression "param_5 + iVar1" identifier + identifier) )))) ;) (do_statement "do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);" do (compound_statement "{\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  }" { (expression_statement "uVar4 = *param_2;" (assignment_expression "uVar4 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar9 = *puVar5;" (assignment_expression "uVar9 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) (expression_statement "uVar3 = *puVar6;" (assignment_expression "uVar3 = *puVar6" identifier = (pointer_expression "*puVar6" * identifier)) ;) (expression_statement "param_7 = param_7 + -1;" (assignment_expression "param_7 = param_7 + -1" identifier = (binary_expression "param_7 + -1" identifier + number_literal)) ;) (expression_statement "uVar2 = uVar4 + *param_3;" (assignment_expression "uVar2 = uVar4 + *param_3" identifier = (binary_expression "uVar4 + *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_8 + uVar2;" (assignment_expression "*param_1 = param_8 + uVar2" (pointer_expression "*param_1" * identifier) = (binary_expression "param_8 + uVar2" identifier + identifier)) ;) (expression_statement "param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);" (assignment_expression "param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" identifier = (call_expression "(uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" ( (binary_expression "uVar2 < uVar4 || param_8 + uVar2 < uVar2" (binary_expression "uVar2 < uVar4" identifier < identifier) || (binary_expression "param_8 + uVar2 < uVar2" (binary_expression "param_8 + uVar2" identifier + identifier) < identifier)) )))) ;) (expression_statement "puVar5 = puVar5 + -1;" (assignment_expression "puVar5 = puVar5 + -1" identifier = (binary_expression "puVar5 + -1" identifier + number_literal)) ;) (expression_statement "uVar3 = -param_8 & uVar3;" (assignment_expression "uVar3 = -param_8 & uVar3" identifier = (binary_expression "-param_8 & uVar3" (unary_expression "-param_8" - identifier) & identifier)) ;) (expression_statement "uVar9 = -param_8 & uVar9;" (assignment_expression "uVar9 = -param_8 & uVar9" identifier = (binary_expression "-param_8 & uVar9" (unary_expression "-param_8" - identifier) & identifier)) ;) (expression_statement "uVar8 = uVar8 + uVar3;" (assignment_expression "uVar8 = uVar8 + uVar3" identifier = (binary_expression "uVar8 + uVar3" identifier + identifier)) ;) (expression_statement "uVar7 = uVar7 + uVar9;" (assignment_expression "uVar7 = uVar7 + uVar9" identifier = (binary_expression "uVar7 + uVar9" identifier + identifier)) ;) (expression_statement "uVar11 = uVar11 + (uVar8 < uVar3);" (assignment_expression "uVar11 = uVar11 + (uVar8 < uVar3)" identifier = (binary_expression "uVar11 + (uVar8 < uVar3)" identifier + (parenthesized_expression "(uVar8 < uVar3)" ( (binary_expression "uVar8 < uVar3" identifier < identifier) )))) ;) (expression_statement "uVar10 = uVar10 + (uVar7 < uVar9);" (assignment_expression "uVar10 = uVar10 + (uVar7 < uVar9)" identifier = (binary_expression "uVar10 + (uVar7 < uVar9)" identifier + (parenthesized_expression "(uVar7 < uVar9)" ( (binary_expression "uVar7 < uVar9" 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 "puVar6 = puVar6 + -1;" (assignment_expression "puVar6 = puVar6 + -1" identifier = (binary_expression "puVar6 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_7 != 0)" ( (binary_expression "param_7 != 0" identifier != number_literal) )) ;) (expression_statement "*param_4 = uVar8;" (assignment_expression "*param_4 = uVar8" (pointer_expression "*param_4" * identifier) = identifier) ;) (expression_statement "param_4[1] = uVar11;" (assignment_expression "param_4[1] = uVar11" (subscript_expression "param_4[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_4[2] = uVar7;" (assignment_expression "param_4[2] = uVar7" (subscript_expression "param_4[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_4[3] = uVar10;" (assignment_expression "param_4[3] = uVar10" (subscript_expression "param_4[3]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "mp_limb_t __gmpn_add_err2_n(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp1,\n                           mp_srcptr yp2,mp_size_t n,mp_limb_t cy)\n\n{\n  mp_limb_t __w_1;\n  mp_limb_t __w;\n  uint uVar1;\n  uint uVar2;\n  mp_limb_t ul;\n  uint uVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  mp_limb_t mVar9;\n  mp_limb_t mVar10;\n  \n  mVar9 = 0;\n  uVar6 = 0;\n  mVar10 = 0;\n  uVar7 = 0;\n  puVar4 = yp2 + n + -1;\n  puVar5 = yp1 + n + -1;\n  do {\n    uVar3 = *up;\n    uVar8 = *puVar4;\n    uVar2 = *puVar5;\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    puVar4 = puVar4 + -1;\n    uVar2 = -cy & uVar2;\n    uVar8 = -cy & uVar8;\n    uVar7 = uVar7 + uVar2;\n    uVar6 = uVar6 + uVar8;\n    mVar10 = mVar10 + (uVar7 < uVar2);\n    mVar9 = mVar9 + (uVar6 < uVar8);\n    rp = rp + 1;\n    up = up + 1;\n    puVar5 = puVar5 + -1;\n  } while (n != 0);\n  *ep = uVar7;\n  ep[1] = mVar10;\n  ep[2] = uVar6;\n  ep[3] = mVar9;\n  return cy;\n}\n\n" (function_definition "mp_limb_t __gmpn_add_err2_n(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp1,\n                           mp_srcptr yp2,mp_size_t n,mp_limb_t cy)\n\n{\n  mp_limb_t __w_1;\n  mp_limb_t __w;\n  uint uVar1;\n  uint uVar2;\n  mp_limb_t ul;\n  uint uVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  mp_limb_t mVar9;\n  mp_limb_t mVar10;\n  \n  mVar9 = 0;\n  uVar6 = 0;\n  mVar10 = 0;\n  uVar7 = 0;\n  puVar4 = yp2 + n + -1;\n  puVar5 = yp1 + n + -1;\n  do {\n    uVar3 = *up;\n    uVar8 = *puVar4;\n    uVar2 = *puVar5;\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    puVar4 = puVar4 + -1;\n    uVar2 = -cy & uVar2;\n    uVar8 = -cy & uVar8;\n    uVar7 = uVar7 + uVar2;\n    uVar6 = uVar6 + uVar8;\n    mVar10 = mVar10 + (uVar7 < uVar2);\n    mVar9 = mVar9 + (uVar6 < uVar8);\n    rp = rp + 1;\n    up = up + 1;\n    puVar5 = puVar5 + -1;\n  } while (n != 0);\n  *ep = uVar7;\n  ep[1] = mVar10;\n  ep[2] = uVar6;\n  ep[3] = mVar9;\n  return cy;\n}" type_identifier (function_declarator "__gmpn_add_err2_n(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp1,\n                           mp_srcptr yp2,mp_size_t n,mp_limb_t cy)" identifier (parameter_list "(mp_ptr rp,mp_srcptr up,mp_srcptr vp,mp_ptr ep,mp_srcptr yp1,\n                           mp_srcptr yp2,mp_size_t 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 yp1" type_identifier identifier) , (parameter_declaration "mp_srcptr yp2" type_identifier identifier) , (parameter_declaration "mp_size_t n" type_identifier identifier) , (parameter_declaration "mp_limb_t cy" type_identifier identifier) ))) (compound_statement "{\n  mp_limb_t __w_1;\n  mp_limb_t __w;\n  uint uVar1;\n  uint uVar2;\n  mp_limb_t ul;\n  uint uVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  mp_limb_t mVar9;\n  mp_limb_t mVar10;\n  \n  mVar9 = 0;\n  uVar6 = 0;\n  mVar10 = 0;\n  uVar7 = 0;\n  puVar4 = yp2 + n + -1;\n  puVar5 = yp1 + n + -1;\n  do {\n    uVar3 = *up;\n    uVar8 = *puVar4;\n    uVar2 = *puVar5;\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    puVar4 = puVar4 + -1;\n    uVar2 = -cy & uVar2;\n    uVar8 = -cy & uVar8;\n    uVar7 = uVar7 + uVar2;\n    uVar6 = uVar6 + uVar8;\n    mVar10 = mVar10 + (uVar7 < uVar2);\n    mVar9 = mVar9 + (uVar6 < uVar8);\n    rp = rp + 1;\n    up = up + 1;\n    puVar5 = puVar5 + -1;\n  } while (n != 0);\n  *ep = uVar7;\n  ep[1] = mVar10;\n  ep[2] = uVar6;\n  ep[3] = mVar9;\n  return cy;\n}" { (declaration "mp_limb_t __w_1;" type_identifier identifier ;) (declaration "mp_limb_t __w;" type_identifier identifier ;) (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "mp_limb_t ul;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "mp_limb_t mVar9;" type_identifier identifier ;) (declaration "mp_limb_t mVar10;" type_identifier identifier ;) (expression_statement "mVar9 = 0;" (assignment_expression "mVar9 = 0" identifier = number_literal) ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (expression_statement "mVar10 = 0;" (assignment_expression "mVar10 = 0" identifier = number_literal) ;) (expression_statement "uVar7 = 0;" (assignment_expression "uVar7 = 0" identifier = number_literal) ;) (expression_statement "puVar4 = yp2 + n + -1;" (assignment_expression "puVar4 = yp2 + n + -1" identifier = (binary_expression "yp2 + n + -1" (binary_expression "yp2 + n" identifier + identifier) + number_literal)) ;) (expression_statement "puVar5 = yp1 + n + -1;" (assignment_expression "puVar5 = yp1 + n + -1" identifier = (binary_expression "yp1 + n + -1" (binary_expression "yp1 + n" identifier + identifier) + number_literal)) ;) (do_statement "do {\n    uVar3 = *up;\n    uVar8 = *puVar4;\n    uVar2 = *puVar5;\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    puVar4 = puVar4 + -1;\n    uVar2 = -cy & uVar2;\n    uVar8 = -cy & uVar8;\n    uVar7 = uVar7 + uVar2;\n    uVar6 = uVar6 + uVar8;\n    mVar10 = mVar10 + (uVar7 < uVar2);\n    mVar9 = mVar9 + (uVar6 < uVar8);\n    rp = rp + 1;\n    up = up + 1;\n    puVar5 = puVar5 + -1;\n  } while (n != 0);" do (compound_statement "{\n    uVar3 = *up;\n    uVar8 = *puVar4;\n    uVar2 = *puVar5;\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    puVar4 = puVar4 + -1;\n    uVar2 = -cy & uVar2;\n    uVar8 = -cy & uVar8;\n    uVar7 = uVar7 + uVar2;\n    uVar6 = uVar6 + uVar8;\n    mVar10 = mVar10 + (uVar7 < uVar2);\n    mVar9 = mVar9 + (uVar6 < uVar8);\n    rp = rp + 1;\n    up = up + 1;\n    puVar5 = puVar5 + -1;\n  }" { (expression_statement "uVar3 = *up;" (assignment_expression "uVar3 = *up" identifier = (pointer_expression "*up" * identifier)) ;) (expression_statement "uVar8 = *puVar4;" (assignment_expression "uVar8 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (expression_statement "uVar2 = *puVar5;" (assignment_expression "uVar2 = *puVar5" identifier = (pointer_expression "*puVar5" * 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)) )))) ;) (expression_statement "puVar4 = puVar4 + -1;" (assignment_expression "puVar4 = puVar4 + -1" identifier = (binary_expression "puVar4 + -1" identifier + number_literal)) ;) (expression_statement "uVar2 = -cy & uVar2;" (assignment_expression "uVar2 = -cy & uVar2" identifier = (binary_expression "-cy & uVar2" (unary_expression "-cy" - identifier) & identifier)) ;) (expression_statement "uVar8 = -cy & uVar8;" (assignment_expression "uVar8 = -cy & uVar8" identifier = (binary_expression "-cy & uVar8" (unary_expression "-cy" - identifier) & identifier)) ;) (expression_statement "uVar7 = uVar7 + uVar2;" (assignment_expression "uVar7 = uVar7 + uVar2" identifier = (binary_expression "uVar7 + uVar2" identifier + identifier)) ;) (expression_statement "uVar6 = uVar6 + uVar8;" (assignment_expression "uVar6 = uVar6 + uVar8" identifier = (binary_expression "uVar6 + uVar8" identifier + identifier)) ;) (expression_statement "mVar10 = mVar10 + (uVar7 < uVar2);" (assignment_expression "mVar10 = mVar10 + (uVar7 < uVar2)" identifier = (binary_expression "mVar10 + (uVar7 < uVar2)" identifier + (parenthesized_expression "(uVar7 < uVar2)" ( (binary_expression "uVar7 < uVar2" identifier < identifier) )))) ;) (expression_statement "mVar9 = mVar9 + (uVar6 < uVar8);" (assignment_expression "mVar9 = mVar9 + (uVar6 < uVar8)" identifier = (binary_expression "mVar9 + (uVar6 < uVar8)" identifier + (parenthesized_expression "(uVar6 < uVar8)" ( (binary_expression "uVar6 < uVar8" 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 "puVar5 = puVar5 + -1;" (assignment_expression "puVar5 = puVar5 + -1" identifier = (binary_expression "puVar5 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(n != 0)" ( (binary_expression "n != 0" identifier != number_literal) )) ;) (expression_statement "*ep = uVar7;" (assignment_expression "*ep = uVar7" (pointer_expression "*ep" * identifier) = identifier) ;) (expression_statement "ep[1] = mVar10;" (assignment_expression "ep[1] = mVar10" (subscript_expression "ep[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "ep[2] = uVar6;" (assignment_expression "ep[2] = uVar6" (subscript_expression "ep[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "ep[3] = mVar9;" (assignment_expression "ep[3] = mVar9" (subscript_expression "ep[3]" identifier [ number_literal ]) = identifier) ;) (return_statement "return cy;" return identifier ;) })))
(translation_unit "void __gmpn_add_err2_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint *puVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  uVar10 = 0;\n  uVar7 = 0;\n  uVar11 = 0;\n  uVar8 = 0;\n  iVar1 = param_7 * 4 + -4;\n  puVar5 = (uint *)(param_6 + iVar1);\n  puVar6 = (uint *)(param_5 + iVar1);\n  do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);\n  *param_4 = uVar8;\n  param_4[1] = uVar11;\n  param_4[2] = uVar7;\n  param_4[3] = uVar10;\n  return;\n}\n\n" (function_definition "void __gmpn_add_err2_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint *puVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  uVar10 = 0;\n  uVar7 = 0;\n  uVar11 = 0;\n  uVar8 = 0;\n  iVar1 = param_7 * 4 + -4;\n  puVar5 = (uint *)(param_6 + iVar1);\n  puVar6 = (uint *)(param_5 + iVar1);\n  do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);\n  *param_4 = uVar8;\n  param_4[1] = uVar11;\n  param_4[2] = uVar7;\n  param_4[3] = uVar10;\n  return;\n}" primitive_type (function_declarator "__gmpn_add_err2_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)" identifier (parameter_list "(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)" ( (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 "int param_7" primitive_type identifier) , (parameter_declaration "uint param_8" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint *puVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  uVar10 = 0;\n  uVar7 = 0;\n  uVar11 = 0;\n  uVar8 = 0;\n  iVar1 = param_7 * 4 + -4;\n  puVar5 = (uint *)(param_6 + iVar1);\n  puVar6 = (uint *)(param_5 + iVar1);\n  do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);\n  *param_4 = uVar8;\n  param_4[1] = uVar11;\n  param_4[2] = uVar7;\n  param_4[3] = uVar10;\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint *puVar6;" type_identifier (pointer_declarator "*puVar6" * identifier) ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (expression_statement "uVar10 = 0;" (assignment_expression "uVar10 = 0" identifier = number_literal) ;) (expression_statement "uVar7 = 0;" (assignment_expression "uVar7 = 0" identifier = number_literal) ;) (expression_statement "uVar11 = 0;" (assignment_expression "uVar11 = 0" identifier = number_literal) ;) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (expression_statement "iVar1 = param_7 * 4 + -4;" (assignment_expression "iVar1 = param_7 * 4 + -4" identifier = (binary_expression "param_7 * 4 + -4" (binary_expression "param_7 * 4" identifier * number_literal) + number_literal)) ;) (expression_statement "puVar5 = (uint *)(param_6 + iVar1);" (assignment_expression "puVar5 = (uint *)(param_6 + iVar1)" identifier = (cast_expression "(uint *)(param_6 + iVar1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_6 + iVar1)" ( (binary_expression "param_6 + iVar1" identifier + identifier) )))) ;) (expression_statement "puVar6 = (uint *)(param_5 + iVar1);" (assignment_expression "puVar6 = (uint *)(param_5 + iVar1)" identifier = (cast_expression "(uint *)(param_5 + iVar1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_5 + iVar1)" ( (binary_expression "param_5 + iVar1" identifier + identifier) )))) ;) (do_statement "do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);" do (compound_statement "{\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  }" { (expression_statement "uVar4 = *param_2;" (assignment_expression "uVar4 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar9 = *puVar5;" (assignment_expression "uVar9 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) (expression_statement "uVar3 = *puVar6;" (assignment_expression "uVar3 = *puVar6" identifier = (pointer_expression "*puVar6" * identifier)) ;) (expression_statement "param_7 = param_7 + -1;" (assignment_expression "param_7 = param_7 + -1" identifier = (binary_expression "param_7 + -1" identifier + number_literal)) ;) (expression_statement "uVar2 = uVar4 + *param_3;" (assignment_expression "uVar2 = uVar4 + *param_3" identifier = (binary_expression "uVar4 + *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_8 + uVar2;" (assignment_expression "*param_1 = param_8 + uVar2" (pointer_expression "*param_1" * identifier) = (binary_expression "param_8 + uVar2" identifier + identifier)) ;) (expression_statement "param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);" (assignment_expression "param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" identifier = (call_expression "(uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" ( (binary_expression "uVar2 < uVar4 || param_8 + uVar2 < uVar2" (binary_expression "uVar2 < uVar4" identifier < identifier) || (binary_expression "param_8 + uVar2 < uVar2" (binary_expression "param_8 + uVar2" identifier + identifier) < identifier)) )))) ;) (expression_statement "puVar5 = puVar5 + -1;" (assignment_expression "puVar5 = puVar5 + -1" identifier = (binary_expression "puVar5 + -1" identifier + number_literal)) ;) (expression_statement "uVar3 = -param_8 & uVar3;" (assignment_expression "uVar3 = -param_8 & uVar3" identifier = (binary_expression "-param_8 & uVar3" (unary_expression "-param_8" - identifier) & identifier)) ;) (expression_statement "uVar9 = -param_8 & uVar9;" (assignment_expression "uVar9 = -param_8 & uVar9" identifier = (binary_expression "-param_8 & uVar9" (unary_expression "-param_8" - identifier) & identifier)) ;) (expression_statement "uVar8 = uVar8 + uVar3;" (assignment_expression "uVar8 = uVar8 + uVar3" identifier = (binary_expression "uVar8 + uVar3" identifier + identifier)) ;) (expression_statement "uVar7 = uVar7 + uVar9;" (assignment_expression "uVar7 = uVar7 + uVar9" identifier = (binary_expression "uVar7 + uVar9" identifier + identifier)) ;) (expression_statement "uVar11 = uVar11 + (uVar8 < uVar3);" (assignment_expression "uVar11 = uVar11 + (uVar8 < uVar3)" identifier = (binary_expression "uVar11 + (uVar8 < uVar3)" identifier + (parenthesized_expression "(uVar8 < uVar3)" ( (binary_expression "uVar8 < uVar3" identifier < identifier) )))) ;) (expression_statement "uVar10 = uVar10 + (uVar7 < uVar9);" (assignment_expression "uVar10 = uVar10 + (uVar7 < uVar9)" identifier = (binary_expression "uVar10 + (uVar7 < uVar9)" identifier + (parenthesized_expression "(uVar7 < uVar9)" ( (binary_expression "uVar7 < uVar9" 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 "puVar6 = puVar6 + -1;" (assignment_expression "puVar6 = puVar6 + -1" identifier = (binary_expression "puVar6 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_7 != 0)" ( (binary_expression "param_7 != 0" identifier != number_literal) )) ;) (expression_statement "*param_4 = uVar8;" (assignment_expression "*param_4 = uVar8" (pointer_expression "*param_4" * identifier) = identifier) ;) (expression_statement "param_4[1] = uVar11;" (assignment_expression "param_4[1] = uVar11" (subscript_expression "param_4[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_4[2] = uVar7;" (assignment_expression "param_4[2] = uVar7" (subscript_expression "param_4[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_4[3] = uVar10;" (assignment_expression "param_4[3] = uVar10" (subscript_expression "param_4[3]" 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) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) + LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) )))) ;) (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 = (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)) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression - IDENT) & IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression - IDENT) & IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (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 + (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) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return ;) })))
(function_definition "void __gmpn_add_err2_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint *puVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  uVar10 = 0;\n  uVar7 = 0;\n  uVar11 = 0;\n  uVar8 = 0;\n  iVar1 = param_7 * 4 + -4;\n  puVar5 = (uint *)(param_6 + iVar1);\n  puVar6 = (uint *)(param_5 + iVar1);\n  do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);\n  *param_4 = uVar8;\n  param_4[1] = uVar11;\n  param_4[2] = uVar7;\n  param_4[3] = uVar10;\n  return;\n}" (primitive_type "void") (function_declarator "__gmpn_add_err2_n(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)" (identifier "__gmpn_add_err2_n") (parameter_list "(uint *param_1,uint *param_2,int *param_3,uint *param_4,int param_5,\n                      int param_6,int param_7,uint param_8)" (( "(") (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 "int param_7" (primitive_type "int") (identifier "param_7")) (, ",") (parameter_declaration "uint param_8" (type_identifier "uint") (identifier "param_8")) () ")"))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint *puVar5;\n  uint *puVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  uVar10 = 0;\n  uVar7 = 0;\n  uVar11 = 0;\n  uVar8 = 0;\n  iVar1 = param_7 * 4 + -4;\n  puVar5 = (uint *)(param_6 + iVar1);\n  puVar6 = (uint *)(param_5 + iVar1);\n  do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);\n  *param_4 = uVar8;\n  param_4[1] = uVar11;\n  param_4[2] = uVar7;\n  param_4[3] = uVar10;\n  return;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint *puVar5;" (type_identifier "uint") (pointer_declarator "*puVar5" (* "*") (identifier "puVar5")) (; ";")) (declaration "uint *puVar6;" (type_identifier "uint") (pointer_declarator "*puVar6" (* "*") (identifier "puVar6")) (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "uint uVar9;" (type_identifier "uint") (identifier "uVar9") (; ";")) (declaration "uint uVar10;" (type_identifier "uint") (identifier "uVar10") (; ";")) (declaration "uint uVar11;" (type_identifier "uint") (identifier "uVar11") (; ";")) (expression_statement "uVar10 = 0;" (assignment_expression "uVar10 = 0" (identifier "uVar10") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar7 = 0;" (assignment_expression "uVar7 = 0" (identifier "uVar7") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar11 = 0;" (assignment_expression "uVar11 = 0" (identifier "uVar11") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" (identifier "uVar8") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar1 = param_7 * 4 + -4;" (assignment_expression "iVar1 = param_7 * 4 + -4" (identifier "iVar1") (= "=") (binary_expression "param_7 * 4 + -4" (binary_expression "param_7 * 4" (identifier "param_7") (* "*") (number_literal "4")) (+ "+") (number_literal "-4"))) (; ";")) (expression_statement "puVar5 = (uint *)(param_6 + iVar1);" (assignment_expression "puVar5 = (uint *)(param_6 + iVar1)" (identifier "puVar5") (= "=") (cast_expression "(uint *)(param_6 + iVar1)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_6 + iVar1)" (( "(") (binary_expression "param_6 + iVar1" (identifier "param_6") (+ "+") (identifier "iVar1")) () ")")))) (; ";")) (expression_statement "puVar6 = (uint *)(param_5 + iVar1);" (assignment_expression "puVar6 = (uint *)(param_5 + iVar1)" (identifier "puVar6") (= "=") (cast_expression "(uint *)(param_5 + iVar1)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_5 + iVar1)" (( "(") (binary_expression "param_5 + iVar1" (identifier "param_5") (+ "+") (identifier "iVar1")) () ")")))) (; ";")) (do_statement "do {\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  } while (param_7 != 0);" (do "do") (compound_statement "{\n    uVar4 = *param_2;\n    uVar9 = *puVar5;\n    uVar3 = *puVar6;\n    param_7 = param_7 + -1;\n    uVar2 = uVar4 + *param_3;\n    param_3 = param_3 + 1;\n    *param_1 = param_8 + uVar2;\n    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);\n    puVar5 = puVar5 + -1;\n    uVar3 = -param_8 & uVar3;\n    uVar9 = -param_8 & uVar9;\n    uVar8 = uVar8 + uVar3;\n    uVar7 = uVar7 + uVar9;\n    uVar11 = uVar11 + (uVar8 < uVar3);\n    uVar10 = uVar10 + (uVar7 < uVar9);\n    param_1 = param_1 + 1;\n    param_2 = param_2 + 1;\n    puVar6 = puVar6 + -1;\n  }" ({ "{") (expression_statement "uVar4 = *param_2;" (assignment_expression "uVar4 = *param_2" (identifier "uVar4") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar9 = *puVar5;" (assignment_expression "uVar9 = *puVar5" (identifier "uVar9") (= "=") (pointer_expression "*puVar5" (* "*") (identifier "puVar5"))) (; ";")) (expression_statement "uVar3 = *puVar6;" (assignment_expression "uVar3 = *puVar6" (identifier "uVar3") (= "=") (pointer_expression "*puVar6" (* "*") (identifier "puVar6"))) (; ";")) (expression_statement "param_7 = param_7 + -1;" (assignment_expression "param_7 = param_7 + -1" (identifier "param_7") (= "=") (binary_expression "param_7 + -1" (identifier "param_7") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "uVar2 = uVar4 + *param_3;" (assignment_expression "uVar2 = uVar4 + *param_3" (identifier "uVar2") (= "=") (binary_expression "uVar4 + *param_3" (identifier "uVar4") (+ "+") (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_8 + uVar2;" (assignment_expression "*param_1 = param_8 + uVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "param_8 + uVar2" (identifier "param_8") (+ "+") (identifier "uVar2"))) (; ";")) (expression_statement "param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);" (assignment_expression "param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" (identifier "param_8") (= "=") (call_expression "(uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar2 < uVar4 || param_8 + uVar2 < uVar2)" (( "(") (binary_expression "uVar2 < uVar4 || param_8 + uVar2 < uVar2" (binary_expression "uVar2 < uVar4" (identifier "uVar2") (< "<") (identifier "uVar4")) (|| "||") (binary_expression "param_8 + uVar2 < uVar2" (binary_expression "param_8 + uVar2" (identifier "param_8") (+ "+") (identifier "uVar2")) (< "<") (identifier "uVar2"))) () ")")))) (; ";")) (expression_statement "puVar5 = puVar5 + -1;" (assignment_expression "puVar5 = puVar5 + -1" (identifier "puVar5") (= "=") (binary_expression "puVar5 + -1" (identifier "puVar5") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "uVar3 = -param_8 & uVar3;" (assignment_expression "uVar3 = -param_8 & uVar3" (identifier "uVar3") (= "=") (binary_expression "-param_8 & uVar3" (unary_expression "-param_8" (- "-") (identifier "param_8")) (& "&") (identifier "uVar3"))) (; ";")) (expression_statement "uVar9 = -param_8 & uVar9;" (assignment_expression "uVar9 = -param_8 & uVar9" (identifier "uVar9") (= "=") (binary_expression "-param_8 & uVar9" (unary_expression "-param_8" (- "-") (identifier "param_8")) (& "&") (identifier "uVar9"))) (; ";")) (expression_statement "uVar8 = uVar8 + uVar3;" (assignment_expression "uVar8 = uVar8 + uVar3" (identifier "uVar8") (= "=") (binary_expression "uVar8 + uVar3" (identifier "uVar8") (+ "+") (identifier "uVar3"))) (; ";")) (expression_statement "uVar7 = uVar7 + uVar9;" (assignment_expression "uVar7 = uVar7 + uVar9" (identifier "uVar7") (= "=") (binary_expression "uVar7 + uVar9" (identifier "uVar7") (+ "+") (identifier "uVar9"))) (; ";")) (expression_statement "uVar11 = uVar11 + (uVar8 < uVar3);" (assignment_expression "uVar11 = uVar11 + (uVar8 < uVar3)" (identifier "uVar11") (= "=") (binary_expression "uVar11 + (uVar8 < uVar3)" (identifier "uVar11") (+ "+") (parenthesized_expression "(uVar8 < uVar3)" (( "(") (binary_expression "uVar8 < uVar3" (identifier "uVar8") (< "<") (identifier "uVar3")) () ")")))) (; ";")) (expression_statement "uVar10 = uVar10 + (uVar7 < uVar9);" (assignment_expression "uVar10 = uVar10 + (uVar7 < uVar9)" (identifier "uVar10") (= "=") (binary_expression "uVar10 + (uVar7 < uVar9)" (identifier "uVar10") (+ "+") (parenthesized_expression "(uVar7 < uVar9)" (( "(") (binary_expression "uVar7 < uVar9" (identifier "uVar7") (< "<") (identifier "uVar9")) () ")")))) (; ";")) (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 "puVar6 = puVar6 + -1;" (assignment_expression "puVar6 = puVar6 + -1" (identifier "puVar6") (= "=") (binary_expression "puVar6 + -1" (identifier "puVar6") (+ "+") (number_literal "-1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_7 != 0)" (( "(") (binary_expression "param_7 != 0" (identifier "param_7") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "*param_4 = uVar8;" (assignment_expression "*param_4 = uVar8" (pointer_expression "*param_4" (* "*") (identifier "param_4")) (= "=") (identifier "uVar8")) (; ";")) (expression_statement "param_4[1] = uVar11;" (assignment_expression "param_4[1] = uVar11" (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar11")) (; ";")) (expression_statement "param_4[2] = uVar7;" (assignment_expression "param_4[2] = uVar7" (subscript_expression "param_4[2]" (identifier "param_4") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "uVar7")) (; ";")) (expression_statement "param_4[3] = uVar10;" (assignment_expression "param_4[3] = uVar10" (subscript_expression "param_4[3]" (identifier "param_4") ([ "[") (number_literal "3") (] "]")) (= "=") (identifier "uVar10")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

type_1 function_1(type_2 var_15,type_3 var_16,type_3 var_5,type_2 ep,type_3 var_3,
                           type_3 var_1,type_4 var_2,type_1 var_6)

{
  type_1 __w_1;
  type_1 __w;
  type_5 var_7;
  type_5 var_9;
  type_1 ul;
  type_5 var_4;
  type_5 *var_8;
  type_5 *var_17;
  type_5 var_12;
  type_5 var_11;
  type_5 var_10;
  type_1 var_14;
  type_1 var_13;
  
  var_14 = 0;
  var_12 = 0;
  var_13 = 0;
  var_11 = 0;
  var_8 = var_1 + var_2 + -1;
  var_17 = var_3 + var_2 + -1;
  do {
    var_4 = *var_16;
    var_10 = *var_8;
    var_9 = *var_17;
    var_2 = var_2 + -1;
    var_7 = var_4 + *var_5;
    var_5 = var_5 + 1;
    *var_15 = var_6 + var_7;
    var_6 = (type_1)(var_7 < var_4 || var_6 + var_7 < var_7);
    var_8 = var_8 + -1;
    var_9 = -var_6 & var_9;
    var_10 = -var_6 & var_10;
    var_11 = var_11 + var_9;
    var_12 = var_12 + var_10;
    var_13 = var_13 + (var_11 < var_9);
    var_14 = var_14 + (var_12 < var_10);
    var_15 = var_15 + 1;
    var_16 = var_16 + 1;
    var_17 = var_17 + -1;
  } while (var_2 != 0);
  *ep = var_11;
  ep[1] = var_13;
  ep[2] = var_12;
  ep[3] = var_14;
  return var_6;
}


(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: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (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: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) 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: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) 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: (identifier) right: (identifier)))))) (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: (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: (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))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (unary_expression argument: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (unary_expression argument: (identifier)) right: (identifier)))) (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)))) (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: (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))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) 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,int param_7,uint param_8)

{
  int iVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint *puVar5;
  uint *puVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  
  uVar10 = 0;
  uVar7 = 0;
  uVar11 = 0;
  uVar8 = 0;
  iVar1 = param_7 * 4 + -4;
  puVar5 = (uint *)(param_6 + iVar1);
  puVar6 = (uint *)(param_5 + iVar1);
  do {
    uVar4 = *param_2;
    uVar9 = *puVar5;
    uVar3 = *puVar6;
    param_7 = param_7 + -1;
    uVar2 = uVar4 + *param_3;
    param_3 = param_3 + 1;
    *param_1 = param_8 + uVar2;
    param_8 = (uint)(uVar2 < uVar4 || param_8 + uVar2 < uVar2);
    puVar5 = puVar5 + -1;
    uVar3 = -param_8 & uVar3;
    uVar9 = -param_8 & uVar9;
    uVar8 = uVar8 + uVar3;
    uVar7 = uVar7 + uVar9;
    uVar11 = uVar11 + (uVar8 < uVar3);
    uVar10 = uVar10 + (uVar7 < uVar9);
    param_1 = param_1 + 1;
    param_2 = param_2 + 1;
    puVar6 = puVar6 + -1;
  } while (param_7 != 0);
  *param_4 = uVar8;
  param_4[1] = uVar11;
  param_4[2] = uVar7;
  param_4[3] = uVar10;
  return;
}

