
undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)

{
  uint uVar1;
  uint uVar2;
  ulonglong uVar3;
  longlong lVar4;
  uint uVar5;
  uint uVar6;
  int iVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint *puVar12;
  bool bVar13;
  undefined4 local_14;
  
  local_14 = 0;
  uVar1 = *param_5;
  uVar2 = param_5[1];
  puVar12 = param_3 + param_4 + -3;
  uVar10 = param_3[param_4 + -1];
  uVar11 = param_3[param_4 + -2];
  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {
    bVar13 = uVar11 < uVar1;
    uVar11 = uVar11 - uVar1;
    uVar10 = (uVar10 - uVar2) - (uint)bVar13;
    local_14 = 1;
  }
  param_4 = param_2 + -3 + param_4;
  if (-1 < param_4) {
    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;
    uVar5 = (uint)uVar3;
    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);
    uVar6 = uVar5 * uVar2 + uVar1;
    uVar9 = uVar8 + uVar6;
    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;
        iVar7 = iVar7 - (uint)bVar13) {
      uVar5 = uVar5 - 1;
      bVar13 = uVar9 < uVar2;
      uVar9 = uVar9 - uVar2;
    }
    do {
      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);
      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);
      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);
      uVar10 = 0;
      if (param_2 <= param_4) {
        uVar10 = *puVar12;
        puVar12 = puVar12 + -1;
      }
      uVar8 = (uVar10 - uVar1) - uVar9;
      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -
              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);
      uVar10 = (uVar9 < (uint)lVar4) - 1;
      iVar7 = uVar6 + 1 + uVar10;
      uVar11 = uVar8 + (uVar1 & uVar10);
      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);
      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {
        iVar7 = iVar7 + 1;
        bVar13 = uVar11 < uVar1;
        uVar11 = uVar11 - uVar1;
        uVar10 = (uVar10 - uVar2) - (uint)bVar13;
      }
      *(int *)(param_1 + param_4 * 4) = iVar7;
      param_4 = param_4 + -1;
    } while (-1 < param_4);
  }
  *param_3 = uVar11;
  param_3[1] = uVar10;
  return local_14;
}



undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)

{
  uint uVar1;
  uint uVar2;
  ulonglong uVar3;
  longlong lVar4;
  uint uVar5;
  uint uVar6;
  int iVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint *puVar12;
  bool bVar13;
  undefined4 local_14;
  
  local_14 = 0;
  uVar1 = *param_5;
  uVar2 = param_5[1];
  puVar12 = param_3 + param_4 + -3;
  uVar10 = param_3[param_4 + -1];
  uVar11 = param_3[param_4 + -2];
  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {
    bVar13 = uVar11 < uVar1;
    uVar11 = uVar11 - uVar1;
    uVar10 = (uVar10 - uVar2) - (uint)bVar13;
    local_14 = 1;
  }
  param_4 = param_2 + -3 + param_4;
  if (-1 < param_4) {
    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;
    uVar5 = (uint)uVar3;
    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);
    uVar6 = uVar5 * uVar2 + uVar1;
    uVar9 = uVar8 + uVar6;
    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;
        iVar7 = iVar7 - (uint)bVar13) {
      uVar5 = uVar5 - 1;
      bVar13 = uVar9 < uVar2;
      uVar9 = uVar9 - uVar2;
    }
    do {
      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);
      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);
      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);
      uVar10 = 0;
      if (param_2 <= param_4) {
        uVar10 = *puVar12;
        puVar12 = puVar12 + -1;
      }
      uVar8 = (uVar10 - uVar1) - uVar9;
      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -
              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);
      uVar10 = (uVar9 < (uint)lVar4) - 1;
      iVar7 = uVar6 + 1 + uVar10;
      uVar11 = uVar8 + (uVar1 & uVar10);
      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);
      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {
        iVar7 = iVar7 + 1;
        bVar13 = uVar11 < uVar1;
        uVar11 = uVar11 - uVar1;
        uVar10 = (uVar10 - uVar2) - (uint)bVar13;
      }
      *(int *)(param_1 + param_4 * 4) = iVar7;
      param_4 = param_4 + -1;
    } while (-1 < param_4);
  }
  *param_3 = uVar11;
  param_3[1] = uVar10;
  return local_14;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
SUB ESP,0x24
MOV ECX,dword ptr [ESP + 0x44]
MOV ESI,dword ptr [ESP + 0x48]
MOV dword ptr [ESP + 0x20],0x0
LEA EDI,[ECX*0x4 + 0x0]
ADD EDI,dword ptr [ESP + 0x40]
MOV EBX,dword ptr [ESI]
MOV EAX,dword ptr [ESI + 0x4]
MOV dword ptr [ESP + 0x14],EBX
SUB EDI,0xc
MOV dword ptr [ESP + 0x18],EAX
MOV dword ptr [ESP + 0xc],EDI
MOV EBX,dword ptr [EDI + 0x8]
MOV EBP,dword ptr [EDI + 0x4]
CMP EBX,EAX
JC 0x00046842
SETA DL
CMP EBP,dword ptr [ESP + 0x14]
SETNC AL
OR AL,DL
JNZ 0x0004693e
MOV ESI,dword ptr [ESP + 0x3c]
LEA EDI,[ESI + ECX*0x1 + -0x3]
TEST EDI,EDI
JS 0x00046910
MOV EDX,dword ptr [ESP + 0x18]
MOV ESI,0xffffffff
MOV EAX,ESI
MOV ECX,ESI
NOT EDX
DIV dword ptr [ESP + 0x18]
MOV ESI,EAX
IMUL EAX,dword ptr [ESP + 0x18]
MOV dword ptr [ESP],EAX
MOV EAX,ESI
MUL dword ptr [ESP + 0x14]
MOV EAX,dword ptr [ESP]
ADD EAX,dword ptr [ESP + 0x14]
ADC ECX,0x0
ADD EDX,EAX
ADC ECX,0x0
MOV EAX,ECX
JS 0x00046892
DEC ESI
SUB EDX,dword ptr [ESP + 0x18]
SBB EAX,0x0
JNS 0x00046888
MOV dword ptr [ESP + 0x10],ESI
MOV ECX,EDI
MOV ESI,dword ptr [ESP + 0xc]
MOV EAX,dword ptr [ESP + 0x18]
NEG EAX
MOV dword ptr [ESP + 0x4],EAX
LEA ESI,[ESI]
LEA ESI,[ESI]
NOP
MOV EAX,dword ptr [ESP + 0x10]
MUL EBX
ADD EAX,EBP
MOV dword ptr [ESP],EAX
ADC EDX,EBX
MOV EDI,EDX
IMUL EDX,dword ptr [ESP + 0x4]
MOV EAX,dword ptr [ESP + 0x14]
LEA EBX,[EDX + EBP*0x1]
MUL EDI
XOR EBP,EBP
CMP ECX,dword ptr [ESP + 0x3c]
JL 0x000468db
MOV EBP,dword ptr [ESI]
SUB ESI,0x4
SUB EBP,dword ptr [ESP + 0x14]
SBB EBX,dword ptr [ESP + 0x18]
SUB EBP,EAX
SBB EBX,EDX
MOV EAX,dword ptr [ESP + 0x14]
INC EDI
XOR EDX,EDX
CMP EBX,dword ptr [ESP]
ADC EDX,-0x1
ADD EDI,EDX
AND EAX,EDX
AND EDX,dword ptr [ESP + 0x18]
ADD EBP,EAX
ADC EBX,EDX
CMP EBX,dword ptr [ESP + 0x18]
JNC 0x00046925
MOV EDX,dword ptr [ESP + 0x38]
MOV dword ptr [EDX + ECX*0x4],EDI
DEC ECX
JNS 0x000468b1
MOV ESI,dword ptr [ESP + 0x40]
MOV dword ptr [ESI],EBP
MOV dword ptr [ESI + 0x4],EBX
MOV EAX,dword ptr [ESP + 0x20]
ADD ESP,0x24
POP EBX
POP ESI
POP EDI
POP EBP
RET
SETA DL
CMP EBP,dword ptr [ESP + 0x14]
SETNC AL
OR AL,DL
JZ 0x00046906
INC EDI
SUB EBP,dword ptr [ESP + 0x14]
SBB EBX,dword ptr [ESP + 0x18]
JMP 0x00046906
SUB EBP,dword ptr [ESP + 0x14]
SBB EBX,dword ptr [ESP + 0x18]
MOV dword ptr [ESP + 0x20],0x1
JMP 0x00046842
(translation_unit "undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}\n\n" (function_definition "undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}" type_identifier (function_declarator "__gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)" identifier (parameter_list "(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) , (parameter_declaration "int param_4" primitive_type identifier) , (parameter_declaration "uint *param_5" type_identifier (pointer_declarator "*param_5" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "ulonglong uVar3;" type_identifier identifier ;) (declaration "longlong lVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iVar7;" primitive_type 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 ;) (declaration "uint *puVar12;" type_identifier (pointer_declarator "*puVar12" * identifier) ;) (declaration "bool bVar13;" primitive_type identifier ;) (declaration "undefined4 local_14;" type_identifier identifier ;) (expression_statement "local_14 = 0;" (assignment_expression "local_14 = 0" identifier = number_literal) ;) (expression_statement "uVar1 = *param_5;" (assignment_expression "uVar1 = *param_5" identifier = (pointer_expression "*param_5" * identifier)) ;) (expression_statement "uVar2 = param_5[1];" (assignment_expression "uVar2 = param_5[1]" identifier = (subscript_expression "param_5[1]" identifier [ number_literal ])) ;) (expression_statement "puVar12 = param_3 + param_4 + -3;" (assignment_expression "puVar12 = param_3 + param_4 + -3" identifier = (binary_expression "param_3 + param_4 + -3" (binary_expression "param_3 + param_4" identifier + identifier) + number_literal)) ;) (expression_statement "uVar10 = param_3[param_4 + -1];" (assignment_expression "uVar10 = param_3[param_4 + -1]" identifier = (subscript_expression "param_3[param_4 + -1]" identifier [ (binary_expression "param_4 + -1" identifier + number_literal) ])) ;) (expression_statement "uVar11 = param_3[param_4 + -2];" (assignment_expression "uVar11 = param_3[param_4 + -2]" identifier = (subscript_expression "param_3[param_4 + -2]" identifier [ (binary_expression "param_4 + -2" identifier + number_literal) ])) ;) (if_statement "if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }" if (parenthesized_expression "((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10))" ( (binary_expression "(uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)" (parenthesized_expression "(uVar2 <= uVar10)" ( (binary_expression "uVar2 <= uVar10" identifier <= identifier) )) && (parenthesized_expression "(uVar1 <= uVar11 || uVar2 < uVar10)" ( (binary_expression "uVar1 <= uVar11 || uVar2 < uVar10" (binary_expression "uVar1 <= uVar11" identifier <= identifier) || (binary_expression "uVar2 < uVar10" identifier < identifier)) ))) )) (compound_statement "{\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }" { (expression_statement "bVar13 = uVar11 < uVar1;" (assignment_expression "bVar13 = uVar11 < uVar1" identifier = (binary_expression "uVar11 < uVar1" identifier < identifier)) ;) (expression_statement "uVar11 = uVar11 - uVar1;" (assignment_expression "uVar11 = uVar11 - uVar1" identifier = (binary_expression "uVar11 - uVar1" identifier - identifier)) ;) (expression_statement "uVar10 = (uVar10 - uVar2) - (uint)bVar13;" (assignment_expression "uVar10 = (uVar10 - uVar2) - (uint)bVar13" identifier = (binary_expression "(uVar10 - uVar2) - (uint)bVar13" (parenthesized_expression "(uVar10 - uVar2)" ( (binary_expression "uVar10 - uVar2" identifier - identifier) )) - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (expression_statement "local_14 = 1;" (assignment_expression "local_14 = 1" identifier = number_literal) ;) })) (expression_statement "param_4 = param_2 + -3 + param_4;" (assignment_expression "param_4 = param_2 + -3 + param_4" identifier = (binary_expression "param_2 + -3 + param_4" (binary_expression "param_2 + -3" identifier + number_literal) + identifier)) ;) (if_statement "if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }" if (parenthesized_expression "(-1 < param_4)" ( (binary_expression "-1 < param_4" number_literal < identifier) )) (compound_statement "{\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }" { (expression_statement "uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;" (assignment_expression "uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2" identifier = (binary_expression "((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2" (parenthesized_expression "((ulonglong)~uVar2 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar2 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar2 << 0x20" (cast_expression "(ulonglong)~uVar2" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar2" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = (uint)uVar3;" (assignment_expression "uVar5 = (uint)uVar3" identifier = (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);" (assignment_expression "uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" identifier = (call_expression "(uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" ( (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20" (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)uVar1" (parenthesized_expression "(uVar3 & 0xffffffff)" ( (binary_expression "uVar3 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar6 = uVar5 * uVar2 + uVar1;" (assignment_expression "uVar6 = uVar5 * uVar2 + uVar1" identifier = (binary_expression "uVar5 * uVar2 + uVar1" (binary_expression "uVar5 * uVar2" identifier * identifier) + identifier)) ;) (expression_statement "uVar9 = uVar8 + uVar6;" (assignment_expression "uVar9 = uVar8 + uVar6" identifier = (binary_expression "uVar8 + uVar6" identifier + identifier)) ;) (for_statement "for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }" for ( (assignment_expression "iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6)" identifier = (binary_expression "(CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6)" (parenthesized_expression "(CARRY4(uVar5 * uVar2,uVar1) - 1)" ( (binary_expression "CARRY4(uVar5 * uVar2,uVar1) - 1" (call_expression "CARRY4(uVar5 * uVar2,uVar1)" identifier (argument_list "(uVar5 * uVar2,uVar1)" ( (binary_expression "uVar5 * uVar2" identifier * identifier) , identifier ))) - number_literal) )) + (cast_expression "(uint)CARRY4(uVar8,uVar6)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar6)" identifier (argument_list "(uVar8,uVar6)" ( identifier , identifier )))))) ; (binary_expression "-1 < iVar7" number_literal < identifier) ; (assignment_expression "iVar7 = iVar7 - (uint)bVar13" identifier = (binary_expression "iVar7 - (uint)bVar13" identifier - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ) (compound_statement "{\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }" { (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ;) (expression_statement "bVar13 = uVar9 < uVar2;" (assignment_expression "bVar13 = uVar9 < uVar2" identifier = (binary_expression "uVar9 < uVar2" identifier < identifier)) ;) (expression_statement "uVar9 = uVar9 - uVar2;" (assignment_expression "uVar9 = uVar9 - uVar2" identifier = (binary_expression "uVar9 - uVar2" identifier - identifier)) ;) })) (do_statement "do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);" do (compound_statement "{\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    }" { (expression_statement "lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);" (assignment_expression "lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11)" identifier = (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11)" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar10" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar10" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (call_expression "CONCAT44(uVar10,uVar11)" identifier (argument_list "(uVar10,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar4 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar4 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar4 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar4 >> 0x20)" ( (binary_expression "(ulonglong)lVar4 >> 0x20" (cast_expression "(ulonglong)lVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);" (assignment_expression "uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6)" identifier = (call_expression "(uint)((ulonglong)uVar1 * (ulonglong)uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar1 * (ulonglong)uVar6)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar10 = 0;" (assignment_expression "uVar10 = 0" identifier = number_literal) ;) (if_statement "if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }" if (parenthesized_expression "(param_2 <= param_4)" ( (binary_expression "param_2 <= param_4" identifier <= identifier) )) (compound_statement "{\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }" { (expression_statement "uVar10 = *puVar12;" (assignment_expression "uVar10 = *puVar12" identifier = (pointer_expression "*puVar12" * identifier)) ;) (expression_statement "puVar12 = puVar12 + -1;" (assignment_expression "puVar12 = puVar12 + -1" identifier = (binary_expression "puVar12 + -1" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uVar10 - uVar1) - uVar9;" (assignment_expression "uVar8 = (uVar10 - uVar1) - uVar9" identifier = (binary_expression "(uVar10 - uVar1) - uVar9" (parenthesized_expression "(uVar10 - uVar1)" ( (binary_expression "uVar10 - uVar1" identifier - identifier) )) - identifier)) ;) (expression_statement "uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);" (assignment_expression "uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9)" identifier = (binary_expression "((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9)" (parenthesized_expression "((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20))" ( (binary_expression "(((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" (parenthesized_expression "(((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1))" ( (binary_expression "((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)" (parenthesized_expression "((uVar6 * -uVar2 + uVar11) - uVar2)" ( (binary_expression "(uVar6 * -uVar2 + uVar11) - uVar2" (parenthesized_expression "(uVar6 * -uVar2 + uVar11)" ( (binary_expression "uVar6 * -uVar2 + uVar11" (binary_expression "uVar6 * -uVar2" identifier * (unary_expression "-uVar2" - identifier)) + identifier) )) - identifier) )) - (call_expression "(uint)(uVar10 < uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 < uVar1)" ( (binary_expression "uVar10 < uVar1" identifier < identifier) )))) )) - (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) )) - (call_expression "(uint)(uVar10 - uVar1 < uVar9)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 - uVar1 < uVar9)" ( (binary_expression "uVar10 - uVar1 < uVar9" (binary_expression "uVar10 - uVar1" identifier - identifier) < identifier) ))))) ;) (expression_statement "uVar10 = (uVar9 < (uint)lVar4) - 1;" (assignment_expression "uVar10 = (uVar9 < (uint)lVar4) - 1" identifier = (binary_expression "(uVar9 < (uint)lVar4) - 1" (parenthesized_expression "(uVar9 < (uint)lVar4)" ( (binary_expression "uVar9 < (uint)lVar4" identifier < (cast_expression "(uint)lVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) )) - number_literal)) ;) (expression_statement "iVar7 = uVar6 + 1 + uVar10;" (assignment_expression "iVar7 = uVar6 + 1 + uVar10" identifier = (binary_expression "uVar6 + 1 + uVar10" (binary_expression "uVar6 + 1" identifier + number_literal) + identifier)) ;) (expression_statement "uVar11 = uVar8 + (uVar1 & uVar10);" (assignment_expression "uVar11 = uVar8 + (uVar1 & uVar10)" identifier = (binary_expression "uVar8 + (uVar1 & uVar10)" identifier + (parenthesized_expression "(uVar1 & uVar10)" ( (binary_expression "uVar1 & uVar10" identifier & identifier) )))) ;) (expression_statement "uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);" (assignment_expression "uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10)" identifier = (binary_expression "uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10)" (binary_expression "uVar9 + (uVar10 & uVar2)" identifier + (parenthesized_expression "(uVar10 & uVar2)" ( (binary_expression "uVar10 & uVar2" identifier & identifier) ))) + (cast_expression "(uint)CARRY4(uVar8,uVar1 & uVar10)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar1 & uVar10)" identifier (argument_list "(uVar8,uVar1 & uVar10)" ( identifier , (binary_expression "uVar1 & uVar10" identifier & identifier) )))))) ;) (if_statement "if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }" if (parenthesized_expression "((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10))" ( (binary_expression "(uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)" (parenthesized_expression "(uVar2 <= uVar10)" ( (binary_expression "uVar2 <= uVar10" identifier <= identifier) )) && (parenthesized_expression "(uVar1 <= uVar11 || uVar2 < uVar10)" ( (binary_expression "uVar1 <= uVar11 || uVar2 < uVar10" (binary_expression "uVar1 <= uVar11" identifier <= identifier) || (binary_expression "uVar2 < uVar10" identifier < identifier)) ))) )) (compound_statement "{\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }" { (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) (expression_statement "bVar13 = uVar11 < uVar1;" (assignment_expression "bVar13 = uVar11 < uVar1" identifier = (binary_expression "uVar11 < uVar1" identifier < identifier)) ;) (expression_statement "uVar11 = uVar11 - uVar1;" (assignment_expression "uVar11 = uVar11 - uVar1" identifier = (binary_expression "uVar11 - uVar1" identifier - identifier)) ;) (expression_statement "uVar10 = (uVar10 - uVar2) - (uint)bVar13;" (assignment_expression "uVar10 = (uVar10 - uVar2) - (uint)bVar13" identifier = (binary_expression "(uVar10 - uVar2) - (uint)bVar13" (parenthesized_expression "(uVar10 - uVar2)" ( (binary_expression "uVar10 - uVar2" identifier - identifier) )) - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) })) (expression_statement "*(int *)(param_1 + param_4 * 4) = iVar7;" (assignment_expression "*(int *)(param_1 + param_4 * 4) = iVar7" (pointer_expression "*(int *)(param_1 + param_4 * 4)" * (cast_expression "(int *)(param_1 + param_4 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + param_4 * 4)" ( (binary_expression "param_1 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) )))) = identifier) ;) (expression_statement "param_4 = param_4 + -1;" (assignment_expression "param_4 = param_4 + -1" identifier = (binary_expression "param_4 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-1 < param_4)" ( (binary_expression "-1 < param_4" number_literal < identifier) )) ;) })) (expression_statement "*param_3 = uVar11;" (assignment_expression "*param_3 = uVar11" (pointer_expression "*param_3" * identifier) = identifier) ;) (expression_statement "param_3[1] = uVar10;" (assignment_expression "param_3[1] = uVar10" (subscript_expression "param_3[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return local_14;" return identifier ;) })))
(translation_unit "undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}\n\n" (function_definition "undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}" type_identifier (function_declarator "__gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)" identifier (parameter_list "(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) , (parameter_declaration "int param_4" primitive_type identifier) , (parameter_declaration "uint *param_5" type_identifier (pointer_declarator "*param_5" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "ulonglong uVar3;" type_identifier identifier ;) (declaration "longlong lVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iVar7;" primitive_type 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 ;) (declaration "uint *puVar12;" type_identifier (pointer_declarator "*puVar12" * identifier) ;) (declaration "bool bVar13;" primitive_type identifier ;) (declaration "undefined4 local_14;" type_identifier identifier ;) (expression_statement "local_14 = 0;" (assignment_expression "local_14 = 0" identifier = number_literal) ;) (expression_statement "uVar1 = *param_5;" (assignment_expression "uVar1 = *param_5" identifier = (pointer_expression "*param_5" * identifier)) ;) (expression_statement "uVar2 = param_5[1];" (assignment_expression "uVar2 = param_5[1]" identifier = (subscript_expression "param_5[1]" identifier [ number_literal ])) ;) (expression_statement "puVar12 = param_3 + param_4 + -3;" (assignment_expression "puVar12 = param_3 + param_4 + -3" identifier = (binary_expression "param_3 + param_4 + -3" (binary_expression "param_3 + param_4" identifier + identifier) + number_literal)) ;) (expression_statement "uVar10 = param_3[param_4 + -1];" (assignment_expression "uVar10 = param_3[param_4 + -1]" identifier = (subscript_expression "param_3[param_4 + -1]" identifier [ (binary_expression "param_4 + -1" identifier + number_literal) ])) ;) (expression_statement "uVar11 = param_3[param_4 + -2];" (assignment_expression "uVar11 = param_3[param_4 + -2]" identifier = (subscript_expression "param_3[param_4 + -2]" identifier [ (binary_expression "param_4 + -2" identifier + number_literal) ])) ;) (if_statement "if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }" if (parenthesized_expression "((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10))" ( (binary_expression "(uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)" (parenthesized_expression "(uVar2 <= uVar10)" ( (binary_expression "uVar2 <= uVar10" identifier <= identifier) )) && (parenthesized_expression "(uVar1 <= uVar11 || uVar2 < uVar10)" ( (binary_expression "uVar1 <= uVar11 || uVar2 < uVar10" (binary_expression "uVar1 <= uVar11" identifier <= identifier) || (binary_expression "uVar2 < uVar10" identifier < identifier)) ))) )) (compound_statement "{\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }" { (expression_statement "bVar13 = uVar11 < uVar1;" (assignment_expression "bVar13 = uVar11 < uVar1" identifier = (binary_expression "uVar11 < uVar1" identifier < identifier)) ;) (expression_statement "uVar11 = uVar11 - uVar1;" (assignment_expression "uVar11 = uVar11 - uVar1" identifier = (binary_expression "uVar11 - uVar1" identifier - identifier)) ;) (expression_statement "uVar10 = (uVar10 - uVar2) - (uint)bVar13;" (assignment_expression "uVar10 = (uVar10 - uVar2) - (uint)bVar13" identifier = (binary_expression "(uVar10 - uVar2) - (uint)bVar13" (parenthesized_expression "(uVar10 - uVar2)" ( (binary_expression "uVar10 - uVar2" identifier - identifier) )) - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (expression_statement "local_14 = 1;" (assignment_expression "local_14 = 1" identifier = number_literal) ;) })) (expression_statement "param_4 = param_2 + -3 + param_4;" (assignment_expression "param_4 = param_2 + -3 + param_4" identifier = (binary_expression "param_2 + -3 + param_4" (binary_expression "param_2 + -3" identifier + number_literal) + identifier)) ;) (if_statement "if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }" if (parenthesized_expression "(-1 < param_4)" ( (binary_expression "-1 < param_4" number_literal < identifier) )) (compound_statement "{\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }" { (expression_statement "uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;" (assignment_expression "uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2" identifier = (binary_expression "((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2" (parenthesized_expression "((ulonglong)~uVar2 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar2 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar2 << 0x20" (cast_expression "(ulonglong)~uVar2" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar2" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = (uint)uVar3;" (assignment_expression "uVar5 = (uint)uVar3" identifier = (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);" (assignment_expression "uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" identifier = (call_expression "(uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" ( (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20" (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)uVar1" (parenthesized_expression "(uVar3 & 0xffffffff)" ( (binary_expression "uVar3 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar6 = uVar5 * uVar2 + uVar1;" (assignment_expression "uVar6 = uVar5 * uVar2 + uVar1" identifier = (binary_expression "uVar5 * uVar2 + uVar1" (binary_expression "uVar5 * uVar2" identifier * identifier) + identifier)) ;) (expression_statement "uVar9 = uVar8 + uVar6;" (assignment_expression "uVar9 = uVar8 + uVar6" identifier = (binary_expression "uVar8 + uVar6" identifier + identifier)) ;) (for_statement "for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }" for ( (assignment_expression "iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6)" identifier = (binary_expression "(CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6)" (parenthesized_expression "(CARRY4(uVar5 * uVar2,uVar1) - 1)" ( (binary_expression "CARRY4(uVar5 * uVar2,uVar1) - 1" (call_expression "CARRY4(uVar5 * uVar2,uVar1)" identifier (argument_list "(uVar5 * uVar2,uVar1)" ( (binary_expression "uVar5 * uVar2" identifier * identifier) , identifier ))) - number_literal) )) + (cast_expression "(uint)CARRY4(uVar8,uVar6)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar6)" identifier (argument_list "(uVar8,uVar6)" ( identifier , identifier )))))) ; (binary_expression "-1 < iVar7" number_literal < identifier) ; (assignment_expression "iVar7 = iVar7 - (uint)bVar13" identifier = (binary_expression "iVar7 - (uint)bVar13" identifier - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ) (compound_statement "{\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }" { (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ;) (expression_statement "bVar13 = uVar9 < uVar2;" (assignment_expression "bVar13 = uVar9 < uVar2" identifier = (binary_expression "uVar9 < uVar2" identifier < identifier)) ;) (expression_statement "uVar9 = uVar9 - uVar2;" (assignment_expression "uVar9 = uVar9 - uVar2" identifier = (binary_expression "uVar9 - uVar2" identifier - identifier)) ;) })) (do_statement "do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);" do (compound_statement "{\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    }" { (expression_statement "lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);" (assignment_expression "lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11)" identifier = (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11)" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar10" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar10" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (call_expression "CONCAT44(uVar10,uVar11)" identifier (argument_list "(uVar10,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar4 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar4 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar4 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar4 >> 0x20)" ( (binary_expression "(ulonglong)lVar4 >> 0x20" (cast_expression "(ulonglong)lVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);" (assignment_expression "uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6)" identifier = (call_expression "(uint)((ulonglong)uVar1 * (ulonglong)uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar1 * (ulonglong)uVar6)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar10 = 0;" (assignment_expression "uVar10 = 0" identifier = number_literal) ;) (if_statement "if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }" if (parenthesized_expression "(param_2 <= param_4)" ( (binary_expression "param_2 <= param_4" identifier <= identifier) )) (compound_statement "{\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }" { (expression_statement "uVar10 = *puVar12;" (assignment_expression "uVar10 = *puVar12" identifier = (pointer_expression "*puVar12" * identifier)) ;) (expression_statement "puVar12 = puVar12 + -1;" (assignment_expression "puVar12 = puVar12 + -1" identifier = (binary_expression "puVar12 + -1" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uVar10 - uVar1) - uVar9;" (assignment_expression "uVar8 = (uVar10 - uVar1) - uVar9" identifier = (binary_expression "(uVar10 - uVar1) - uVar9" (parenthesized_expression "(uVar10 - uVar1)" ( (binary_expression "uVar10 - uVar1" identifier - identifier) )) - identifier)) ;) (expression_statement "uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);" (assignment_expression "uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9)" identifier = (binary_expression "((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9)" (parenthesized_expression "((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20))" ( (binary_expression "(((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" (parenthesized_expression "(((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1))" ( (binary_expression "((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)" (parenthesized_expression "((uVar6 * -uVar2 + uVar11) - uVar2)" ( (binary_expression "(uVar6 * -uVar2 + uVar11) - uVar2" (parenthesized_expression "(uVar6 * -uVar2 + uVar11)" ( (binary_expression "uVar6 * -uVar2 + uVar11" (binary_expression "uVar6 * -uVar2" identifier * (unary_expression "-uVar2" - identifier)) + identifier) )) - identifier) )) - (call_expression "(uint)(uVar10 < uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 < uVar1)" ( (binary_expression "uVar10 < uVar1" identifier < identifier) )))) )) - (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) )) - (call_expression "(uint)(uVar10 - uVar1 < uVar9)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 - uVar1 < uVar9)" ( (binary_expression "uVar10 - uVar1 < uVar9" (binary_expression "uVar10 - uVar1" identifier - identifier) < identifier) ))))) ;) (expression_statement "uVar10 = (uVar9 < (uint)lVar4) - 1;" (assignment_expression "uVar10 = (uVar9 < (uint)lVar4) - 1" identifier = (binary_expression "(uVar9 < (uint)lVar4) - 1" (parenthesized_expression "(uVar9 < (uint)lVar4)" ( (binary_expression "uVar9 < (uint)lVar4" identifier < (cast_expression "(uint)lVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) )) - number_literal)) ;) (expression_statement "iVar7 = uVar6 + 1 + uVar10;" (assignment_expression "iVar7 = uVar6 + 1 + uVar10" identifier = (binary_expression "uVar6 + 1 + uVar10" (binary_expression "uVar6 + 1" identifier + number_literal) + identifier)) ;) (expression_statement "uVar11 = uVar8 + (uVar1 & uVar10);" (assignment_expression "uVar11 = uVar8 + (uVar1 & uVar10)" identifier = (binary_expression "uVar8 + (uVar1 & uVar10)" identifier + (parenthesized_expression "(uVar1 & uVar10)" ( (binary_expression "uVar1 & uVar10" identifier & identifier) )))) ;) (expression_statement "uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);" (assignment_expression "uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10)" identifier = (binary_expression "uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10)" (binary_expression "uVar9 + (uVar10 & uVar2)" identifier + (parenthesized_expression "(uVar10 & uVar2)" ( (binary_expression "uVar10 & uVar2" identifier & identifier) ))) + (cast_expression "(uint)CARRY4(uVar8,uVar1 & uVar10)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar1 & uVar10)" identifier (argument_list "(uVar8,uVar1 & uVar10)" ( identifier , (binary_expression "uVar1 & uVar10" identifier & identifier) )))))) ;) (if_statement "if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }" if (parenthesized_expression "((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10))" ( (binary_expression "(uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)" (parenthesized_expression "(uVar2 <= uVar10)" ( (binary_expression "uVar2 <= uVar10" identifier <= identifier) )) && (parenthesized_expression "(uVar1 <= uVar11 || uVar2 < uVar10)" ( (binary_expression "uVar1 <= uVar11 || uVar2 < uVar10" (binary_expression "uVar1 <= uVar11" identifier <= identifier) || (binary_expression "uVar2 < uVar10" identifier < identifier)) ))) )) (compound_statement "{\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }" { (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) (expression_statement "bVar13 = uVar11 < uVar1;" (assignment_expression "bVar13 = uVar11 < uVar1" identifier = (binary_expression "uVar11 < uVar1" identifier < identifier)) ;) (expression_statement "uVar11 = uVar11 - uVar1;" (assignment_expression "uVar11 = uVar11 - uVar1" identifier = (binary_expression "uVar11 - uVar1" identifier - identifier)) ;) (expression_statement "uVar10 = (uVar10 - uVar2) - (uint)bVar13;" (assignment_expression "uVar10 = (uVar10 - uVar2) - (uint)bVar13" identifier = (binary_expression "(uVar10 - uVar2) - (uint)bVar13" (parenthesized_expression "(uVar10 - uVar2)" ( (binary_expression "uVar10 - uVar2" identifier - identifier) )) - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) })) (expression_statement "*(int *)(param_1 + param_4 * 4) = iVar7;" (assignment_expression "*(int *)(param_1 + param_4 * 4) = iVar7" (pointer_expression "*(int *)(param_1 + param_4 * 4)" * (cast_expression "(int *)(param_1 + param_4 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + param_4 * 4)" ( (binary_expression "param_1 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) )))) = identifier) ;) (expression_statement "param_4 = param_4 + -1;" (assignment_expression "param_4 = param_4 + -1" identifier = (binary_expression "param_4 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-1 < param_4)" ( (binary_expression "-1 < param_4" number_literal < identifier) )) ;) })) (expression_statement "*param_3 = uVar11;" (assignment_expression "*param_3 = uVar11" (pointer_expression "*param_3" * identifier) = identifier) ;) (expression_statement "param_3[1] = uVar10;" (assignment_expression "param_3[1] = uVar10" (subscript_expression "param_3[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return local_14;" return identifier ;) })))
(translation_unit "undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}\n\n" (function_definition "undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}" type_identifier (function_declarator "__gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)" identifier (parameter_list "(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) , (parameter_declaration "int param_4" primitive_type identifier) , (parameter_declaration "uint *param_5" type_identifier (pointer_declarator "*param_5" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "ulonglong uVar3;" type_identifier identifier ;) (declaration "longlong lVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iVar7;" primitive_type 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 ;) (declaration "uint *puVar12;" type_identifier (pointer_declarator "*puVar12" * identifier) ;) (declaration "bool bVar13;" primitive_type identifier ;) (declaration "undefined4 local_14;" type_identifier identifier ;) (expression_statement "local_14 = 0;" (assignment_expression "local_14 = 0" identifier = number_literal) ;) (expression_statement "uVar1 = *param_5;" (assignment_expression "uVar1 = *param_5" identifier = (pointer_expression "*param_5" * identifier)) ;) (expression_statement "uVar2 = param_5[1];" (assignment_expression "uVar2 = param_5[1]" identifier = (subscript_expression "param_5[1]" identifier [ number_literal ])) ;) (expression_statement "puVar12 = param_3 + param_4 + -3;" (assignment_expression "puVar12 = param_3 + param_4 + -3" identifier = (binary_expression "param_3 + param_4 + -3" (binary_expression "param_3 + param_4" identifier + identifier) + number_literal)) ;) (expression_statement "uVar10 = param_3[param_4 + -1];" (assignment_expression "uVar10 = param_3[param_4 + -1]" identifier = (subscript_expression "param_3[param_4 + -1]" identifier [ (binary_expression "param_4 + -1" identifier + number_literal) ])) ;) (expression_statement "uVar11 = param_3[param_4 + -2];" (assignment_expression "uVar11 = param_3[param_4 + -2]" identifier = (subscript_expression "param_3[param_4 + -2]" identifier [ (binary_expression "param_4 + -2" identifier + number_literal) ])) ;) (if_statement "if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }" if (parenthesized_expression "((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10))" ( (binary_expression "(uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)" (parenthesized_expression "(uVar2 <= uVar10)" ( (binary_expression "uVar2 <= uVar10" identifier <= identifier) )) && (parenthesized_expression "(uVar1 <= uVar11 || uVar2 < uVar10)" ( (binary_expression "uVar1 <= uVar11 || uVar2 < uVar10" (binary_expression "uVar1 <= uVar11" identifier <= identifier) || (binary_expression "uVar2 < uVar10" identifier < identifier)) ))) )) (compound_statement "{\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }" { (expression_statement "bVar13 = uVar11 < uVar1;" (assignment_expression "bVar13 = uVar11 < uVar1" identifier = (binary_expression "uVar11 < uVar1" identifier < identifier)) ;) (expression_statement "uVar11 = uVar11 - uVar1;" (assignment_expression "uVar11 = uVar11 - uVar1" identifier = (binary_expression "uVar11 - uVar1" identifier - identifier)) ;) (expression_statement "uVar10 = (uVar10 - uVar2) - (uint)bVar13;" (assignment_expression "uVar10 = (uVar10 - uVar2) - (uint)bVar13" identifier = (binary_expression "(uVar10 - uVar2) - (uint)bVar13" (parenthesized_expression "(uVar10 - uVar2)" ( (binary_expression "uVar10 - uVar2" identifier - identifier) )) - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (expression_statement "local_14 = 1;" (assignment_expression "local_14 = 1" identifier = number_literal) ;) })) (expression_statement "param_4 = param_2 + -3 + param_4;" (assignment_expression "param_4 = param_2 + -3 + param_4" identifier = (binary_expression "param_2 + -3 + param_4" (binary_expression "param_2 + -3" identifier + number_literal) + identifier)) ;) (if_statement "if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }" if (parenthesized_expression "(-1 < param_4)" ( (binary_expression "-1 < param_4" number_literal < identifier) )) (compound_statement "{\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }" { (expression_statement "uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;" (assignment_expression "uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2" identifier = (binary_expression "((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2" (parenthesized_expression "((ulonglong)~uVar2 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar2 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar2 << 0x20" (cast_expression "(ulonglong)~uVar2" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar2" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = (uint)uVar3;" (assignment_expression "uVar5 = (uint)uVar3" identifier = (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);" (assignment_expression "uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" identifier = (call_expression "(uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" ( (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20" (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)uVar1" (parenthesized_expression "(uVar3 & 0xffffffff)" ( (binary_expression "uVar3 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar6 = uVar5 * uVar2 + uVar1;" (assignment_expression "uVar6 = uVar5 * uVar2 + uVar1" identifier = (binary_expression "uVar5 * uVar2 + uVar1" (binary_expression "uVar5 * uVar2" identifier * identifier) + identifier)) ;) (expression_statement "uVar9 = uVar8 + uVar6;" (assignment_expression "uVar9 = uVar8 + uVar6" identifier = (binary_expression "uVar8 + uVar6" identifier + identifier)) ;) (for_statement "for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }" for ( (assignment_expression "iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6)" identifier = (binary_expression "(CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6)" (parenthesized_expression "(CARRY4(uVar5 * uVar2,uVar1) - 1)" ( (binary_expression "CARRY4(uVar5 * uVar2,uVar1) - 1" (call_expression "CARRY4(uVar5 * uVar2,uVar1)" identifier (argument_list "(uVar5 * uVar2,uVar1)" ( (binary_expression "uVar5 * uVar2" identifier * identifier) , identifier ))) - number_literal) )) + (cast_expression "(uint)CARRY4(uVar8,uVar6)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar6)" identifier (argument_list "(uVar8,uVar6)" ( identifier , identifier )))))) ; (binary_expression "-1 < iVar7" number_literal < identifier) ; (assignment_expression "iVar7 = iVar7 - (uint)bVar13" identifier = (binary_expression "iVar7 - (uint)bVar13" identifier - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ) (compound_statement "{\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }" { (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ;) (expression_statement "bVar13 = uVar9 < uVar2;" (assignment_expression "bVar13 = uVar9 < uVar2" identifier = (binary_expression "uVar9 < uVar2" identifier < identifier)) ;) (expression_statement "uVar9 = uVar9 - uVar2;" (assignment_expression "uVar9 = uVar9 - uVar2" identifier = (binary_expression "uVar9 - uVar2" identifier - identifier)) ;) })) (do_statement "do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);" do (compound_statement "{\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    }" { (expression_statement "lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);" (assignment_expression "lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11)" identifier = (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11)" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar10" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar10" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (call_expression "CONCAT44(uVar10,uVar11)" identifier (argument_list "(uVar10,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar4 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar4 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar4 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar4 >> 0x20)" ( (binary_expression "(ulonglong)lVar4 >> 0x20" (cast_expression "(ulonglong)lVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);" (assignment_expression "uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6)" identifier = (call_expression "(uint)((ulonglong)uVar1 * (ulonglong)uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar1 * (ulonglong)uVar6)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar10 = 0;" (assignment_expression "uVar10 = 0" identifier = number_literal) ;) (if_statement "if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }" if (parenthesized_expression "(param_2 <= param_4)" ( (binary_expression "param_2 <= param_4" identifier <= identifier) )) (compound_statement "{\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }" { (expression_statement "uVar10 = *puVar12;" (assignment_expression "uVar10 = *puVar12" identifier = (pointer_expression "*puVar12" * identifier)) ;) (expression_statement "puVar12 = puVar12 + -1;" (assignment_expression "puVar12 = puVar12 + -1" identifier = (binary_expression "puVar12 + -1" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uVar10 - uVar1) - uVar9;" (assignment_expression "uVar8 = (uVar10 - uVar1) - uVar9" identifier = (binary_expression "(uVar10 - uVar1) - uVar9" (parenthesized_expression "(uVar10 - uVar1)" ( (binary_expression "uVar10 - uVar1" identifier - identifier) )) - identifier)) ;) (expression_statement "uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);" (assignment_expression "uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9)" identifier = (binary_expression "((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9)" (parenthesized_expression "((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20))" ( (binary_expression "(((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" (parenthesized_expression "(((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1))" ( (binary_expression "((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)" (parenthesized_expression "((uVar6 * -uVar2 + uVar11) - uVar2)" ( (binary_expression "(uVar6 * -uVar2 + uVar11) - uVar2" (parenthesized_expression "(uVar6 * -uVar2 + uVar11)" ( (binary_expression "uVar6 * -uVar2 + uVar11" (binary_expression "uVar6 * -uVar2" identifier * (unary_expression "-uVar2" - identifier)) + identifier) )) - identifier) )) - (call_expression "(uint)(uVar10 < uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 < uVar1)" ( (binary_expression "uVar10 < uVar1" identifier < identifier) )))) )) - (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) )) - (call_expression "(uint)(uVar10 - uVar1 < uVar9)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 - uVar1 < uVar9)" ( (binary_expression "uVar10 - uVar1 < uVar9" (binary_expression "uVar10 - uVar1" identifier - identifier) < identifier) ))))) ;) (expression_statement "uVar10 = (uVar9 < (uint)lVar4) - 1;" (assignment_expression "uVar10 = (uVar9 < (uint)lVar4) - 1" identifier = (binary_expression "(uVar9 < (uint)lVar4) - 1" (parenthesized_expression "(uVar9 < (uint)lVar4)" ( (binary_expression "uVar9 < (uint)lVar4" identifier < (cast_expression "(uint)lVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) )) - number_literal)) ;) (expression_statement "iVar7 = uVar6 + 1 + uVar10;" (assignment_expression "iVar7 = uVar6 + 1 + uVar10" identifier = (binary_expression "uVar6 + 1 + uVar10" (binary_expression "uVar6 + 1" identifier + number_literal) + identifier)) ;) (expression_statement "uVar11 = uVar8 + (uVar1 & uVar10);" (assignment_expression "uVar11 = uVar8 + (uVar1 & uVar10)" identifier = (binary_expression "uVar8 + (uVar1 & uVar10)" identifier + (parenthesized_expression "(uVar1 & uVar10)" ( (binary_expression "uVar1 & uVar10" identifier & identifier) )))) ;) (expression_statement "uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);" (assignment_expression "uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10)" identifier = (binary_expression "uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10)" (binary_expression "uVar9 + (uVar10 & uVar2)" identifier + (parenthesized_expression "(uVar10 & uVar2)" ( (binary_expression "uVar10 & uVar2" identifier & identifier) ))) + (cast_expression "(uint)CARRY4(uVar8,uVar1 & uVar10)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar1 & uVar10)" identifier (argument_list "(uVar8,uVar1 & uVar10)" ( identifier , (binary_expression "uVar1 & uVar10" identifier & identifier) )))))) ;) (if_statement "if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }" if (parenthesized_expression "((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10))" ( (binary_expression "(uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)" (parenthesized_expression "(uVar2 <= uVar10)" ( (binary_expression "uVar2 <= uVar10" identifier <= identifier) )) && (parenthesized_expression "(uVar1 <= uVar11 || uVar2 < uVar10)" ( (binary_expression "uVar1 <= uVar11 || uVar2 < uVar10" (binary_expression "uVar1 <= uVar11" identifier <= identifier) || (binary_expression "uVar2 < uVar10" identifier < identifier)) ))) )) (compound_statement "{\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }" { (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) (expression_statement "bVar13 = uVar11 < uVar1;" (assignment_expression "bVar13 = uVar11 < uVar1" identifier = (binary_expression "uVar11 < uVar1" identifier < identifier)) ;) (expression_statement "uVar11 = uVar11 - uVar1;" (assignment_expression "uVar11 = uVar11 - uVar1" identifier = (binary_expression "uVar11 - uVar1" identifier - identifier)) ;) (expression_statement "uVar10 = (uVar10 - uVar2) - (uint)bVar13;" (assignment_expression "uVar10 = (uVar10 - uVar2) - (uint)bVar13" identifier = (binary_expression "(uVar10 - uVar2) - (uint)bVar13" (parenthesized_expression "(uVar10 - uVar2)" ( (binary_expression "uVar10 - uVar2" identifier - identifier) )) - (cast_expression "(uint)bVar13" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) })) (expression_statement "*(int *)(param_1 + param_4 * 4) = iVar7;" (assignment_expression "*(int *)(param_1 + param_4 * 4) = iVar7" (pointer_expression "*(int *)(param_1 + param_4 * 4)" * (cast_expression "(int *)(param_1 + param_4 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + param_4 * 4)" ( (binary_expression "param_1 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) )))) = identifier) ;) (expression_statement "param_4 = param_4 + -1;" (assignment_expression "param_4 = param_4 + -1" identifier = (binary_expression "param_4 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-1 < param_4)" ( (binary_expression "-1 < param_4" number_literal < identifier) )) ;) })) (expression_statement "*param_3 = uVar11;" (assignment_expression "*param_3 = uVar11" (pointer_expression "*param_3" * identifier) = identifier) ;) (expression_statement "param_3[1] = uVar10;" (assignment_expression "param_3[1] = uVar10" (subscript_expression "param_3[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return local_14;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (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 = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) + LIT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) && (parenthesized_expression ( (binary_expression (binary_expression IDENT <= IDENT) || (binary_expression IDENT < IDENT)) ))) )) (compound_statement { (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 (parenthesized_expression ( (binary_expression IDENT - IDENT) )) - (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + LIT) + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (unary_expression ~ IDENT)) << LIT) | LIT) )) / (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (for_statement for ( (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (call_expression IDENT (argument_list ( (binary_expression IDENT * IDENT) , IDENT ))) - LIT) )) + (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT )))))) ; (binary_expression LIT < IDENT) ; (assignment_expression IDENT = (binary_expression IDENT - (cast_expression ( (type_descriptor TYPE) ) IDENT))) ) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT < IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (call_expression IDENT (argument_list ( IDENT , IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) )))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * (unary_expression - IDENT)) + IDENT) )) - IDENT) )) - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) )))) )) - (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) )))) )) - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression IDENT - IDENT) < IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) - LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + LIT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT & IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT & IDENT) ))) + (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , (binary_expression IDENT & IDENT) )))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) && (parenthesized_expression ( (binary_expression (binary_expression IDENT <= IDENT) || (binary_expression IDENT < IDENT)) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (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 (parenthesized_expression ( (binary_expression IDENT - IDENT) )) - (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) )))) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression LIT < IDENT) )) ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return IDENT ;) })))
(function_definition "undefined4 __gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}" (type_identifier "undefined4") (function_declarator "__gmpn_divrem_2(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)" (identifier "__gmpn_divrem_2") (parameter_list "(int param_1,int param_2,uint *param_3,int param_4,uint *param_5)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "uint *param_3" (type_identifier "uint") (pointer_declarator "*param_3" (* "*") (identifier "param_3"))) (, ",") (parameter_declaration "int param_4" (primitive_type "int") (identifier "param_4")) (, ",") (parameter_declaration "uint *param_5" (type_identifier "uint") (pointer_declarator "*param_5" (* "*") (identifier "param_5"))) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  ulonglong uVar3;\n  longlong lVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint *puVar12;\n  bool bVar13;\n  undefined4 local_14;\n  \n  local_14 = 0;\n  uVar1 = *param_5;\n  uVar2 = param_5[1];\n  puVar12 = param_3 + param_4 + -3;\n  uVar10 = param_3[param_4 + -1];\n  uVar11 = param_3[param_4 + -2];\n  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }\n  param_4 = param_2 + -3 + param_4;\n  if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }\n  *param_3 = uVar11;\n  param_3[1] = uVar10;\n  return local_14;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "ulonglong uVar3;" (type_identifier "ulonglong") (identifier "uVar3") (; ";")) (declaration "longlong lVar4;" (type_identifier "longlong") (identifier "lVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "int iVar7;" (primitive_type "int") (identifier "iVar7") (; ";")) (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") (; ";")) (declaration "uint *puVar12;" (type_identifier "uint") (pointer_declarator "*puVar12" (* "*") (identifier "puVar12")) (; ";")) (declaration "bool bVar13;" (primitive_type "bool") (identifier "bVar13") (; ";")) (declaration "undefined4 local_14;" (type_identifier "undefined4") (identifier "local_14") (; ";")) (expression_statement "local_14 = 0;" (assignment_expression "local_14 = 0" (identifier "local_14") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar1 = *param_5;" (assignment_expression "uVar1 = *param_5" (identifier "uVar1") (= "=") (pointer_expression "*param_5" (* "*") (identifier "param_5"))) (; ";")) (expression_statement "uVar2 = param_5[1];" (assignment_expression "uVar2 = param_5[1]" (identifier "uVar2") (= "=") (subscript_expression "param_5[1]" (identifier "param_5") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "puVar12 = param_3 + param_4 + -3;" (assignment_expression "puVar12 = param_3 + param_4 + -3" (identifier "puVar12") (= "=") (binary_expression "param_3 + param_4 + -3" (binary_expression "param_3 + param_4" (identifier "param_3") (+ "+") (identifier "param_4")) (+ "+") (number_literal "-3"))) (; ";")) (expression_statement "uVar10 = param_3[param_4 + -1];" (assignment_expression "uVar10 = param_3[param_4 + -1]" (identifier "uVar10") (= "=") (subscript_expression "param_3[param_4 + -1]" (identifier "param_3") ([ "[") (binary_expression "param_4 + -1" (identifier "param_4") (+ "+") (number_literal "-1")) (] "]"))) (; ";")) (expression_statement "uVar11 = param_3[param_4 + -2];" (assignment_expression "uVar11 = param_3[param_4 + -2]" (identifier "uVar11") (= "=") (subscript_expression "param_3[param_4 + -2]" (identifier "param_3") ([ "[") (binary_expression "param_4 + -2" (identifier "param_4") (+ "+") (number_literal "-2")) (] "]"))) (; ";")) (if_statement "if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }" (if "if") (parenthesized_expression "((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10))" (( "(") (binary_expression "(uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)" (parenthesized_expression "(uVar2 <= uVar10)" (( "(") (binary_expression "uVar2 <= uVar10" (identifier "uVar2") (<= "<=") (identifier "uVar10")) () ")")) (&& "&&") (parenthesized_expression "(uVar1 <= uVar11 || uVar2 < uVar10)" (( "(") (binary_expression "uVar1 <= uVar11 || uVar2 < uVar10" (binary_expression "uVar1 <= uVar11" (identifier "uVar1") (<= "<=") (identifier "uVar11")) (|| "||") (binary_expression "uVar2 < uVar10" (identifier "uVar2") (< "<") (identifier "uVar10"))) () ")"))) () ")")) (compound_statement "{\n    bVar13 = uVar11 < uVar1;\n    uVar11 = uVar11 - uVar1;\n    uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n    local_14 = 1;\n  }" ({ "{") (expression_statement "bVar13 = uVar11 < uVar1;" (assignment_expression "bVar13 = uVar11 < uVar1" (identifier "bVar13") (= "=") (binary_expression "uVar11 < uVar1" (identifier "uVar11") (< "<") (identifier "uVar1"))) (; ";")) (expression_statement "uVar11 = uVar11 - uVar1;" (assignment_expression "uVar11 = uVar11 - uVar1" (identifier "uVar11") (= "=") (binary_expression "uVar11 - uVar1" (identifier "uVar11") (- "-") (identifier "uVar1"))) (; ";")) (expression_statement "uVar10 = (uVar10 - uVar2) - (uint)bVar13;" (assignment_expression "uVar10 = (uVar10 - uVar2) - (uint)bVar13" (identifier "uVar10") (= "=") (binary_expression "(uVar10 - uVar2) - (uint)bVar13" (parenthesized_expression "(uVar10 - uVar2)" (( "(") (binary_expression "uVar10 - uVar2" (identifier "uVar10") (- "-") (identifier "uVar2")) () ")")) (- "-") (cast_expression "(uint)bVar13" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar13")))) (; ";")) (expression_statement "local_14 = 1;" (assignment_expression "local_14 = 1" (identifier "local_14") (= "=") (number_literal "1")) (; ";")) (} "}"))) (expression_statement "param_4 = param_2 + -3 + param_4;" (assignment_expression "param_4 = param_2 + -3 + param_4" (identifier "param_4") (= "=") (binary_expression "param_2 + -3 + param_4" (binary_expression "param_2 + -3" (identifier "param_2") (+ "+") (number_literal "-3")) (+ "+") (identifier "param_4"))) (; ";")) (if_statement "if (-1 < param_4) {\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }" (if "if") (parenthesized_expression "(-1 < param_4)" (( "(") (binary_expression "-1 < param_4" (number_literal "-1") (< "<") (identifier "param_4")) () ")")) (compound_statement "{\n    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;\n    uVar5 = (uint)uVar3;\n    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);\n    uVar6 = uVar5 * uVar2 + uVar1;\n    uVar9 = uVar8 + uVar6;\n    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }\n    do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);\n  }" ({ "{") (expression_statement "uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;" (assignment_expression "uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2" (identifier "uVar3") (= "=") (binary_expression "((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2" (parenthesized_expression "((ulonglong)~uVar2 << 0x20 | 0xffffffff)" (( "(") (binary_expression "(ulonglong)~uVar2 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar2 << 0x20" (cast_expression "(ulonglong)~uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (unary_expression "~uVar2" (~ "~") (identifier "uVar2"))) (<< "<<") (number_literal "0x20")) (| "|") (number_literal "0xffffffff")) () ")")) (/ "/") (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2")))) (; ";")) (expression_statement "uVar5 = (uint)uVar3;" (assignment_expression "uVar5 = (uint)uVar3" (identifier "uVar5") (= "=") (cast_expression "(uint)uVar3" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar3"))) (; ";")) (expression_statement "uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);" (assignment_expression "uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" (identifier "uVar8") (= "=") (call_expression "(uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20)" (( "(") (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20" (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)uVar1" (parenthesized_expression "(uVar3 & 0xffffffff)" (( "(") (binary_expression "uVar3 & 0xffffffff" (identifier "uVar3") (& "&") (number_literal "0xffffffff")) () ")")) (* "*") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1"))) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar6 = uVar5 * uVar2 + uVar1;" (assignment_expression "uVar6 = uVar5 * uVar2 + uVar1" (identifier "uVar6") (= "=") (binary_expression "uVar5 * uVar2 + uVar1" (binary_expression "uVar5 * uVar2" (identifier "uVar5") (* "*") (identifier "uVar2")) (+ "+") (identifier "uVar1"))) (; ";")) (expression_statement "uVar9 = uVar8 + uVar6;" (assignment_expression "uVar9 = uVar8 + uVar6" (identifier "uVar9") (= "=") (binary_expression "uVar8 + uVar6" (identifier "uVar8") (+ "+") (identifier "uVar6"))) (; ";")) (for_statement "for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;\n        iVar7 = iVar7 - (uint)bVar13) {\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }" (for "for") (( "(") (assignment_expression "iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6)" (identifier "iVar7") (= "=") (binary_expression "(CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6)" (parenthesized_expression "(CARRY4(uVar5 * uVar2,uVar1) - 1)" (( "(") (binary_expression "CARRY4(uVar5 * uVar2,uVar1) - 1" (call_expression "CARRY4(uVar5 * uVar2,uVar1)" (identifier "CARRY4") (argument_list "(uVar5 * uVar2,uVar1)" (( "(") (binary_expression "uVar5 * uVar2" (identifier "uVar5") (* "*") (identifier "uVar2")) (, ",") (identifier "uVar1") () ")"))) (- "-") (number_literal "1")) () ")")) (+ "+") (cast_expression "(uint)CARRY4(uVar8,uVar6)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar8,uVar6)" (identifier "CARRY4") (argument_list "(uVar8,uVar6)" (( "(") (identifier "uVar8") (, ",") (identifier "uVar6") () ")")))))) (; ";") (binary_expression "-1 < iVar7" (number_literal "-1") (< "<") (identifier "iVar7")) (; ";") (assignment_expression "iVar7 = iVar7 - (uint)bVar13" (identifier "iVar7") (= "=") (binary_expression "iVar7 - (uint)bVar13" (identifier "iVar7") (- "-") (cast_expression "(uint)bVar13" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar13")))) () ")") (compound_statement "{\n      uVar5 = uVar5 - 1;\n      bVar13 = uVar9 < uVar2;\n      uVar9 = uVar9 - uVar2;\n    }" ({ "{") (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" (identifier "uVar5") (= "=") (binary_expression "uVar5 - 1" (identifier "uVar5") (- "-") (number_literal "1"))) (; ";")) (expression_statement "bVar13 = uVar9 < uVar2;" (assignment_expression "bVar13 = uVar9 < uVar2" (identifier "bVar13") (= "=") (binary_expression "uVar9 < uVar2" (identifier "uVar9") (< "<") (identifier "uVar2"))) (; ";")) (expression_statement "uVar9 = uVar9 - uVar2;" (assignment_expression "uVar9 = uVar9 - uVar2" (identifier "uVar9") (= "=") (binary_expression "uVar9 - uVar2" (identifier "uVar9") (- "-") (identifier "uVar2"))) (; ";")) (} "}"))) (do_statement "do {\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    } while (-1 < param_4);" (do "do") (compound_statement "{\n      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);\n      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);\n      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);\n      uVar10 = 0;\n      if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }\n      uVar8 = (uVar10 - uVar1) - uVar9;\n      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);\n      uVar10 = (uVar9 < (uint)lVar4) - 1;\n      iVar7 = uVar6 + 1 + uVar10;\n      uVar11 = uVar8 + (uVar1 & uVar10);\n      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);\n      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }\n      *(int *)(param_1 + param_4 * 4) = iVar7;\n      param_4 = param_4 + -1;\n    }" ({ "{") (expression_statement "lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);" (assignment_expression "lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11)" (identifier "lVar4") (= "=") (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11)" (binary_expression "(ulonglong)uVar5 * (ulonglong)uVar10" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)uVar10" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar10"))) (+ "+") (call_expression "CONCAT44(uVar10,uVar11)" (identifier "CONCAT44") (argument_list "(uVar10,uVar11)" (( "(") (identifier "uVar10") (, ",") (identifier "uVar11") () ")"))))) (; ";")) (expression_statement "uVar6 = (uint)((ulonglong)lVar4 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar4 >> 0x20)" (identifier "uVar6") (= "=") (call_expression "(uint)((ulonglong)lVar4 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar4 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar4 >> 0x20" (cast_expression "(ulonglong)lVar4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar4")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);" (assignment_expression "uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6)" (identifier "uVar9") (= "=") (call_expression "(uint)((ulonglong)uVar1 * (ulonglong)uVar6)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar1 * (ulonglong)uVar6)" (( "(") (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6" (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1")) (* "*") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6"))) () ")")))) (; ";")) (expression_statement "uVar10 = 0;" (assignment_expression "uVar10 = 0" (identifier "uVar10") (= "=") (number_literal "0")) (; ";")) (if_statement "if (param_2 <= param_4) {\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }" (if "if") (parenthesized_expression "(param_2 <= param_4)" (( "(") (binary_expression "param_2 <= param_4" (identifier "param_2") (<= "<=") (identifier "param_4")) () ")")) (compound_statement "{\n        uVar10 = *puVar12;\n        puVar12 = puVar12 + -1;\n      }" ({ "{") (expression_statement "uVar10 = *puVar12;" (assignment_expression "uVar10 = *puVar12" (identifier "uVar10") (= "=") (pointer_expression "*puVar12" (* "*") (identifier "puVar12"))) (; ";")) (expression_statement "puVar12 = puVar12 + -1;" (assignment_expression "puVar12 = puVar12 + -1" (identifier "puVar12") (= "=") (binary_expression "puVar12 + -1" (identifier "puVar12") (+ "+") (number_literal "-1"))) (; ";")) (} "}"))) (expression_statement "uVar8 = (uVar10 - uVar1) - uVar9;" (assignment_expression "uVar8 = (uVar10 - uVar1) - uVar9" (identifier "uVar8") (= "=") (binary_expression "(uVar10 - uVar1) - uVar9" (parenthesized_expression "(uVar10 - uVar1)" (( "(") (binary_expression "uVar10 - uVar1" (identifier "uVar10") (- "-") (identifier "uVar1")) () ")")) (- "-") (identifier "uVar9"))) (; ";")) (expression_statement "uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);" (assignment_expression "uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9)" (identifier "uVar9") (= "=") (binary_expression "((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9)" (parenthesized_expression "((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20))" (( "(") (binary_expression "(((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -\n              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" (parenthesized_expression "(((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1))" (( "(") (binary_expression "((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)" (parenthesized_expression "((uVar6 * -uVar2 + uVar11) - uVar2)" (( "(") (binary_expression "(uVar6 * -uVar2 + uVar11) - uVar2" (parenthesized_expression "(uVar6 * -uVar2 + uVar11)" (( "(") (binary_expression "uVar6 * -uVar2 + uVar11" (binary_expression "uVar6 * -uVar2" (identifier "uVar6") (* "*") (unary_expression "-uVar2" (- "-") (identifier "uVar2"))) (+ "+") (identifier "uVar11")) () ")")) (- "-") (identifier "uVar2")) () ")")) (- "-") (call_expression "(uint)(uVar10 < uVar1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar10 < uVar1)" (( "(") (binary_expression "uVar10 < uVar1" (identifier "uVar10") (< "<") (identifier "uVar1")) () ")")))) () ")")) (- "-") (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)uVar6" (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1")) (* "*") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6"))) (>> ">>") (number_literal "0x20")) () ")")))) () ")")) (- "-") (call_expression "(uint)(uVar10 - uVar1 < uVar9)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar10 - uVar1 < uVar9)" (( "(") (binary_expression "uVar10 - uVar1 < uVar9" (binary_expression "uVar10 - uVar1" (identifier "uVar10") (- "-") (identifier "uVar1")) (< "<") (identifier "uVar9")) () ")"))))) (; ";")) (expression_statement "uVar10 = (uVar9 < (uint)lVar4) - 1;" (assignment_expression "uVar10 = (uVar9 < (uint)lVar4) - 1" (identifier "uVar10") (= "=") (binary_expression "(uVar9 < (uint)lVar4) - 1" (parenthesized_expression "(uVar9 < (uint)lVar4)" (( "(") (binary_expression "uVar9 < (uint)lVar4" (identifier "uVar9") (< "<") (cast_expression "(uint)lVar4" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar4"))) () ")")) (- "-") (number_literal "1"))) (; ";")) (expression_statement "iVar7 = uVar6 + 1 + uVar10;" (assignment_expression "iVar7 = uVar6 + 1 + uVar10" (identifier "iVar7") (= "=") (binary_expression "uVar6 + 1 + uVar10" (binary_expression "uVar6 + 1" (identifier "uVar6") (+ "+") (number_literal "1")) (+ "+") (identifier "uVar10"))) (; ";")) (expression_statement "uVar11 = uVar8 + (uVar1 & uVar10);" (assignment_expression "uVar11 = uVar8 + (uVar1 & uVar10)" (identifier "uVar11") (= "=") (binary_expression "uVar8 + (uVar1 & uVar10)" (identifier "uVar8") (+ "+") (parenthesized_expression "(uVar1 & uVar10)" (( "(") (binary_expression "uVar1 & uVar10" (identifier "uVar1") (& "&") (identifier "uVar10")) () ")")))) (; ";")) (expression_statement "uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);" (assignment_expression "uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10)" (identifier "uVar10") (= "=") (binary_expression "uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10)" (binary_expression "uVar9 + (uVar10 & uVar2)" (identifier "uVar9") (+ "+") (parenthesized_expression "(uVar10 & uVar2)" (( "(") (binary_expression "uVar10 & uVar2" (identifier "uVar10") (& "&") (identifier "uVar2")) () ")"))) (+ "+") (cast_expression "(uint)CARRY4(uVar8,uVar1 & uVar10)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar8,uVar1 & uVar10)" (identifier "CARRY4") (argument_list "(uVar8,uVar1 & uVar10)" (( "(") (identifier "uVar8") (, ",") (binary_expression "uVar1 & uVar10" (identifier "uVar1") (& "&") (identifier "uVar10")) () ")")))))) (; ";")) (if_statement "if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }" (if "if") (parenthesized_expression "((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10))" (( "(") (binary_expression "(uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)" (parenthesized_expression "(uVar2 <= uVar10)" (( "(") (binary_expression "uVar2 <= uVar10" (identifier "uVar2") (<= "<=") (identifier "uVar10")) () ")")) (&& "&&") (parenthesized_expression "(uVar1 <= uVar11 || uVar2 < uVar10)" (( "(") (binary_expression "uVar1 <= uVar11 || uVar2 < uVar10" (binary_expression "uVar1 <= uVar11" (identifier "uVar1") (<= "<=") (identifier "uVar11")) (|| "||") (binary_expression "uVar2 < uVar10" (identifier "uVar2") (< "<") (identifier "uVar10"))) () ")"))) () ")")) (compound_statement "{\n        iVar7 = iVar7 + 1;\n        bVar13 = uVar11 < uVar1;\n        uVar11 = uVar11 - uVar1;\n        uVar10 = (uVar10 - uVar2) - (uint)bVar13;\n      }" ({ "{") (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" (identifier "iVar7") (= "=") (binary_expression "iVar7 + 1" (identifier "iVar7") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "bVar13 = uVar11 < uVar1;" (assignment_expression "bVar13 = uVar11 < uVar1" (identifier "bVar13") (= "=") (binary_expression "uVar11 < uVar1" (identifier "uVar11") (< "<") (identifier "uVar1"))) (; ";")) (expression_statement "uVar11 = uVar11 - uVar1;" (assignment_expression "uVar11 = uVar11 - uVar1" (identifier "uVar11") (= "=") (binary_expression "uVar11 - uVar1" (identifier "uVar11") (- "-") (identifier "uVar1"))) (; ";")) (expression_statement "uVar10 = (uVar10 - uVar2) - (uint)bVar13;" (assignment_expression "uVar10 = (uVar10 - uVar2) - (uint)bVar13" (identifier "uVar10") (= "=") (binary_expression "(uVar10 - uVar2) - (uint)bVar13" (parenthesized_expression "(uVar10 - uVar2)" (( "(") (binary_expression "uVar10 - uVar2" (identifier "uVar10") (- "-") (identifier "uVar2")) () ")")) (- "-") (cast_expression "(uint)bVar13" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar13")))) (; ";")) (} "}"))) (expression_statement "*(int *)(param_1 + param_4 * 4) = iVar7;" (assignment_expression "*(int *)(param_1 + param_4 * 4) = iVar7" (pointer_expression "*(int *)(param_1 + param_4 * 4)" (* "*") (cast_expression "(int *)(param_1 + param_4 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + param_4 * 4)" (( "(") (binary_expression "param_1 + param_4 * 4" (identifier "param_1") (+ "+") (binary_expression "param_4 * 4" (identifier "param_4") (* "*") (number_literal "4"))) () ")")))) (= "=") (identifier "iVar7")) (; ";")) (expression_statement "param_4 = param_4 + -1;" (assignment_expression "param_4 = param_4 + -1" (identifier "param_4") (= "=") (binary_expression "param_4 + -1" (identifier "param_4") (+ "+") (number_literal "-1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(-1 < param_4)" (( "(") (binary_expression "-1 < param_4" (number_literal "-1") (< "<") (identifier "param_4")) () ")")) (; ";")) (} "}"))) (expression_statement "*param_3 = uVar11;" (assignment_expression "*param_3 = uVar11" (pointer_expression "*param_3" (* "*") (identifier "param_3")) (= "=") (identifier "uVar11")) (; ";")) (expression_statement "param_3[1] = uVar10;" (assignment_expression "param_3[1] = uVar10" (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar10")) (; ";")) (return_statement "return local_14;" (return "return") (identifier "local_14") (; ";")) (} "}")))

type_1 function_1(int var_17,int var_7,type_2 *var_1,int var_2,type_2 *param_5)

{
  type_2 var_5;
  type_2 var_3;
  type_3 var_8;
  type_4 lVar4;
  type_2 var_9;
  type_2 var_11;
  int var_13;
  type_2 var_10;
  type_2 var_14;
  type_2 var_4;
  type_2 var_6;
  type_2 *var_16;
  bool bVar13;
  type_1 local_14;
  
  local_14 = 0;
  var_5 = *param_5;
  var_3 = param_5[1];
  var_16 = var_1 + var_2 + -3;
  var_4 = var_1[var_2 + -1];
  var_6 = var_1[var_2 + -2];
  if ((var_3 <= var_4) && (var_5 <= var_6 || var_3 < var_4)) {
    bVar13 = var_6 < var_5;
    var_6 = var_6 - var_5;
    var_4 = (var_4 - var_3) - (type_2)bVar13;
    local_14 = 1;
  }
  var_2 = var_7 + -3 + var_2;
  if (-1 < var_2) {
    var_8 = ((type_3)~var_3 << 0x20 | 0xffffffff) / (type_3)var_3;
    var_9 = (type_2)var_8;
    var_10 = (type_2)((var_8 & 0xffffffff) * (type_3)var_5 >> 0x20);
    var_11 = var_9 * var_3 + var_5;
    var_14 = var_10 + var_11;
    for (var_13 = (var_12(var_9 * var_3,var_5) - 1) + (type_2)var_12(var_10,var_11); -1 < var_13;
        var_13 = var_13 - (type_2)bVar13) {
      var_9 = var_9 - 1;
      bVar13 = var_14 < var_3;
      var_14 = var_14 - var_3;
    }
    do {
      lVar4 = (type_3)var_9 * (type_3)var_4 + var_15(var_4,var_6);
      var_11 = (type_2)((type_3)lVar4 >> 0x20);
      var_14 = (type_2)((type_3)var_5 * (type_3)var_11);
      var_4 = 0;
      if (var_7 <= var_2) {
        var_4 = *var_16;
        var_16 = var_16 + -1;
      }
      var_10 = (var_4 - var_5) - var_14;
      var_14 = ((((var_11 * -var_3 + var_6) - var_3) - (type_2)(var_4 < var_5)) -
              (int)((type_3)var_5 * (type_3)var_11 >> 0x20)) - (type_2)(var_4 - var_5 < var_14);
      var_4 = (var_14 < (type_2)lVar4) - 1;
      var_13 = var_11 + 1 + var_4;
      var_6 = var_10 + (var_5 & var_4);
      var_4 = var_14 + (var_4 & var_3) + (type_2)var_12(var_10,var_5 & var_4);
      if ((var_3 <= var_4) && (var_5 <= var_6 || var_3 < var_4)) {
        var_13 = var_13 + 1;
        bVar13 = var_6 < var_5;
        var_6 = var_6 - var_5;
        var_4 = (var_4 - var_3) - (type_2)bVar13;
      }
      *(int *)(var_17 + var_2 * 4) = var_13;
      var_2 = var_2 + -1;
    } while (-1 < var_2);
  }
  *var_1 = var_6;
  var_1[1] = var_4;
  return local_14;
}


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

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

{
  uint uVar1;
  uint uVar2;
  ulonglong uVar3;
  longlong lVar4;
  uint uVar5;
  uint uVar6;
  int iVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint *puVar12;
  bool bVar13;
  undefined4 local_14;
  
  local_14 = 0;
  uVar1 = *param_5;
  uVar2 = param_5[1];
  puVar12 = param_3 + param_4 + -3;
  uVar10 = param_3[param_4 + -1];
  uVar11 = param_3[param_4 + -2];
  if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {
    bVar13 = uVar11 < uVar1;
    uVar11 = uVar11 - uVar1;
    uVar10 = (uVar10 - uVar2) - (uint)bVar13;
    local_14 = 1;
  }
  param_4 = param_2 + -3 + param_4;
  if (-1 < param_4) {
    uVar3 = ((ulonglong)~uVar2 << 0x20 | 0xffffffff) / (ulonglong)uVar2;
    uVar5 = (uint)uVar3;
    uVar8 = (uint)((uVar3 & 0xffffffff) * (ulonglong)uVar1 >> 0x20);
    uVar6 = uVar5 * uVar2 + uVar1;
    uVar9 = uVar8 + uVar6;
    for (iVar7 = (CARRY4(uVar5 * uVar2,uVar1) - 1) + (uint)CARRY4(uVar8,uVar6); -1 < iVar7;
        iVar7 = iVar7 - (uint)bVar13) {
      uVar5 = uVar5 - 1;
      bVar13 = uVar9 < uVar2;
      uVar9 = uVar9 - uVar2;
    }
    do {
      lVar4 = (ulonglong)uVar5 * (ulonglong)uVar10 + CONCAT44(uVar10,uVar11);
      uVar6 = (uint)((ulonglong)lVar4 >> 0x20);
      uVar9 = (uint)((ulonglong)uVar1 * (ulonglong)uVar6);
      uVar10 = 0;
      if (param_2 <= param_4) {
        uVar10 = *puVar12;
        puVar12 = puVar12 + -1;
      }
      uVar8 = (uVar10 - uVar1) - uVar9;
      uVar9 = ((((uVar6 * -uVar2 + uVar11) - uVar2) - (uint)(uVar10 < uVar1)) -
              (int)((ulonglong)uVar1 * (ulonglong)uVar6 >> 0x20)) - (uint)(uVar10 - uVar1 < uVar9);
      uVar10 = (uVar9 < (uint)lVar4) - 1;
      iVar7 = uVar6 + 1 + uVar10;
      uVar11 = uVar8 + (uVar1 & uVar10);
      uVar10 = uVar9 + (uVar10 & uVar2) + (uint)CARRY4(uVar8,uVar1 & uVar10);
      if ((uVar2 <= uVar10) && (uVar1 <= uVar11 || uVar2 < uVar10)) {
        iVar7 = iVar7 + 1;
        bVar13 = uVar11 < uVar1;
        uVar11 = uVar11 - uVar1;
        uVar10 = (uVar10 - uVar2) - (uint)bVar13;
      }
      *(int *)(param_1 + param_4 * 4) = iVar7;
      param_4 = param_4 + -1;
    } while (-1 < param_4);
  }
  *param_3 = uVar11;
  param_3[1] = uVar10;
  return local_14;
}

