
void __gmpf_mul_ui(mpf_ptr r,mpf_srcptr u,ulong v)

{
  mp_limb_t *pmVar1;
  bool bVar2;
  longlong lVar3;
  int iVar4;
  uint uVar5;
  int iVar6;
  uint uVar7;
  mp_limb_t *pmVar8;
  uint *puVar9;
  mp_limb_t *pmVar10;
  int iVar11;
  int iVar12;
  uint *puVar13;
  uint uVar14;
  int in_t9;
  
  iVar12 = u->_mp_size;
  if ((v == 0) || (iVar12 == 0)) {
    r->_mp_size = 0;
    r->_mp_exp = 0;
    return;
  }
  iVar6 = iVar12;
  if (iVar12 < 0) {
    iVar6 = -iVar12;
  }
  iVar11 = r->_mp_prec;
  iVar4 = iVar6 - iVar11;
  pmVar8 = u->_mp_d;
  if (iVar4 < 1) {
    puVar13 = r->_mp_d;
    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200);
    iVar4 = 0;
  }
  else {
    iVar6 = iVar4 + -1;
    lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v;
    pmVar10 = pmVar8 + iVar4;
    while( true ) {
      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);
      iVar6 = iVar6 + -1;
      if (iVar6 == -1) break;
      pmVar1 = pmVar10 + -2;
      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);
      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);
      pmVar10 = pmVar10 + -1;
      if ((int)lVar3 != -1) break;
      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));
    }
    puVar13 = r->_mp_d;
    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11);
    uVar7 = *puVar13;
    *puVar13 = uVar14 + uVar7;
    if (uVar14 <= uVar14 + uVar7) {
      FUN_0001cfe0();
      return;
    }
    iVar4 = 1;
    iVar6 = iVar11;
    if (1 < iVar11) {
      uVar14 = puVar13[1];
      puVar13[1] = uVar14 + 1;
      if (uVar14 + 1 != 0) {
        FUN_0001cfe0();
        return;
      }
      puVar9 = puVar13 + 2;
      iVar6 = 2;
      do {
        bVar2 = iVar11 == iVar6;
        iVar6 = iVar6 + 1;
        if (bVar2) {
          FUN_0001cfe0();
          return;
        }
        uVar14 = *puVar9;
        *puVar9 = uVar14 + 1;
        puVar9 = puVar9 + 1;
      } while (uVar14 + 1 == 0);
      goto LAB_0001cfe4;
    }
  }
  uVar5 = iVar4 + uVar5;
  iVar11 = iVar6;
LAB_0001cfe4:
  puVar13[iVar11] = uVar5;
  r->_mp_exp = u->_mp_exp + (uint)(uVar5 != 0);
  iVar11 = iVar11 + (uint)(uVar5 != 0);
  if (iVar12 < 0) {
    iVar11 = -iVar11;
  }
  r->_mp_size = iVar11;
  return;
}



void __gmpf_mul_ui(int *param_1,int param_2,uint param_3)

{
  bool bVar1;
  longlong lVar2;
  ulonglong uVar3;
  int iVar4;
  uint uVar5;
  int iVar6;
  uint uVar7;
  int iVar8;
  uint *puVar9;
  int iVar10;
  int iVar11;
  int iVar12;
  uint *puVar13;
  uint uVar14;
  
  iVar12 = *(int *)(param_2 + 4);
  if ((param_3 == 0) || (iVar12 == 0)) {
    param_1[1] = 0;
    param_1[2] = 0;
    return;
  }
  iVar10 = iVar12;
  if (iVar12 < 0) {
    iVar10 = -iVar12;
  }
  iVar11 = *param_1;
  iVar4 = iVar10 - iVar11;
  iVar8 = *(int *)(param_2 + 0xc);
  if (iVar4 < 1) {
    puVar13 = (uint *)param_1[3];
    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);
    iVar4 = 0;
  }
  else {
    iVar6 = iVar4 + -1;
    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;
    iVar8 = iVar8 + iVar4 * 4;
    iVar10 = iVar8;
    while( true ) {
      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);
      iVar6 = iVar6 + -1;
      if (iVar6 == -1) break;
      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;
      lVar2 = lVar2 + (uVar3 >> 0x20);
      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);
      iVar10 = iVar10 + -4;
      if ((int)lVar2 != -1) break;
      lVar2 = CONCAT44(uVar14,(int)uVar3);
    }
    puVar13 = (uint *)param_1[3];
    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);
    uVar7 = *puVar13;
    *puVar13 = uVar14 + uVar7;
    iVar10 = iVar11;
    if (uVar14 + uVar7 < uVar14) {
      iVar4 = 1;
      if (1 < iVar11) {
        uVar14 = puVar13[1];
        puVar13[1] = uVar14 + 1;
        if (uVar14 + 1 == 0) {
          puVar9 = puVar13 + 2;
          iVar4 = 2;
          do {
            bVar1 = iVar11 == iVar4;
            iVar4 = iVar4 + 1;
            if (bVar1) {
              iVar4 = 1;
              goto LAB_0001cfe0;
            }
            uVar14 = *puVar9;
            *puVar9 = uVar14 + 1;
            puVar9 = puVar9 + 1;
          } while (uVar14 + 1 == 0);
          goto LAB_0001cfe4;
        }
        iVar4 = 0;
      }
    }
    else {
      iVar4 = 0;
    }
  }
LAB_0001cfe0:
  uVar5 = iVar4 + uVar5;
  iVar11 = iVar10;
LAB_0001cfe4:
  puVar13[iVar11] = uVar5;
  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);
  iVar11 = iVar11 + (uint)(uVar5 != 0);
  if (iVar12 < 0) {
    iVar11 = -iVar11;
  }
  param_1[1] = iVar11;
  return;
}


lui gp,0x8
addiu gp,gp,0x6200
addu gp,gp,t9
addiu sp,sp,-0x38
sw ra,0x34(sp)
sw s5,0x30(sp)
sw s4,0x2c(sp)
sw s3,0x28(sp)
sw s2,0x24(sp)
sw s1,0x20(sp)
sw s0,0x1c(sp)
sw gp,0x10(sp)
beq a2,zero,0x0001cf80
_lw s3,0x4(a1)
beq s3,zero,0x0001cf80
_nop
bltz s3,0x0001cf8c
_or s5,s3,zero
or a3,a2,zero
or s2,a1,zero
or s1,a0,zero
lw s0,0x0(a0)
subu v0,s5,s0
blez v0,0x0001cfbc
_lw a1,0xc(a1)
addiu v1,v0,-0x1
or t4,a2,zero
sll a0,v1,0x2
addu a0,a1,a0
lw t0,0x0(a0)
multu t0,a2
mfhi t0
or s5,t0,zero
mflo a0
sll v0,v0,0x2
addu a1,a1,v0
or t2,a1,zero
li t3,-0x1
addiu v1,v1,-0x1
beq v1,t3,0x0001cf08
_nop
lw t0,-0x8(t2)
multu t0,t4
mflo t1
mfhi t0
addu v0,a0,t0
sltu a2,v0,t0
addu s5,s5,a2
beq v0,t3,0x0001cf94
_addiu t2,t2,-0x4
lw s4,0xc(s1)
or a2,s0,zero
or a0,s4,zero
lw t9,-0x7f9c(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw v1,0x0(s4)
addu v1,s5,v1
sltu s5,v1,s5
beq s5,zero,0x0001cfa4
_sw v1,0x0(s4)
slti v1,s0,0x2
bne v1,zero,0x0001cfe0
_li a3,0x1
lw v1,0x4(s4)
addiu a3,v1,0x1
bne a3,zero,0x0001cfac
_sw a3,0x4(s4)
addiu a2,s4,0x8
li a0,0x2
beq s0,a0,0x0001cf9c
_addiu a0,a0,0x1
lw v1,0x0(a2)
addiu v1,v1,0x1
sw v1,0x0(a2)
beq v1,zero,0x0001cf5c
_addiu a2,a2,0x4
b 0x0001cfe4
_addu a3,a3,v0
sw zero,0x4(a0)
b 0x0001d00c
_sw zero,0x8(a0)
b 0x0001ce88
_subu s5,zero,s3
b 0x0001ced8
_or a0,t1,zero
b 0x0001cfe0
_li a3,0x1
b 0x0001cfe0
_or a3,zero,zero
b 0x0001cfe0
_or a3,zero,zero
b 0x0001d008
_subu a3,zero,a3
lw s4,0xc(a0)
or a2,s5,zero
or a0,s4,zero
lw t9,-0x7f9c(gp)
jalr t9
_nop
lw gp,0x10(sp)
or s0,s5,zero
or a3,zero,zero
addu a3,a3,v0
sll v0,s0,0x2
addu s4,s4,v0
sw a3,0x0(s4)
sltu a3,zero,a3
lw v0,0x8(s2)
addu v0,v0,a3
sw v0,0x8(s1)
bltz s3,0x0001cfb4
_addu a3,s0,a3
sw a3,0x4(s1)
lw ra,0x34(sp)
lw s5,0x30(sp)
lw s4,0x2c(sp)
lw s3,0x28(sp)
lw s2,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x38
(translation_unit "void __gmpf_mul_ui(int *param_1,int param_2,uint param_3)\n\n{\n  bool bVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int iVar8;\n  uint *puVar9;\n  int iVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  \n  iVar12 = *(int *)(param_2 + 4);\n  if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }\n  iVar10 = iVar12;\n  if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }\n  iVar11 = *param_1;\n  iVar4 = iVar10 - iVar11;\n  iVar8 = *(int *)(param_2 + 0xc);\n  if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }\nLAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar10;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  param_1[1] = iVar11;\n  return;\n}\n\n" (function_definition "void __gmpf_mul_ui(int *param_1,int param_2,uint param_3)\n\n{\n  bool bVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int iVar8;\n  uint *puVar9;\n  int iVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  \n  iVar12 = *(int *)(param_2 + 4);\n  if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }\n  iVar10 = iVar12;\n  if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }\n  iVar11 = *param_1;\n  iVar4 = iVar10 - iVar11;\n  iVar8 = *(int *)(param_2 + 0xc);\n  if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }\nLAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar10;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  param_1[1] = iVar11;\n  return;\n}" primitive_type (function_declarator "__gmpf_mul_ui(int *param_1,int param_2,uint param_3)" identifier (parameter_list "(int *param_1,int param_2,uint param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int iVar8;\n  uint *puVar9;\n  int iVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  \n  iVar12 = *(int *)(param_2 + 4);\n  if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }\n  iVar10 = iVar12;\n  if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }\n  iVar11 = *param_1;\n  iVar4 = iVar10 - iVar11;\n  iVar8 = *(int *)(param_2 + 0xc);\n  if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }\nLAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar10;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  param_1[1] = iVar11;\n  return;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "ulonglong uVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "uint *puVar9;" type_identifier (pointer_declarator "*puVar9" * identifier) ;) (declaration "int iVar10;" primitive_type identifier ;) (declaration "int iVar11;" primitive_type identifier ;) (declaration "int iVar12;" primitive_type identifier ;) (declaration "uint *puVar13;" type_identifier (pointer_declarator "*puVar13" * identifier) ;) (declaration "uint uVar14;" type_identifier identifier ;) (expression_statement "iVar12 = *(int *)(param_2 + 4);" (assignment_expression "iVar12 = *(int *)(param_2 + 4)" identifier = (pointer_expression "*(int *)(param_2 + 4)" * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) ))))) ;) (if_statement "if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }" if (parenthesized_expression "((param_3 == 0) || (iVar12 == 0))" ( (binary_expression "(param_3 == 0) || (iVar12 == 0)" (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) || (parenthesized_expression "(iVar12 == 0)" ( (binary_expression "iVar12 == 0" identifier == number_literal) ))) )) (compound_statement "{\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }" { (expression_statement "param_1[1] = 0;" (assignment_expression "param_1[1] = 0" (subscript_expression "param_1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[2] = 0;" (assignment_expression "param_1[2] = 0" (subscript_expression "param_1[2]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })) (expression_statement "iVar10 = iVar12;" (assignment_expression "iVar10 = iVar12" identifier = identifier) ;) (if_statement "if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }" if (parenthesized_expression "(iVar12 < 0)" ( (binary_expression "iVar12 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar10 = -iVar12;\n  }" { (expression_statement "iVar10 = -iVar12;" (assignment_expression "iVar10 = -iVar12" identifier = (unary_expression "-iVar12" - identifier)) ;) })) (expression_statement "iVar11 = *param_1;" (assignment_expression "iVar11 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar4 = iVar10 - iVar11;" (assignment_expression "iVar4 = iVar10 - iVar11" identifier = (binary_expression "iVar10 - iVar11" identifier - identifier)) ;) (expression_statement "iVar8 = *(int *)(param_2 + 0xc);" (assignment_expression "iVar8 = *(int *)(param_2 + 0xc)" identifier = (pointer_expression "*(int *)(param_2 + 0xc)" * (cast_expression "(int *)(param_2 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0xc)" ( (binary_expression "param_2 + 0xc" identifier + number_literal) ))))) ;) (if_statement "if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" if (parenthesized_expression "(iVar4 < 1)" ( (binary_expression "iVar4 < 1" identifier < number_literal) )) (compound_statement "{\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }" { (expression_statement "puVar13 = (uint *)param_1[3];" (assignment_expression "puVar13 = (uint *)param_1[3]" identifier = (cast_expression "(uint *)param_1[3]" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) ;) (expression_statement "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);" (assignment_expression "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3)" identifier = (call_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3)" (parenthesized_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)" ( (pointer_expression "*(code *)PTR___gmpn_mul_1_0009b0a4" * (cast_expression "(code *)PTR___gmpn_mul_1_0009b0a4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(puVar13,iVar8,iVar10,param_3)" ( identifier , identifier , identifier , identifier )))) ;) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" else (compound_statement "{\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" { (expression_statement "iVar6 = iVar4 + -1;" (assignment_expression "iVar6 = iVar4 + -1" identifier = (binary_expression "iVar4 + -1" identifier + number_literal)) ;) (expression_statement "lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;" (assignment_expression "lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3" identifier = (binary_expression "(ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3" (binary_expression "(ulonglong)*(uint *)(iVar8 + iVar6 * 4)" (parenthesized_expression "(ulonglong)" ( identifier )) * (cast_expression "(uint *)(iVar8 + iVar6 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar8 + iVar6 * 4)" ( (binary_expression "iVar8 + iVar6 * 4" identifier + (binary_expression "iVar6 * 4" identifier * number_literal)) )))) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "iVar8 = iVar8 + iVar4 * 4;" (assignment_expression "iVar8 = iVar8 + iVar4 * 4" identifier = (binary_expression "iVar8 + iVar4 * 4" identifier + (binary_expression "iVar4 * 4" identifier * number_literal))) ;) (expression_statement "iVar10 = iVar8;" (assignment_expression "iVar10 = iVar8" identifier = identifier) ;) (while_statement "while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }" { (expression_statement "uVar14 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar14 = (uint)((ulonglong)lVar2 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) (if_statement "if (iVar6 == -1) break;" if (parenthesized_expression "(iVar6 == -1)" ( (binary_expression "iVar6 == -1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;" (assignment_expression "uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3" identifier = (binary_expression "(ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3" (binary_expression "(ulonglong)*(uint *)(iVar10 + -8)" (parenthesized_expression "(ulonglong)" ( identifier )) * (cast_expression "(uint *)(iVar10 + -8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar10 + -8)" ( (binary_expression "iVar10 + -8" identifier + number_literal) )))) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "lVar2 = lVar2 + (uVar3 >> 0x20);" (assignment_expression "lVar2 = lVar2 + (uVar3 >> 0x20)" identifier = (binary_expression "lVar2 + (uVar3 >> 0x20)" identifier + (parenthesized_expression "(uVar3 >> 0x20)" ( (binary_expression "uVar3 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar14 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar14 = (uint)((ulonglong)lVar2 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "iVar10 = iVar10 + -4;" (assignment_expression "iVar10 = iVar10 + -4" identifier = (binary_expression "iVar10 + -4" identifier + number_literal)) ;) (if_statement "if ((int)lVar2 != -1) break;" if (parenthesized_expression "((int)lVar2 != -1)" ( (binary_expression "(int)lVar2 != -1" (cast_expression "(int)lVar2" ( (type_descriptor "int" primitive_type) ) identifier) != number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar2 = CONCAT44(uVar14,(int)uVar3);" (assignment_expression "lVar2 = CONCAT44(uVar14,(int)uVar3)" identifier = (call_expression "CONCAT44(uVar14,(int)uVar3)" identifier (argument_list "(uVar14,(int)uVar3)" ( identifier , (cast_expression "(int)uVar3" ( (type_descriptor "int" primitive_type) ) identifier) )))) ;) })) (expression_statement "puVar13 = (uint *)param_1[3];" (assignment_expression "puVar13 = (uint *)param_1[3]" identifier = (cast_expression "(uint *)param_1[3]" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) ;) (expression_statement "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);" (assignment_expression "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11)" identifier = (call_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11)" (parenthesized_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)" ( (pointer_expression "*(code *)PTR___gmpn_mul_1_0009b0a4" * (cast_expression "(code *)PTR___gmpn_mul_1_0009b0a4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(puVar13,iVar8,iVar11)" ( identifier , identifier , identifier )))) ;) (expression_statement "uVar7 = *puVar13;" (assignment_expression "uVar7 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = uVar14 + uVar7;" (assignment_expression "*puVar13 = uVar14 + uVar7" (pointer_expression "*puVar13" * identifier) = (binary_expression "uVar14 + uVar7" identifier + identifier)) ;) (expression_statement "iVar10 = iVar11;" (assignment_expression "iVar10 = iVar11" identifier = identifier) ;) (if_statement "if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }" if (parenthesized_expression "(uVar14 + uVar7 < uVar14)" ( (binary_expression "uVar14 + uVar7 < uVar14" (binary_expression "uVar14 + uVar7" identifier + identifier) < identifier) )) (compound_statement "{\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }" { (expression_statement "iVar4 = 1;" (assignment_expression "iVar4 = 1" identifier = number_literal) ;) (if_statement "if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }" if (parenthesized_expression "(1 < iVar11)" ( (binary_expression "1 < iVar11" number_literal < identifier) )) (compound_statement "{\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }" { (expression_statement "uVar14 = puVar13[1];" (assignment_expression "uVar14 = puVar13[1]" identifier = (subscript_expression "puVar13[1]" identifier [ number_literal ])) ;) (expression_statement "puVar13[1] = uVar14 + 1;" (assignment_expression "puVar13[1] = uVar14 + 1" (subscript_expression "puVar13[1]" identifier [ number_literal ]) = (binary_expression "uVar14 + 1" identifier + number_literal)) ;) (if_statement "if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }" if (parenthesized_expression "(uVar14 + 1 == 0)" ( (binary_expression "uVar14 + 1 == 0" (binary_expression "uVar14 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }" { (expression_statement "puVar9 = puVar13 + 2;" (assignment_expression "puVar9 = puVar13 + 2" identifier = (binary_expression "puVar13 + 2" identifier + number_literal)) ;) (expression_statement "iVar4 = 2;" (assignment_expression "iVar4 = 2" identifier = number_literal) ;) (do_statement "do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);" do (compound_statement "{\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          }" { (expression_statement "bVar1 = iVar11 == iVar4;" (assignment_expression "bVar1 = iVar11 == iVar4" identifier = (binary_expression "iVar11 == iVar4" identifier == identifier)) ;) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (if_statement "if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }" if (parenthesized_expression "(bVar1)" ( identifier )) (compound_statement "{\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }" { (expression_statement "iVar4 = 1;" (assignment_expression "iVar4 = 1" identifier = number_literal) ;) (goto_statement "goto LAB_0001cfe0;" goto statement_identifier ;) })) (expression_statement "uVar14 = *puVar9;" (assignment_expression "uVar14 = *puVar9" identifier = (pointer_expression "*puVar9" * identifier)) ;) (expression_statement "*puVar9 = uVar14 + 1;" (assignment_expression "*puVar9 = uVar14 + 1" (pointer_expression "*puVar9" * identifier) = (binary_expression "uVar14 + 1" identifier + number_literal)) ;) (expression_statement "puVar9 = puVar9 + 1;" (assignment_expression "puVar9 = puVar9 + 1" identifier = (binary_expression "puVar9 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar14 + 1 == 0)" ( (binary_expression "uVar14 + 1 == 0" (binary_expression "uVar14 + 1" identifier + number_literal) == number_literal) )) ;) (goto_statement "goto LAB_0001cfe4;" goto statement_identifier ;) })) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) })) }) (else_clause "else {\n      iVar4 = 0;\n    }" else (compound_statement "{\n      iVar4 = 0;\n    }" { (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) }))) }))) (labeled_statement "LAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;" statement_identifier : (expression_statement "uVar5 = iVar4 + uVar5;" (assignment_expression "uVar5 = iVar4 + uVar5" identifier = (binary_expression "iVar4 + uVar5" identifier + identifier)) ;)) (expression_statement "iVar11 = iVar10;" (assignment_expression "iVar11 = iVar10" identifier = identifier) ;) (labeled_statement "LAB_0001cfe4:\n  puVar13[iVar11] = uVar5;" statement_identifier : (expression_statement "puVar13[iVar11] = uVar5;" (assignment_expression "puVar13[iVar11] = uVar5" (subscript_expression "puVar13[iVar11]" identifier [ identifier ]) = identifier) ;)) (expression_statement "param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);" (assignment_expression "param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0)" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "*(int *)(param_2 + 8) + (uint)(uVar5 != 0)" (pointer_expression "*(int *)(param_2 + 8)" * (cast_expression "(int *)(param_2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) )))) + (call_expression "(uint)(uVar5 != 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) ))))) ;) (expression_statement "iVar11 = iVar11 + (uint)(uVar5 != 0);" (assignment_expression "iVar11 = iVar11 + (uint)(uVar5 != 0)" identifier = (binary_expression "iVar11 + (uint)(uVar5 != 0)" identifier + (call_expression "(uint)(uVar5 != 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) ))))) ;) (if_statement "if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }" if (parenthesized_expression "(iVar12 < 0)" ( (binary_expression "iVar12 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar11 = -iVar11;\n  }" { (expression_statement "iVar11 = -iVar11;" (assignment_expression "iVar11 = -iVar11" identifier = (unary_expression "-iVar11" - identifier)) ;) })) (expression_statement "param_1[1] = iVar11;" (assignment_expression "param_1[1] = iVar11" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpf_mul_ui(mpf_ptr r,mpf_srcptr u,ulong v)\n\n{\n  mp_limb_t *pmVar1;\n  bool bVar2;\n  longlong lVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  mp_limb_t *pmVar8;\n  uint *puVar9;\n  mp_limb_t *pmVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  int in_t9;\n  \n  iVar12 = u->_mp_size;\n  if ((v == 0) || (iVar12 == 0)) {\n    r->_mp_size = 0;\n    r->_mp_exp = 0;\n    return;\n  }\n  iVar6 = iVar12;\n  if (iVar12 < 0) {\n    iVar6 = -iVar12;\n  }\n  iVar11 = r->_mp_prec;\n  iVar4 = iVar6 - iVar11;\n  pmVar8 = u->_mp_d;\n  if (iVar4 < 1) {\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v;\n    pmVar10 = pmVar8 + iVar4;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      pmVar1 = pmVar10 + -2;\n      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      pmVar10 = pmVar10 + -1;\n      if ((int)lVar3 != -1) break;\n      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));\n    }\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    if (uVar14 <= uVar14 + uVar7) {\n      FUN_0001cfe0();\n      return;\n    }\n    iVar4 = 1;\n    iVar6 = iVar11;\n    if (1 < iVar11) {\n      uVar14 = puVar13[1];\n      puVar13[1] = uVar14 + 1;\n      if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }\n      puVar9 = puVar13 + 2;\n      iVar6 = 2;\n      do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);\n      goto LAB_0001cfe4;\n    }\n  }\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar6;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  r->_mp_exp = u->_mp_exp + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  r->_mp_size = iVar11;\n  return;\n}\n\n" (function_definition "void __gmpf_mul_ui(mpf_ptr r,mpf_srcptr u,ulong v)\n\n{\n  mp_limb_t *pmVar1;\n  bool bVar2;\n  longlong lVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  mp_limb_t *pmVar8;\n  uint *puVar9;\n  mp_limb_t *pmVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  int in_t9;\n  \n  iVar12 = u->_mp_size;\n  if ((v == 0) || (iVar12 == 0)) {\n    r->_mp_size = 0;\n    r->_mp_exp = 0;\n    return;\n  }\n  iVar6 = iVar12;\n  if (iVar12 < 0) {\n    iVar6 = -iVar12;\n  }\n  iVar11 = r->_mp_prec;\n  iVar4 = iVar6 - iVar11;\n  pmVar8 = u->_mp_d;\n  if (iVar4 < 1) {\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v;\n    pmVar10 = pmVar8 + iVar4;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      pmVar1 = pmVar10 + -2;\n      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      pmVar10 = pmVar10 + -1;\n      if ((int)lVar3 != -1) break;\n      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));\n    }\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    if (uVar14 <= uVar14 + uVar7) {\n      FUN_0001cfe0();\n      return;\n    }\n    iVar4 = 1;\n    iVar6 = iVar11;\n    if (1 < iVar11) {\n      uVar14 = puVar13[1];\n      puVar13[1] = uVar14 + 1;\n      if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }\n      puVar9 = puVar13 + 2;\n      iVar6 = 2;\n      do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);\n      goto LAB_0001cfe4;\n    }\n  }\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar6;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  r->_mp_exp = u->_mp_exp + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  r->_mp_size = iVar11;\n  return;\n}" primitive_type (function_declarator "__gmpf_mul_ui(mpf_ptr r,mpf_srcptr u,ulong v)" identifier (parameter_list "(mpf_ptr r,mpf_srcptr u,ulong v)" ( (parameter_declaration "mpf_ptr r" type_identifier identifier) , (parameter_declaration "mpf_srcptr u" type_identifier identifier) , (parameter_declaration "ulong v" type_identifier identifier) ))) (compound_statement "{\n  mp_limb_t *pmVar1;\n  bool bVar2;\n  longlong lVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  mp_limb_t *pmVar8;\n  uint *puVar9;\n  mp_limb_t *pmVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  int in_t9;\n  \n  iVar12 = u->_mp_size;\n  if ((v == 0) || (iVar12 == 0)) {\n    r->_mp_size = 0;\n    r->_mp_exp = 0;\n    return;\n  }\n  iVar6 = iVar12;\n  if (iVar12 < 0) {\n    iVar6 = -iVar12;\n  }\n  iVar11 = r->_mp_prec;\n  iVar4 = iVar6 - iVar11;\n  pmVar8 = u->_mp_d;\n  if (iVar4 < 1) {\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v;\n    pmVar10 = pmVar8 + iVar4;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      pmVar1 = pmVar10 + -2;\n      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      pmVar10 = pmVar10 + -1;\n      if ((int)lVar3 != -1) break;\n      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));\n    }\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    if (uVar14 <= uVar14 + uVar7) {\n      FUN_0001cfe0();\n      return;\n    }\n    iVar4 = 1;\n    iVar6 = iVar11;\n    if (1 < iVar11) {\n      uVar14 = puVar13[1];\n      puVar13[1] = uVar14 + 1;\n      if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }\n      puVar9 = puVar13 + 2;\n      iVar6 = 2;\n      do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);\n      goto LAB_0001cfe4;\n    }\n  }\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar6;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  r->_mp_exp = u->_mp_exp + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  r->_mp_size = iVar11;\n  return;\n}" { (declaration "mp_limb_t *pmVar1;" type_identifier (pointer_declarator "*pmVar1" * identifier) ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "longlong lVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "mp_limb_t *pmVar8;" type_identifier (pointer_declarator "*pmVar8" * identifier) ;) (declaration "uint *puVar9;" type_identifier (pointer_declarator "*puVar9" * identifier) ;) (declaration "mp_limb_t *pmVar10;" type_identifier (pointer_declarator "*pmVar10" * identifier) ;) (declaration "int iVar11;" primitive_type identifier ;) (declaration "int iVar12;" primitive_type identifier ;) (declaration "uint *puVar13;" type_identifier (pointer_declarator "*puVar13" * identifier) ;) (declaration "uint uVar14;" type_identifier identifier ;) (declaration "int in_t9;" primitive_type identifier ;) (expression_statement "iVar12 = u->_mp_size;" (assignment_expression "iVar12 = u->_mp_size" identifier = (field_expression "u->_mp_size" identifier -> field_identifier)) ;) (if_statement "if ((v == 0) || (iVar12 == 0)) {\n    r->_mp_size = 0;\n    r->_mp_exp = 0;\n    return;\n  }" if (parenthesized_expression "((v == 0) || (iVar12 == 0))" ( (binary_expression "(v == 0) || (iVar12 == 0)" (parenthesized_expression "(v == 0)" ( (binary_expression "v == 0" identifier == number_literal) )) || (parenthesized_expression "(iVar12 == 0)" ( (binary_expression "iVar12 == 0" identifier == number_literal) ))) )) (compound_statement "{\n    r->_mp_size = 0;\n    r->_mp_exp = 0;\n    return;\n  }" { (expression_statement "r->_mp_size = 0;" (assignment_expression "r->_mp_size = 0" (field_expression "r->_mp_size" identifier -> field_identifier) = number_literal) ;) (expression_statement "r->_mp_exp = 0;" (assignment_expression "r->_mp_exp = 0" (field_expression "r->_mp_exp" identifier -> field_identifier) = number_literal) ;) (return_statement "return;" return ;) })) (expression_statement "iVar6 = iVar12;" (assignment_expression "iVar6 = iVar12" identifier = identifier) ;) (if_statement "if (iVar12 < 0) {\n    iVar6 = -iVar12;\n  }" if (parenthesized_expression "(iVar12 < 0)" ( (binary_expression "iVar12 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar6 = -iVar12;\n  }" { (expression_statement "iVar6 = -iVar12;" (assignment_expression "iVar6 = -iVar12" identifier = (unary_expression "-iVar12" - identifier)) ;) })) (expression_statement "iVar11 = r->_mp_prec;" (assignment_expression "iVar11 = r->_mp_prec" identifier = (field_expression "r->_mp_prec" identifier -> field_identifier)) ;) (expression_statement "iVar4 = iVar6 - iVar11;" (assignment_expression "iVar4 = iVar6 - iVar11" identifier = (binary_expression "iVar6 - iVar11" identifier - identifier)) ;) (expression_statement "pmVar8 = u->_mp_d;" (assignment_expression "pmVar8 = u->_mp_d" identifier = (field_expression "u->_mp_d" identifier -> field_identifier)) ;) (if_statement "if (iVar4 < 1) {\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v;\n    pmVar10 = pmVar8 + iVar4;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      pmVar1 = pmVar10 + -2;\n      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      pmVar10 = pmVar10 + -1;\n      if ((int)lVar3 != -1) break;\n      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));\n    }\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    if (uVar14 <= uVar14 + uVar7) {\n      FUN_0001cfe0();\n      return;\n    }\n    iVar4 = 1;\n    iVar6 = iVar11;\n    if (1 < iVar11) {\n      uVar14 = puVar13[1];\n      puVar13[1] = uVar14 + 1;\n      if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }\n      puVar9 = puVar13 + 2;\n      iVar6 = 2;\n      do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);\n      goto LAB_0001cfe4;\n    }\n  }" if (parenthesized_expression "(iVar4 < 1)" ( (binary_expression "iVar4 < 1" identifier < number_literal) )) (compound_statement "{\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200);\n    iVar4 = 0;\n  }" { (expression_statement "puVar13 = r->_mp_d;" (assignment_expression "puVar13 = r->_mp_d" identifier = (field_expression "r->_mp_d" identifier -> field_identifier)) ;) (expression_statement "uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200);" (assignment_expression "uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200)" identifier = (call_expression "(**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200)" (parenthesized_expression "(**(code **)(in_t9 + 0x7e264))" ( (pointer_expression "**(code **)(in_t9 + 0x7e264)" * (pointer_expression "*(code **)(in_t9 + 0x7e264)" * (cast_expression "(code **)(in_t9 + 0x7e264)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(in_t9 + 0x7e264)" ( (binary_expression "in_t9 + 0x7e264" identifier + number_literal) ))))) )) (argument_list "(puVar13,pmVar8,iVar6,v,in_t9 + 0x86200)" ( identifier , identifier , identifier , identifier , (binary_expression "in_t9 + 0x86200" identifier + number_literal) )))) ;) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    iVar6 = iVar4 + -1;\n    lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v;\n    pmVar10 = pmVar8 + iVar4;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      pmVar1 = pmVar10 + -2;\n      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      pmVar10 = pmVar10 + -1;\n      if ((int)lVar3 != -1) break;\n      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));\n    }\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    if (uVar14 <= uVar14 + uVar7) {\n      FUN_0001cfe0();\n      return;\n    }\n    iVar4 = 1;\n    iVar6 = iVar11;\n    if (1 < iVar11) {\n      uVar14 = puVar13[1];\n      puVar13[1] = uVar14 + 1;\n      if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }\n      puVar9 = puVar13 + 2;\n      iVar6 = 2;\n      do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);\n      goto LAB_0001cfe4;\n    }\n  }" else (compound_statement "{\n    iVar6 = iVar4 + -1;\n    lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v;\n    pmVar10 = pmVar8 + iVar4;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      pmVar1 = pmVar10 + -2;\n      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      pmVar10 = pmVar10 + -1;\n      if ((int)lVar3 != -1) break;\n      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));\n    }\n    puVar13 = r->_mp_d;\n    uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    if (uVar14 <= uVar14 + uVar7) {\n      FUN_0001cfe0();\n      return;\n    }\n    iVar4 = 1;\n    iVar6 = iVar11;\n    if (1 < iVar11) {\n      uVar14 = puVar13[1];\n      puVar13[1] = uVar14 + 1;\n      if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }\n      puVar9 = puVar13 + 2;\n      iVar6 = 2;\n      do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);\n      goto LAB_0001cfe4;\n    }\n  }" { (expression_statement "iVar6 = iVar4 + -1;" (assignment_expression "iVar6 = iVar4 + -1" identifier = (binary_expression "iVar4 + -1" identifier + number_literal)) ;) (expression_statement "lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v;" (assignment_expression "lVar3 = (ulonglong)pmVar8[iVar6] * (ulonglong)v" identifier = (binary_expression "(ulonglong)pmVar8[iVar6] * (ulonglong)v" (cast_expression "(ulonglong)pmVar8[iVar6]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "pmVar8[iVar6]" identifier [ identifier ])) * (cast_expression "(ulonglong)v" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "pmVar10 = pmVar8 + iVar4;" (assignment_expression "pmVar10 = pmVar8 + iVar4" identifier = (binary_expression "pmVar8 + iVar4" identifier + identifier)) ;) (while_statement "while( true ) {\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      pmVar1 = pmVar10 + -2;\n      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      pmVar10 = pmVar10 + -1;\n      if ((int)lVar3 != -1) break;\n      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      pmVar1 = pmVar10 + -2;\n      lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar3 >> 0x20);\n      pmVar10 = pmVar10 + -1;\n      if ((int)lVar3 != -1) break;\n      lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));\n    }" { (expression_statement "uVar14 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar14 = (uint)((ulonglong)lVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) (if_statement "if (iVar6 == -1) break;" if (parenthesized_expression "(iVar6 == -1)" ( (binary_expression "iVar6 == -1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "pmVar1 = pmVar10 + -2;" (assignment_expression "pmVar1 = pmVar10 + -2" identifier = (binary_expression "pmVar10 + -2" identifier + number_literal)) ;) (expression_statement "lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20);" (assignment_expression "lVar3 = lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20)" identifier = (binary_expression "lVar3 + ((ulonglong)*pmVar1 * (ulonglong)v >> 0x20)" identifier + (parenthesized_expression "((ulonglong)*pmVar1 * (ulonglong)v >> 0x20)" ( (binary_expression "(ulonglong)*pmVar1 * (ulonglong)v >> 0x20" (binary_expression "(ulonglong)*pmVar1 * (ulonglong)v" (binary_expression "(ulonglong)*pmVar1" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)v" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) (expression_statement "uVar14 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar14 = (uint)((ulonglong)lVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "pmVar10 = pmVar10 + -1;" (assignment_expression "pmVar10 = pmVar10 + -1" identifier = (binary_expression "pmVar10 + -1" identifier + number_literal)) ;) (if_statement "if ((int)lVar3 != -1) break;" if (parenthesized_expression "((int)lVar3 != -1)" ( (binary_expression "(int)lVar3 != -1" (cast_expression "(int)lVar3" ( (type_descriptor "int" primitive_type) ) identifier) != number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v));" (assignment_expression "lVar3 = CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v))" identifier = (call_expression "CONCAT44(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v))" identifier (argument_list "(uVar14,(int)((ulonglong)*pmVar1 * (ulonglong)v))" ( identifier , (cast_expression "(int)((ulonglong)*pmVar1 * (ulonglong)v)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)*pmVar1 * (ulonglong)v)" ( (binary_expression "(ulonglong)*pmVar1 * (ulonglong)v" (binary_expression "(ulonglong)*pmVar1" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)v" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ))) )))) ;) })) (expression_statement "puVar13 = r->_mp_d;" (assignment_expression "puVar13 = r->_mp_d" identifier = (field_expression "r->_mp_d" identifier -> field_identifier)) ;) (expression_statement "uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11);" (assignment_expression "uVar5 = (**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11)" identifier = (call_expression "(**(code **)(in_t9 + 0x7e264))(puVar13,pmVar8 + iVar4,iVar11)" (parenthesized_expression "(**(code **)(in_t9 + 0x7e264))" ( (pointer_expression "**(code **)(in_t9 + 0x7e264)" * (pointer_expression "*(code **)(in_t9 + 0x7e264)" * (cast_expression "(code **)(in_t9 + 0x7e264)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(in_t9 + 0x7e264)" ( (binary_expression "in_t9 + 0x7e264" identifier + number_literal) ))))) )) (argument_list "(puVar13,pmVar8 + iVar4,iVar11)" ( identifier , (binary_expression "pmVar8 + iVar4" identifier + identifier) , identifier )))) ;) (expression_statement "uVar7 = *puVar13;" (assignment_expression "uVar7 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = uVar14 + uVar7;" (assignment_expression "*puVar13 = uVar14 + uVar7" (pointer_expression "*puVar13" * identifier) = (binary_expression "uVar14 + uVar7" identifier + identifier)) ;) (if_statement "if (uVar14 <= uVar14 + uVar7) {\n      FUN_0001cfe0();\n      return;\n    }" if (parenthesized_expression "(uVar14 <= uVar14 + uVar7)" ( (binary_expression "uVar14 <= uVar14 + uVar7" identifier <= (binary_expression "uVar14 + uVar7" identifier + identifier)) )) (compound_statement "{\n      FUN_0001cfe0();\n      return;\n    }" { (expression_statement "FUN_0001cfe0();" (call_expression "FUN_0001cfe0()" identifier (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (expression_statement "iVar4 = 1;" (assignment_expression "iVar4 = 1" identifier = number_literal) ;) (expression_statement "iVar6 = iVar11;" (assignment_expression "iVar6 = iVar11" identifier = identifier) ;) (if_statement "if (1 < iVar11) {\n      uVar14 = puVar13[1];\n      puVar13[1] = uVar14 + 1;\n      if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }\n      puVar9 = puVar13 + 2;\n      iVar6 = 2;\n      do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);\n      goto LAB_0001cfe4;\n    }" if (parenthesized_expression "(1 < iVar11)" ( (binary_expression "1 < iVar11" number_literal < identifier) )) (compound_statement "{\n      uVar14 = puVar13[1];\n      puVar13[1] = uVar14 + 1;\n      if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }\n      puVar9 = puVar13 + 2;\n      iVar6 = 2;\n      do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);\n      goto LAB_0001cfe4;\n    }" { (expression_statement "uVar14 = puVar13[1];" (assignment_expression "uVar14 = puVar13[1]" identifier = (subscript_expression "puVar13[1]" identifier [ number_literal ])) ;) (expression_statement "puVar13[1] = uVar14 + 1;" (assignment_expression "puVar13[1] = uVar14 + 1" (subscript_expression "puVar13[1]" identifier [ number_literal ]) = (binary_expression "uVar14 + 1" identifier + number_literal)) ;) (if_statement "if (uVar14 + 1 != 0) {\n        FUN_0001cfe0();\n        return;\n      }" if (parenthesized_expression "(uVar14 + 1 != 0)" ( (binary_expression "uVar14 + 1 != 0" (binary_expression "uVar14 + 1" identifier + number_literal) != number_literal) )) (compound_statement "{\n        FUN_0001cfe0();\n        return;\n      }" { (expression_statement "FUN_0001cfe0();" (call_expression "FUN_0001cfe0()" identifier (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (expression_statement "puVar9 = puVar13 + 2;" (assignment_expression "puVar9 = puVar13 + 2" identifier = (binary_expression "puVar13 + 2" identifier + number_literal)) ;) (expression_statement "iVar6 = 2;" (assignment_expression "iVar6 = 2" identifier = number_literal) ;) (do_statement "do {\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      } while (uVar14 + 1 == 0);" do (compound_statement "{\n        bVar2 = iVar11 == iVar6;\n        iVar6 = iVar6 + 1;\n        if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }\n        uVar14 = *puVar9;\n        *puVar9 = uVar14 + 1;\n        puVar9 = puVar9 + 1;\n      }" { (expression_statement "bVar2 = iVar11 == iVar6;" (assignment_expression "bVar2 = iVar11 == iVar6" identifier = (binary_expression "iVar11 == iVar6" identifier == identifier)) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (bVar2) {\n          FUN_0001cfe0();\n          return;\n        }" if (parenthesized_expression "(bVar2)" ( identifier )) (compound_statement "{\n          FUN_0001cfe0();\n          return;\n        }" { (expression_statement "FUN_0001cfe0();" (call_expression "FUN_0001cfe0()" identifier (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (expression_statement "uVar14 = *puVar9;" (assignment_expression "uVar14 = *puVar9" identifier = (pointer_expression "*puVar9" * identifier)) ;) (expression_statement "*puVar9 = uVar14 + 1;" (assignment_expression "*puVar9 = uVar14 + 1" (pointer_expression "*puVar9" * identifier) = (binary_expression "uVar14 + 1" identifier + number_literal)) ;) (expression_statement "puVar9 = puVar9 + 1;" (assignment_expression "puVar9 = puVar9 + 1" identifier = (binary_expression "puVar9 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar14 + 1 == 0)" ( (binary_expression "uVar14 + 1 == 0" (binary_expression "uVar14 + 1" identifier + number_literal) == number_literal) )) ;) (goto_statement "goto LAB_0001cfe4;" goto statement_identifier ;) })) }))) (expression_statement "uVar5 = iVar4 + uVar5;" (assignment_expression "uVar5 = iVar4 + uVar5" identifier = (binary_expression "iVar4 + uVar5" identifier + identifier)) ;) (expression_statement "iVar11 = iVar6;" (assignment_expression "iVar11 = iVar6" identifier = identifier) ;) (labeled_statement "LAB_0001cfe4:\n  puVar13[iVar11] = uVar5;" statement_identifier : (expression_statement "puVar13[iVar11] = uVar5;" (assignment_expression "puVar13[iVar11] = uVar5" (subscript_expression "puVar13[iVar11]" identifier [ identifier ]) = identifier) ;)) (expression_statement "r->_mp_exp = u->_mp_exp + (uint)(uVar5 != 0);" (assignment_expression "r->_mp_exp = u->_mp_exp + (uint)(uVar5 != 0)" (field_expression "r->_mp_exp" identifier -> field_identifier) = (binary_expression "u->_mp_exp + (uint)(uVar5 != 0)" (field_expression "u->_mp_exp" identifier -> field_identifier) + (call_expression "(uint)(uVar5 != 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) ))))) ;) (expression_statement "iVar11 = iVar11 + (uint)(uVar5 != 0);" (assignment_expression "iVar11 = iVar11 + (uint)(uVar5 != 0)" identifier = (binary_expression "iVar11 + (uint)(uVar5 != 0)" identifier + (call_expression "(uint)(uVar5 != 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) ))))) ;) (if_statement "if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }" if (parenthesized_expression "(iVar12 < 0)" ( (binary_expression "iVar12 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar11 = -iVar11;\n  }" { (expression_statement "iVar11 = -iVar11;" (assignment_expression "iVar11 = -iVar11" identifier = (unary_expression "-iVar11" - identifier)) ;) })) (expression_statement "r->_mp_size = iVar11;" (assignment_expression "r->_mp_size = iVar11" (field_expression "r->_mp_size" identifier -> field_identifier) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpf_mul_ui(int *param_1,int param_2,uint param_3)\n\n{\n  bool bVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int iVar8;\n  uint *puVar9;\n  int iVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  \n  iVar12 = *(int *)(param_2 + 4);\n  if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }\n  iVar10 = iVar12;\n  if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }\n  iVar11 = *param_1;\n  iVar4 = iVar10 - iVar11;\n  iVar8 = *(int *)(param_2 + 0xc);\n  if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }\nLAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar10;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  param_1[1] = iVar11;\n  return;\n}\n\n" (function_definition "void __gmpf_mul_ui(int *param_1,int param_2,uint param_3)\n\n{\n  bool bVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int iVar8;\n  uint *puVar9;\n  int iVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  \n  iVar12 = *(int *)(param_2 + 4);\n  if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }\n  iVar10 = iVar12;\n  if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }\n  iVar11 = *param_1;\n  iVar4 = iVar10 - iVar11;\n  iVar8 = *(int *)(param_2 + 0xc);\n  if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }\nLAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar10;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  param_1[1] = iVar11;\n  return;\n}" primitive_type (function_declarator "__gmpf_mul_ui(int *param_1,int param_2,uint param_3)" identifier (parameter_list "(int *param_1,int param_2,uint param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int iVar8;\n  uint *puVar9;\n  int iVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  \n  iVar12 = *(int *)(param_2 + 4);\n  if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }\n  iVar10 = iVar12;\n  if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }\n  iVar11 = *param_1;\n  iVar4 = iVar10 - iVar11;\n  iVar8 = *(int *)(param_2 + 0xc);\n  if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }\nLAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar10;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  param_1[1] = iVar11;\n  return;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "ulonglong uVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "uint *puVar9;" type_identifier (pointer_declarator "*puVar9" * identifier) ;) (declaration "int iVar10;" primitive_type identifier ;) (declaration "int iVar11;" primitive_type identifier ;) (declaration "int iVar12;" primitive_type identifier ;) (declaration "uint *puVar13;" type_identifier (pointer_declarator "*puVar13" * identifier) ;) (declaration "uint uVar14;" type_identifier identifier ;) (expression_statement "iVar12 = *(int *)(param_2 + 4);" (assignment_expression "iVar12 = *(int *)(param_2 + 4)" identifier = (pointer_expression "*(int *)(param_2 + 4)" * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) ))))) ;) (if_statement "if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }" if (parenthesized_expression "((param_3 == 0) || (iVar12 == 0))" ( (binary_expression "(param_3 == 0) || (iVar12 == 0)" (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) || (parenthesized_expression "(iVar12 == 0)" ( (binary_expression "iVar12 == 0" identifier == number_literal) ))) )) (compound_statement "{\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }" { (expression_statement "param_1[1] = 0;" (assignment_expression "param_1[1] = 0" (subscript_expression "param_1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[2] = 0;" (assignment_expression "param_1[2] = 0" (subscript_expression "param_1[2]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })) (expression_statement "iVar10 = iVar12;" (assignment_expression "iVar10 = iVar12" identifier = identifier) ;) (if_statement "if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }" if (parenthesized_expression "(iVar12 < 0)" ( (binary_expression "iVar12 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar10 = -iVar12;\n  }" { (expression_statement "iVar10 = -iVar12;" (assignment_expression "iVar10 = -iVar12" identifier = (unary_expression "-iVar12" - identifier)) ;) })) (expression_statement "iVar11 = *param_1;" (assignment_expression "iVar11 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar4 = iVar10 - iVar11;" (assignment_expression "iVar4 = iVar10 - iVar11" identifier = (binary_expression "iVar10 - iVar11" identifier - identifier)) ;) (expression_statement "iVar8 = *(int *)(param_2 + 0xc);" (assignment_expression "iVar8 = *(int *)(param_2 + 0xc)" identifier = (pointer_expression "*(int *)(param_2 + 0xc)" * (cast_expression "(int *)(param_2 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0xc)" ( (binary_expression "param_2 + 0xc" identifier + number_literal) ))))) ;) (if_statement "if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" if (parenthesized_expression "(iVar4 < 1)" ( (binary_expression "iVar4 < 1" identifier < number_literal) )) (compound_statement "{\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }" { (expression_statement "puVar13 = (uint *)param_1[3];" (assignment_expression "puVar13 = (uint *)param_1[3]" identifier = (cast_expression "(uint *)param_1[3]" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) ;) (expression_statement "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);" (assignment_expression "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3)" identifier = (call_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3)" (parenthesized_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)" ( (pointer_expression "*(code *)PTR___gmpn_mul_1_0009b0a4" * (cast_expression "(code *)PTR___gmpn_mul_1_0009b0a4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(puVar13,iVar8,iVar10,param_3)" ( identifier , identifier , identifier , identifier )))) ;) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" else (compound_statement "{\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" { (expression_statement "iVar6 = iVar4 + -1;" (assignment_expression "iVar6 = iVar4 + -1" identifier = (binary_expression "iVar4 + -1" identifier + number_literal)) ;) (expression_statement "lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;" (assignment_expression "lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3" identifier = (binary_expression "(ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3" (binary_expression "(ulonglong)*(uint *)(iVar8 + iVar6 * 4)" (parenthesized_expression "(ulonglong)" ( identifier )) * (cast_expression "(uint *)(iVar8 + iVar6 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar8 + iVar6 * 4)" ( (binary_expression "iVar8 + iVar6 * 4" identifier + (binary_expression "iVar6 * 4" identifier * number_literal)) )))) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "iVar8 = iVar8 + iVar4 * 4;" (assignment_expression "iVar8 = iVar8 + iVar4 * 4" identifier = (binary_expression "iVar8 + iVar4 * 4" identifier + (binary_expression "iVar4 * 4" identifier * number_literal))) ;) (expression_statement "iVar10 = iVar8;" (assignment_expression "iVar10 = iVar8" identifier = identifier) ;) (while_statement "while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }" { (expression_statement "uVar14 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar14 = (uint)((ulonglong)lVar2 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) (if_statement "if (iVar6 == -1) break;" if (parenthesized_expression "(iVar6 == -1)" ( (binary_expression "iVar6 == -1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;" (assignment_expression "uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3" identifier = (binary_expression "(ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3" (binary_expression "(ulonglong)*(uint *)(iVar10 + -8)" (parenthesized_expression "(ulonglong)" ( identifier )) * (cast_expression "(uint *)(iVar10 + -8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar10 + -8)" ( (binary_expression "iVar10 + -8" identifier + number_literal) )))) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "lVar2 = lVar2 + (uVar3 >> 0x20);" (assignment_expression "lVar2 = lVar2 + (uVar3 >> 0x20)" identifier = (binary_expression "lVar2 + (uVar3 >> 0x20)" identifier + (parenthesized_expression "(uVar3 >> 0x20)" ( (binary_expression "uVar3 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar14 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar14 = (uint)((ulonglong)lVar2 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "iVar10 = iVar10 + -4;" (assignment_expression "iVar10 = iVar10 + -4" identifier = (binary_expression "iVar10 + -4" identifier + number_literal)) ;) (if_statement "if ((int)lVar2 != -1) break;" if (parenthesized_expression "((int)lVar2 != -1)" ( (binary_expression "(int)lVar2 != -1" (cast_expression "(int)lVar2" ( (type_descriptor "int" primitive_type) ) identifier) != number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar2 = CONCAT44(uVar14,(int)uVar3);" (assignment_expression "lVar2 = CONCAT44(uVar14,(int)uVar3)" identifier = (call_expression "CONCAT44(uVar14,(int)uVar3)" identifier (argument_list "(uVar14,(int)uVar3)" ( identifier , (cast_expression "(int)uVar3" ( (type_descriptor "int" primitive_type) ) identifier) )))) ;) })) (expression_statement "puVar13 = (uint *)param_1[3];" (assignment_expression "puVar13 = (uint *)param_1[3]" identifier = (cast_expression "(uint *)param_1[3]" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) ;) (expression_statement "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);" (assignment_expression "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11)" identifier = (call_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11)" (parenthesized_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)" ( (pointer_expression "*(code *)PTR___gmpn_mul_1_0009b0a4" * (cast_expression "(code *)PTR___gmpn_mul_1_0009b0a4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(puVar13,iVar8,iVar11)" ( identifier , identifier , identifier )))) ;) (expression_statement "uVar7 = *puVar13;" (assignment_expression "uVar7 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = uVar14 + uVar7;" (assignment_expression "*puVar13 = uVar14 + uVar7" (pointer_expression "*puVar13" * identifier) = (binary_expression "uVar14 + uVar7" identifier + identifier)) ;) (expression_statement "iVar10 = iVar11;" (assignment_expression "iVar10 = iVar11" identifier = identifier) ;) (if_statement "if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }" if (parenthesized_expression "(uVar14 + uVar7 < uVar14)" ( (binary_expression "uVar14 + uVar7 < uVar14" (binary_expression "uVar14 + uVar7" identifier + identifier) < identifier) )) (compound_statement "{\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }" { (expression_statement "iVar4 = 1;" (assignment_expression "iVar4 = 1" identifier = number_literal) ;) (if_statement "if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }" if (parenthesized_expression "(1 < iVar11)" ( (binary_expression "1 < iVar11" number_literal < identifier) )) (compound_statement "{\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }" { (expression_statement "uVar14 = puVar13[1];" (assignment_expression "uVar14 = puVar13[1]" identifier = (subscript_expression "puVar13[1]" identifier [ number_literal ])) ;) (expression_statement "puVar13[1] = uVar14 + 1;" (assignment_expression "puVar13[1] = uVar14 + 1" (subscript_expression "puVar13[1]" identifier [ number_literal ]) = (binary_expression "uVar14 + 1" identifier + number_literal)) ;) (if_statement "if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }" if (parenthesized_expression "(uVar14 + 1 == 0)" ( (binary_expression "uVar14 + 1 == 0" (binary_expression "uVar14 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }" { (expression_statement "puVar9 = puVar13 + 2;" (assignment_expression "puVar9 = puVar13 + 2" identifier = (binary_expression "puVar13 + 2" identifier + number_literal)) ;) (expression_statement "iVar4 = 2;" (assignment_expression "iVar4 = 2" identifier = number_literal) ;) (do_statement "do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);" do (compound_statement "{\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          }" { (expression_statement "bVar1 = iVar11 == iVar4;" (assignment_expression "bVar1 = iVar11 == iVar4" identifier = (binary_expression "iVar11 == iVar4" identifier == identifier)) ;) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (if_statement "if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }" if (parenthesized_expression "(bVar1)" ( identifier )) (compound_statement "{\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }" { (expression_statement "iVar4 = 1;" (assignment_expression "iVar4 = 1" identifier = number_literal) ;) (goto_statement "goto LAB_0001cfe0;" goto statement_identifier ;) })) (expression_statement "uVar14 = *puVar9;" (assignment_expression "uVar14 = *puVar9" identifier = (pointer_expression "*puVar9" * identifier)) ;) (expression_statement "*puVar9 = uVar14 + 1;" (assignment_expression "*puVar9 = uVar14 + 1" (pointer_expression "*puVar9" * identifier) = (binary_expression "uVar14 + 1" identifier + number_literal)) ;) (expression_statement "puVar9 = puVar9 + 1;" (assignment_expression "puVar9 = puVar9 + 1" identifier = (binary_expression "puVar9 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar14 + 1 == 0)" ( (binary_expression "uVar14 + 1 == 0" (binary_expression "uVar14 + 1" identifier + number_literal) == number_literal) )) ;) (goto_statement "goto LAB_0001cfe4;" goto statement_identifier ;) })) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) })) }) (else_clause "else {\n      iVar4 = 0;\n    }" else (compound_statement "{\n      iVar4 = 0;\n    }" { (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) }))) }))) (labeled_statement "LAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;" statement_identifier : (expression_statement "uVar5 = iVar4 + uVar5;" (assignment_expression "uVar5 = iVar4 + uVar5" identifier = (binary_expression "iVar4 + uVar5" identifier + identifier)) ;)) (expression_statement "iVar11 = iVar10;" (assignment_expression "iVar11 = iVar10" identifier = identifier) ;) (labeled_statement "LAB_0001cfe4:\n  puVar13[iVar11] = uVar5;" statement_identifier : (expression_statement "puVar13[iVar11] = uVar5;" (assignment_expression "puVar13[iVar11] = uVar5" (subscript_expression "puVar13[iVar11]" identifier [ identifier ]) = identifier) ;)) (expression_statement "param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);" (assignment_expression "param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0)" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "*(int *)(param_2 + 8) + (uint)(uVar5 != 0)" (pointer_expression "*(int *)(param_2 + 8)" * (cast_expression "(int *)(param_2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) )))) + (call_expression "(uint)(uVar5 != 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) ))))) ;) (expression_statement "iVar11 = iVar11 + (uint)(uVar5 != 0);" (assignment_expression "iVar11 = iVar11 + (uint)(uVar5 != 0)" identifier = (binary_expression "iVar11 + (uint)(uVar5 != 0)" identifier + (call_expression "(uint)(uVar5 != 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) ))))) ;) (if_statement "if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }" if (parenthesized_expression "(iVar12 < 0)" ( (binary_expression "iVar12 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar11 = -iVar11;\n  }" { (expression_statement "iVar11 = -iVar11;" (assignment_expression "iVar11 = -iVar11" identifier = (unary_expression "-iVar11" - identifier)) ;) })) (expression_statement "param_1[1] = iVar11;" (assignment_expression "param_1[1] = iVar11" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE 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 (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT == LIT) )) || (parenthesized_expression ( (binary_expression IDENT == LIT) ))) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , IDENT , IDENT , IDENT )))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) )))) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (binary_expression IDENT * LIT))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (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 (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) != LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , (cast_expression ( (type_descriptor TYPE) ) IDENT) )))) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , IDENT , IDENT )))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + IDENT) < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT == IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( IDENT )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) ;) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) })) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }))) }))) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;)) (expression_statement (assignment_expression IDENT = IDENT) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;)) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT != LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT != LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return ;) })))
(function_definition "void __gmpf_mul_ui(int *param_1,int param_2,uint param_3)\n\n{\n  bool bVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int iVar8;\n  uint *puVar9;\n  int iVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  \n  iVar12 = *(int *)(param_2 + 4);\n  if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }\n  iVar10 = iVar12;\n  if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }\n  iVar11 = *param_1;\n  iVar4 = iVar10 - iVar11;\n  iVar8 = *(int *)(param_2 + 0xc);\n  if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }\nLAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar10;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  param_1[1] = iVar11;\n  return;\n}" (primitive_type "void") (function_declarator "__gmpf_mul_ui(int *param_1,int param_2,uint param_3)" (identifier "__gmpf_mul_ui") (parameter_list "(int *param_1,int param_2,uint param_3)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) () ")"))) (compound_statement "{\n  bool bVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  int iVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int iVar8;\n  uint *puVar9;\n  int iVar10;\n  int iVar11;\n  int iVar12;\n  uint *puVar13;\n  uint uVar14;\n  \n  iVar12 = *(int *)(param_2 + 4);\n  if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }\n  iVar10 = iVar12;\n  if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }\n  iVar11 = *param_1;\n  iVar4 = iVar10 - iVar11;\n  iVar8 = *(int *)(param_2 + 0xc);\n  if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }\nLAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;\n  iVar11 = iVar10;\nLAB_0001cfe4:\n  puVar13[iVar11] = uVar5;\n  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);\n  iVar11 = iVar11 + (uint)(uVar5 != 0);\n  if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }\n  param_1[1] = iVar11;\n  return;\n}" ({ "{") (declaration "bool bVar1;" (primitive_type "bool") (identifier "bVar1") (; ";")) (declaration "longlong lVar2;" (type_identifier "longlong") (identifier "lVar2") (; ";")) (declaration "ulonglong uVar3;" (type_identifier "ulonglong") (identifier "uVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "int iVar8;" (primitive_type "int") (identifier "iVar8") (; ";")) (declaration "uint *puVar9;" (type_identifier "uint") (pointer_declarator "*puVar9" (* "*") (identifier "puVar9")) (; ";")) (declaration "int iVar10;" (primitive_type "int") (identifier "iVar10") (; ";")) (declaration "int iVar11;" (primitive_type "int") (identifier "iVar11") (; ";")) (declaration "int iVar12;" (primitive_type "int") (identifier "iVar12") (; ";")) (declaration "uint *puVar13;" (type_identifier "uint") (pointer_declarator "*puVar13" (* "*") (identifier "puVar13")) (; ";")) (declaration "uint uVar14;" (type_identifier "uint") (identifier "uVar14") (; ";")) (expression_statement "iVar12 = *(int *)(param_2 + 4);" (assignment_expression "iVar12 = *(int *)(param_2 + 4)" (identifier "iVar12") (= "=") (pointer_expression "*(int *)(param_2 + 4)" (* "*") (cast_expression "(int *)(param_2 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 4)" (( "(") (binary_expression "param_2 + 4" (identifier "param_2") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (if_statement "if ((param_3 == 0) || (iVar12 == 0)) {\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }" (if "if") (parenthesized_expression "((param_3 == 0) || (iVar12 == 0))" (( "(") (binary_expression "(param_3 == 0) || (iVar12 == 0)" (parenthesized_expression "(param_3 == 0)" (( "(") (binary_expression "param_3 == 0" (identifier "param_3") (== "==") (number_literal "0")) () ")")) (|| "||") (parenthesized_expression "(iVar12 == 0)" (( "(") (binary_expression "iVar12 == 0" (identifier "iVar12") (== "==") (number_literal "0")) () ")"))) () ")")) (compound_statement "{\n    param_1[1] = 0;\n    param_1[2] = 0;\n    return;\n  }" ({ "{") (expression_statement "param_1[1] = 0;" (assignment_expression "param_1[1] = 0" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "0")) (; ";")) (expression_statement "param_1[2] = 0;" (assignment_expression "param_1[2] = 0" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (number_literal "0")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "iVar10 = iVar12;" (assignment_expression "iVar10 = iVar12" (identifier "iVar10") (= "=") (identifier "iVar12")) (; ";")) (if_statement "if (iVar12 < 0) {\n    iVar10 = -iVar12;\n  }" (if "if") (parenthesized_expression "(iVar12 < 0)" (( "(") (binary_expression "iVar12 < 0" (identifier "iVar12") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    iVar10 = -iVar12;\n  }" ({ "{") (expression_statement "iVar10 = -iVar12;" (assignment_expression "iVar10 = -iVar12" (identifier "iVar10") (= "=") (unary_expression "-iVar12" (- "-") (identifier "iVar12"))) (; ";")) (} "}"))) (expression_statement "iVar11 = *param_1;" (assignment_expression "iVar11 = *param_1" (identifier "iVar11") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "iVar4 = iVar10 - iVar11;" (assignment_expression "iVar4 = iVar10 - iVar11" (identifier "iVar4") (= "=") (binary_expression "iVar10 - iVar11" (identifier "iVar10") (- "-") (identifier "iVar11"))) (; ";")) (expression_statement "iVar8 = *(int *)(param_2 + 0xc);" (assignment_expression "iVar8 = *(int *)(param_2 + 0xc)" (identifier "iVar8") (= "=") (pointer_expression "*(int *)(param_2 + 0xc)" (* "*") (cast_expression "(int *)(param_2 + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0xc)" (( "(") (binary_expression "param_2 + 0xc" (identifier "param_2") (+ "+") (number_literal "0xc")) () ")"))))) (; ";")) (if_statement "if (iVar4 < 1) {\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }\n  else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" (if "if") (parenthesized_expression "(iVar4 < 1)" (( "(") (binary_expression "iVar4 < 1" (identifier "iVar4") (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);\n    iVar4 = 0;\n  }" ({ "{") (expression_statement "puVar13 = (uint *)param_1[3];" (assignment_expression "puVar13 = (uint *)param_1[3]" (identifier "puVar13") (= "=") (cast_expression "(uint *)param_1[3]" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")))) (; ";")) (expression_statement "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);" (assignment_expression "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3)" (identifier "uVar5") (= "=") (call_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3)" (parenthesized_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)" (( "(") (pointer_expression "*(code *)PTR___gmpn_mul_1_0009b0a4" (* "*") (cast_expression "(code *)PTR___gmpn_mul_1_0009b0a4" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpn_mul_1_0009b0a4"))) () ")")) (argument_list "(puVar13,iVar8,iVar10,param_3)" (( "(") (identifier "puVar13") (, ",") (identifier "iVar8") (, ",") (identifier "iVar10") (, ",") (identifier "param_3") () ")")))) (; ";")) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" (identifier "iVar4") (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" (else "else") (compound_statement "{\n    iVar6 = iVar4 + -1;\n    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;\n    iVar8 = iVar8 + iVar4 * 4;\n    iVar10 = iVar8;\n    while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }\n    puVar13 = (uint *)param_1[3];\n    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);\n    uVar7 = *puVar13;\n    *puVar13 = uVar14 + uVar7;\n    iVar10 = iVar11;\n    if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }\n  }" ({ "{") (expression_statement "iVar6 = iVar4 + -1;" (assignment_expression "iVar6 = iVar4 + -1" (identifier "iVar6") (= "=") (binary_expression "iVar4 + -1" (identifier "iVar4") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;" (assignment_expression "lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3" (identifier "lVar2") (= "=") (binary_expression "(ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3" (binary_expression "(ulonglong)*(uint *)(iVar8 + iVar6 * 4)" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (cast_expression "(uint *)(iVar8 + iVar6 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar8 + iVar6 * 4)" (( "(") (binary_expression "iVar8 + iVar6 * 4" (identifier "iVar8") (+ "+") (binary_expression "iVar6 * 4" (identifier "iVar6") (* "*") (number_literal "4"))) () ")")))) (* "*") (cast_expression "(ulonglong)param_3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_3")))) (; ";")) (expression_statement "iVar8 = iVar8 + iVar4 * 4;" (assignment_expression "iVar8 = iVar8 + iVar4 * 4" (identifier "iVar8") (= "=") (binary_expression "iVar8 + iVar4 * 4" (identifier "iVar8") (+ "+") (binary_expression "iVar4 * 4" (identifier "iVar4") (* "*") (number_literal "4")))) (; ";")) (expression_statement "iVar10 = iVar8;" (assignment_expression "iVar10 = iVar8" (identifier "iVar10") (= "=") (identifier "iVar8")) (; ";")) (while_statement "while( true ) {\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar6 = iVar6 + -1;\n      if (iVar6 == -1) break;\n      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;\n      lVar2 = lVar2 + (uVar3 >> 0x20);\n      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);\n      iVar10 = iVar10 + -4;\n      if ((int)lVar2 != -1) break;\n      lVar2 = CONCAT44(uVar14,(int)uVar3);\n    }" ({ "{") (expression_statement "uVar14 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar14 = (uint)((ulonglong)lVar2 >> 0x20)" (identifier "uVar14") (= "=") (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar2")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" (identifier "iVar6") (= "=") (binary_expression "iVar6 + -1" (identifier "iVar6") (+ "+") (number_literal "-1"))) (; ";")) (if_statement "if (iVar6 == -1) break;" (if "if") (parenthesized_expression "(iVar6 == -1)" (( "(") (binary_expression "iVar6 == -1" (identifier "iVar6") (== "==") (number_literal "-1")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;" (assignment_expression "uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3" (identifier "uVar3") (= "=") (binary_expression "(ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3" (binary_expression "(ulonglong)*(uint *)(iVar10 + -8)" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (cast_expression "(uint *)(iVar10 + -8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar10 + -8)" (( "(") (binary_expression "iVar10 + -8" (identifier "iVar10") (+ "+") (number_literal "-8")) () ")")))) (* "*") (cast_expression "(ulonglong)param_3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_3")))) (; ";")) (expression_statement "lVar2 = lVar2 + (uVar3 >> 0x20);" (assignment_expression "lVar2 = lVar2 + (uVar3 >> 0x20)" (identifier "lVar2") (= "=") (binary_expression "lVar2 + (uVar3 >> 0x20)" (identifier "lVar2") (+ "+") (parenthesized_expression "(uVar3 >> 0x20)" (( "(") (binary_expression "uVar3 >> 0x20" (identifier "uVar3") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar14 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar14 = (uint)((ulonglong)lVar2 >> 0x20)" (identifier "uVar14") (= "=") (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar2")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "iVar10 = iVar10 + -4;" (assignment_expression "iVar10 = iVar10 + -4" (identifier "iVar10") (= "=") (binary_expression "iVar10 + -4" (identifier "iVar10") (+ "+") (number_literal "-4"))) (; ";")) (if_statement "if ((int)lVar2 != -1) break;" (if "if") (parenthesized_expression "((int)lVar2 != -1)" (( "(") (binary_expression "(int)lVar2 != -1" (cast_expression "(int)lVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar2")) (!= "!=") (number_literal "-1")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "lVar2 = CONCAT44(uVar14,(int)uVar3);" (assignment_expression "lVar2 = CONCAT44(uVar14,(int)uVar3)" (identifier "lVar2") (= "=") (call_expression "CONCAT44(uVar14,(int)uVar3)" (identifier "CONCAT44") (argument_list "(uVar14,(int)uVar3)" (( "(") (identifier "uVar14") (, ",") (cast_expression "(int)uVar3" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar3")) () ")")))) (; ";")) (} "}"))) (expression_statement "puVar13 = (uint *)param_1[3];" (assignment_expression "puVar13 = (uint *)param_1[3]" (identifier "puVar13") (= "=") (cast_expression "(uint *)param_1[3]" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")))) (; ";")) (expression_statement "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);" (assignment_expression "uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11)" (identifier "uVar5") (= "=") (call_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11)" (parenthesized_expression "(*(code *)PTR___gmpn_mul_1_0009b0a4)" (( "(") (pointer_expression "*(code *)PTR___gmpn_mul_1_0009b0a4" (* "*") (cast_expression "(code *)PTR___gmpn_mul_1_0009b0a4" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpn_mul_1_0009b0a4"))) () ")")) (argument_list "(puVar13,iVar8,iVar11)" (( "(") (identifier "puVar13") (, ",") (identifier "iVar8") (, ",") (identifier "iVar11") () ")")))) (; ";")) (expression_statement "uVar7 = *puVar13;" (assignment_expression "uVar7 = *puVar13" (identifier "uVar7") (= "=") (pointer_expression "*puVar13" (* "*") (identifier "puVar13"))) (; ";")) (expression_statement "*puVar13 = uVar14 + uVar7;" (assignment_expression "*puVar13 = uVar14 + uVar7" (pointer_expression "*puVar13" (* "*") (identifier "puVar13")) (= "=") (binary_expression "uVar14 + uVar7" (identifier "uVar14") (+ "+") (identifier "uVar7"))) (; ";")) (expression_statement "iVar10 = iVar11;" (assignment_expression "iVar10 = iVar11" (identifier "iVar10") (= "=") (identifier "iVar11")) (; ";")) (if_statement "if (uVar14 + uVar7 < uVar14) {\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }\n    else {\n      iVar4 = 0;\n    }" (if "if") (parenthesized_expression "(uVar14 + uVar7 < uVar14)" (( "(") (binary_expression "uVar14 + uVar7 < uVar14" (binary_expression "uVar14 + uVar7" (identifier "uVar14") (+ "+") (identifier "uVar7")) (< "<") (identifier "uVar14")) () ")")) (compound_statement "{\n      iVar4 = 1;\n      if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }\n    }" ({ "{") (expression_statement "iVar4 = 1;" (assignment_expression "iVar4 = 1" (identifier "iVar4") (= "=") (number_literal "1")) (; ";")) (if_statement "if (1 < iVar11) {\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }" (if "if") (parenthesized_expression "(1 < iVar11)" (( "(") (binary_expression "1 < iVar11" (number_literal "1") (< "<") (identifier "iVar11")) () ")")) (compound_statement "{\n        uVar14 = puVar13[1];\n        puVar13[1] = uVar14 + 1;\n        if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }\n        iVar4 = 0;\n      }" ({ "{") (expression_statement "uVar14 = puVar13[1];" (assignment_expression "uVar14 = puVar13[1]" (identifier "uVar14") (= "=") (subscript_expression "puVar13[1]" (identifier "puVar13") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "puVar13[1] = uVar14 + 1;" (assignment_expression "puVar13[1] = uVar14 + 1" (subscript_expression "puVar13[1]" (identifier "puVar13") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar14 + 1" (identifier "uVar14") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar14 + 1 == 0) {\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }" (if "if") (parenthesized_expression "(uVar14 + 1 == 0)" (( "(") (binary_expression "uVar14 + 1 == 0" (binary_expression "uVar14 + 1" (identifier "uVar14") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n          puVar9 = puVar13 + 2;\n          iVar4 = 2;\n          do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);\n          goto LAB_0001cfe4;\n        }" ({ "{") (expression_statement "puVar9 = puVar13 + 2;" (assignment_expression "puVar9 = puVar13 + 2" (identifier "puVar9") (= "=") (binary_expression "puVar13 + 2" (identifier "puVar13") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "iVar4 = 2;" (assignment_expression "iVar4 = 2" (identifier "iVar4") (= "=") (number_literal "2")) (; ";")) (do_statement "do {\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          } while (uVar14 + 1 == 0);" (do "do") (compound_statement "{\n            bVar1 = iVar11 == iVar4;\n            iVar4 = iVar4 + 1;\n            if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }\n            uVar14 = *puVar9;\n            *puVar9 = uVar14 + 1;\n            puVar9 = puVar9 + 1;\n          }" ({ "{") (expression_statement "bVar1 = iVar11 == iVar4;" (assignment_expression "bVar1 = iVar11 == iVar4" (identifier "bVar1") (= "=") (binary_expression "iVar11 == iVar4" (identifier "iVar11") (== "==") (identifier "iVar4"))) (; ";")) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" (identifier "iVar4") (= "=") (binary_expression "iVar4 + 1" (identifier "iVar4") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (bVar1) {\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }" (if "if") (parenthesized_expression "(bVar1)" (( "(") (identifier "bVar1") () ")")) (compound_statement "{\n              iVar4 = 1;\n              goto LAB_0001cfe0;\n            }" ({ "{") (expression_statement "iVar4 = 1;" (assignment_expression "iVar4 = 1" (identifier "iVar4") (= "=") (number_literal "1")) (; ";")) (goto_statement "goto LAB_0001cfe0;" (goto "goto") (statement_identifier "LAB_0001cfe0") (; ";")) (} "}"))) (expression_statement "uVar14 = *puVar9;" (assignment_expression "uVar14 = *puVar9" (identifier "uVar14") (= "=") (pointer_expression "*puVar9" (* "*") (identifier "puVar9"))) (; ";")) (expression_statement "*puVar9 = uVar14 + 1;" (assignment_expression "*puVar9 = uVar14 + 1" (pointer_expression "*puVar9" (* "*") (identifier "puVar9")) (= "=") (binary_expression "uVar14 + 1" (identifier "uVar14") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar9 = puVar9 + 1;" (assignment_expression "puVar9 = puVar9 + 1" (identifier "puVar9") (= "=") (binary_expression "puVar9 + 1" (identifier "puVar9") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar14 + 1 == 0)" (( "(") (binary_expression "uVar14 + 1 == 0" (binary_expression "uVar14 + 1" (identifier "uVar14") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (; ";")) (goto_statement "goto LAB_0001cfe4;" (goto "goto") (statement_identifier "LAB_0001cfe4") (; ";")) (} "}"))) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" (identifier "iVar4") (= "=") (number_literal "0")) (; ";")) (} "}"))) (} "}")) (else_clause "else {\n      iVar4 = 0;\n    }" (else "else") (compound_statement "{\n      iVar4 = 0;\n    }" ({ "{") (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" (identifier "iVar4") (= "=") (number_literal "0")) (; ";")) (} "}")))) (} "}")))) (labeled_statement "LAB_0001cfe0:\n  uVar5 = iVar4 + uVar5;" (statement_identifier "LAB_0001cfe0") (: ":") (expression_statement "uVar5 = iVar4 + uVar5;" (assignment_expression "uVar5 = iVar4 + uVar5" (identifier "uVar5") (= "=") (binary_expression "iVar4 + uVar5" (identifier "iVar4") (+ "+") (identifier "uVar5"))) (; ";"))) (expression_statement "iVar11 = iVar10;" (assignment_expression "iVar11 = iVar10" (identifier "iVar11") (= "=") (identifier "iVar10")) (; ";")) (labeled_statement "LAB_0001cfe4:\n  puVar13[iVar11] = uVar5;" (statement_identifier "LAB_0001cfe4") (: ":") (expression_statement "puVar13[iVar11] = uVar5;" (assignment_expression "puVar13[iVar11] = uVar5" (subscript_expression "puVar13[iVar11]" (identifier "puVar13") ([ "[") (identifier "iVar11") (] "]")) (= "=") (identifier "uVar5")) (; ";"))) (expression_statement "param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);" (assignment_expression "param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0)" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (binary_expression "*(int *)(param_2 + 8) + (uint)(uVar5 != 0)" (pointer_expression "*(int *)(param_2 + 8)" (* "*") (cast_expression "(int *)(param_2 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 8)" (( "(") (binary_expression "param_2 + 8" (identifier "param_2") (+ "+") (number_literal "8")) () ")")))) (+ "+") (call_expression "(uint)(uVar5 != 0)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar5 != 0)" (( "(") (binary_expression "uVar5 != 0" (identifier "uVar5") (!= "!=") (number_literal "0")) () ")"))))) (; ";")) (expression_statement "iVar11 = iVar11 + (uint)(uVar5 != 0);" (assignment_expression "iVar11 = iVar11 + (uint)(uVar5 != 0)" (identifier "iVar11") (= "=") (binary_expression "iVar11 + (uint)(uVar5 != 0)" (identifier "iVar11") (+ "+") (call_expression "(uint)(uVar5 != 0)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar5 != 0)" (( "(") (binary_expression "uVar5 != 0" (identifier "uVar5") (!= "!=") (number_literal "0")) () ")"))))) (; ";")) (if_statement "if (iVar12 < 0) {\n    iVar11 = -iVar11;\n  }" (if "if") (parenthesized_expression "(iVar12 < 0)" (( "(") (binary_expression "iVar12 < 0" (identifier "iVar12") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    iVar11 = -iVar11;\n  }" ({ "{") (expression_statement "iVar11 = -iVar11;" (assignment_expression "iVar11 = -iVar11" (identifier "iVar11") (= "=") (unary_expression "-iVar11" (- "-") (identifier "iVar11"))) (; ";")) (} "}"))) (expression_statement "param_1[1] = iVar11;" (assignment_expression "param_1[1] = iVar11" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar11")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) consequence: (compound_statement (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (return_statement))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (identifier) (identifier) (identifier) (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal)))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (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: (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: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (identifier) (identifier) (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (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: (number_literal)))) (if_statement condition: (parenthesized_expression (identifier)) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (goto_statement label: (statement_identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal)))) (goto_statement label: (statement_identifier)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal)))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))))))))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) 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: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (return_statement))))

void MASKED(int *param_1,int param_2,uint param_3)

{
  bool bVar1;
  longlong lVar2;
  ulonglong uVar3;
  int iVar4;
  uint uVar5;
  int iVar6;
  uint uVar7;
  int iVar8;
  uint *puVar9;
  int iVar10;
  int iVar11;
  int iVar12;
  uint *puVar13;
  uint uVar14;
  
  iVar12 = *(int *)(param_2 + 4);
  if ((param_3 == 0) || (iVar12 == 0)) {
    param_1[1] = 0;
    param_1[2] = 0;
    return;
  }
  iVar10 = iVar12;
  if (iVar12 < 0) {
    iVar10 = -iVar12;
  }
  iVar11 = *param_1;
  iVar4 = iVar10 - iVar11;
  iVar8 = *(int *)(param_2 + 0xc);
  if (iVar4 < 1) {
    puVar13 = (uint *)param_1[3];
    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar10,param_3);
    iVar4 = 0;
  }
  else {
    iVar6 = iVar4 + -1;
    lVar2 = (ulonglong)*(uint *)(iVar8 + iVar6 * 4) * (ulonglong)param_3;
    iVar8 = iVar8 + iVar4 * 4;
    iVar10 = iVar8;
    while( true ) {
      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);
      iVar6 = iVar6 + -1;
      if (iVar6 == -1) break;
      uVar3 = (ulonglong)*(uint *)(iVar10 + -8) * (ulonglong)param_3;
      lVar2 = lVar2 + (uVar3 >> 0x20);
      uVar14 = (uint)((ulonglong)lVar2 >> 0x20);
      iVar10 = iVar10 + -4;
      if ((int)lVar2 != -1) break;
      lVar2 = CONCAT44(uVar14,(int)uVar3);
    }
    puVar13 = (uint *)param_1[3];
    uVar5 = (*(code *)PTR___gmpn_mul_1_0009b0a4)(puVar13,iVar8,iVar11);
    uVar7 = *puVar13;
    *puVar13 = uVar14 + uVar7;
    iVar10 = iVar11;
    if (uVar14 + uVar7 < uVar14) {
      iVar4 = 1;
      if (1 < iVar11) {
        uVar14 = puVar13[1];
        puVar13[1] = uVar14 + 1;
        if (uVar14 + 1 == 0) {
          puVar9 = puVar13 + 2;
          iVar4 = 2;
          do {
            bVar1 = iVar11 == iVar4;
            iVar4 = iVar4 + 1;
            if (bVar1) {
              iVar4 = 1;
              goto LAB_0001cfe0;
            }
            uVar14 = *puVar9;
            *puVar9 = uVar14 + 1;
            puVar9 = puVar9 + 1;
          } while (uVar14 + 1 == 0);
          goto LAB_0001cfe4;
        }
        iVar4 = 0;
      }
    }
    else {
      iVar4 = 0;
    }
  }
LAB_0001cfe0:
  uVar5 = iVar4 + uVar5;
  iVar11 = iVar10;
LAB_0001cfe4:
  puVar13[iVar11] = uVar5;
  param_1[2] = *(int *)(param_2 + 8) + (uint)(uVar5 != 0);
  iVar11 = iVar11 + (uint)(uVar5 != 0);
  if (iVar12 < 0) {
    iVar11 = -iVar11;
  }
  param_1[1] = iVar11;
  return;
}

