
/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */
/* WARNING: Unknown calling convention */

mp_limb_t __gmpn_div_qr_2(mp_ptr qp,mp_ptr rp,mp_srcptr np,mp_size_t nn,mp_srcptr dp)

{
  uint uVar1;
  mp_limb_t mVar2;
  uint uVar3;
  byte bVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  bool bVar10;
  
  uVar1 = dp[1];
  uVar8 = *dp;
  if ((int)uVar1 < 0) {
    if (nn == -1) {
      uVar3 = np[-2];
      uVar6 = np[-3];
      mVar2 = 0;
      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {
        bVar10 = uVar6 < uVar8;
        uVar6 = uVar6 - uVar8;
        uVar3 = (uVar3 - uVar1) - (uint)bVar10;
        mVar2 = 1;
      }
      rp[1] = uVar3;
      *rp = uVar6;
    }
    else {
      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);
      uVar6 = uVar1 * uVar3 + uVar8;
      if (CARRY4(uVar1 * uVar3,uVar8)) {
        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);
        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);
      }
      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);
      uVar5 = uVar6 + uVar9;
      mVar2 = uVar3;
      if (CARRY4(uVar6,uVar9)) {
        mVar2 = uVar3 - 1;
        if ((uVar1 <= uVar5) &&
           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {
          mVar2 = uVar3 - 2;
        }
      }
      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);
    }
  }
  else {
    uVar3 = 0x1f;
    if (uVar1 != 0) {
      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {
      }
    }
    bVar4 = (byte)(uVar3 ^ 0x1f);
    uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f);
    uVar8 = uVar8 << (bVar4 & 0x1f);
    uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9);
    uVar6 = uVar9 * uVar1 + uVar8;
    if (CARRY4(uVar9 * uVar1,uVar8)) {
      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);
      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);
    }
    uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20);
    uVar7 = uVar6 + uVar5;
    mVar2 = uVar1;
    if (CARRY4(uVar6,uVar5)) {
      mVar2 = uVar1 - 1;
      if ((uVar9 <= uVar7) &&
         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {
        mVar2 = uVar1 - 2;
      }
    }
    mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2);
  }
  return mVar2;
}



/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */

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

{
  uint uVar1;
  undefined4 uVar2;
  uint uVar3;
  byte bVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  bool bVar11;
  
  uVar1 = param_5[1];
  uVar9 = *param_5;
  if ((int)uVar1 < 0) {
    if (param_4 == -1) {
      uVar3 = *(uint *)(param_3 + -8);
      uVar7 = *(uint *)(param_3 + -0xc);
      uVar2 = 0;
      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {
        bVar11 = uVar7 < uVar9;
        uVar7 = uVar7 - uVar9;
        uVar3 = (uVar3 - uVar1) - (uint)bVar11;
        uVar2 = 1;
      }
      param_2[1] = uVar3;
      *param_2 = uVar7;
    }
    else {
      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);
      uVar7 = uVar1 * uVar3 + uVar9;
      if (CARRY4(uVar1 * uVar3,uVar9)) {
        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);
        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);
      }
      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);
      uVar6 = uVar7 + uVar5;
      uVar10 = uVar3;
      if (CARRY4(uVar7,uVar5)) {
        uVar10 = uVar3 - 1;
        if ((uVar1 <= uVar6) &&
           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {
          uVar10 = uVar3 - 2;
        }
      }
      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);
    }
  }
  else {
    uVar3 = 0x1f;
    if (uVar1 != 0) {
      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {
      }
    }
    bVar4 = (byte)(uVar3 ^ 0x1f);
    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);
    uVar9 = uVar9 << (bVar4 & 0x1f);
    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);
    uVar7 = uVar10 * uVar1 + uVar9;
    if (CARRY4(uVar10 * uVar1,uVar9)) {
      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);
      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);
    }
    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);
    uVar8 = uVar7 + uVar6;
    uVar5 = uVar1;
    if (CARRY4(uVar7,uVar6)) {
      uVar5 = uVar1 - 1;
      if ((uVar10 <= uVar8) &&
         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {
        uVar5 = uVar1 - 2;
      }
    }
    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);
  }
  return uVar2;
}


CALL 0x0001c5b1
ADD EAX,0x2ebeb
PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
SUB ESP,0x1c
MOV dword ptr [ESP + 0xc],EAX
MOV EAX,dword ptr [ESP + 0x40]
MOV ESI,dword ptr [EAX + 0x4]
MOV EBP,dword ptr [EAX]
TEST ESI,ESI
JS 0x0006f4c0
BSR EDI,ESI
MOV EAX,EBP
XOR EDI,0x1f
MOV ECX,EDI
SHL ESI,CL
MOV ECX,0x20
SUB ECX,EDI
SHR EAX,CL
MOV ECX,EDI
OR ESI,EAX
MOV EAX,0xffffffff
SHL EBP,CL
MOV EDX,ESI
MOV EBX,ESI
NOT EDX
DIV ESI
IMUL EBX,EAX
MOV ECX,EAX
ADD EBX,EBP
JC 0x0006f4a0
MOV EAX,EBP
MUL ECX
ADD EBX,EDX
JC 0x0006f55f
PUSH ECX
PUSH EDI
PUSH EBP
PUSH ESI
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
MOV EBX,dword ptr [ESP + 0x2c]
CALL 0x0001be00
ADD ESP,0x20
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
XOR EDX,EDX
CMP ESI,EBX
SETBE DL
SUB ECX,0x1
SUB EBX,ESI
SUB ECX,EDX
NEG EDX
AND EDX,ESI
SUB EBX,EDX
JMP 0x0006f467
MOV EDX,ESI
CMP dword ptr [ESP + 0x3c],-0x1
NOT EDX
JZ 0x0006f530
MOV EBX,ESI
MOV EAX,0xffffffff
DIV ESI
IMUL EBX,EAX
MOV ECX,EAX
ADD EBX,EBP
JC 0x0006f510
MOV EAX,EBP
MUL ECX
ADD EBX,EDX
JC 0x0006f585
SUB ESP,0x4
PUSH ECX
PUSH EBP
PUSH ESI
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
MOV EBX,dword ptr [ESP + 0x2c]
CALL 0x0001b920
ADD ESP,0x20
JMP 0x0006f493
XOR EDX,EDX
CMP ESI,EBX
SETBE DL
SUB ECX,0x1
SUB EBX,ESI
SUB ECX,EDX
NEG EDX
AND EDX,ESI
SUB EBX,EDX
JMP 0x0006f4dd
MOV EAX,dword ptr [ESP + 0x38]
MOV EDX,dword ptr [EAX + -0x8]
MOV ECX,dword ptr [EAX + -0xc]
XOR EAX,EAX
CMP ESI,EDX
JA 0x0006f546
JC 0x0006f554
CMP EBP,ECX
JBE 0x0006f554
MOV EDI,dword ptr [ESP + 0x34]
MOV dword ptr [EDI + 0x4],EDX
MOV dword ptr [EDI],ECX
JMP 0x0006f493
SUB ECX,EBP
SBB EDX,ESI
MOV EAX,0x1
JMP 0x0006f546
LEA EDX,[ECX + -0x1]
CMP ESI,EBX
JBE 0x0006f577
LEA ESI,[ESI]
LEA ESI,[ESI]
MOV ECX,EDX
JMP 0x0006f473
JC 0x0006f57d
CMP EBP,EAX
JA 0x0006f570
SUB ECX,0x2
JMP 0x0006f473
LEA EDX,[ECX + -0x1]
CMP ESI,EBX
JBE 0x0006f593
MOV ECX,EDX
JMP 0x0006f4e9
JC 0x0006f599
CMP EBP,EAX
JA 0x0006f58c
SUB ECX,0x2
JMP 0x0006f4e9
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n\nundefined4 __gmpn_div_qr_2(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  bool bVar11;\n  \n  uVar1 = param_5[1];\n  uVar9 = *param_5;\n  if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }\n  return uVar2;\n}\n\n" comment (function_definition "undefined4 __gmpn_div_qr_2(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  bool bVar11;\n  \n  uVar1 = param_5[1];\n  uVar9 = *param_5;\n  if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }\n  return uVar2;\n}" type_identifier (function_declarator "__gmpn_div_qr_2(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)" identifier (parameter_list "(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type 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  undefined4 uVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  bool bVar11;\n  \n  uVar1 = param_5[1];\n  uVar9 = *param_5;\n  if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }\n  return uVar2;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "byte bVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "bool bVar11;" primitive_type identifier ;) (expression_statement "uVar1 = param_5[1];" (assignment_expression "uVar1 = param_5[1]" identifier = (subscript_expression "param_5[1]" identifier [ number_literal ])) ;) (expression_statement "uVar9 = *param_5;" (assignment_expression "uVar9 = *param_5" identifier = (pointer_expression "*param_5" * identifier)) ;) (if_statement "if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" if (parenthesized_expression "((int)uVar1 < 0)" ( (binary_expression "(int)uVar1 < 0" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }" { (if_statement "if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" if (parenthesized_expression "(param_4 == -1)" ( (binary_expression "param_4 == -1" identifier == number_literal) )) (compound_statement "{\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }" { (expression_statement "uVar3 = *(uint *)(param_3 + -8);" (assignment_expression "uVar3 = *(uint *)(param_3 + -8)" identifier = (pointer_expression "*(uint *)(param_3 + -8)" * (cast_expression "(uint *)(param_3 + -8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + -8)" ( (binary_expression "param_3 + -8" identifier + number_literal) ))))) ;) (expression_statement "uVar7 = *(uint *)(param_3 + -0xc);" (assignment_expression "uVar7 = *(uint *)(param_3 + -0xc)" identifier = (pointer_expression "*(uint *)(param_3 + -0xc)" * (cast_expression "(uint *)(param_3 + -0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + -0xc)" ( (binary_expression "param_3 + -0xc" identifier + number_literal) ))))) ;) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (if_statement "if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }" if (parenthesized_expression "((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7))))" ( (binary_expression "(uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))" (parenthesized_expression "(uVar1 <= uVar3)" ( (binary_expression "uVar1 <= uVar3" identifier <= identifier) )) && (parenthesized_expression "((uVar1 < uVar3 || (uVar9 <= uVar7)))" ( (parenthesized_expression "(uVar1 < uVar3 || (uVar9 <= uVar7))" ( (binary_expression "uVar1 < uVar3 || (uVar9 <= uVar7)" (binary_expression "uVar1 < uVar3" identifier < identifier) || (parenthesized_expression "(uVar9 <= uVar7)" ( (binary_expression "uVar9 <= uVar7" identifier <= identifier) ))) )) ))) )) (compound_statement "{\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }" { (expression_statement "bVar11 = uVar7 < uVar9;" (assignment_expression "bVar11 = uVar7 < uVar9" identifier = (binary_expression "uVar7 < uVar9" identifier < identifier)) ;) (expression_statement "uVar7 = uVar7 - uVar9;" (assignment_expression "uVar7 = uVar7 - uVar9" identifier = (binary_expression "uVar7 - uVar9" identifier - identifier)) ;) (expression_statement "uVar3 = (uVar3 - uVar1) - (uint)bVar11;" (assignment_expression "uVar3 = (uVar3 - uVar1) - (uint)bVar11" identifier = (binary_expression "(uVar3 - uVar1) - (uint)bVar11" (parenthesized_expression "(uVar3 - uVar1)" ( (binary_expression "uVar3 - uVar1" identifier - identifier) )) - (cast_expression "(uint)bVar11" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (expression_statement "uVar2 = 1;" (assignment_expression "uVar2 = 1" identifier = number_literal) ;) })) (expression_statement "param_2[1] = uVar3;" (assignment_expression "param_2[1] = uVar3" (subscript_expression "param_2[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "*param_2 = uVar7;" (assignment_expression "*param_2 = uVar7" (pointer_expression "*param_2" * identifier) = identifier) ;) }) (else_clause "else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" else (compound_statement "{\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" { (expression_statement "uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);" (assignment_expression "uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" identifier = (call_expression "(uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" ( (binary_expression "((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1" (parenthesized_expression "((ulonglong)~uVar1 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar1 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar1 << 0x20" (cast_expression "(ulonglong)~uVar1" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar1" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar7 = uVar1 * uVar3 + uVar9;" (assignment_expression "uVar7 = uVar1 * uVar3 + uVar9" identifier = (binary_expression "uVar1 * uVar3 + uVar9" (binary_expression "uVar1 * uVar3" identifier * identifier) + identifier)) ;) (if_statement "if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }" if (parenthesized_expression "(CARRY4(uVar1 * uVar3,uVar9))" ( (call_expression "CARRY4(uVar1 * uVar3,uVar9)" identifier (argument_list "(uVar1 * uVar3,uVar9)" ( (binary_expression "uVar1 * uVar3" identifier * identifier) , identifier ))) )) (compound_statement "{\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }" { (expression_statement "uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);" (assignment_expression "uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7)" identifier = (binary_expression "(uVar3 - 1) - (uint)(uVar1 <= uVar7)" (parenthesized_expression "(uVar3 - 1)" ( (binary_expression "uVar3 - 1" identifier - number_literal) )) - (call_expression "(uint)(uVar1 <= uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 <= uVar7)" ( (binary_expression "uVar1 <= uVar7" identifier <= identifier) ))))) ;) (expression_statement "uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);" (assignment_expression "uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1)" identifier = (binary_expression "(uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1)" (parenthesized_expression "(uVar7 - uVar1)" ( (binary_expression "uVar7 - uVar1" identifier - identifier) )) - (parenthesized_expression "(-(uint)(uVar1 <= uVar7) & uVar1)" ( (binary_expression "-(uint)(uVar1 <= uVar7) & uVar1" (unary_expression "-(uint)(uVar1 <= uVar7)" - (call_expression "(uint)(uVar1 <= uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 <= uVar7)" ( (binary_expression "uVar1 <= uVar7" identifier <= identifier) )))) & identifier) )))) ;) })) (expression_statement "uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);" (assignment_expression "uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" ( (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20" (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar6 = uVar7 + uVar5;" (assignment_expression "uVar6 = uVar7 + uVar5" identifier = (binary_expression "uVar7 + uVar5" identifier + identifier)) ;) (expression_statement "uVar10 = uVar3;" (assignment_expression "uVar10 = uVar3" identifier = identifier) ;) (if_statement "if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }" if (parenthesized_expression "(CARRY4(uVar7,uVar5))" ( (call_expression "CARRY4(uVar7,uVar5)" identifier (argument_list "(uVar7,uVar5)" ( identifier , identifier ))) )) (compound_statement "{\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }" { (expression_statement "uVar10 = uVar3 - 1;" (assignment_expression "uVar10 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (if_statement "if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }" if (parenthesized_expression "((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)))))" ( (binary_expression "(uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))" (parenthesized_expression "(uVar1 <= uVar6)" ( (binary_expression "uVar1 <= uVar6" identifier <= identifier) )) && (parenthesized_expression "((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))" ( (parenthesized_expression "(uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)))" ( (binary_expression "uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))" (binary_expression "uVar1 < uVar6" identifier < identifier) || (parenthesized_expression "(uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))" ( (binary_expression "uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)" identifier <= (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar3)" ( (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ))) )) ))) )) (compound_statement "{\n          uVar10 = uVar3 - 2;\n        }" { (expression_statement "uVar10 = uVar3 - 2;" (assignment_expression "uVar10 = uVar3 - 2" identifier = (binary_expression "uVar3 - 2" identifier - number_literal)) ;) })) })) (expression_statement "uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);" (assignment_expression "uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" identifier = (call_expression "__gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" identifier (argument_list "(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" ( identifier , identifier , identifier , identifier , identifier , identifier , identifier )))) ;) }))) }) (else_clause "else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" else (compound_statement "{\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" { (expression_statement "uVar3 = 0x1f;" (assignment_expression "uVar3 = 0x1f" identifier = number_literal) ;) (if_statement "if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }" if (parenthesized_expression "(uVar1 != 0)" ( (binary_expression "uVar1 != 0" identifier != number_literal) )) (compound_statement "{\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }" { (for_statement "for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }" for ( ; (binary_expression "uVar1 >> uVar3 == 0" (binary_expression "uVar1 >> uVar3" identifier >> identifier) == number_literal) ; (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ) (compound_statement "{\n      }" { })) })) (expression_statement "bVar4 = (byte)(uVar3 ^ 0x1f);" (assignment_expression "bVar4 = (byte)(uVar3 ^ 0x1f)" identifier = (call_expression "(byte)(uVar3 ^ 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(uVar3 ^ 0x1f)" ( (binary_expression "uVar3 ^ 0x1f" identifier ^ number_literal) )))) ;) (expression_statement "uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);" (assignment_expression "uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f)" identifier = (binary_expression "uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f)" (binary_expression "uVar1 << (bVar4 & 0x1f)" identifier << (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar9 >> (0x20 - bVar4 & 0x1f)" identifier >> (parenthesized_expression "(0x20 - bVar4 & 0x1f)" ( (binary_expression "0x20 - bVar4 & 0x1f" (binary_expression "0x20 - bVar4" number_literal - identifier) & number_literal) ))))) ;) (expression_statement "uVar9 = uVar9 << (bVar4 & 0x1f);" (assignment_expression "uVar9 = uVar9 << (bVar4 & 0x1f)" identifier = (binary_expression "uVar9 << (bVar4 & 0x1f)" identifier << (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);" (assignment_expression "uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" identifier = (call_expression "(uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" ( (binary_expression "((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10" (parenthesized_expression "((ulonglong)~uVar10 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar10 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar10 << 0x20" (cast_expression "(ulonglong)~uVar10" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar10" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar10" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar7 = uVar10 * uVar1 + uVar9;" (assignment_expression "uVar7 = uVar10 * uVar1 + uVar9" identifier = (binary_expression "uVar10 * uVar1 + uVar9" (binary_expression "uVar10 * uVar1" identifier * identifier) + identifier)) ;) (if_statement "if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }" if (parenthesized_expression "(CARRY4(uVar10 * uVar1,uVar9))" ( (call_expression "CARRY4(uVar10 * uVar1,uVar9)" identifier (argument_list "(uVar10 * uVar1,uVar9)" ( (binary_expression "uVar10 * uVar1" identifier * identifier) , identifier ))) )) (compound_statement "{\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }" { (expression_statement "uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);" (assignment_expression "uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7)" identifier = (binary_expression "(uVar1 - 1) - (uint)(uVar10 <= uVar7)" (parenthesized_expression "(uVar1 - 1)" ( (binary_expression "uVar1 - 1" identifier - number_literal) )) - (call_expression "(uint)(uVar10 <= uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 <= uVar7)" ( (binary_expression "uVar10 <= uVar7" identifier <= identifier) ))))) ;) (expression_statement "uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);" (assignment_expression "uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10)" identifier = (binary_expression "(uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10)" (parenthesized_expression "(uVar7 - uVar10)" ( (binary_expression "uVar7 - uVar10" identifier - identifier) )) - (parenthesized_expression "(-(uint)(uVar10 <= uVar7) & uVar10)" ( (binary_expression "-(uint)(uVar10 <= uVar7) & uVar10" (unary_expression "-(uint)(uVar10 <= uVar7)" - (call_expression "(uint)(uVar10 <= uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 <= uVar7)" ( (binary_expression "uVar10 <= uVar7" identifier <= identifier) )))) & identifier) )))) ;) })) (expression_statement "uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" ( (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20" (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar8 = uVar7 + uVar6;" (assignment_expression "uVar8 = uVar7 + uVar6" identifier = (binary_expression "uVar7 + uVar6" identifier + identifier)) ;) (expression_statement "uVar5 = uVar1;" (assignment_expression "uVar5 = uVar1" identifier = identifier) ;) (if_statement "if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }" if (parenthesized_expression "(CARRY4(uVar7,uVar6))" ( (call_expression "CARRY4(uVar7,uVar6)" identifier (argument_list "(uVar7,uVar6)" ( identifier , identifier ))) )) (compound_statement "{\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }" { (expression_statement "uVar5 = uVar1 - 1;" (assignment_expression "uVar5 = uVar1 - 1" identifier = (binary_expression "uVar1 - 1" identifier - number_literal)) ;) (if_statement "if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }" if (parenthesized_expression "((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)))))" ( (binary_expression "(uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))" (parenthesized_expression "(uVar10 <= uVar8)" ( (binary_expression "uVar10 <= uVar8" identifier <= identifier) )) && (parenthesized_expression "((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))" ( (parenthesized_expression "(uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)))" ( (binary_expression "uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))" (binary_expression "uVar10 < uVar8" identifier < identifier) || (parenthesized_expression "(uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))" ( (binary_expression "uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)" identifier <= (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar1)" ( (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ))) )) ))) )) (compound_statement "{\n        uVar5 = uVar1 - 2;\n      }" { (expression_statement "uVar5 = uVar1 - 2;" (assignment_expression "uVar5 = uVar1 - 2" identifier = (binary_expression "uVar1 - 2" identifier - number_literal)) ;) })) })) (expression_statement "uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);" (assignment_expression "uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" identifier = (call_expression "__gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" identifier (argument_list "(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" ( identifier , identifier , identifier , identifier , identifier , identifier , (binary_expression "uVar3 ^ 0x1f" identifier ^ number_literal) , identifier )))) ;) }))) (return_statement "return uVar2;" return identifier ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n/* WARNING: Unknown calling convention */\n\nmp_limb_t __gmpn_div_qr_2(mp_ptr qp,mp_ptr rp,mp_srcptr np,mp_size_t nn,mp_srcptr dp)\n\n{\n  uint uVar1;\n  mp_limb_t mVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  bool bVar10;\n  \n  uVar1 = dp[1];\n  uVar8 = *dp;\n  if ((int)uVar1 < 0) {\n    if (nn == -1) {\n      uVar3 = np[-2];\n      uVar6 = np[-3];\n      mVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }\n      rp[1] = uVar3;\n      *rp = uVar6;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar6 = uVar1 * uVar3 + uVar8;\n      if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }\n      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);\n      uVar5 = uVar6 + uVar9;\n      mVar2 = uVar3;\n      if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }\n      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f);\n    uVar8 = uVar8 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9);\n    uVar6 = uVar9 * uVar1 + uVar8;\n    if (CARRY4(uVar9 * uVar1,uVar8)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);\n      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);\n    }\n    uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20);\n    uVar7 = uVar6 + uVar5;\n    mVar2 = uVar1;\n    if (CARRY4(uVar6,uVar5)) {\n      mVar2 = uVar1 - 1;\n      if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }\n    }\n    mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2);\n  }\n  return mVar2;\n}\n\n" comment comment (function_definition "mp_limb_t __gmpn_div_qr_2(mp_ptr qp,mp_ptr rp,mp_srcptr np,mp_size_t nn,mp_srcptr dp)\n\n{\n  uint uVar1;\n  mp_limb_t mVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  bool bVar10;\n  \n  uVar1 = dp[1];\n  uVar8 = *dp;\n  if ((int)uVar1 < 0) {\n    if (nn == -1) {\n      uVar3 = np[-2];\n      uVar6 = np[-3];\n      mVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }\n      rp[1] = uVar3;\n      *rp = uVar6;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar6 = uVar1 * uVar3 + uVar8;\n      if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }\n      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);\n      uVar5 = uVar6 + uVar9;\n      mVar2 = uVar3;\n      if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }\n      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f);\n    uVar8 = uVar8 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9);\n    uVar6 = uVar9 * uVar1 + uVar8;\n    if (CARRY4(uVar9 * uVar1,uVar8)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);\n      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);\n    }\n    uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20);\n    uVar7 = uVar6 + uVar5;\n    mVar2 = uVar1;\n    if (CARRY4(uVar6,uVar5)) {\n      mVar2 = uVar1 - 1;\n      if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }\n    }\n    mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2);\n  }\n  return mVar2;\n}" type_identifier (function_declarator "__gmpn_div_qr_2(mp_ptr qp,mp_ptr rp,mp_srcptr np,mp_size_t nn,mp_srcptr dp)" identifier (parameter_list "(mp_ptr qp,mp_ptr rp,mp_srcptr np,mp_size_t nn,mp_srcptr dp)" ( (parameter_declaration "mp_ptr qp" type_identifier identifier) , (parameter_declaration "mp_ptr rp" type_identifier identifier) , (parameter_declaration "mp_srcptr np" type_identifier identifier) , (parameter_declaration "mp_size_t nn" type_identifier identifier) , (parameter_declaration "mp_srcptr dp" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  mp_limb_t mVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  bool bVar10;\n  \n  uVar1 = dp[1];\n  uVar8 = *dp;\n  if ((int)uVar1 < 0) {\n    if (nn == -1) {\n      uVar3 = np[-2];\n      uVar6 = np[-3];\n      mVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }\n      rp[1] = uVar3;\n      *rp = uVar6;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar6 = uVar1 * uVar3 + uVar8;\n      if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }\n      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);\n      uVar5 = uVar6 + uVar9;\n      mVar2 = uVar3;\n      if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }\n      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f);\n    uVar8 = uVar8 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9);\n    uVar6 = uVar9 * uVar1 + uVar8;\n    if (CARRY4(uVar9 * uVar1,uVar8)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);\n      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);\n    }\n    uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20);\n    uVar7 = uVar6 + uVar5;\n    mVar2 = uVar1;\n    if (CARRY4(uVar6,uVar5)) {\n      mVar2 = uVar1 - 1;\n      if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }\n    }\n    mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2);\n  }\n  return mVar2;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "mp_limb_t mVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "byte bVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "bool bVar10;" primitive_type identifier ;) (expression_statement "uVar1 = dp[1];" (assignment_expression "uVar1 = dp[1]" identifier = (subscript_expression "dp[1]" identifier [ number_literal ])) ;) (expression_statement "uVar8 = *dp;" (assignment_expression "uVar8 = *dp" identifier = (pointer_expression "*dp" * identifier)) ;) (if_statement "if ((int)uVar1 < 0) {\n    if (nn == -1) {\n      uVar3 = np[-2];\n      uVar6 = np[-3];\n      mVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }\n      rp[1] = uVar3;\n      *rp = uVar6;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar6 = uVar1 * uVar3 + uVar8;\n      if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }\n      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);\n      uVar5 = uVar6 + uVar9;\n      mVar2 = uVar3;\n      if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }\n      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f);\n    uVar8 = uVar8 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9);\n    uVar6 = uVar9 * uVar1 + uVar8;\n    if (CARRY4(uVar9 * uVar1,uVar8)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);\n      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);\n    }\n    uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20);\n    uVar7 = uVar6 + uVar5;\n    mVar2 = uVar1;\n    if (CARRY4(uVar6,uVar5)) {\n      mVar2 = uVar1 - 1;\n      if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }\n    }\n    mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2);\n  }" if (parenthesized_expression "((int)uVar1 < 0)" ( (binary_expression "(int)uVar1 < 0" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    if (nn == -1) {\n      uVar3 = np[-2];\n      uVar6 = np[-3];\n      mVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }\n      rp[1] = uVar3;\n      *rp = uVar6;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar6 = uVar1 * uVar3 + uVar8;\n      if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }\n      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);\n      uVar5 = uVar6 + uVar9;\n      mVar2 = uVar3;\n      if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }\n      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);\n    }\n  }" { (if_statement "if (nn == -1) {\n      uVar3 = np[-2];\n      uVar6 = np[-3];\n      mVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }\n      rp[1] = uVar3;\n      *rp = uVar6;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar6 = uVar1 * uVar3 + uVar8;\n      if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }\n      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);\n      uVar5 = uVar6 + uVar9;\n      mVar2 = uVar3;\n      if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }\n      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);\n    }" if (parenthesized_expression "(nn == -1)" ( (binary_expression "nn == -1" identifier == number_literal) )) (compound_statement "{\n      uVar3 = np[-2];\n      uVar6 = np[-3];\n      mVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }\n      rp[1] = uVar3;\n      *rp = uVar6;\n    }" { (expression_statement "uVar3 = np[-2];" (assignment_expression "uVar3 = np[-2]" identifier = (subscript_expression "np[-2]" identifier [ number_literal ])) ;) (expression_statement "uVar6 = np[-3];" (assignment_expression "uVar6 = np[-3]" identifier = (subscript_expression "np[-3]" identifier [ number_literal ])) ;) (expression_statement "mVar2 = 0;" (assignment_expression "mVar2 = 0" identifier = number_literal) ;) (if_statement "if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))) {\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }" if (parenthesized_expression "((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6))))" ( (binary_expression "(uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar8 <= uVar6)))" (parenthesized_expression "(uVar1 <= uVar3)" ( (binary_expression "uVar1 <= uVar3" identifier <= identifier) )) && (parenthesized_expression "((uVar1 < uVar3 || (uVar8 <= uVar6)))" ( (parenthesized_expression "(uVar1 < uVar3 || (uVar8 <= uVar6))" ( (binary_expression "uVar1 < uVar3 || (uVar8 <= uVar6)" (binary_expression "uVar1 < uVar3" identifier < identifier) || (parenthesized_expression "(uVar8 <= uVar6)" ( (binary_expression "uVar8 <= uVar6" identifier <= identifier) ))) )) ))) )) (compound_statement "{\n        bVar10 = uVar6 < uVar8;\n        uVar6 = uVar6 - uVar8;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar10;\n        mVar2 = 1;\n      }" { (expression_statement "bVar10 = uVar6 < uVar8;" (assignment_expression "bVar10 = uVar6 < uVar8" identifier = (binary_expression "uVar6 < uVar8" identifier < identifier)) ;) (expression_statement "uVar6 = uVar6 - uVar8;" (assignment_expression "uVar6 = uVar6 - uVar8" identifier = (binary_expression "uVar6 - uVar8" identifier - identifier)) ;) (expression_statement "uVar3 = (uVar3 - uVar1) - (uint)bVar10;" (assignment_expression "uVar3 = (uVar3 - uVar1) - (uint)bVar10" identifier = (binary_expression "(uVar3 - uVar1) - (uint)bVar10" (parenthesized_expression "(uVar3 - uVar1)" ( (binary_expression "uVar3 - uVar1" identifier - identifier) )) - (cast_expression "(uint)bVar10" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (expression_statement "mVar2 = 1;" (assignment_expression "mVar2 = 1" identifier = number_literal) ;) })) (expression_statement "rp[1] = uVar3;" (assignment_expression "rp[1] = uVar3" (subscript_expression "rp[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "*rp = uVar6;" (assignment_expression "*rp = uVar6" (pointer_expression "*rp" * identifier) = identifier) ;) }) (else_clause "else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar6 = uVar1 * uVar3 + uVar8;\n      if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }\n      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);\n      uVar5 = uVar6 + uVar9;\n      mVar2 = uVar3;\n      if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }\n      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);\n    }" else (compound_statement "{\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar6 = uVar1 * uVar3 + uVar8;\n      if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }\n      uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);\n      uVar5 = uVar6 + uVar9;\n      mVar2 = uVar3;\n      if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }\n      mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);\n    }" { (expression_statement "uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);" (assignment_expression "uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" identifier = (call_expression "(uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" ( (binary_expression "((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1" (parenthesized_expression "((ulonglong)~uVar1 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar1 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar1 << 0x20" (cast_expression "(ulonglong)~uVar1" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar1" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar6 = uVar1 * uVar3 + uVar8;" (assignment_expression "uVar6 = uVar1 * uVar3 + uVar8" identifier = (binary_expression "uVar1 * uVar3 + uVar8" (binary_expression "uVar1 * uVar3" identifier * identifier) + identifier)) ;) (if_statement "if (CARRY4(uVar1 * uVar3,uVar8)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }" if (parenthesized_expression "(CARRY4(uVar1 * uVar3,uVar8))" ( (call_expression "CARRY4(uVar1 * uVar3,uVar8)" identifier (argument_list "(uVar1 * uVar3,uVar8)" ( (binary_expression "uVar1 * uVar3" identifier * identifier) , identifier ))) )) (compound_statement "{\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);\n        uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);\n      }" { (expression_statement "uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6);" (assignment_expression "uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar6)" identifier = (binary_expression "(uVar3 - 1) - (uint)(uVar1 <= uVar6)" (parenthesized_expression "(uVar3 - 1)" ( (binary_expression "uVar3 - 1" identifier - number_literal) )) - (call_expression "(uint)(uVar1 <= uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 <= uVar6)" ( (binary_expression "uVar1 <= uVar6" identifier <= identifier) ))))) ;) (expression_statement "uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1);" (assignment_expression "uVar6 = (uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1)" identifier = (binary_expression "(uVar6 - uVar1) - (-(uint)(uVar1 <= uVar6) & uVar1)" (parenthesized_expression "(uVar6 - uVar1)" ( (binary_expression "uVar6 - uVar1" identifier - identifier) )) - (parenthesized_expression "(-(uint)(uVar1 <= uVar6) & uVar1)" ( (binary_expression "-(uint)(uVar1 <= uVar6) & uVar1" (unary_expression "-(uint)(uVar1 <= uVar6)" - (call_expression "(uint)(uVar1 <= uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 <= uVar6)" ( (binary_expression "uVar1 <= uVar6" identifier <= identifier) )))) & identifier) )))) ;) })) (expression_statement "uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20);" (assignment_expression "uVar9 = (uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20)" ( (binary_expression "(ulonglong)uVar8 * (ulonglong)uVar3 >> 0x20" (binary_expression "(ulonglong)uVar8 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar5 = uVar6 + uVar9;" (assignment_expression "uVar5 = uVar6 + uVar9" identifier = (binary_expression "uVar6 + uVar9" identifier + identifier)) ;) (expression_statement "mVar2 = uVar3;" (assignment_expression "mVar2 = uVar3" identifier = identifier) ;) (if_statement "if (CARRY4(uVar6,uVar9)) {\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }" if (parenthesized_expression "(CARRY4(uVar6,uVar9))" ( (call_expression "CARRY4(uVar6,uVar9)" identifier (argument_list "(uVar6,uVar9)" ( identifier , identifier ))) )) (compound_statement "{\n        mVar2 = uVar3 - 1;\n        if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }\n      }" { (expression_statement "mVar2 = uVar3 - 1;" (assignment_expression "mVar2 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (if_statement "if ((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))) {\n          mVar2 = uVar3 - 2;\n        }" if (parenthesized_expression "((uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3)))))" ( (binary_expression "(uVar1 <= uVar5) &&\n           ((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))" (parenthesized_expression "(uVar1 <= uVar5)" ( (binary_expression "uVar1 <= uVar5" identifier <= identifier) )) && (parenthesized_expression "((uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))))" ( (parenthesized_expression "(uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3)))" ( (binary_expression "uVar1 < uVar5 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))" (binary_expression "uVar1 < uVar5" identifier < identifier) || (parenthesized_expression "(uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3))" ( (binary_expression "uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar3)" identifier <= (call_expression "(uint)((ulonglong)uVar8 * (ulonglong)uVar3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar8 * (ulonglong)uVar3)" ( (binary_expression "(ulonglong)uVar8 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ))) )) ))) )) (compound_statement "{\n          mVar2 = uVar3 - 2;\n        }" { (expression_statement "mVar2 = uVar3 - 2;" (assignment_expression "mVar2 = uVar3 - 2" identifier = (binary_expression "uVar3 - 2" identifier - number_literal)) ;) })) })) (expression_statement "mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2);" (assignment_expression "mVar2 = __gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2)" identifier = (call_expression "__gmpn_div_qr_2n_pi1(qp,rp,np,nn,uVar1,uVar8,mVar2)" identifier (argument_list "(qp,rp,np,nn,uVar1,uVar8,mVar2)" ( identifier , identifier , identifier , identifier , identifier , identifier , identifier )))) ;) }))) }) (else_clause "else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f);\n    uVar8 = uVar8 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9);\n    uVar6 = uVar9 * uVar1 + uVar8;\n    if (CARRY4(uVar9 * uVar1,uVar8)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);\n      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);\n    }\n    uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20);\n    uVar7 = uVar6 + uVar5;\n    mVar2 = uVar1;\n    if (CARRY4(uVar6,uVar5)) {\n      mVar2 = uVar1 - 1;\n      if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }\n    }\n    mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2);\n  }" else (compound_statement "{\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f);\n    uVar8 = uVar8 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9);\n    uVar6 = uVar9 * uVar1 + uVar8;\n    if (CARRY4(uVar9 * uVar1,uVar8)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);\n      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);\n    }\n    uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20);\n    uVar7 = uVar6 + uVar5;\n    mVar2 = uVar1;\n    if (CARRY4(uVar6,uVar5)) {\n      mVar2 = uVar1 - 1;\n      if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }\n    }\n    mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2);\n  }" { (expression_statement "uVar3 = 0x1f;" (assignment_expression "uVar3 = 0x1f" identifier = number_literal) ;) (if_statement "if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }" if (parenthesized_expression "(uVar1 != 0)" ( (binary_expression "uVar1 != 0" identifier != number_literal) )) (compound_statement "{\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }" { (for_statement "for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }" for ( ; (binary_expression "uVar1 >> uVar3 == 0" (binary_expression "uVar1 >> uVar3" identifier >> identifier) == number_literal) ; (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ) (compound_statement "{\n      }" { })) })) (expression_statement "bVar4 = (byte)(uVar3 ^ 0x1f);" (assignment_expression "bVar4 = (byte)(uVar3 ^ 0x1f)" identifier = (call_expression "(byte)(uVar3 ^ 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(uVar3 ^ 0x1f)" ( (binary_expression "uVar3 ^ 0x1f" identifier ^ number_literal) )))) ;) (expression_statement "uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f);" (assignment_expression "uVar9 = uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f)" identifier = (binary_expression "uVar1 << (bVar4 & 0x1f) | uVar8 >> (0x20 - bVar4 & 0x1f)" (binary_expression "uVar1 << (bVar4 & 0x1f)" identifier << (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar8 >> (0x20 - bVar4 & 0x1f)" identifier >> (parenthesized_expression "(0x20 - bVar4 & 0x1f)" ( (binary_expression "0x20 - bVar4 & 0x1f" (binary_expression "0x20 - bVar4" number_literal - identifier) & number_literal) ))))) ;) (expression_statement "uVar8 = uVar8 << (bVar4 & 0x1f);" (assignment_expression "uVar8 = uVar8 << (bVar4 & 0x1f)" identifier = (binary_expression "uVar8 << (bVar4 & 0x1f)" identifier << (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9);" (assignment_expression "uVar1 = (uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9)" identifier = (call_expression "(uint)(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9)" ( (binary_expression "((ulonglong)~uVar9 << 0x20 | 0xffffffff) / (ulonglong)uVar9" (parenthesized_expression "((ulonglong)~uVar9 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar9 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar9 << 0x20" (cast_expression "(ulonglong)~uVar9" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar9" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar6 = uVar9 * uVar1 + uVar8;" (assignment_expression "uVar6 = uVar9 * uVar1 + uVar8" identifier = (binary_expression "uVar9 * uVar1 + uVar8" (binary_expression "uVar9 * uVar1" identifier * identifier) + identifier)) ;) (if_statement "if (CARRY4(uVar9 * uVar1,uVar8)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);\n      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);\n    }" if (parenthesized_expression "(CARRY4(uVar9 * uVar1,uVar8))" ( (call_expression "CARRY4(uVar9 * uVar1,uVar8)" identifier (argument_list "(uVar9 * uVar1,uVar8)" ( (binary_expression "uVar9 * uVar1" identifier * identifier) , identifier ))) )) (compound_statement "{\n      uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);\n      uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);\n    }" { (expression_statement "uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6);" (assignment_expression "uVar1 = (uVar1 - 1) - (uint)(uVar9 <= uVar6)" identifier = (binary_expression "(uVar1 - 1) - (uint)(uVar9 <= uVar6)" (parenthesized_expression "(uVar1 - 1)" ( (binary_expression "uVar1 - 1" identifier - number_literal) )) - (call_expression "(uint)(uVar9 <= uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar9 <= uVar6)" ( (binary_expression "uVar9 <= uVar6" identifier <= identifier) ))))) ;) (expression_statement "uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9);" (assignment_expression "uVar6 = (uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9)" identifier = (binary_expression "(uVar6 - uVar9) - (-(uint)(uVar9 <= uVar6) & uVar9)" (parenthesized_expression "(uVar6 - uVar9)" ( (binary_expression "uVar6 - uVar9" identifier - identifier) )) - (parenthesized_expression "(-(uint)(uVar9 <= uVar6) & uVar9)" ( (binary_expression "-(uint)(uVar9 <= uVar6) & uVar9" (unary_expression "-(uint)(uVar9 <= uVar6)" - (call_expression "(uint)(uVar9 <= uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar9 <= uVar6)" ( (binary_expression "uVar9 <= uVar6" identifier <= identifier) )))) & identifier) )))) ;) })) (expression_statement "uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20);" (assignment_expression "uVar5 = (uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20)" ( (binary_expression "(ulonglong)uVar8 * (ulonglong)uVar1 >> 0x20" (binary_expression "(ulonglong)uVar8 * (ulonglong)uVar1" (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar7 = uVar6 + uVar5;" (assignment_expression "uVar7 = uVar6 + uVar5" identifier = (binary_expression "uVar6 + uVar5" identifier + identifier)) ;) (expression_statement "mVar2 = uVar1;" (assignment_expression "mVar2 = uVar1" identifier = identifier) ;) (if_statement "if (CARRY4(uVar6,uVar5)) {\n      mVar2 = uVar1 - 1;\n      if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }\n    }" if (parenthesized_expression "(CARRY4(uVar6,uVar5))" ( (call_expression "CARRY4(uVar6,uVar5)" identifier (argument_list "(uVar6,uVar5)" ( identifier , identifier ))) )) (compound_statement "{\n      mVar2 = uVar1 - 1;\n      if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }\n    }" { (expression_statement "mVar2 = uVar1 - 1;" (assignment_expression "mVar2 = uVar1 - 1" identifier = (binary_expression "uVar1 - 1" identifier - number_literal)) ;) (if_statement "if ((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))) {\n        mVar2 = uVar1 - 2;\n      }" if (parenthesized_expression "((uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1)))))" ( (binary_expression "(uVar9 <= uVar7) &&\n         ((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))" (parenthesized_expression "(uVar9 <= uVar7)" ( (binary_expression "uVar9 <= uVar7" identifier <= identifier) )) && (parenthesized_expression "((uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))))" ( (parenthesized_expression "(uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1)))" ( (binary_expression "uVar9 < uVar7 || (uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))" (binary_expression "uVar9 < uVar7" identifier < identifier) || (parenthesized_expression "(uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1))" ( (binary_expression "uVar8 <= (uint)((ulonglong)uVar8 * (ulonglong)uVar1)" identifier <= (call_expression "(uint)((ulonglong)uVar8 * (ulonglong)uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar8 * (ulonglong)uVar1)" ( (binary_expression "(ulonglong)uVar8 * (ulonglong)uVar1" (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ))) )) ))) )) (compound_statement "{\n        mVar2 = uVar1 - 2;\n      }" { (expression_statement "mVar2 = uVar1 - 2;" (assignment_expression "mVar2 = uVar1 - 2" identifier = (binary_expression "uVar1 - 2" identifier - number_literal)) ;) })) })) (expression_statement "mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2);" (assignment_expression "mVar2 = __gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2)" identifier = (call_expression "__gmpn_div_qr_2u_pi1(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2)" identifier (argument_list "(qp,rp,np,nn,uVar9,uVar8,uVar3 ^ 0x1f,mVar2)" ( identifier , identifier , identifier , identifier , identifier , identifier , (binary_expression "uVar3 ^ 0x1f" identifier ^ number_literal) , identifier )))) ;) }))) (return_statement "return mVar2;" return identifier ;) })))
(translation_unit "undefined4 __gmpn_div_qr_2(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  bool bVar11;\n  \n  uVar1 = param_5[1];\n  uVar9 = *param_5;\n  if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }\n  return uVar2;\n}\n\n" (function_definition "undefined4 __gmpn_div_qr_2(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  bool bVar11;\n  \n  uVar1 = param_5[1];\n  uVar9 = *param_5;\n  if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }\n  return uVar2;\n}" type_identifier (function_declarator "__gmpn_div_qr_2(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)" identifier (parameter_list "(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type 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  undefined4 uVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  bool bVar11;\n  \n  uVar1 = param_5[1];\n  uVar9 = *param_5;\n  if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }\n  return uVar2;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "byte bVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "bool bVar11;" primitive_type identifier ;) (expression_statement "uVar1 = param_5[1];" (assignment_expression "uVar1 = param_5[1]" identifier = (subscript_expression "param_5[1]" identifier [ number_literal ])) ;) (expression_statement "uVar9 = *param_5;" (assignment_expression "uVar9 = *param_5" identifier = (pointer_expression "*param_5" * identifier)) ;) (if_statement "if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" if (parenthesized_expression "((int)uVar1 < 0)" ( (binary_expression "(int)uVar1 < 0" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }" { (if_statement "if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" if (parenthesized_expression "(param_4 == -1)" ( (binary_expression "param_4 == -1" identifier == number_literal) )) (compound_statement "{\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }" { (expression_statement "uVar3 = *(uint *)(param_3 + -8);" (assignment_expression "uVar3 = *(uint *)(param_3 + -8)" identifier = (pointer_expression "*(uint *)(param_3 + -8)" * (cast_expression "(uint *)(param_3 + -8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + -8)" ( (binary_expression "param_3 + -8" identifier + number_literal) ))))) ;) (expression_statement "uVar7 = *(uint *)(param_3 + -0xc);" (assignment_expression "uVar7 = *(uint *)(param_3 + -0xc)" identifier = (pointer_expression "*(uint *)(param_3 + -0xc)" * (cast_expression "(uint *)(param_3 + -0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + -0xc)" ( (binary_expression "param_3 + -0xc" identifier + number_literal) ))))) ;) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (if_statement "if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }" if (parenthesized_expression "((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7))))" ( (binary_expression "(uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))" (parenthesized_expression "(uVar1 <= uVar3)" ( (binary_expression "uVar1 <= uVar3" identifier <= identifier) )) && (parenthesized_expression "((uVar1 < uVar3 || (uVar9 <= uVar7)))" ( (parenthesized_expression "(uVar1 < uVar3 || (uVar9 <= uVar7))" ( (binary_expression "uVar1 < uVar3 || (uVar9 <= uVar7)" (binary_expression "uVar1 < uVar3" identifier < identifier) || (parenthesized_expression "(uVar9 <= uVar7)" ( (binary_expression "uVar9 <= uVar7" identifier <= identifier) ))) )) ))) )) (compound_statement "{\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }" { (expression_statement "bVar11 = uVar7 < uVar9;" (assignment_expression "bVar11 = uVar7 < uVar9" identifier = (binary_expression "uVar7 < uVar9" identifier < identifier)) ;) (expression_statement "uVar7 = uVar7 - uVar9;" (assignment_expression "uVar7 = uVar7 - uVar9" identifier = (binary_expression "uVar7 - uVar9" identifier - identifier)) ;) (expression_statement "uVar3 = (uVar3 - uVar1) - (uint)bVar11;" (assignment_expression "uVar3 = (uVar3 - uVar1) - (uint)bVar11" identifier = (binary_expression "(uVar3 - uVar1) - (uint)bVar11" (parenthesized_expression "(uVar3 - uVar1)" ( (binary_expression "uVar3 - uVar1" identifier - identifier) )) - (cast_expression "(uint)bVar11" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (expression_statement "uVar2 = 1;" (assignment_expression "uVar2 = 1" identifier = number_literal) ;) })) (expression_statement "param_2[1] = uVar3;" (assignment_expression "param_2[1] = uVar3" (subscript_expression "param_2[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "*param_2 = uVar7;" (assignment_expression "*param_2 = uVar7" (pointer_expression "*param_2" * identifier) = identifier) ;) }) (else_clause "else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" else (compound_statement "{\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" { (expression_statement "uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);" (assignment_expression "uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" identifier = (call_expression "(uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" ( (binary_expression "((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1" (parenthesized_expression "((ulonglong)~uVar1 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar1 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar1 << 0x20" (cast_expression "(ulonglong)~uVar1" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar1" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar7 = uVar1 * uVar3 + uVar9;" (assignment_expression "uVar7 = uVar1 * uVar3 + uVar9" identifier = (binary_expression "uVar1 * uVar3 + uVar9" (binary_expression "uVar1 * uVar3" identifier * identifier) + identifier)) ;) (if_statement "if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }" if (parenthesized_expression "(CARRY4(uVar1 * uVar3,uVar9))" ( (call_expression "CARRY4(uVar1 * uVar3,uVar9)" identifier (argument_list "(uVar1 * uVar3,uVar9)" ( (binary_expression "uVar1 * uVar3" identifier * identifier) , identifier ))) )) (compound_statement "{\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }" { (expression_statement "uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);" (assignment_expression "uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7)" identifier = (binary_expression "(uVar3 - 1) - (uint)(uVar1 <= uVar7)" (parenthesized_expression "(uVar3 - 1)" ( (binary_expression "uVar3 - 1" identifier - number_literal) )) - (call_expression "(uint)(uVar1 <= uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 <= uVar7)" ( (binary_expression "uVar1 <= uVar7" identifier <= identifier) ))))) ;) (expression_statement "uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);" (assignment_expression "uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1)" identifier = (binary_expression "(uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1)" (parenthesized_expression "(uVar7 - uVar1)" ( (binary_expression "uVar7 - uVar1" identifier - identifier) )) - (parenthesized_expression "(-(uint)(uVar1 <= uVar7) & uVar1)" ( (binary_expression "-(uint)(uVar1 <= uVar7) & uVar1" (unary_expression "-(uint)(uVar1 <= uVar7)" - (call_expression "(uint)(uVar1 <= uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar1 <= uVar7)" ( (binary_expression "uVar1 <= uVar7" identifier <= identifier) )))) & identifier) )))) ;) })) (expression_statement "uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);" (assignment_expression "uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" ( (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20" (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar6 = uVar7 + uVar5;" (assignment_expression "uVar6 = uVar7 + uVar5" identifier = (binary_expression "uVar7 + uVar5" identifier + identifier)) ;) (expression_statement "uVar10 = uVar3;" (assignment_expression "uVar10 = uVar3" identifier = identifier) ;) (if_statement "if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }" if (parenthesized_expression "(CARRY4(uVar7,uVar5))" ( (call_expression "CARRY4(uVar7,uVar5)" identifier (argument_list "(uVar7,uVar5)" ( identifier , identifier ))) )) (compound_statement "{\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }" { (expression_statement "uVar10 = uVar3 - 1;" (assignment_expression "uVar10 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (if_statement "if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }" if (parenthesized_expression "((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)))))" ( (binary_expression "(uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))" (parenthesized_expression "(uVar1 <= uVar6)" ( (binary_expression "uVar1 <= uVar6" identifier <= identifier) )) && (parenthesized_expression "((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))" ( (parenthesized_expression "(uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)))" ( (binary_expression "uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))" (binary_expression "uVar1 < uVar6" identifier < identifier) || (parenthesized_expression "(uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))" ( (binary_expression "uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)" identifier <= (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar3)" ( (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ))) )) ))) )) (compound_statement "{\n          uVar10 = uVar3 - 2;\n        }" { (expression_statement "uVar10 = uVar3 - 2;" (assignment_expression "uVar10 = uVar3 - 2" identifier = (binary_expression "uVar3 - 2" identifier - number_literal)) ;) })) })) (expression_statement "uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);" (assignment_expression "uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" identifier = (call_expression "__gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" identifier (argument_list "(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" ( identifier , identifier , identifier , identifier , identifier , identifier , identifier )))) ;) }))) }) (else_clause "else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" else (compound_statement "{\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" { (expression_statement "uVar3 = 0x1f;" (assignment_expression "uVar3 = 0x1f" identifier = number_literal) ;) (if_statement "if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }" if (parenthesized_expression "(uVar1 != 0)" ( (binary_expression "uVar1 != 0" identifier != number_literal) )) (compound_statement "{\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }" { (for_statement "for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }" for ( ; (binary_expression "uVar1 >> uVar3 == 0" (binary_expression "uVar1 >> uVar3" identifier >> identifier) == number_literal) ; (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ) (compound_statement "{\n      }" { })) })) (expression_statement "bVar4 = (byte)(uVar3 ^ 0x1f);" (assignment_expression "bVar4 = (byte)(uVar3 ^ 0x1f)" identifier = (call_expression "(byte)(uVar3 ^ 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(uVar3 ^ 0x1f)" ( (binary_expression "uVar3 ^ 0x1f" identifier ^ number_literal) )))) ;) (expression_statement "uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);" (assignment_expression "uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f)" identifier = (binary_expression "uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f)" (binary_expression "uVar1 << (bVar4 & 0x1f)" identifier << (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar9 >> (0x20 - bVar4 & 0x1f)" identifier >> (parenthesized_expression "(0x20 - bVar4 & 0x1f)" ( (binary_expression "0x20 - bVar4 & 0x1f" (binary_expression "0x20 - bVar4" number_literal - identifier) & number_literal) ))))) ;) (expression_statement "uVar9 = uVar9 << (bVar4 & 0x1f);" (assignment_expression "uVar9 = uVar9 << (bVar4 & 0x1f)" identifier = (binary_expression "uVar9 << (bVar4 & 0x1f)" identifier << (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);" (assignment_expression "uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" identifier = (call_expression "(uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" ( (binary_expression "((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10" (parenthesized_expression "((ulonglong)~uVar10 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~uVar10 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar10 << 0x20" (cast_expression "(ulonglong)~uVar10" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~uVar10" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)uVar10" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar7 = uVar10 * uVar1 + uVar9;" (assignment_expression "uVar7 = uVar10 * uVar1 + uVar9" identifier = (binary_expression "uVar10 * uVar1 + uVar9" (binary_expression "uVar10 * uVar1" identifier * identifier) + identifier)) ;) (if_statement "if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }" if (parenthesized_expression "(CARRY4(uVar10 * uVar1,uVar9))" ( (call_expression "CARRY4(uVar10 * uVar1,uVar9)" identifier (argument_list "(uVar10 * uVar1,uVar9)" ( (binary_expression "uVar10 * uVar1" identifier * identifier) , identifier ))) )) (compound_statement "{\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }" { (expression_statement "uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);" (assignment_expression "uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7)" identifier = (binary_expression "(uVar1 - 1) - (uint)(uVar10 <= uVar7)" (parenthesized_expression "(uVar1 - 1)" ( (binary_expression "uVar1 - 1" identifier - number_literal) )) - (call_expression "(uint)(uVar10 <= uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 <= uVar7)" ( (binary_expression "uVar10 <= uVar7" identifier <= identifier) ))))) ;) (expression_statement "uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);" (assignment_expression "uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10)" identifier = (binary_expression "(uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10)" (parenthesized_expression "(uVar7 - uVar10)" ( (binary_expression "uVar7 - uVar10" identifier - identifier) )) - (parenthesized_expression "(-(uint)(uVar10 <= uVar7) & uVar10)" ( (binary_expression "-(uint)(uVar10 <= uVar7) & uVar10" (unary_expression "-(uint)(uVar10 <= uVar7)" - (call_expression "(uint)(uVar10 <= uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar10 <= uVar7)" ( (binary_expression "uVar10 <= uVar7" identifier <= identifier) )))) & identifier) )))) ;) })) (expression_statement "uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" ( (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20" (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar8 = uVar7 + uVar6;" (assignment_expression "uVar8 = uVar7 + uVar6" identifier = (binary_expression "uVar7 + uVar6" identifier + identifier)) ;) (expression_statement "uVar5 = uVar1;" (assignment_expression "uVar5 = uVar1" identifier = identifier) ;) (if_statement "if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }" if (parenthesized_expression "(CARRY4(uVar7,uVar6))" ( (call_expression "CARRY4(uVar7,uVar6)" identifier (argument_list "(uVar7,uVar6)" ( identifier , identifier ))) )) (compound_statement "{\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }" { (expression_statement "uVar5 = uVar1 - 1;" (assignment_expression "uVar5 = uVar1 - 1" identifier = (binary_expression "uVar1 - 1" identifier - number_literal)) ;) (if_statement "if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }" if (parenthesized_expression "((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)))))" ( (binary_expression "(uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))" (parenthesized_expression "(uVar10 <= uVar8)" ( (binary_expression "uVar10 <= uVar8" identifier <= identifier) )) && (parenthesized_expression "((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))" ( (parenthesized_expression "(uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)))" ( (binary_expression "uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))" (binary_expression "uVar10 < uVar8" identifier < identifier) || (parenthesized_expression "(uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))" ( (binary_expression "uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)" identifier <= (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar1)" ( (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ))) )) ))) )) (compound_statement "{\n        uVar5 = uVar1 - 2;\n      }" { (expression_statement "uVar5 = uVar1 - 2;" (assignment_expression "uVar5 = uVar1 - 2" identifier = (binary_expression "uVar1 - 2" identifier - number_literal)) ;) })) })) (expression_statement "uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);" (assignment_expression "uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" identifier = (call_expression "__gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" identifier (argument_list "(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" ( identifier , identifier , identifier , identifier , identifier , identifier , (binary_expression "uVar3 ^ 0x1f" identifier ^ number_literal) , identifier )))) ;) }))) (return_statement "return uVar2;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE 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 ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) && (parenthesized_expression ( (parenthesized_expression ( (binary_expression (binary_expression IDENT < IDENT) || (parenthesized_expression ( (binary_expression IDENT <= IDENT) ))) )) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT < IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (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 (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (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 = (binary_expression (binary_expression IDENT * IDENT) + IDENT)) ;) (if_statement if (parenthesized_expression ( (call_expression IDENT (argument_list ( (binary_expression IDENT * IDENT) , IDENT ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - LIT) )) - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT <= IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) - (parenthesized_expression ( (binary_expression (unary_expression - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT <= IDENT) )))) & IDENT) )))) ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (call_expression IDENT (argument_list ( IDENT , IDENT ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) && (parenthesized_expression ( (parenthesized_expression ( (binary_expression (binary_expression IDENT < IDENT) || (parenthesized_expression ( (binary_expression IDENT <= (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) )))) ))) )) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) })) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT , IDENT , IDENT , IDENT , IDENT )))) ;) }))) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (for_statement for ( ; (binary_expression (binary_expression IDENT >> IDENT) == LIT) ; (assignment_expression IDENT = (binary_expression IDENT - LIT)) ) (compound_statement { })) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT ^ LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression IDENT >> (parenthesized_expression ( (binary_expression (binary_expression LIT - IDENT) & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (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 = (binary_expression (binary_expression IDENT * IDENT) + IDENT)) ;) (if_statement if (parenthesized_expression ( (call_expression IDENT (argument_list ( (binary_expression IDENT * IDENT) , IDENT ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - LIT) )) - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT <= IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) - (parenthesized_expression ( (binary_expression (unary_expression - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT <= IDENT) )))) & IDENT) )))) ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (call_expression IDENT (argument_list ( IDENT , IDENT ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) && (parenthesized_expression ( (parenthesized_expression ( (binary_expression (binary_expression IDENT < IDENT) || (parenthesized_expression ( (binary_expression IDENT <= (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) )))) ))) )) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) })) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT , IDENT , IDENT , IDENT , (binary_expression IDENT ^ LIT) , IDENT )))) ;) }))) (return_statement return IDENT ;) })))
(function_definition "undefined4 __gmpn_div_qr_2(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  bool bVar11;\n  \n  uVar1 = param_5[1];\n  uVar9 = *param_5;\n  if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }\n  return uVar2;\n}" (type_identifier "undefined4") (function_declarator "__gmpn_div_qr_2(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)" (identifier "__gmpn_div_qr_2") (parameter_list "(undefined4 param_1,uint *param_2,int param_3,int param_4,uint *param_5)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) (, ",") (parameter_declaration "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  undefined4 uVar2;\n  uint uVar3;\n  byte bVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  bool bVar11;\n  \n  uVar1 = param_5[1];\n  uVar9 = *param_5;\n  if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }\n  return uVar2;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "undefined4 uVar2;" (type_identifier "undefined4") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "byte bVar4;" (type_identifier "byte") (identifier "bVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "uint uVar9;" (type_identifier "uint") (identifier "uVar9") (; ";")) (declaration "uint uVar10;" (type_identifier "uint") (identifier "uVar10") (; ";")) (declaration "bool bVar11;" (primitive_type "bool") (identifier "bVar11") (; ";")) (expression_statement "uVar1 = param_5[1];" (assignment_expression "uVar1 = param_5[1]" (identifier "uVar1") (= "=") (subscript_expression "param_5[1]" (identifier "param_5") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar9 = *param_5;" (assignment_expression "uVar9 = *param_5" (identifier "uVar9") (= "=") (pointer_expression "*param_5" (* "*") (identifier "param_5"))) (; ";")) (if_statement "if ((int)uVar1 < 0) {\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }\n  else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" (if "if") (parenthesized_expression "((int)uVar1 < 0)" (( "(") (binary_expression "(int)uVar1 < 0" (cast_expression "(int)uVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar1")) (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }\n  }" ({ "{") (if_statement "if (param_4 == -1) {\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }\n    else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" (if "if") (parenthesized_expression "(param_4 == -1)" (( "(") (binary_expression "param_4 == -1" (identifier "param_4") (== "==") (number_literal "-1")) () ")")) (compound_statement "{\n      uVar3 = *(uint *)(param_3 + -8);\n      uVar7 = *(uint *)(param_3 + -0xc);\n      uVar2 = 0;\n      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }\n      param_2[1] = uVar3;\n      *param_2 = uVar7;\n    }" ({ "{") (expression_statement "uVar3 = *(uint *)(param_3 + -8);" (assignment_expression "uVar3 = *(uint *)(param_3 + -8)" (identifier "uVar3") (= "=") (pointer_expression "*(uint *)(param_3 + -8)" (* "*") (cast_expression "(uint *)(param_3 + -8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_3 + -8)" (( "(") (binary_expression "param_3 + -8" (identifier "param_3") (+ "+") (number_literal "-8")) () ")"))))) (; ";")) (expression_statement "uVar7 = *(uint *)(param_3 + -0xc);" (assignment_expression "uVar7 = *(uint *)(param_3 + -0xc)" (identifier "uVar7") (= "=") (pointer_expression "*(uint *)(param_3 + -0xc)" (* "*") (cast_expression "(uint *)(param_3 + -0xc)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_3 + -0xc)" (( "(") (binary_expression "param_3 + -0xc" (identifier "param_3") (+ "+") (number_literal "-0xc")) () ")"))))) (; ";")) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" (identifier "uVar2") (= "=") (number_literal "0")) (; ";")) (if_statement "if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }" (if "if") (parenthesized_expression "((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7))))" (( "(") (binary_expression "(uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))" (parenthesized_expression "(uVar1 <= uVar3)" (( "(") (binary_expression "uVar1 <= uVar3" (identifier "uVar1") (<= "<=") (identifier "uVar3")) () ")")) (&& "&&") (parenthesized_expression "((uVar1 < uVar3 || (uVar9 <= uVar7)))" (( "(") (parenthesized_expression "(uVar1 < uVar3 || (uVar9 <= uVar7))" (( "(") (binary_expression "uVar1 < uVar3 || (uVar9 <= uVar7)" (binary_expression "uVar1 < uVar3" (identifier "uVar1") (< "<") (identifier "uVar3")) (|| "||") (parenthesized_expression "(uVar9 <= uVar7)" (( "(") (binary_expression "uVar9 <= uVar7" (identifier "uVar9") (<= "<=") (identifier "uVar7")) () ")"))) () ")")) () ")"))) () ")")) (compound_statement "{\n        bVar11 = uVar7 < uVar9;\n        uVar7 = uVar7 - uVar9;\n        uVar3 = (uVar3 - uVar1) - (uint)bVar11;\n        uVar2 = 1;\n      }" ({ "{") (expression_statement "bVar11 = uVar7 < uVar9;" (assignment_expression "bVar11 = uVar7 < uVar9" (identifier "bVar11") (= "=") (binary_expression "uVar7 < uVar9" (identifier "uVar7") (< "<") (identifier "uVar9"))) (; ";")) (expression_statement "uVar7 = uVar7 - uVar9;" (assignment_expression "uVar7 = uVar7 - uVar9" (identifier "uVar7") (= "=") (binary_expression "uVar7 - uVar9" (identifier "uVar7") (- "-") (identifier "uVar9"))) (; ";")) (expression_statement "uVar3 = (uVar3 - uVar1) - (uint)bVar11;" (assignment_expression "uVar3 = (uVar3 - uVar1) - (uint)bVar11" (identifier "uVar3") (= "=") (binary_expression "(uVar3 - uVar1) - (uint)bVar11" (parenthesized_expression "(uVar3 - uVar1)" (( "(") (binary_expression "uVar3 - uVar1" (identifier "uVar3") (- "-") (identifier "uVar1")) () ")")) (- "-") (cast_expression "(uint)bVar11" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar11")))) (; ";")) (expression_statement "uVar2 = 1;" (assignment_expression "uVar2 = 1" (identifier "uVar2") (= "=") (number_literal "1")) (; ";")) (} "}"))) (expression_statement "param_2[1] = uVar3;" (assignment_expression "param_2[1] = uVar3" (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar3")) (; ";")) (expression_statement "*param_2 = uVar7;" (assignment_expression "*param_2 = uVar7" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (identifier "uVar7")) (; ";")) (} "}")) (else_clause "else {\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" (else "else") (compound_statement "{\n      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);\n      uVar7 = uVar1 * uVar3 + uVar9;\n      if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }\n      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);\n      uVar6 = uVar7 + uVar5;\n      uVar10 = uVar3;\n      if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }\n      uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);\n    }" ({ "{") (expression_statement "uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);" (assignment_expression "uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" (identifier "uVar3") (= "=") (call_expression "(uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1)" (( "(") (binary_expression "((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1" (parenthesized_expression "((ulonglong)~uVar1 << 0x20 | 0xffffffff)" (( "(") (binary_expression "(ulonglong)~uVar1 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar1 << 0x20" (cast_expression "(ulonglong)~uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (unary_expression "~uVar1" (~ "~") (identifier "uVar1"))) (<< "<<") (number_literal "0x20")) (| "|") (number_literal "0xffffffff")) () ")")) (/ "/") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1"))) () ")")))) (; ";")) (expression_statement "uVar7 = uVar1 * uVar3 + uVar9;" (assignment_expression "uVar7 = uVar1 * uVar3 + uVar9" (identifier "uVar7") (= "=") (binary_expression "uVar1 * uVar3 + uVar9" (binary_expression "uVar1 * uVar3" (identifier "uVar1") (* "*") (identifier "uVar3")) (+ "+") (identifier "uVar9"))) (; ";")) (if_statement "if (CARRY4(uVar1 * uVar3,uVar9)) {\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }" (if "if") (parenthesized_expression "(CARRY4(uVar1 * uVar3,uVar9))" (( "(") (call_expression "CARRY4(uVar1 * uVar3,uVar9)" (identifier "CARRY4") (argument_list "(uVar1 * uVar3,uVar9)" (( "(") (binary_expression "uVar1 * uVar3" (identifier "uVar1") (* "*") (identifier "uVar3")) (, ",") (identifier "uVar9") () ")"))) () ")")) (compound_statement "{\n        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);\n        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);\n      }" ({ "{") (expression_statement "uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);" (assignment_expression "uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7)" (identifier "uVar3") (= "=") (binary_expression "(uVar3 - 1) - (uint)(uVar1 <= uVar7)" (parenthesized_expression "(uVar3 - 1)" (( "(") (binary_expression "uVar3 - 1" (identifier "uVar3") (- "-") (number_literal "1")) () ")")) (- "-") (call_expression "(uint)(uVar1 <= uVar7)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar1 <= uVar7)" (( "(") (binary_expression "uVar1 <= uVar7" (identifier "uVar1") (<= "<=") (identifier "uVar7")) () ")"))))) (; ";")) (expression_statement "uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);" (assignment_expression "uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1)" (identifier "uVar7") (= "=") (binary_expression "(uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1)" (parenthesized_expression "(uVar7 - uVar1)" (( "(") (binary_expression "uVar7 - uVar1" (identifier "uVar7") (- "-") (identifier "uVar1")) () ")")) (- "-") (parenthesized_expression "(-(uint)(uVar1 <= uVar7) & uVar1)" (( "(") (binary_expression "-(uint)(uVar1 <= uVar7) & uVar1" (unary_expression "-(uint)(uVar1 <= uVar7)" (- "-") (call_expression "(uint)(uVar1 <= uVar7)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar1 <= uVar7)" (( "(") (binary_expression "uVar1 <= uVar7" (identifier "uVar1") (<= "<=") (identifier "uVar7")) () ")")))) (& "&") (identifier "uVar1")) () ")")))) (; ";")) (} "}"))) (expression_statement "uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);" (assignment_expression "uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" (identifier "uVar5") (= "=") (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20" (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9")) (* "*") (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3"))) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar6 = uVar7 + uVar5;" (assignment_expression "uVar6 = uVar7 + uVar5" (identifier "uVar6") (= "=") (binary_expression "uVar7 + uVar5" (identifier "uVar7") (+ "+") (identifier "uVar5"))) (; ";")) (expression_statement "uVar10 = uVar3;" (assignment_expression "uVar10 = uVar3" (identifier "uVar10") (= "=") (identifier "uVar3")) (; ";")) (if_statement "if (CARRY4(uVar7,uVar5)) {\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }" (if "if") (parenthesized_expression "(CARRY4(uVar7,uVar5))" (( "(") (call_expression "CARRY4(uVar7,uVar5)" (identifier "CARRY4") (argument_list "(uVar7,uVar5)" (( "(") (identifier "uVar7") (, ",") (identifier "uVar5") () ")"))) () ")")) (compound_statement "{\n        uVar10 = uVar3 - 1;\n        if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }\n      }" ({ "{") (expression_statement "uVar10 = uVar3 - 1;" (assignment_expression "uVar10 = uVar3 - 1" (identifier "uVar10") (= "=") (binary_expression "uVar3 - 1" (identifier "uVar3") (- "-") (number_literal "1"))) (; ";")) (if_statement "if ((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {\n          uVar10 = uVar3 - 2;\n        }" (if "if") (parenthesized_expression "((uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)))))" (( "(") (binary_expression "(uVar1 <= uVar6) &&\n           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))" (parenthesized_expression "(uVar1 <= uVar6)" (( "(") (binary_expression "uVar1 <= uVar6" (identifier "uVar1") (<= "<=") (identifier "uVar6")) () ")")) (&& "&&") (parenthesized_expression "((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))" (( "(") (parenthesized_expression "(uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)))" (( "(") (binary_expression "uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))" (binary_expression "uVar1 < uVar6" (identifier "uVar1") (< "<") (identifier "uVar6")) (|| "||") (parenthesized_expression "(uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))" (( "(") (binary_expression "uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3)" (identifier "uVar9") (<= "<=") (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar3)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar3)" (( "(") (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar3" (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9")) (* "*") (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3"))) () ")")))) () ")"))) () ")")) () ")"))) () ")")) (compound_statement "{\n          uVar10 = uVar3 - 2;\n        }" ({ "{") (expression_statement "uVar10 = uVar3 - 2;" (assignment_expression "uVar10 = uVar3 - 2" (identifier "uVar10") (= "=") (binary_expression "uVar3 - 2" (identifier "uVar3") (- "-") (number_literal "2"))) (; ";")) (} "}"))) (} "}"))) (expression_statement "uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);" (assignment_expression "uVar2 = __gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" (identifier "uVar2") (= "=") (call_expression "__gmpn_div_qr_2n_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" (identifier "__gmpn_div_qr_2n_pi1") (argument_list "(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10)" (( "(") (identifier "param_1") (, ",") (identifier "param_2") (, ",") (identifier "param_3") (, ",") (identifier "param_4") (, ",") (identifier "uVar1") (, ",") (identifier "uVar9") (, ",") (identifier "uVar10") () ")")))) (; ";")) (} "}")))) (} "}")) (else_clause "else {\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" (else "else") (compound_statement "{\n    uVar3 = 0x1f;\n    if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }\n    bVar4 = (byte)(uVar3 ^ 0x1f);\n    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);\n    uVar9 = uVar9 << (bVar4 & 0x1f);\n    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);\n    uVar7 = uVar10 * uVar1 + uVar9;\n    if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }\n    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);\n    uVar8 = uVar7 + uVar6;\n    uVar5 = uVar1;\n    if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }\n    uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);\n  }" ({ "{") (expression_statement "uVar3 = 0x1f;" (assignment_expression "uVar3 = 0x1f" (identifier "uVar3") (= "=") (number_literal "0x1f")) (; ";")) (if_statement "if (uVar1 != 0) {\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }" (if "if") (parenthesized_expression "(uVar1 != 0)" (( "(") (binary_expression "uVar1 != 0" (identifier "uVar1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }\n    }" ({ "{") (for_statement "for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {\n      }" (for "for") (( "(") (; ";") (binary_expression "uVar1 >> uVar3 == 0" (binary_expression "uVar1 >> uVar3" (identifier "uVar1") (>> ">>") (identifier "uVar3")) (== "==") (number_literal "0")) (; ";") (assignment_expression "uVar3 = uVar3 - 1" (identifier "uVar3") (= "=") (binary_expression "uVar3 - 1" (identifier "uVar3") (- "-") (number_literal "1"))) () ")") (compound_statement "{\n      }" ({ "{") (} "}"))) (} "}"))) (expression_statement "bVar4 = (byte)(uVar3 ^ 0x1f);" (assignment_expression "bVar4 = (byte)(uVar3 ^ 0x1f)" (identifier "bVar4") (= "=") (call_expression "(byte)(uVar3 ^ 0x1f)" (parenthesized_expression "(byte)" (( "(") (identifier "byte") () ")")) (argument_list "(uVar3 ^ 0x1f)" (( "(") (binary_expression "uVar3 ^ 0x1f" (identifier "uVar3") (^ "^") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);" (assignment_expression "uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f)" (identifier "uVar10") (= "=") (binary_expression "uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f)" (binary_expression "uVar1 << (bVar4 & 0x1f)" (identifier "uVar1") (<< "<<") (parenthesized_expression "(bVar4 & 0x1f)" (( "(") (binary_expression "bVar4 & 0x1f" (identifier "bVar4") (& "&") (number_literal "0x1f")) () ")"))) (| "|") (binary_expression "uVar9 >> (0x20 - bVar4 & 0x1f)" (identifier "uVar9") (>> ">>") (parenthesized_expression "(0x20 - bVar4 & 0x1f)" (( "(") (binary_expression "0x20 - bVar4 & 0x1f" (binary_expression "0x20 - bVar4" (number_literal "0x20") (- "-") (identifier "bVar4")) (& "&") (number_literal "0x1f")) () ")"))))) (; ";")) (expression_statement "uVar9 = uVar9 << (bVar4 & 0x1f);" (assignment_expression "uVar9 = uVar9 << (bVar4 & 0x1f)" (identifier "uVar9") (= "=") (binary_expression "uVar9 << (bVar4 & 0x1f)" (identifier "uVar9") (<< "<<") (parenthesized_expression "(bVar4 & 0x1f)" (( "(") (binary_expression "bVar4 & 0x1f" (identifier "bVar4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);" (assignment_expression "uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" (identifier "uVar1") (= "=") (call_expression "(uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10)" (( "(") (binary_expression "((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10" (parenthesized_expression "((ulonglong)~uVar10 << 0x20 | 0xffffffff)" (( "(") (binary_expression "(ulonglong)~uVar10 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~uVar10 << 0x20" (cast_expression "(ulonglong)~uVar10" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (unary_expression "~uVar10" (~ "~") (identifier "uVar10"))) (<< "<<") (number_literal "0x20")) (| "|") (number_literal "0xffffffff")) () ")")) (/ "/") (cast_expression "(ulonglong)uVar10" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar10"))) () ")")))) (; ";")) (expression_statement "uVar7 = uVar10 * uVar1 + uVar9;" (assignment_expression "uVar7 = uVar10 * uVar1 + uVar9" (identifier "uVar7") (= "=") (binary_expression "uVar10 * uVar1 + uVar9" (binary_expression "uVar10 * uVar1" (identifier "uVar10") (* "*") (identifier "uVar1")) (+ "+") (identifier "uVar9"))) (; ";")) (if_statement "if (CARRY4(uVar10 * uVar1,uVar9)) {\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }" (if "if") (parenthesized_expression "(CARRY4(uVar10 * uVar1,uVar9))" (( "(") (call_expression "CARRY4(uVar10 * uVar1,uVar9)" (identifier "CARRY4") (argument_list "(uVar10 * uVar1,uVar9)" (( "(") (binary_expression "uVar10 * uVar1" (identifier "uVar10") (* "*") (identifier "uVar1")) (, ",") (identifier "uVar9") () ")"))) () ")")) (compound_statement "{\n      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);\n      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);\n    }" ({ "{") (expression_statement "uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);" (assignment_expression "uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7)" (identifier "uVar1") (= "=") (binary_expression "(uVar1 - 1) - (uint)(uVar10 <= uVar7)" (parenthesized_expression "(uVar1 - 1)" (( "(") (binary_expression "uVar1 - 1" (identifier "uVar1") (- "-") (number_literal "1")) () ")")) (- "-") (call_expression "(uint)(uVar10 <= uVar7)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar10 <= uVar7)" (( "(") (binary_expression "uVar10 <= uVar7" (identifier "uVar10") (<= "<=") (identifier "uVar7")) () ")"))))) (; ";")) (expression_statement "uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);" (assignment_expression "uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10)" (identifier "uVar7") (= "=") (binary_expression "(uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10)" (parenthesized_expression "(uVar7 - uVar10)" (( "(") (binary_expression "uVar7 - uVar10" (identifier "uVar7") (- "-") (identifier "uVar10")) () ")")) (- "-") (parenthesized_expression "(-(uint)(uVar10 <= uVar7) & uVar10)" (( "(") (binary_expression "-(uint)(uVar10 <= uVar7) & uVar10" (unary_expression "-(uint)(uVar10 <= uVar7)" (- "-") (call_expression "(uint)(uVar10 <= uVar7)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar10 <= uVar7)" (( "(") (binary_expression "uVar10 <= uVar7" (identifier "uVar10") (<= "<=") (identifier "uVar7")) () ")")))) (& "&") (identifier "uVar10")) () ")")))) (; ";")) (} "}"))) (expression_statement "uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" (identifier "uVar6") (= "=") (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20" (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1" (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9")) (* "*") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1"))) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar8 = uVar7 + uVar6;" (assignment_expression "uVar8 = uVar7 + uVar6" (identifier "uVar8") (= "=") (binary_expression "uVar7 + uVar6" (identifier "uVar7") (+ "+") (identifier "uVar6"))) (; ";")) (expression_statement "uVar5 = uVar1;" (assignment_expression "uVar5 = uVar1" (identifier "uVar5") (= "=") (identifier "uVar1")) (; ";")) (if_statement "if (CARRY4(uVar7,uVar6)) {\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }" (if "if") (parenthesized_expression "(CARRY4(uVar7,uVar6))" (( "(") (call_expression "CARRY4(uVar7,uVar6)" (identifier "CARRY4") (argument_list "(uVar7,uVar6)" (( "(") (identifier "uVar7") (, ",") (identifier "uVar6") () ")"))) () ")")) (compound_statement "{\n      uVar5 = uVar1 - 1;\n      if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }\n    }" ({ "{") (expression_statement "uVar5 = uVar1 - 1;" (assignment_expression "uVar5 = uVar1 - 1" (identifier "uVar5") (= "=") (binary_expression "uVar1 - 1" (identifier "uVar1") (- "-") (number_literal "1"))) (; ";")) (if_statement "if ((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {\n        uVar5 = uVar1 - 2;\n      }" (if "if") (parenthesized_expression "((uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)))))" (( "(") (binary_expression "(uVar10 <= uVar8) &&\n         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))" (parenthesized_expression "(uVar10 <= uVar8)" (( "(") (binary_expression "uVar10 <= uVar8" (identifier "uVar10") (<= "<=") (identifier "uVar8")) () ")")) (&& "&&") (parenthesized_expression "((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))" (( "(") (parenthesized_expression "(uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)))" (( "(") (binary_expression "uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))" (binary_expression "uVar10 < uVar8" (identifier "uVar10") (< "<") (identifier "uVar8")) (|| "||") (parenthesized_expression "(uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))" (( "(") (binary_expression "uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1)" (identifier "uVar9") (<= "<=") (call_expression "(uint)((ulonglong)uVar9 * (ulonglong)uVar1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar9 * (ulonglong)uVar1)" (( "(") (binary_expression "(ulonglong)uVar9 * (ulonglong)uVar1" (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9")) (* "*") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1"))) () ")")))) () ")"))) () ")")) () ")"))) () ")")) (compound_statement "{\n        uVar5 = uVar1 - 2;\n      }" ({ "{") (expression_statement "uVar5 = uVar1 - 2;" (assignment_expression "uVar5 = uVar1 - 2" (identifier "uVar5") (= "=") (binary_expression "uVar1 - 2" (identifier "uVar1") (- "-") (number_literal "2"))) (; ";")) (} "}"))) (} "}"))) (expression_statement "uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);" (assignment_expression "uVar2 = __gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" (identifier "uVar2") (= "=") (call_expression "__gmpn_div_qr_2u_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" (identifier "__gmpn_div_qr_2u_pi1") (argument_list "(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5)" (( "(") (identifier "param_1") (, ",") (identifier "param_2") (, ",") (identifier "param_3") (, ",") (identifier "param_4") (, ",") (identifier "uVar10") (, ",") (identifier "uVar9") (, ",") (binary_expression "uVar3 ^ 0x1f" (identifier "uVar3") (^ "^") (number_literal "0x1f")) (, ",") (identifier "uVar5") () ")")))) (; ";")) (} "}")))) (return_statement "return uVar2;" (return "return") (identifier "uVar2") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */
/* WARNING: Unknown calling convention */

type_1 function_1(type_2 qp,type_2 rp,type_3 np,type_4 var_1,type_3 dp)

{
  type_5 var_2;
  type_1 mVar2;
  type_5 var_3;
  type_6 var_10;
  type_5 var_8;
  type_5 var_5;
  type_5 var_11;
  type_5 var_4;
  type_5 var_7;
  bool bVar10;
  
  var_2 = dp[1];
  var_4 = *dp;
  if ((int)var_2 < 0) {
    if (var_1 == -1) {
      var_3 = np[-2];
      var_5 = np[-3];
      mVar2 = 0;
      if ((var_2 <= var_3) && ((var_2 < var_3 || (var_4 <= var_5)))) {
        bVar10 = var_5 < var_4;
        var_5 = var_5 - var_4;
        var_3 = (var_3 - var_2) - (type_5)bVar10;
        mVar2 = 1;
      }
      rp[1] = var_3;
      *rp = var_5;
    }
    else {
      var_3 = (type_5)(((type_7)~var_2 << 0x20 | 0xffffffff) / (type_7)var_2);
      var_5 = var_2 * var_3 + var_4;
      if (var_6(var_2 * var_3,var_4)) {
        var_3 = (var_3 - 1) - (type_5)(var_2 <= var_5);
        var_5 = (var_5 - var_2) - (-(type_5)(var_2 <= var_5) & var_2);
      }
      var_7 = (type_5)((type_7)var_4 * (type_7)var_3 >> 0x20);
      var_8 = var_5 + var_7;
      mVar2 = var_3;
      if (var_6(var_5,var_7)) {
        mVar2 = var_3 - 1;
        if ((var_2 <= var_8) &&
           ((var_2 < var_8 || (var_4 <= (type_5)((type_7)var_4 * (type_7)var_3))))) {
          mVar2 = var_3 - 2;
        }
      }
      mVar2 = var_9(qp,rp,np,var_1,var_2,var_4,mVar2);
    }
  }
  else {
    var_3 = 0x1f;
    if (var_2 != 0) {
      for (; var_2 >> var_3 == 0; var_3 = var_3 - 1) {
      }
    }
    var_10 = (type_6)(var_3 ^ 0x1f);
    var_7 = var_2 << (var_10 & 0x1f) | var_4 >> (0x20 - var_10 & 0x1f);
    var_4 = var_4 << (var_10 & 0x1f);
    var_2 = (type_5)(((type_7)~var_7 << 0x20 | 0xffffffff) / (type_7)var_7);
    var_5 = var_7 * var_2 + var_4;
    if (var_6(var_7 * var_2,var_4)) {
      var_2 = (var_2 - 1) - (type_5)(var_7 <= var_5);
      var_5 = (var_5 - var_7) - (-(type_5)(var_7 <= var_5) & var_7);
    }
    var_8 = (type_5)((type_7)var_4 * (type_7)var_2 >> 0x20);
    var_11 = var_5 + var_8;
    mVar2 = var_2;
    if (var_6(var_5,var_8)) {
      mVar2 = var_2 - 1;
      if ((var_7 <= var_11) &&
         ((var_7 < var_11 || (var_4 <= (type_5)((type_7)var_4 * (type_7)var_2))))) {
        mVar2 = var_2 - 2;
      }
    }
    mVar2 = var_12(qp,rp,np,var_1,var_7,var_4,var_3 ^ 0x1f,mVar2);
  }
  return mVar2;
}


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

/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */

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

{
  uint uVar1;
  undefined4 uVar2;
  uint uVar3;
  byte bVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  bool bVar11;
  
  uVar1 = param_5[1];
  uVar9 = *param_5;
  if ((int)uVar1 < 0) {
    if (param_4 == -1) {
      uVar3 = *(uint *)(param_3 + -8);
      uVar7 = *(uint *)(param_3 + -0xc);
      uVar2 = 0;
      if ((uVar1 <= uVar3) && ((uVar1 < uVar3 || (uVar9 <= uVar7)))) {
        bVar11 = uVar7 < uVar9;
        uVar7 = uVar7 - uVar9;
        uVar3 = (uVar3 - uVar1) - (uint)bVar11;
        uVar2 = 1;
      }
      param_2[1] = uVar3;
      *param_2 = uVar7;
    }
    else {
      uVar3 = (uint)(((ulonglong)~uVar1 << 0x20 | 0xffffffff) / (ulonglong)uVar1);
      uVar7 = uVar1 * uVar3 + uVar9;
      if (CARRY4(uVar1 * uVar3,uVar9)) {
        uVar3 = (uVar3 - 1) - (uint)(uVar1 <= uVar7);
        uVar7 = (uVar7 - uVar1) - (-(uint)(uVar1 <= uVar7) & uVar1);
      }
      uVar5 = (uint)((ulonglong)uVar9 * (ulonglong)uVar3 >> 0x20);
      uVar6 = uVar7 + uVar5;
      uVar10 = uVar3;
      if (CARRY4(uVar7,uVar5)) {
        uVar10 = uVar3 - 1;
        if ((uVar1 <= uVar6) &&
           ((uVar1 < uVar6 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar3))))) {
          uVar10 = uVar3 - 2;
        }
      }
      uVar2 = MASKEDn_pi1(param_1,param_2,param_3,param_4,uVar1,uVar9,uVar10);
    }
  }
  else {
    uVar3 = 0x1f;
    if (uVar1 != 0) {
      for (; uVar1 >> uVar3 == 0; uVar3 = uVar3 - 1) {
      }
    }
    bVar4 = (byte)(uVar3 ^ 0x1f);
    uVar10 = uVar1 << (bVar4 & 0x1f) | uVar9 >> (0x20 - bVar4 & 0x1f);
    uVar9 = uVar9 << (bVar4 & 0x1f);
    uVar1 = (uint)(((ulonglong)~uVar10 << 0x20 | 0xffffffff) / (ulonglong)uVar10);
    uVar7 = uVar10 * uVar1 + uVar9;
    if (CARRY4(uVar10 * uVar1,uVar9)) {
      uVar1 = (uVar1 - 1) - (uint)(uVar10 <= uVar7);
      uVar7 = (uVar7 - uVar10) - (-(uint)(uVar10 <= uVar7) & uVar10);
    }
    uVar6 = (uint)((ulonglong)uVar9 * (ulonglong)uVar1 >> 0x20);
    uVar8 = uVar7 + uVar6;
    uVar5 = uVar1;
    if (CARRY4(uVar7,uVar6)) {
      uVar5 = uVar1 - 1;
      if ((uVar10 <= uVar8) &&
         ((uVar10 < uVar8 || (uVar9 <= (uint)((ulonglong)uVar9 * (ulonglong)uVar1))))) {
        uVar5 = uVar1 - 2;
      }
    }
    uVar2 = MASKEDu_pi1(param_1,param_2,param_3,param_4,uVar10,uVar9,uVar3 ^ 0x1f,uVar5);
  }
  return uVar2;
}

