
bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)

{
  uint uVar1;
  uint uVar2;
  uint uVar3;
  bool bVar4;
  bool bVar5;
  
  uVar3 = param_4 >> 3;
  uVar2 = -param_4 & 7;
  if (uVar2 != 0) {
    uVar3 = uVar3 + 1;
    param_1 = param_1 + -uVar2;
    param_2 = param_2 + -uVar2;
    param_3 = param_3 + -uVar2;
    bVar4 = (param_5 & 1) != 0;
    switch(uVar2) {
    case 2:
      goto switchD_00037136_caseD_2;
    case 3:
      goto switchD_00037136_caseD_3;
    case 4:
      goto switchD_00037136_caseD_4;
    case 5:
      goto switchD_00037136_caseD_5;
    case 6:
      goto switchD_00037136_caseD_6;
    case 7:
      goto switchD_00037136_caseD_7;
    }
    while( true ) {
      uVar2 = (uint)bVar4;
      uVar1 = param_2[1] - param_3[1];
      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;
      param_1[1] = uVar1 - uVar2;
switchD_00037136_caseD_2:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[2] - param_3[2];
      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;
      param_1[2] = uVar1 - uVar2;
switchD_00037136_caseD_3:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[3] - param_3[3];
      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;
      param_1[3] = uVar1 - uVar2;
switchD_00037136_caseD_4:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[4] - param_3[4];
      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;
      param_1[4] = uVar1 - uVar2;
switchD_00037136_caseD_5:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[5] - param_3[5];
      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;
      param_1[5] = uVar1 - uVar2;
switchD_00037136_caseD_6:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[6] - param_3[6];
      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;
      param_1[6] = uVar1 - uVar2;
switchD_00037136_caseD_7:
      uVar2 = param_2[7] - param_3[7];
      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;
      param_1[7] = uVar2 - bVar4;
      param_1 = param_1 + 8;
      param_2 = param_2 + 8;
      param_3 = param_3 + 8;
      uVar3 = uVar3 - 1;
      if (uVar3 == 0) break;
LAB_00037190:
      uVar2 = *param_2 - *param_3;
      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;
      *param_1 = uVar2 - bVar5;
    }
    return bVar5;
  }
  bVar5 = (param_5 & 1) != 0;
  goto LAB_00037190;
}



bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)

{
  uint uVar1;
  uint uVar2;
  uint uVar3;
  bool bVar4;
  bool bVar5;
  
  uVar3 = param_4 >> 3;
  uVar2 = -param_4 & 7;
  if (uVar2 != 0) {
    uVar3 = uVar3 + 1;
    param_1 = param_1 + -uVar2;
    param_2 = param_2 + -uVar2;
    param_3 = param_3 + -uVar2;
    bVar4 = (param_5 & 1) != 0;
    switch(uVar2) {
    case 2:
      goto switchD_0003717e_caseD_2;
    case 3:
      goto switchD_0003717e_caseD_3;
    case 4:
      goto switchD_0003717e_caseD_4;
    case 5:
      goto switchD_0003717e_caseD_5;
    case 6:
      goto switchD_0003717e_caseD_6;
    case 7:
      goto switchD_0003717e_caseD_7;
    }
    while( true ) {
      uVar2 = (uint)bVar4;
      uVar1 = param_2[1] - param_3[1];
      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;
      param_1[1] = uVar1 - uVar2;
switchD_0003717e_caseD_2:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[2] - param_3[2];
      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;
      param_1[2] = uVar1 - uVar2;
switchD_0003717e_caseD_3:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[3] - param_3[3];
      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;
      param_1[3] = uVar1 - uVar2;
switchD_0003717e_caseD_4:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[4] - param_3[4];
      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;
      param_1[4] = uVar1 - uVar2;
switchD_0003717e_caseD_5:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[5] - param_3[5];
      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;
      param_1[5] = uVar1 - uVar2;
switchD_0003717e_caseD_6:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[6] - param_3[6];
      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;
      param_1[6] = uVar1 - uVar2;
switchD_0003717e_caseD_7:
      uVar2 = param_2[7] - param_3[7];
      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;
      param_1[7] = uVar2 - bVar4;
      param_1 = param_1 + 8;
      param_2 = param_2 + 8;
      param_3 = param_3 + 8;
      uVar3 = uVar3 - 1;
      if (uVar3 == 0) break;
LAB_00037190:
      uVar2 = *param_2 - *param_3;
      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;
      *param_1 = uVar2 - bVar5;
    }
    return bVar5;
  }
  bVar5 = (param_5 & 1) != 0;
  goto LAB_00037190;
}


PUSH EDI
PUSH ESI
MOV EDI,dword ptr [ESP + 0xc]
MOV ESI,dword ptr [ESP + 0x10]
MOV EDX,dword ptr [ESP + 0x14]
MOV ECX,dword ptr [ESP + 0x18]
MOV EAX,ECX
SHR ECX,0x3
NEG EAX
AND EAX,0x7
JZ 0x00037180
INC ECX
SHL EAX,0x2
SUB EDI,EAX
SUB ESI,EAX
SUB EDX,EAX
SHR EAX,0x2
CALL 0x00037120
LEA EAX,[EAX + EAX*0x8]
ADD EAX,dword ptr [ESP]
ADD EAX,0x6d
ADD ESP,0x4
PUSH EBP
MOV EBP,dword ptr [ESP + 0x20]
SHR EBP,0x1
POP EBP
JMP EAX
PUSH EBP
MOV EBP,dword ptr [ESP + 0x20]
SHR EBP,0x1
POP EBP
LEA ESI,[ESI]
NOP
(translation_unit "bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}\n\n" (function_definition "bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}" primitive_type (function_declarator "__gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)" identifier (parameter_list "(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) , (parameter_declaration "uint param_4" type_identifier identifier) , (parameter_declaration "uint param_5" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "bool bVar4;" primitive_type identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "uVar3 = param_4 >> 3;" (assignment_expression "uVar3 = param_4 >> 3" identifier = (binary_expression "param_4 >> 3" identifier >> number_literal)) ;) (expression_statement "uVar2 = -param_4 & 7;" (assignment_expression "uVar2 = -param_4 & 7" identifier = (binary_expression "-param_4 & 7" (unary_expression "-param_4" - identifier) & number_literal)) ;) (if_statement "if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }" if (parenthesized_expression "(uVar2 != 0)" ( (binary_expression "uVar2 != 0" identifier != number_literal) )) (compound_statement "{\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }" { (expression_statement "uVar3 = uVar3 + 1;" (assignment_expression "uVar3 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) (expression_statement "param_1 = param_1 + -uVar2;" (assignment_expression "param_1 = param_1 + -uVar2" identifier = (binary_expression "param_1 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "param_2 = param_2 + -uVar2;" (assignment_expression "param_2 = param_2 + -uVar2" identifier = (binary_expression "param_2 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "param_3 = param_3 + -uVar2;" (assignment_expression "param_3 = param_3 + -uVar2" identifier = (binary_expression "param_3 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "bVar4 = (param_5 & 1) != 0;" (assignment_expression "bVar4 = (param_5 & 1) != 0" identifier = (binary_expression "(param_5 & 1) != 0" (parenthesized_expression "(param_5 & 1)" ( (binary_expression "param_5 & 1" identifier & number_literal) )) != number_literal)) ;) (switch_statement "switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }" switch (parenthesized_expression "(uVar2)" ( identifier )) (compound_statement "{\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }" { (case_statement "case 2:\n      goto switchD_0003717e_caseD_2;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_2;" goto statement_identifier ;)) (case_statement "case 3:\n      goto switchD_0003717e_caseD_3;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_3;" goto statement_identifier ;)) (case_statement "case 4:\n      goto switchD_0003717e_caseD_4;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_4;" goto statement_identifier ;)) (case_statement "case 5:\n      goto switchD_0003717e_caseD_5;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_5;" goto statement_identifier ;)) (case_statement "case 6:\n      goto switchD_0003717e_caseD_6;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_6;" goto statement_identifier ;)) (case_statement "case 7:\n      goto switchD_0003717e_caseD_7;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_7;" goto statement_identifier ;)) })) (while_statement "while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }" { (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar1 = param_2[1] - param_3[1];" (assignment_expression "uVar1 = param_2[1] - param_3[1]" identifier = (binary_expression "param_2[1] - param_3[1]" (subscript_expression "param_2[1]" identifier [ number_literal ]) - (subscript_expression "param_3[1]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2" identifier = (binary_expression "param_2[1] < param_3[1] || uVar1 < uVar2" (binary_expression "param_2[1] < param_3[1]" (subscript_expression "param_2[1]" identifier [ number_literal ]) < (subscript_expression "param_3[1]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[1] = uVar1 - uVar2;" (assignment_expression "param_1[1] = uVar1 - uVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[2] - param_3[2];" (assignment_expression "uVar1 = param_2[2] - param_3[2]" identifier = (binary_expression "param_2[2] - param_3[2]" (subscript_expression "param_2[2]" identifier [ number_literal ]) - (subscript_expression "param_3[2]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2" identifier = (binary_expression "param_2[2] < param_3[2] || uVar1 < uVar2" (binary_expression "param_2[2] < param_3[2]" (subscript_expression "param_2[2]" identifier [ number_literal ]) < (subscript_expression "param_3[2]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[2] = uVar1 - uVar2;" (assignment_expression "param_1[2] = uVar1 - uVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[3] - param_3[3];" (assignment_expression "uVar1 = param_2[3] - param_3[3]" identifier = (binary_expression "param_2[3] - param_3[3]" (subscript_expression "param_2[3]" identifier [ number_literal ]) - (subscript_expression "param_3[3]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2" identifier = (binary_expression "param_2[3] < param_3[3] || uVar1 < uVar2" (binary_expression "param_2[3] < param_3[3]" (subscript_expression "param_2[3]" identifier [ number_literal ]) < (subscript_expression "param_3[3]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[3] = uVar1 - uVar2;" (assignment_expression "param_1[3] = uVar1 - uVar2" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[4] - param_3[4];" (assignment_expression "uVar1 = param_2[4] - param_3[4]" identifier = (binary_expression "param_2[4] - param_3[4]" (subscript_expression "param_2[4]" identifier [ number_literal ]) - (subscript_expression "param_3[4]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2" identifier = (binary_expression "param_2[4] < param_3[4] || uVar1 < uVar2" (binary_expression "param_2[4] < param_3[4]" (subscript_expression "param_2[4]" identifier [ number_literal ]) < (subscript_expression "param_3[4]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[4] = uVar1 - uVar2;" (assignment_expression "param_1[4] = uVar1 - uVar2" (subscript_expression "param_1[4]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[5] - param_3[5];" (assignment_expression "uVar1 = param_2[5] - param_3[5]" identifier = (binary_expression "param_2[5] - param_3[5]" (subscript_expression "param_2[5]" identifier [ number_literal ]) - (subscript_expression "param_3[5]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2" identifier = (binary_expression "param_2[5] < param_3[5] || uVar1 < uVar2" (binary_expression "param_2[5] < param_3[5]" (subscript_expression "param_2[5]" identifier [ number_literal ]) < (subscript_expression "param_3[5]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[5] = uVar1 - uVar2;" (assignment_expression "param_1[5] = uVar1 - uVar2" (subscript_expression "param_1[5]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[6] - param_3[6];" (assignment_expression "uVar1 = param_2[6] - param_3[6]" identifier = (binary_expression "param_2[6] - param_3[6]" (subscript_expression "param_2[6]" identifier [ number_literal ]) - (subscript_expression "param_3[6]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2" identifier = (binary_expression "param_2[6] < param_3[6] || uVar1 < uVar2" (binary_expression "param_2[6] < param_3[6]" (subscript_expression "param_2[6]" identifier [ number_literal ]) < (subscript_expression "param_3[6]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[6] = uVar1 - uVar2;" (assignment_expression "param_1[6] = uVar1 - uVar2" (subscript_expression "param_1[6]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];" statement_identifier : (expression_statement "uVar2 = param_2[7] - param_3[7];" (assignment_expression "uVar2 = param_2[7] - param_3[7]" identifier = (binary_expression "param_2[7] - param_3[7]" (subscript_expression "param_2[7]" identifier [ number_literal ]) - (subscript_expression "param_3[7]" identifier [ number_literal ]))) ;)) (expression_statement "bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;" (assignment_expression "bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4" identifier = (binary_expression "param_2[7] < param_3[7] || uVar2 < bVar4" (binary_expression "param_2[7] < param_3[7]" (subscript_expression "param_2[7]" identifier [ number_literal ]) < (subscript_expression "param_3[7]" identifier [ number_literal ])) || (binary_expression "uVar2 < bVar4" identifier < identifier))) ;) (expression_statement "param_1[7] = uVar2 - bVar4;" (assignment_expression "param_1[7] = uVar2 - bVar4" (subscript_expression "param_1[7]" identifier [ number_literal ]) = (binary_expression "uVar2 - bVar4" identifier - identifier)) ;) (expression_statement "param_1 = param_1 + 8;" (assignment_expression "param_1 = param_1 + 8" identifier = (binary_expression "param_1 + 8" identifier + number_literal)) ;) (expression_statement "param_2 = param_2 + 8;" (assignment_expression "param_2 = param_2 + 8" identifier = (binary_expression "param_2 + 8" identifier + number_literal)) ;) (expression_statement "param_3 = param_3 + 8;" (assignment_expression "param_3 = param_3 + 8" identifier = (binary_expression "param_3 + 8" identifier + number_literal)) ;) (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (if_statement "if (uVar3 == 0) break;" if (parenthesized_expression "(uVar3 == 0)" ( (binary_expression "uVar3 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (labeled_statement "LAB_00037190:\n      uVar2 = *param_2 - *param_3;" statement_identifier : (expression_statement "uVar2 = *param_2 - *param_3;" (assignment_expression "uVar2 = *param_2 - *param_3" identifier = (binary_expression "*param_2 - *param_3" (pointer_expression "*param_2" * identifier) - (pointer_expression "*param_3" * identifier))) ;)) (expression_statement "bVar4 = *param_2 < *param_3 || uVar2 < bVar5;" (assignment_expression "bVar4 = *param_2 < *param_3 || uVar2 < bVar5" identifier = (binary_expression "*param_2 < *param_3 || uVar2 < bVar5" (binary_expression "*param_2 < *param_3" (pointer_expression "*param_2" * identifier) < (pointer_expression "*param_3" * identifier)) || (binary_expression "uVar2 < bVar5" identifier < identifier))) ;) (expression_statement "*param_1 = uVar2 - bVar5;" (assignment_expression "*param_1 = uVar2 - bVar5" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar2 - bVar5" identifier - identifier)) ;) })) (return_statement "return bVar5;" return identifier ;) })) (expression_statement "bVar5 = (param_5 & 1) != 0;" (assignment_expression "bVar5 = (param_5 & 1) != 0" identifier = (binary_expression "(param_5 & 1) != 0" (parenthesized_expression "(param_5 & 1)" ( (binary_expression "param_5 & 1" identifier & number_literal) )) != number_literal)) ;) (goto_statement "goto LAB_00037190;" goto statement_identifier ;) })))
(translation_unit "bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_00037136_caseD_2;\n    case 3:\n      goto switchD_00037136_caseD_3;\n    case 4:\n      goto switchD_00037136_caseD_4;\n    case 5:\n      goto switchD_00037136_caseD_5;\n    case 6:\n      goto switchD_00037136_caseD_6;\n    case 7:\n      goto switchD_00037136_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_00037136_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_00037136_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_00037136_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_00037136_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_00037136_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_00037136_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}\n\n" (function_definition "bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_00037136_caseD_2;\n    case 3:\n      goto switchD_00037136_caseD_3;\n    case 4:\n      goto switchD_00037136_caseD_4;\n    case 5:\n      goto switchD_00037136_caseD_5;\n    case 6:\n      goto switchD_00037136_caseD_6;\n    case 7:\n      goto switchD_00037136_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_00037136_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_00037136_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_00037136_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_00037136_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_00037136_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_00037136_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}" primitive_type (function_declarator "__gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)" identifier (parameter_list "(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) , (parameter_declaration "uint param_4" type_identifier identifier) , (parameter_declaration "uint param_5" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_00037136_caseD_2;\n    case 3:\n      goto switchD_00037136_caseD_3;\n    case 4:\n      goto switchD_00037136_caseD_4;\n    case 5:\n      goto switchD_00037136_caseD_5;\n    case 6:\n      goto switchD_00037136_caseD_6;\n    case 7:\n      goto switchD_00037136_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_00037136_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_00037136_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_00037136_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_00037136_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_00037136_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_00037136_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "bool bVar4;" primitive_type identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "uVar3 = param_4 >> 3;" (assignment_expression "uVar3 = param_4 >> 3" identifier = (binary_expression "param_4 >> 3" identifier >> number_literal)) ;) (expression_statement "uVar2 = -param_4 & 7;" (assignment_expression "uVar2 = -param_4 & 7" identifier = (binary_expression "-param_4 & 7" (unary_expression "-param_4" - identifier) & number_literal)) ;) (if_statement "if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_00037136_caseD_2;\n    case 3:\n      goto switchD_00037136_caseD_3;\n    case 4:\n      goto switchD_00037136_caseD_4;\n    case 5:\n      goto switchD_00037136_caseD_5;\n    case 6:\n      goto switchD_00037136_caseD_6;\n    case 7:\n      goto switchD_00037136_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_00037136_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_00037136_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_00037136_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_00037136_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_00037136_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_00037136_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }" if (parenthesized_expression "(uVar2 != 0)" ( (binary_expression "uVar2 != 0" identifier != number_literal) )) (compound_statement "{\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_00037136_caseD_2;\n    case 3:\n      goto switchD_00037136_caseD_3;\n    case 4:\n      goto switchD_00037136_caseD_4;\n    case 5:\n      goto switchD_00037136_caseD_5;\n    case 6:\n      goto switchD_00037136_caseD_6;\n    case 7:\n      goto switchD_00037136_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_00037136_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_00037136_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_00037136_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_00037136_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_00037136_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_00037136_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }" { (expression_statement "uVar3 = uVar3 + 1;" (assignment_expression "uVar3 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) (expression_statement "param_1 = param_1 + -uVar2;" (assignment_expression "param_1 = param_1 + -uVar2" identifier = (binary_expression "param_1 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "param_2 = param_2 + -uVar2;" (assignment_expression "param_2 = param_2 + -uVar2" identifier = (binary_expression "param_2 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "param_3 = param_3 + -uVar2;" (assignment_expression "param_3 = param_3 + -uVar2" identifier = (binary_expression "param_3 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "bVar4 = (param_5 & 1) != 0;" (assignment_expression "bVar4 = (param_5 & 1) != 0" identifier = (binary_expression "(param_5 & 1) != 0" (parenthesized_expression "(param_5 & 1)" ( (binary_expression "param_5 & 1" identifier & number_literal) )) != number_literal)) ;) (switch_statement "switch(uVar2) {\n    case 2:\n      goto switchD_00037136_caseD_2;\n    case 3:\n      goto switchD_00037136_caseD_3;\n    case 4:\n      goto switchD_00037136_caseD_4;\n    case 5:\n      goto switchD_00037136_caseD_5;\n    case 6:\n      goto switchD_00037136_caseD_6;\n    case 7:\n      goto switchD_00037136_caseD_7;\n    }" switch (parenthesized_expression "(uVar2)" ( identifier )) (compound_statement "{\n    case 2:\n      goto switchD_00037136_caseD_2;\n    case 3:\n      goto switchD_00037136_caseD_3;\n    case 4:\n      goto switchD_00037136_caseD_4;\n    case 5:\n      goto switchD_00037136_caseD_5;\n    case 6:\n      goto switchD_00037136_caseD_6;\n    case 7:\n      goto switchD_00037136_caseD_7;\n    }" { (case_statement "case 2:\n      goto switchD_00037136_caseD_2;" case number_literal : (goto_statement "goto switchD_00037136_caseD_2;" goto statement_identifier ;)) (case_statement "case 3:\n      goto switchD_00037136_caseD_3;" case number_literal : (goto_statement "goto switchD_00037136_caseD_3;" goto statement_identifier ;)) (case_statement "case 4:\n      goto switchD_00037136_caseD_4;" case number_literal : (goto_statement "goto switchD_00037136_caseD_4;" goto statement_identifier ;)) (case_statement "case 5:\n      goto switchD_00037136_caseD_5;" case number_literal : (goto_statement "goto switchD_00037136_caseD_5;" goto statement_identifier ;)) (case_statement "case 6:\n      goto switchD_00037136_caseD_6;" case number_literal : (goto_statement "goto switchD_00037136_caseD_6;" goto statement_identifier ;)) (case_statement "case 7:\n      goto switchD_00037136_caseD_7;" case number_literal : (goto_statement "goto switchD_00037136_caseD_7;" goto statement_identifier ;)) })) (while_statement "while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_00037136_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_00037136_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_00037136_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_00037136_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_00037136_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_00037136_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_00037136_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_00037136_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_00037136_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_00037136_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_00037136_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_00037136_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }" { (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar1 = param_2[1] - param_3[1];" (assignment_expression "uVar1 = param_2[1] - param_3[1]" identifier = (binary_expression "param_2[1] - param_3[1]" (subscript_expression "param_2[1]" identifier [ number_literal ]) - (subscript_expression "param_3[1]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2" identifier = (binary_expression "param_2[1] < param_3[1] || uVar1 < uVar2" (binary_expression "param_2[1] < param_3[1]" (subscript_expression "param_2[1]" identifier [ number_literal ]) < (subscript_expression "param_3[1]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[1] = uVar1 - uVar2;" (assignment_expression "param_1[1] = uVar1 - uVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_00037136_caseD_2:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[2] - param_3[2];" (assignment_expression "uVar1 = param_2[2] - param_3[2]" identifier = (binary_expression "param_2[2] - param_3[2]" (subscript_expression "param_2[2]" identifier [ number_literal ]) - (subscript_expression "param_3[2]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2" identifier = (binary_expression "param_2[2] < param_3[2] || uVar1 < uVar2" (binary_expression "param_2[2] < param_3[2]" (subscript_expression "param_2[2]" identifier [ number_literal ]) < (subscript_expression "param_3[2]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[2] = uVar1 - uVar2;" (assignment_expression "param_1[2] = uVar1 - uVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_00037136_caseD_3:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[3] - param_3[3];" (assignment_expression "uVar1 = param_2[3] - param_3[3]" identifier = (binary_expression "param_2[3] - param_3[3]" (subscript_expression "param_2[3]" identifier [ number_literal ]) - (subscript_expression "param_3[3]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2" identifier = (binary_expression "param_2[3] < param_3[3] || uVar1 < uVar2" (binary_expression "param_2[3] < param_3[3]" (subscript_expression "param_2[3]" identifier [ number_literal ]) < (subscript_expression "param_3[3]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[3] = uVar1 - uVar2;" (assignment_expression "param_1[3] = uVar1 - uVar2" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_00037136_caseD_4:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[4] - param_3[4];" (assignment_expression "uVar1 = param_2[4] - param_3[4]" identifier = (binary_expression "param_2[4] - param_3[4]" (subscript_expression "param_2[4]" identifier [ number_literal ]) - (subscript_expression "param_3[4]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2" identifier = (binary_expression "param_2[4] < param_3[4] || uVar1 < uVar2" (binary_expression "param_2[4] < param_3[4]" (subscript_expression "param_2[4]" identifier [ number_literal ]) < (subscript_expression "param_3[4]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[4] = uVar1 - uVar2;" (assignment_expression "param_1[4] = uVar1 - uVar2" (subscript_expression "param_1[4]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_00037136_caseD_5:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[5] - param_3[5];" (assignment_expression "uVar1 = param_2[5] - param_3[5]" identifier = (binary_expression "param_2[5] - param_3[5]" (subscript_expression "param_2[5]" identifier [ number_literal ]) - (subscript_expression "param_3[5]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2" identifier = (binary_expression "param_2[5] < param_3[5] || uVar1 < uVar2" (binary_expression "param_2[5] < param_3[5]" (subscript_expression "param_2[5]" identifier [ number_literal ]) < (subscript_expression "param_3[5]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[5] = uVar1 - uVar2;" (assignment_expression "param_1[5] = uVar1 - uVar2" (subscript_expression "param_1[5]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_00037136_caseD_6:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[6] - param_3[6];" (assignment_expression "uVar1 = param_2[6] - param_3[6]" identifier = (binary_expression "param_2[6] - param_3[6]" (subscript_expression "param_2[6]" identifier [ number_literal ]) - (subscript_expression "param_3[6]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2" identifier = (binary_expression "param_2[6] < param_3[6] || uVar1 < uVar2" (binary_expression "param_2[6] < param_3[6]" (subscript_expression "param_2[6]" identifier [ number_literal ]) < (subscript_expression "param_3[6]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[6] = uVar1 - uVar2;" (assignment_expression "param_1[6] = uVar1 - uVar2" (subscript_expression "param_1[6]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_00037136_caseD_7:\n      uVar2 = param_2[7] - param_3[7];" statement_identifier : (expression_statement "uVar2 = param_2[7] - param_3[7];" (assignment_expression "uVar2 = param_2[7] - param_3[7]" identifier = (binary_expression "param_2[7] - param_3[7]" (subscript_expression "param_2[7]" identifier [ number_literal ]) - (subscript_expression "param_3[7]" identifier [ number_literal ]))) ;)) (expression_statement "bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;" (assignment_expression "bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4" identifier = (binary_expression "param_2[7] < param_3[7] || uVar2 < bVar4" (binary_expression "param_2[7] < param_3[7]" (subscript_expression "param_2[7]" identifier [ number_literal ]) < (subscript_expression "param_3[7]" identifier [ number_literal ])) || (binary_expression "uVar2 < bVar4" identifier < identifier))) ;) (expression_statement "param_1[7] = uVar2 - bVar4;" (assignment_expression "param_1[7] = uVar2 - bVar4" (subscript_expression "param_1[7]" identifier [ number_literal ]) = (binary_expression "uVar2 - bVar4" identifier - identifier)) ;) (expression_statement "param_1 = param_1 + 8;" (assignment_expression "param_1 = param_1 + 8" identifier = (binary_expression "param_1 + 8" identifier + number_literal)) ;) (expression_statement "param_2 = param_2 + 8;" (assignment_expression "param_2 = param_2 + 8" identifier = (binary_expression "param_2 + 8" identifier + number_literal)) ;) (expression_statement "param_3 = param_3 + 8;" (assignment_expression "param_3 = param_3 + 8" identifier = (binary_expression "param_3 + 8" identifier + number_literal)) ;) (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (if_statement "if (uVar3 == 0) break;" if (parenthesized_expression "(uVar3 == 0)" ( (binary_expression "uVar3 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (labeled_statement "LAB_00037190:\n      uVar2 = *param_2 - *param_3;" statement_identifier : (expression_statement "uVar2 = *param_2 - *param_3;" (assignment_expression "uVar2 = *param_2 - *param_3" identifier = (binary_expression "*param_2 - *param_3" (pointer_expression "*param_2" * identifier) - (pointer_expression "*param_3" * identifier))) ;)) (expression_statement "bVar4 = *param_2 < *param_3 || uVar2 < bVar5;" (assignment_expression "bVar4 = *param_2 < *param_3 || uVar2 < bVar5" identifier = (binary_expression "*param_2 < *param_3 || uVar2 < bVar5" (binary_expression "*param_2 < *param_3" (pointer_expression "*param_2" * identifier) < (pointer_expression "*param_3" * identifier)) || (binary_expression "uVar2 < bVar5" identifier < identifier))) ;) (expression_statement "*param_1 = uVar2 - bVar5;" (assignment_expression "*param_1 = uVar2 - bVar5" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar2 - bVar5" identifier - identifier)) ;) })) (return_statement "return bVar5;" return identifier ;) })) (expression_statement "bVar5 = (param_5 & 1) != 0;" (assignment_expression "bVar5 = (param_5 & 1) != 0" identifier = (binary_expression "(param_5 & 1) != 0" (parenthesized_expression "(param_5 & 1)" ( (binary_expression "param_5 & 1" identifier & number_literal) )) != number_literal)) ;) (goto_statement "goto LAB_00037190;" goto statement_identifier ;) })))
(translation_unit "bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}\n\n" (function_definition "bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}" primitive_type (function_declarator "__gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)" identifier (parameter_list "(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) , (parameter_declaration "uint param_4" type_identifier identifier) , (parameter_declaration "uint param_5" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "bool bVar4;" primitive_type identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "uVar3 = param_4 >> 3;" (assignment_expression "uVar3 = param_4 >> 3" identifier = (binary_expression "param_4 >> 3" identifier >> number_literal)) ;) (expression_statement "uVar2 = -param_4 & 7;" (assignment_expression "uVar2 = -param_4 & 7" identifier = (binary_expression "-param_4 & 7" (unary_expression "-param_4" - identifier) & number_literal)) ;) (if_statement "if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }" if (parenthesized_expression "(uVar2 != 0)" ( (binary_expression "uVar2 != 0" identifier != number_literal) )) (compound_statement "{\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }" { (expression_statement "uVar3 = uVar3 + 1;" (assignment_expression "uVar3 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) (expression_statement "param_1 = param_1 + -uVar2;" (assignment_expression "param_1 = param_1 + -uVar2" identifier = (binary_expression "param_1 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "param_2 = param_2 + -uVar2;" (assignment_expression "param_2 = param_2 + -uVar2" identifier = (binary_expression "param_2 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "param_3 = param_3 + -uVar2;" (assignment_expression "param_3 = param_3 + -uVar2" identifier = (binary_expression "param_3 + -uVar2" identifier + (unary_expression "-uVar2" - identifier))) ;) (expression_statement "bVar4 = (param_5 & 1) != 0;" (assignment_expression "bVar4 = (param_5 & 1) != 0" identifier = (binary_expression "(param_5 & 1) != 0" (parenthesized_expression "(param_5 & 1)" ( (binary_expression "param_5 & 1" identifier & number_literal) )) != number_literal)) ;) (switch_statement "switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }" switch (parenthesized_expression "(uVar2)" ( identifier )) (compound_statement "{\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }" { (case_statement "case 2:\n      goto switchD_0003717e_caseD_2;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_2;" goto statement_identifier ;)) (case_statement "case 3:\n      goto switchD_0003717e_caseD_3;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_3;" goto statement_identifier ;)) (case_statement "case 4:\n      goto switchD_0003717e_caseD_4;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_4;" goto statement_identifier ;)) (case_statement "case 5:\n      goto switchD_0003717e_caseD_5;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_5;" goto statement_identifier ;)) (case_statement "case 6:\n      goto switchD_0003717e_caseD_6;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_6;" goto statement_identifier ;)) (case_statement "case 7:\n      goto switchD_0003717e_caseD_7;" case number_literal : (goto_statement "goto switchD_0003717e_caseD_7;" goto statement_identifier ;)) })) (while_statement "while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }" { (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar1 = param_2[1] - param_3[1];" (assignment_expression "uVar1 = param_2[1] - param_3[1]" identifier = (binary_expression "param_2[1] - param_3[1]" (subscript_expression "param_2[1]" identifier [ number_literal ]) - (subscript_expression "param_3[1]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2" identifier = (binary_expression "param_2[1] < param_3[1] || uVar1 < uVar2" (binary_expression "param_2[1] < param_3[1]" (subscript_expression "param_2[1]" identifier [ number_literal ]) < (subscript_expression "param_3[1]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[1] = uVar1 - uVar2;" (assignment_expression "param_1[1] = uVar1 - uVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[2] - param_3[2];" (assignment_expression "uVar1 = param_2[2] - param_3[2]" identifier = (binary_expression "param_2[2] - param_3[2]" (subscript_expression "param_2[2]" identifier [ number_literal ]) - (subscript_expression "param_3[2]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2" identifier = (binary_expression "param_2[2] < param_3[2] || uVar1 < uVar2" (binary_expression "param_2[2] < param_3[2]" (subscript_expression "param_2[2]" identifier [ number_literal ]) < (subscript_expression "param_3[2]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[2] = uVar1 - uVar2;" (assignment_expression "param_1[2] = uVar1 - uVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[3] - param_3[3];" (assignment_expression "uVar1 = param_2[3] - param_3[3]" identifier = (binary_expression "param_2[3] - param_3[3]" (subscript_expression "param_2[3]" identifier [ number_literal ]) - (subscript_expression "param_3[3]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2" identifier = (binary_expression "param_2[3] < param_3[3] || uVar1 < uVar2" (binary_expression "param_2[3] < param_3[3]" (subscript_expression "param_2[3]" identifier [ number_literal ]) < (subscript_expression "param_3[3]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[3] = uVar1 - uVar2;" (assignment_expression "param_1[3] = uVar1 - uVar2" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[4] - param_3[4];" (assignment_expression "uVar1 = param_2[4] - param_3[4]" identifier = (binary_expression "param_2[4] - param_3[4]" (subscript_expression "param_2[4]" identifier [ number_literal ]) - (subscript_expression "param_3[4]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2" identifier = (binary_expression "param_2[4] < param_3[4] || uVar1 < uVar2" (binary_expression "param_2[4] < param_3[4]" (subscript_expression "param_2[4]" identifier [ number_literal ]) < (subscript_expression "param_3[4]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[4] = uVar1 - uVar2;" (assignment_expression "param_1[4] = uVar1 - uVar2" (subscript_expression "param_1[4]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[5] - param_3[5];" (assignment_expression "uVar1 = param_2[5] - param_3[5]" identifier = (binary_expression "param_2[5] - param_3[5]" (subscript_expression "param_2[5]" identifier [ number_literal ]) - (subscript_expression "param_3[5]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2" identifier = (binary_expression "param_2[5] < param_3[5] || uVar1 < uVar2" (binary_expression "param_2[5] < param_3[5]" (subscript_expression "param_2[5]" identifier [ number_literal ]) < (subscript_expression "param_3[5]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[5] = uVar1 - uVar2;" (assignment_expression "param_1[5] = uVar1 - uVar2" (subscript_expression "param_1[5]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;" statement_identifier : (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" identifier = (cast_expression "(uint)bVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar1 = param_2[6] - param_3[6];" (assignment_expression "uVar1 = param_2[6] - param_3[6]" identifier = (binary_expression "param_2[6] - param_3[6]" (subscript_expression "param_2[6]" identifier [ number_literal ]) - (subscript_expression "param_3[6]" identifier [ number_literal ]))) ;) (expression_statement "bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2" identifier = (binary_expression "param_2[6] < param_3[6] || uVar1 < uVar2" (binary_expression "param_2[6] < param_3[6]" (subscript_expression "param_2[6]" identifier [ number_literal ]) < (subscript_expression "param_3[6]" identifier [ number_literal ])) || (binary_expression "uVar1 < uVar2" identifier < identifier))) ;) (expression_statement "param_1[6] = uVar1 - uVar2;" (assignment_expression "param_1[6] = uVar1 - uVar2" (subscript_expression "param_1[6]" identifier [ number_literal ]) = (binary_expression "uVar1 - uVar2" identifier - identifier)) ;) (labeled_statement "switchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];" statement_identifier : (expression_statement "uVar2 = param_2[7] - param_3[7];" (assignment_expression "uVar2 = param_2[7] - param_3[7]" identifier = (binary_expression "param_2[7] - param_3[7]" (subscript_expression "param_2[7]" identifier [ number_literal ]) - (subscript_expression "param_3[7]" identifier [ number_literal ]))) ;)) (expression_statement "bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;" (assignment_expression "bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4" identifier = (binary_expression "param_2[7] < param_3[7] || uVar2 < bVar4" (binary_expression "param_2[7] < param_3[7]" (subscript_expression "param_2[7]" identifier [ number_literal ]) < (subscript_expression "param_3[7]" identifier [ number_literal ])) || (binary_expression "uVar2 < bVar4" identifier < identifier))) ;) (expression_statement "param_1[7] = uVar2 - bVar4;" (assignment_expression "param_1[7] = uVar2 - bVar4" (subscript_expression "param_1[7]" identifier [ number_literal ]) = (binary_expression "uVar2 - bVar4" identifier - identifier)) ;) (expression_statement "param_1 = param_1 + 8;" (assignment_expression "param_1 = param_1 + 8" identifier = (binary_expression "param_1 + 8" identifier + number_literal)) ;) (expression_statement "param_2 = param_2 + 8;" (assignment_expression "param_2 = param_2 + 8" identifier = (binary_expression "param_2 + 8" identifier + number_literal)) ;) (expression_statement "param_3 = param_3 + 8;" (assignment_expression "param_3 = param_3 + 8" identifier = (binary_expression "param_3 + 8" identifier + number_literal)) ;) (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (if_statement "if (uVar3 == 0) break;" if (parenthesized_expression "(uVar3 == 0)" ( (binary_expression "uVar3 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (labeled_statement "LAB_00037190:\n      uVar2 = *param_2 - *param_3;" statement_identifier : (expression_statement "uVar2 = *param_2 - *param_3;" (assignment_expression "uVar2 = *param_2 - *param_3" identifier = (binary_expression "*param_2 - *param_3" (pointer_expression "*param_2" * identifier) - (pointer_expression "*param_3" * identifier))) ;)) (expression_statement "bVar4 = *param_2 < *param_3 || uVar2 < bVar5;" (assignment_expression "bVar4 = *param_2 < *param_3 || uVar2 < bVar5" identifier = (binary_expression "*param_2 < *param_3 || uVar2 < bVar5" (binary_expression "*param_2 < *param_3" (pointer_expression "*param_2" * identifier) < (pointer_expression "*param_3" * identifier)) || (binary_expression "uVar2 < bVar5" identifier < identifier))) ;) (expression_statement "*param_1 = uVar2 - bVar5;" (assignment_expression "*param_1 = uVar2 - bVar5" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar2 - bVar5" identifier - identifier)) ;) })) (return_statement "return bVar5;" return identifier ;) })) (expression_statement "bVar5 = (param_5 & 1) != 0;" (assignment_expression "bVar5 = (param_5 & 1) != 0" identifier = (binary_expression "(param_5 & 1) != 0" (parenthesized_expression "(param_5 & 1)" ( (binary_expression "param_5 & 1" identifier & number_literal) )) != number_literal)) ;) (goto_statement "goto LAB_00037190;" goto statement_identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression - IDENT) & LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (unary_expression - IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (unary_expression - IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (unary_expression - IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) != LIT)) ;) (switch_statement switch (parenthesized_expression ( IDENT )) (compound_statement { (case_statement case LIT : (goto_statement goto statement_identifier ;)) (case_statement case LIT : (goto_statement goto statement_identifier ;)) (case_statement case LIT : (goto_statement goto statement_identifier ;)) (case_statement case LIT : (goto_statement goto statement_identifier ;)) (case_statement case LIT : (goto_statement goto statement_identifier ;)) (case_statement case LIT : (goto_statement goto statement_identifier ;)) })) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) < (subscript_expression IDENT [ LIT ])) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) < (subscript_expression IDENT [ LIT ])) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) < (subscript_expression IDENT [ LIT ])) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) < (subscript_expression IDENT [ LIT ])) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) < (subscript_expression IDENT [ LIT ])) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) < (subscript_expression IDENT [ LIT ])) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) < (subscript_expression IDENT [ LIT ])) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (break_statement break ;)) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) - (pointer_expression * IDENT))) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (pointer_expression * IDENT) < (pointer_expression * IDENT)) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT - IDENT)) ;) })) (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) != LIT)) ;) (goto_statement goto statement_identifier ;) })))
(function_definition "bool __gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}" (primitive_type "bool") (function_declarator "__gmpn_sub_nc_x86(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)" (identifier "__gmpn_sub_nc_x86") (parameter_list "(int *param_1,uint *param_2,uint *param_3,uint param_4,uint param_5)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint *param_3" (type_identifier "uint") (pointer_declarator "*param_3" (* "*") (identifier "param_3"))) (, ",") (parameter_declaration "uint param_4" (type_identifier "uint") (identifier "param_4")) (, ",") (parameter_declaration "uint param_5" (type_identifier "uint") (identifier "param_5")) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  bool bVar4;\n  bool bVar5;\n  \n  uVar3 = param_4 >> 3;\n  uVar2 = -param_4 & 7;\n  if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }\n  bVar5 = (param_5 & 1) != 0;\n  goto LAB_00037190;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "bool bVar4;" (primitive_type "bool") (identifier "bVar4") (; ";")) (declaration "bool bVar5;" (primitive_type "bool") (identifier "bVar5") (; ";")) (expression_statement "uVar3 = param_4 >> 3;" (assignment_expression "uVar3 = param_4 >> 3" (identifier "uVar3") (= "=") (binary_expression "param_4 >> 3" (identifier "param_4") (>> ">>") (number_literal "3"))) (; ";")) (expression_statement "uVar2 = -param_4 & 7;" (assignment_expression "uVar2 = -param_4 & 7" (identifier "uVar2") (= "=") (binary_expression "-param_4 & 7" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "7"))) (; ";")) (if_statement "if (uVar2 != 0) {\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }" (if "if") (parenthesized_expression "(uVar2 != 0)" (( "(") (binary_expression "uVar2 != 0" (identifier "uVar2") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    uVar3 = uVar3 + 1;\n    param_1 = param_1 + -uVar2;\n    param_2 = param_2 + -uVar2;\n    param_3 = param_3 + -uVar2;\n    bVar4 = (param_5 & 1) != 0;\n    switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }\n    while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }\n    return bVar5;\n  }" ({ "{") (expression_statement "uVar3 = uVar3 + 1;" (assignment_expression "uVar3 = uVar3 + 1" (identifier "uVar3") (= "=") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "param_1 = param_1 + -uVar2;" (assignment_expression "param_1 = param_1 + -uVar2" (identifier "param_1") (= "=") (binary_expression "param_1 + -uVar2" (identifier "param_1") (+ "+") (unary_expression "-uVar2" (- "-") (identifier "uVar2")))) (; ";")) (expression_statement "param_2 = param_2 + -uVar2;" (assignment_expression "param_2 = param_2 + -uVar2" (identifier "param_2") (= "=") (binary_expression "param_2 + -uVar2" (identifier "param_2") (+ "+") (unary_expression "-uVar2" (- "-") (identifier "uVar2")))) (; ";")) (expression_statement "param_3 = param_3 + -uVar2;" (assignment_expression "param_3 = param_3 + -uVar2" (identifier "param_3") (= "=") (binary_expression "param_3 + -uVar2" (identifier "param_3") (+ "+") (unary_expression "-uVar2" (- "-") (identifier "uVar2")))) (; ";")) (expression_statement "bVar4 = (param_5 & 1) != 0;" (assignment_expression "bVar4 = (param_5 & 1) != 0" (identifier "bVar4") (= "=") (binary_expression "(param_5 & 1) != 0" (parenthesized_expression "(param_5 & 1)" (( "(") (binary_expression "param_5 & 1" (identifier "param_5") (& "&") (number_literal "1")) () ")")) (!= "!=") (number_literal "0"))) (; ";")) (switch_statement "switch(uVar2) {\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }" (switch "switch") (parenthesized_expression "(uVar2)" (( "(") (identifier "uVar2") () ")")) (compound_statement "{\n    case 2:\n      goto switchD_0003717e_caseD_2;\n    case 3:\n      goto switchD_0003717e_caseD_3;\n    case 4:\n      goto switchD_0003717e_caseD_4;\n    case 5:\n      goto switchD_0003717e_caseD_5;\n    case 6:\n      goto switchD_0003717e_caseD_6;\n    case 7:\n      goto switchD_0003717e_caseD_7;\n    }" ({ "{") (case_statement "case 2:\n      goto switchD_0003717e_caseD_2;" (case "case") (number_literal "2") (: ":") (goto_statement "goto switchD_0003717e_caseD_2;" (goto "goto") (statement_identifier "switchD_0003717e_caseD_2") (; ";"))) (case_statement "case 3:\n      goto switchD_0003717e_caseD_3;" (case "case") (number_literal "3") (: ":") (goto_statement "goto switchD_0003717e_caseD_3;" (goto "goto") (statement_identifier "switchD_0003717e_caseD_3") (; ";"))) (case_statement "case 4:\n      goto switchD_0003717e_caseD_4;" (case "case") (number_literal "4") (: ":") (goto_statement "goto switchD_0003717e_caseD_4;" (goto "goto") (statement_identifier "switchD_0003717e_caseD_4") (; ";"))) (case_statement "case 5:\n      goto switchD_0003717e_caseD_5;" (case "case") (number_literal "5") (: ":") (goto_statement "goto switchD_0003717e_caseD_5;" (goto "goto") (statement_identifier "switchD_0003717e_caseD_5") (; ";"))) (case_statement "case 6:\n      goto switchD_0003717e_caseD_6;" (case "case") (number_literal "6") (: ":") (goto_statement "goto switchD_0003717e_caseD_6;" (goto "goto") (statement_identifier "switchD_0003717e_caseD_6") (; ";"))) (case_statement "case 7:\n      goto switchD_0003717e_caseD_7;" (case "case") (number_literal "7") (: ":") (goto_statement "goto switchD_0003717e_caseD_7;" (goto "goto") (statement_identifier "switchD_0003717e_caseD_7") (; ";"))) (} "}"))) (while_statement "while( true ) {\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[1] - param_3[1];\n      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;\n      param_1[1] = uVar1 - uVar2;\nswitchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[2] - param_3[2];\n      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;\n      param_1[2] = uVar1 - uVar2;\nswitchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[3] - param_3[3];\n      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;\n      param_1[3] = uVar1 - uVar2;\nswitchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[4] - param_3[4];\n      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;\n      param_1[4] = uVar1 - uVar2;\nswitchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[5] - param_3[5];\n      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;\n      param_1[5] = uVar1 - uVar2;\nswitchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;\n      uVar1 = param_2[6] - param_3[6];\n      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;\n      param_1[6] = uVar1 - uVar2;\nswitchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];\n      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;\n      param_1[7] = uVar2 - bVar4;\n      param_1 = param_1 + 8;\n      param_2 = param_2 + 8;\n      param_3 = param_3 + 8;\n      uVar3 = uVar3 - 1;\n      if (uVar3 == 0) break;\nLAB_00037190:\n      uVar2 = *param_2 - *param_3;\n      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;\n      *param_1 = uVar2 - bVar5;\n    }" ({ "{") (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" (identifier "uVar2") (= "=") (cast_expression "(uint)bVar4" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar4"))) (; ";")) (expression_statement "uVar1 = param_2[1] - param_3[1];" (assignment_expression "uVar1 = param_2[1] - param_3[1]" (identifier "uVar1") (= "=") (binary_expression "param_2[1] - param_3[1]" (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]")) (- "-") (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]")))) (; ";")) (expression_statement "bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2" (identifier "bVar4") (= "=") (binary_expression "param_2[1] < param_3[1] || uVar1 < uVar2" (binary_expression "param_2[1] < param_3[1]" (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]")) (< "<") (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]"))) (|| "||") (binary_expression "uVar1 < uVar2" (identifier "uVar1") (< "<") (identifier "uVar2")))) (; ";")) (expression_statement "param_1[1] = uVar1 - uVar2;" (assignment_expression "param_1[1] = uVar1 - uVar2" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar1 - uVar2" (identifier "uVar1") (- "-") (identifier "uVar2"))) (; ";")) (labeled_statement "switchD_0003717e_caseD_2:\n      uVar2 = (uint)bVar4;" (statement_identifier "switchD_0003717e_caseD_2") (: ":") (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" (identifier "uVar2") (= "=") (cast_expression "(uint)bVar4" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar4"))) (; ";"))) (expression_statement "uVar1 = param_2[2] - param_3[2];" (assignment_expression "uVar1 = param_2[2] - param_3[2]" (identifier "uVar1") (= "=") (binary_expression "param_2[2] - param_3[2]" (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]")) (- "-") (subscript_expression "param_3[2]" (identifier "param_3") ([ "[") (number_literal "2") (] "]")))) (; ";")) (expression_statement "bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2" (identifier "bVar4") (= "=") (binary_expression "param_2[2] < param_3[2] || uVar1 < uVar2" (binary_expression "param_2[2] < param_3[2]" (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]")) (< "<") (subscript_expression "param_3[2]" (identifier "param_3") ([ "[") (number_literal "2") (] "]"))) (|| "||") (binary_expression "uVar1 < uVar2" (identifier "uVar1") (< "<") (identifier "uVar2")))) (; ";")) (expression_statement "param_1[2] = uVar1 - uVar2;" (assignment_expression "param_1[2] = uVar1 - uVar2" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (binary_expression "uVar1 - uVar2" (identifier "uVar1") (- "-") (identifier "uVar2"))) (; ";")) (labeled_statement "switchD_0003717e_caseD_3:\n      uVar2 = (uint)bVar4;" (statement_identifier "switchD_0003717e_caseD_3") (: ":") (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" (identifier "uVar2") (= "=") (cast_expression "(uint)bVar4" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar4"))) (; ";"))) (expression_statement "uVar1 = param_2[3] - param_3[3];" (assignment_expression "uVar1 = param_2[3] - param_3[3]" (identifier "uVar1") (= "=") (binary_expression "param_2[3] - param_3[3]" (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]")) (- "-") (subscript_expression "param_3[3]" (identifier "param_3") ([ "[") (number_literal "3") (] "]")))) (; ";")) (expression_statement "bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2" (identifier "bVar4") (= "=") (binary_expression "param_2[3] < param_3[3] || uVar1 < uVar2" (binary_expression "param_2[3] < param_3[3]" (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]")) (< "<") (subscript_expression "param_3[3]" (identifier "param_3") ([ "[") (number_literal "3") (] "]"))) (|| "||") (binary_expression "uVar1 < uVar2" (identifier "uVar1") (< "<") (identifier "uVar2")))) (; ";")) (expression_statement "param_1[3] = uVar1 - uVar2;" (assignment_expression "param_1[3] = uVar1 - uVar2" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (binary_expression "uVar1 - uVar2" (identifier "uVar1") (- "-") (identifier "uVar2"))) (; ";")) (labeled_statement "switchD_0003717e_caseD_4:\n      uVar2 = (uint)bVar4;" (statement_identifier "switchD_0003717e_caseD_4") (: ":") (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" (identifier "uVar2") (= "=") (cast_expression "(uint)bVar4" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar4"))) (; ";"))) (expression_statement "uVar1 = param_2[4] - param_3[4];" (assignment_expression "uVar1 = param_2[4] - param_3[4]" (identifier "uVar1") (= "=") (binary_expression "param_2[4] - param_3[4]" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (- "-") (subscript_expression "param_3[4]" (identifier "param_3") ([ "[") (number_literal "4") (] "]")))) (; ";")) (expression_statement "bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2" (identifier "bVar4") (= "=") (binary_expression "param_2[4] < param_3[4] || uVar1 < uVar2" (binary_expression "param_2[4] < param_3[4]" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (< "<") (subscript_expression "param_3[4]" (identifier "param_3") ([ "[") (number_literal "4") (] "]"))) (|| "||") (binary_expression "uVar1 < uVar2" (identifier "uVar1") (< "<") (identifier "uVar2")))) (; ";")) (expression_statement "param_1[4] = uVar1 - uVar2;" (assignment_expression "param_1[4] = uVar1 - uVar2" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (binary_expression "uVar1 - uVar2" (identifier "uVar1") (- "-") (identifier "uVar2"))) (; ";")) (labeled_statement "switchD_0003717e_caseD_5:\n      uVar2 = (uint)bVar4;" (statement_identifier "switchD_0003717e_caseD_5") (: ":") (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" (identifier "uVar2") (= "=") (cast_expression "(uint)bVar4" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar4"))) (; ";"))) (expression_statement "uVar1 = param_2[5] - param_3[5];" (assignment_expression "uVar1 = param_2[5] - param_3[5]" (identifier "uVar1") (= "=") (binary_expression "param_2[5] - param_3[5]" (subscript_expression "param_2[5]" (identifier "param_2") ([ "[") (number_literal "5") (] "]")) (- "-") (subscript_expression "param_3[5]" (identifier "param_3") ([ "[") (number_literal "5") (] "]")))) (; ";")) (expression_statement "bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2" (identifier "bVar4") (= "=") (binary_expression "param_2[5] < param_3[5] || uVar1 < uVar2" (binary_expression "param_2[5] < param_3[5]" (subscript_expression "param_2[5]" (identifier "param_2") ([ "[") (number_literal "5") (] "]")) (< "<") (subscript_expression "param_3[5]" (identifier "param_3") ([ "[") (number_literal "5") (] "]"))) (|| "||") (binary_expression "uVar1 < uVar2" (identifier "uVar1") (< "<") (identifier "uVar2")))) (; ";")) (expression_statement "param_1[5] = uVar1 - uVar2;" (assignment_expression "param_1[5] = uVar1 - uVar2" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (= "=") (binary_expression "uVar1 - uVar2" (identifier "uVar1") (- "-") (identifier "uVar2"))) (; ";")) (labeled_statement "switchD_0003717e_caseD_6:\n      uVar2 = (uint)bVar4;" (statement_identifier "switchD_0003717e_caseD_6") (: ":") (expression_statement "uVar2 = (uint)bVar4;" (assignment_expression "uVar2 = (uint)bVar4" (identifier "uVar2") (= "=") (cast_expression "(uint)bVar4" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar4"))) (; ";"))) (expression_statement "uVar1 = param_2[6] - param_3[6];" (assignment_expression "uVar1 = param_2[6] - param_3[6]" (identifier "uVar1") (= "=") (binary_expression "param_2[6] - param_3[6]" (subscript_expression "param_2[6]" (identifier "param_2") ([ "[") (number_literal "6") (] "]")) (- "-") (subscript_expression "param_3[6]" (identifier "param_3") ([ "[") (number_literal "6") (] "]")))) (; ";")) (expression_statement "bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;" (assignment_expression "bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2" (identifier "bVar4") (= "=") (binary_expression "param_2[6] < param_3[6] || uVar1 < uVar2" (binary_expression "param_2[6] < param_3[6]" (subscript_expression "param_2[6]" (identifier "param_2") ([ "[") (number_literal "6") (] "]")) (< "<") (subscript_expression "param_3[6]" (identifier "param_3") ([ "[") (number_literal "6") (] "]"))) (|| "||") (binary_expression "uVar1 < uVar2" (identifier "uVar1") (< "<") (identifier "uVar2")))) (; ";")) (expression_statement "param_1[6] = uVar1 - uVar2;" (assignment_expression "param_1[6] = uVar1 - uVar2" (subscript_expression "param_1[6]" (identifier "param_1") ([ "[") (number_literal "6") (] "]")) (= "=") (binary_expression "uVar1 - uVar2" (identifier "uVar1") (- "-") (identifier "uVar2"))) (; ";")) (labeled_statement "switchD_0003717e_caseD_7:\n      uVar2 = param_2[7] - param_3[7];" (statement_identifier "switchD_0003717e_caseD_7") (: ":") (expression_statement "uVar2 = param_2[7] - param_3[7];" (assignment_expression "uVar2 = param_2[7] - param_3[7]" (identifier "uVar2") (= "=") (binary_expression "param_2[7] - param_3[7]" (subscript_expression "param_2[7]" (identifier "param_2") ([ "[") (number_literal "7") (] "]")) (- "-") (subscript_expression "param_3[7]" (identifier "param_3") ([ "[") (number_literal "7") (] "]")))) (; ";"))) (expression_statement "bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;" (assignment_expression "bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4" (identifier "bVar5") (= "=") (binary_expression "param_2[7] < param_3[7] || uVar2 < bVar4" (binary_expression "param_2[7] < param_3[7]" (subscript_expression "param_2[7]" (identifier "param_2") ([ "[") (number_literal "7") (] "]")) (< "<") (subscript_expression "param_3[7]" (identifier "param_3") ([ "[") (number_literal "7") (] "]"))) (|| "||") (binary_expression "uVar2 < bVar4" (identifier "uVar2") (< "<") (identifier "bVar4")))) (; ";")) (expression_statement "param_1[7] = uVar2 - bVar4;" (assignment_expression "param_1[7] = uVar2 - bVar4" (subscript_expression "param_1[7]" (identifier "param_1") ([ "[") (number_literal "7") (] "]")) (= "=") (binary_expression "uVar2 - bVar4" (identifier "uVar2") (- "-") (identifier "bVar4"))) (; ";")) (expression_statement "param_1 = param_1 + 8;" (assignment_expression "param_1 = param_1 + 8" (identifier "param_1") (= "=") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8"))) (; ";")) (expression_statement "param_2 = param_2 + 8;" (assignment_expression "param_2 = param_2 + 8" (identifier "param_2") (= "=") (binary_expression "param_2 + 8" (identifier "param_2") (+ "+") (number_literal "8"))) (; ";")) (expression_statement "param_3 = param_3 + 8;" (assignment_expression "param_3 = param_3 + 8" (identifier "param_3") (= "=") (binary_expression "param_3 + 8" (identifier "param_3") (+ "+") (number_literal "8"))) (; ";")) (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" (identifier "uVar3") (= "=") (binary_expression "uVar3 - 1" (identifier "uVar3") (- "-") (number_literal "1"))) (; ";")) (if_statement "if (uVar3 == 0) break;" (if "if") (parenthesized_expression "(uVar3 == 0)" (( "(") (binary_expression "uVar3 == 0" (identifier "uVar3") (== "==") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (labeled_statement "LAB_00037190:\n      uVar2 = *param_2 - *param_3;" (statement_identifier "LAB_00037190") (: ":") (expression_statement "uVar2 = *param_2 - *param_3;" (assignment_expression "uVar2 = *param_2 - *param_3" (identifier "uVar2") (= "=") (binary_expression "*param_2 - *param_3" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (- "-") (pointer_expression "*param_3" (* "*") (identifier "param_3")))) (; ";"))) (expression_statement "bVar4 = *param_2 < *param_3 || uVar2 < bVar5;" (assignment_expression "bVar4 = *param_2 < *param_3 || uVar2 < bVar5" (identifier "bVar4") (= "=") (binary_expression "*param_2 < *param_3 || uVar2 < bVar5" (binary_expression "*param_2 < *param_3" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (< "<") (pointer_expression "*param_3" (* "*") (identifier "param_3"))) (|| "||") (binary_expression "uVar2 < bVar5" (identifier "uVar2") (< "<") (identifier "bVar5")))) (; ";")) (expression_statement "*param_1 = uVar2 - bVar5;" (assignment_expression "*param_1 = uVar2 - bVar5" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "uVar2 - bVar5" (identifier "uVar2") (- "-") (identifier "bVar5"))) (; ";")) (} "}"))) (return_statement "return bVar5;" (return "return") (identifier "bVar5") (; ";")) (} "}"))) (expression_statement "bVar5 = (param_5 & 1) != 0;" (assignment_expression "bVar5 = (param_5 & 1) != 0" (identifier "bVar5") (= "=") (binary_expression "(param_5 & 1) != 0" (parenthesized_expression "(param_5 & 1)" (( "(") (binary_expression "param_5 & 1" (identifier "param_5") (& "&") (number_literal "1")) () ")")) (!= "!=") (number_literal "0"))) (; ";")) (goto_statement "goto LAB_00037190;" (goto "goto") (statement_identifier "LAB_00037190") (; ";")) (} "}")))

bool function_1(int *var_4,type_1 *var_5,type_1 *var_6,type_1 var_1,type_1 var_7)

{
  type_1 var_8;
  type_1 var_2;
  type_1 var_3;
  bool var_9;
  bool var_10;
  
  var_3 = var_1 >> 3;
  var_2 = -var_1 & 7;
  if (var_2 != 0) {
    var_3 = var_3 + 1;
    var_4 = var_4 + -var_2;
    var_5 = var_5 + -var_2;
    var_6 = var_6 + -var_2;
    var_9 = (var_7 & 1) != 0;
    switch(var_2) {
    case 2:
      goto switchD_00037136_caseD_2;
    case 3:
      goto switchD_00037136_caseD_3;
    case 4:
      goto switchD_00037136_caseD_4;
    case 5:
      goto switchD_00037136_caseD_5;
    case 6:
      goto switchD_00037136_caseD_6;
    case 7:
      goto switchD_00037136_caseD_7;
    }
    while( true ) {
      var_2 = (type_1)var_9;
      var_8 = var_5[1] - var_6[1];
      var_9 = var_5[1] < var_6[1] || var_8 < var_2;
      var_4[1] = var_8 - var_2;
switchD_00037136_caseD_2:
      var_2 = (type_1)var_9;
      var_8 = var_5[2] - var_6[2];
      var_9 = var_5[2] < var_6[2] || var_8 < var_2;
      var_4[2] = var_8 - var_2;
switchD_00037136_caseD_3:
      var_2 = (type_1)var_9;
      var_8 = var_5[3] - var_6[3];
      var_9 = var_5[3] < var_6[3] || var_8 < var_2;
      var_4[3] = var_8 - var_2;
switchD_00037136_caseD_4:
      var_2 = (type_1)var_9;
      var_8 = var_5[4] - var_6[4];
      var_9 = var_5[4] < var_6[4] || var_8 < var_2;
      var_4[4] = var_8 - var_2;
switchD_00037136_caseD_5:
      var_2 = (type_1)var_9;
      var_8 = var_5[5] - var_6[5];
      var_9 = var_5[5] < var_6[5] || var_8 < var_2;
      var_4[5] = var_8 - var_2;
switchD_00037136_caseD_6:
      var_2 = (type_1)var_9;
      var_8 = var_5[6] - var_6[6];
      var_9 = var_5[6] < var_6[6] || var_8 < var_2;
      var_4[6] = var_8 - var_2;
switchD_00037136_caseD_7:
      var_2 = var_5[7] - var_6[7];
      var_10 = var_5[7] < var_6[7] || var_2 < var_9;
      var_4[7] = var_2 - var_9;
      var_4 = var_4 + 8;
      var_5 = var_5 + 8;
      var_6 = var_6 + 8;
      var_3 = var_3 - 1;
      if (var_3 == 0) break;
LAB_00037190:
      var_2 = *var_5 - *var_6;
      var_9 = *var_5 < *var_6 || var_2 < var_10;
      *var_4 = var_2 - var_10;
    }
    return var_10;
  }
  var_10 = (var_7 & 1) != 0;
  goto LAB_00037190;
}


(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: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (unary_expression argument: (identifier)) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) 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: (binary_expression left: (identifier) right: (unary_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (unary_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (unary_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)))) (switch_statement condition: (parenthesized_expression (identifier)) body: (compound_statement (case_statement value: (number_literal) (goto_statement label: (statement_identifier))) (case_statement value: (number_literal) (goto_statement label: (statement_identifier))) (case_statement value: (number_literal) (goto_statement label: (statement_identifier))) (case_statement value: (number_literal) (goto_statement label: (statement_identifier))) (case_statement value: (number_literal) (goto_statement label: (statement_identifier))) (case_statement value: (number_literal) (goto_statement label: (statement_identifier))))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (identifier)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (identifier)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (identifier)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (identifier)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (identifier)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (identifier)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (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)) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (identifier)))))) (return_statement (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)))) (goto_statement label: (statement_identifier)))))

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

{
  uint uVar1;
  uint uVar2;
  uint uVar3;
  bool bVar4;
  bool bVar5;
  
  uVar3 = param_4 >> 3;
  uVar2 = -param_4 & 7;
  if (uVar2 != 0) {
    uVar3 = uVar3 + 1;
    param_1 = param_1 + -uVar2;
    param_2 = param_2 + -uVar2;
    param_3 = param_3 + -uVar2;
    bVar4 = (param_5 & 1) != 0;
    switch(uVar2) {
    case 2:
      goto switchD_0003717e_caseD_2;
    case 3:
      goto switchD_0003717e_caseD_3;
    case 4:
      goto switchD_0003717e_caseD_4;
    case 5:
      goto switchD_0003717e_caseD_5;
    case 6:
      goto switchD_0003717e_caseD_6;
    case 7:
      goto switchD_0003717e_caseD_7;
    }
    while( true ) {
      uVar2 = (uint)bVar4;
      uVar1 = param_2[1] - param_3[1];
      bVar4 = param_2[1] < param_3[1] || uVar1 < uVar2;
      param_1[1] = uVar1 - uVar2;
switchD_0003717e_caseD_2:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[2] - param_3[2];
      bVar4 = param_2[2] < param_3[2] || uVar1 < uVar2;
      param_1[2] = uVar1 - uVar2;
switchD_0003717e_caseD_3:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[3] - param_3[3];
      bVar4 = param_2[3] < param_3[3] || uVar1 < uVar2;
      param_1[3] = uVar1 - uVar2;
switchD_0003717e_caseD_4:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[4] - param_3[4];
      bVar4 = param_2[4] < param_3[4] || uVar1 < uVar2;
      param_1[4] = uVar1 - uVar2;
switchD_0003717e_caseD_5:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[5] - param_3[5];
      bVar4 = param_2[5] < param_3[5] || uVar1 < uVar2;
      param_1[5] = uVar1 - uVar2;
switchD_0003717e_caseD_6:
      uVar2 = (uint)bVar4;
      uVar1 = param_2[6] - param_3[6];
      bVar4 = param_2[6] < param_3[6] || uVar1 < uVar2;
      param_1[6] = uVar1 - uVar2;
switchD_0003717e_caseD_7:
      uVar2 = param_2[7] - param_3[7];
      bVar5 = param_2[7] < param_3[7] || uVar2 < bVar4;
      param_1[7] = uVar2 - bVar4;
      param_1 = param_1 + 8;
      param_2 = param_2 + 8;
      param_3 = param_3 + 8;
      uVar3 = uVar3 - 1;
      if (uVar3 == 0) break;
LAB_00037190:
      uVar2 = *param_2 - *param_3;
      bVar4 = *param_2 < *param_3 || uVar2 < bVar5;
      *param_1 = uVar2 - bVar5;
    }
    return bVar5;
  }
  bVar5 = (param_5 & 1) != 0;
  goto LAB_00037190;
}

