
/* WARNING: Unknown calling convention */

mp_limb_t __gmpn_mod_1_1p_fat(mp_srcptr ap,mp_size_t n,mp_limb_t b,mp_limb_t *bmodb)

{
  uint *puVar1;
  longlong lVar2;
  ulonglong uVar3;
  uint uVar4;
  byte bVar5;
  int iVar6;
  
  lVar2 = (ulonglong)ap[n + 0x3fffffff] * (ulonglong)bmodb[2];
  uVar4 = (uint)lVar2;
  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe]),
                   uVar4 + ap[n + 0x3ffffffe]);
  iVar6 = n + -3;
  if (-1 < iVar6) {
    do {
      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];
      uVar4 = (uint)lVar2;
      puVar1 = ap + iVar6;
      iVar6 = iVar6 + -1;
      uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +
              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1
                      );
    } while (iVar6 != -1);
  }
  uVar4 = (uint)(uVar3 >> 0x20);
  bVar5 = (byte)bmodb[1];
  if (bmodb[1] != 0) {
    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);
  }
  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);
  uVar4 = uVar4 - (-(uint)(b <= uVar4) & b);
  lVar2 = (ulonglong)uVar4 * (ulonglong)*bmodb + CONCAT44(uVar4 + 1,iVar6);
  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * b;
  uVar4 = (-(uint)((uint)lVar2 < uVar4) & b) + uVar4;
  if (b <= uVar4) {
    uVar4 = uVar4 - b;
  }
  return uVar4 >> (bVar5 & 0x1f);
}



uint __gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)

{
  uint *puVar1;
  longlong lVar2;
  ulonglong uVar3;
  uint uVar4;
  byte bVar5;
  int iVar6;
  
  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];
  uVar4 = (uint)lVar2;
  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);
  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);
  param_2 = param_2 + -3;
  if (-1 < param_2) {
    do {
      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];
      uVar4 = (uint)lVar2;
      puVar1 = (uint *)(param_1 + param_2 * 4);
      param_2 = param_2 + -1;
      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +
              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1
                      );
    } while (param_2 != -1);
  }
  uVar4 = (uint)(uVar3 >> 0x20);
  bVar5 = (byte)param_4[1];
  if (param_4[1] != 0) {
    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);
  }
  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);
  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);
  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);
  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;
  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;
  if (param_3 <= uVar4) {
    uVar4 = uVar4 - param_3;
  }
  return uVar4 >> (bVar5 & 0x1f);
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
SUB ESP,0x8
MOV EAX,dword ptr [ESP + 0x28]
MOV EDI,dword ptr [ESP + 0x20]
MOV EBP,dword ptr [ESP + 0x1c]
MOV EBX,dword ptr [EAX + 0x8]
MOV EAX,dword ptr [EAX + 0xc]
LEA ECX,[EDI + 0x3fffffff]
MOV dword ptr [ESP + 0x4],EAX
MOV EAX,dword ptr [EBP + ECX*0x4]
MOV dword ptr [ESP],EBX
MUL EBX
MOV ESI,EDX
ADD EAX,dword ptr [EBP + ECX*0x4 + -0x4]
ADC ESI,0x0
SUB EDI,0x3
JS 0x00038312
LEA ESI,[ESI]
MUL dword ptr [ESP]
MOV ECX,EDX
MOV EBX,EAX
MOV EAX,ESI
ADD EBX,dword ptr [EBP + EDI*0x4]
ADC ECX,0x0
SUB EDI,0x1
MUL dword ptr [ESP + 0x4]
ADD EAX,EBX
ADC EDX,ECX
MOV ESI,EDX
CMP EDI,-0x1
JNZ 0x000382f0
MOV EBX,EAX
MOV EAX,dword ptr [ESP + 0x28]
MOV EDI,dword ptr [EAX + 0x4]
MOV EDX,dword ptr [EAX]
TEST EDI,EDI
JZ 0x00038332
MOV ECX,EDI
MOV EAX,EBX
SHL ESI,CL
MOV ECX,0x20
SUB ECX,EDI
SHR EAX,CL
OR ESI,EAX
XOR EAX,EAX
CMP ESI,dword ptr [ESP + 0x24]
MOV ECX,EDI
SETNC AL
SHL EBX,CL
NEG EAX
AND EAX,dword ptr [ESP + 0x24]
SUB ESI,EAX
MOV EAX,ESI
ADD ESI,0x1
MUL EDX
ADD EAX,EBX
ADC EDX,ESI
IMUL EDX,dword ptr [ESP + 0x24]
SUB EBX,EDX
CMP EAX,EBX
SBB EAX,EAX
AND EAX,dword ptr [ESP + 0x24]
ADD EAX,EBX
MOV EDX,EAX
SUB EDX,dword ptr [ESP + 0x24]
CMP dword ptr [ESP + 0x24],EAX
CMOVBE EAX,EDX
ADD ESP,0x8
POP EBX
POP ESI
SHR EAX,CL
POP EDI
POP EBP
RET
(translation_unit "uint __gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];\n  uVar4 = (uint)lVar2;\n  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);\n  param_2 = param_2 + -3;\n  if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)param_4[1];\n  if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;\n  if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}\n\n" (function_definition "uint __gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];\n  uVar4 = (uint)lVar2;\n  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);\n  param_2 = param_2 + -3;\n  if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)param_4[1];\n  if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;\n  if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}" type_identifier (function_declarator "__gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)" identifier (parameter_list "(int param_1,int param_2,uint param_3,uint *param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];\n  uVar4 = (uint)lVar2;\n  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);\n  param_2 = param_2 + -3;\n  if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)param_4[1];\n  if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;\n  if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "ulonglong uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "byte bVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];" (assignment_expression "lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2]" identifier = (binary_expression "(ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2]" (binary_expression "(ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4)" (parenthesized_expression "(ulonglong)" ( identifier )) * (cast_expression "(uint *)(param_1 + (param_2 + 0x3fffffff) * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + (param_2 + 0x3fffffff) * 4)" ( (binary_expression "param_1 + (param_2 + 0x3fffffff) * 4" identifier + (binary_expression "(param_2 + 0x3fffffff) * 4" (parenthesized_expression "(param_2 + 0x3fffffff)" ( (binary_expression "param_2 + 0x3fffffff" identifier + number_literal) )) * number_literal)) )))) * (cast_expression "(ulonglong)param_4[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[2]" identifier [ number_literal ])))) ;) (expression_statement "uVar4 = (uint)lVar2;" (assignment_expression "uVar4 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);" (assignment_expression "puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" identifier = (cast_expression "(uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" ( (binary_expression "param_1 + -4 + (param_2 + 0x3fffffff) * 4" (binary_expression "param_1 + -4" identifier + number_literal) + (binary_expression "(param_2 + 0x3fffffff) * 4" (parenthesized_expression "(param_2 + 0x3fffffff)" ( (binary_expression "param_2 + 0x3fffffff" identifier + number_literal) )) * number_literal)) )))) ;) (expression_statement "uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);" (assignment_expression "uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" identifier = (call_expression "CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" identifier (argument_list "((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar4,*puVar1)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4,*puVar1)" identifier (argument_list "(uVar4,*puVar1)" ( identifier , (pointer_expression "*puVar1" * identifier) ))))) , (binary_expression "uVar4 + *puVar1" identifier + (pointer_expression "*puVar1" * identifier)) )))) ;) (expression_statement "param_2 = param_2 + -3;" (assignment_expression "param_2 = param_2 + -3" identifier = (binary_expression "param_2 + -3" identifier + number_literal)) ;) (if_statement "if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }" if (parenthesized_expression "(-1 < param_2)" ( (binary_expression "-1 < param_2" number_literal < identifier) )) (compound_statement "{\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }" { (do_statement "do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);" do (compound_statement "{\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    }" { (expression_statement "lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];" (assignment_expression "lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2]" identifier = (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)param_4[2]" (parenthesized_expression "(uVar3 & 0xffffffff)" ( (binary_expression "uVar3 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)param_4[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[2]" identifier [ number_literal ])))) ;) (expression_statement "uVar4 = (uint)lVar2;" (assignment_expression "uVar4 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar1 = (uint *)(param_1 + param_2 * 4);" (assignment_expression "puVar1 = (uint *)(param_1 + param_2 * 4)" identifier = (cast_expression "(uint *)(param_1 + param_2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + param_2 * 4)" ( (binary_expression "param_1 + param_2 * 4" identifier + (binary_expression "param_2 * 4" identifier * number_literal)) )))) ;) (expression_statement "param_2 = param_2 + -1;" (assignment_expression "param_2 = param_2 + -1" identifier = (binary_expression "param_2 + -1" identifier + number_literal)) ;) (expression_statement "uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );" (assignment_expression "uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" identifier = (binary_expression "(uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" (binary_expression "(uVar3 >> 0x20) * (ulonglong)param_4[3]" (parenthesized_expression "(uVar3 >> 0x20)" ( (binary_expression "uVar3 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)param_4[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[3]" identifier [ number_literal ]))) + (call_expression "CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" identifier (argument_list "((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar4,*puVar1)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4,*puVar1)" identifier (argument_list "(uVar4,*puVar1)" ( identifier , (pointer_expression "*puVar1" * identifier) ))))) , (binary_expression "uVar4 + *puVar1" identifier + (pointer_expression "*puVar1" * identifier)) ))))) ;) }) while (parenthesized_expression "(param_2 != -1)" ( (binary_expression "param_2 != -1" identifier != number_literal) )) ;) })) (expression_statement "uVar4 = (uint)(uVar3 >> 0x20);" (assignment_expression "uVar4 = (uint)(uVar3 >> 0x20)" identifier = (call_expression "(uint)(uVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 >> 0x20)" ( (binary_expression "uVar3 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "bVar5 = (byte)param_4[1];" (assignment_expression "bVar5 = (byte)param_4[1]" identifier = (cast_expression "(byte)param_4[1]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ]))) ;) (if_statement "if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }" if (parenthesized_expression "(param_4[1] != 0)" ( (binary_expression "param_4[1] != 0" (subscript_expression "param_4[1]" identifier [ number_literal ]) != number_literal) )) (compound_statement "{\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }" { (expression_statement "uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);" (assignment_expression "uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f)" identifier = (binary_expression "uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (binary_expression "uVar4 << (bVar5 & 0x1f)" identifier << (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) ))) | (binary_expression "(uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier) >> (parenthesized_expression "(0x20 - bVar5 & 0x1f)" ( (binary_expression "0x20 - bVar5 & 0x1f" (binary_expression "0x20 - bVar5" number_literal - identifier) & number_literal) ))))) ;) })) (expression_statement "iVar6 = (uint)uVar3 << (bVar5 & 0x1f);" (assignment_expression "iVar6 = (uint)uVar3 << (bVar5 & 0x1f)" identifier = (binary_expression "(uint)uVar3 << (bVar5 & 0x1f)" (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier) << (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);" (assignment_expression "uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3)" identifier = (binary_expression "uVar4 - (-(uint)(param_3 <= uVar4) & param_3)" identifier - (parenthesized_expression "(-(uint)(param_3 <= uVar4) & param_3)" ( (binary_expression "-(uint)(param_3 <= uVar4) & param_3" (unary_expression "-(uint)(param_3 <= uVar4)" - (call_expression "(uint)(param_3 <= uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_3 <= uVar4)" ( (binary_expression "param_3 <= uVar4" identifier <= identifier) )))) & identifier) )))) ;) (expression_statement "lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);" (assignment_expression "lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6)" identifier = (binary_expression "(ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6)" (binary_expression "(ulonglong)uVar4 * (ulonglong)*param_4" (binary_expression "(ulonglong)uVar4 * (ulonglong)" (cast_expression "(ulonglong)uVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) + (call_expression "CONCAT44(uVar4 + 1,iVar6)" identifier (argument_list "(uVar4 + 1,iVar6)" ( (binary_expression "uVar4 + 1" identifier + number_literal) , identifier ))))) ;) (expression_statement "uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;" (assignment_expression "uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3" identifier = (binary_expression "iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3" identifier - (binary_expression "(int)((ulonglong)lVar2 >> 0x20) * param_3" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) * identifier))) ;) (expression_statement "uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;" (assignment_expression "uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4" identifier = (binary_expression "(-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4" (parenthesized_expression "(-(uint)((uint)lVar2 < uVar4) & param_3)" ( (binary_expression "-(uint)((uint)lVar2 < uVar4) & param_3" (unary_expression "-(uint)((uint)lVar2 < uVar4)" - (call_expression "(uint)((uint)lVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((uint)lVar2 < uVar4)" ( (binary_expression "(uint)lVar2 < uVar4" (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier) < identifier) )))) & identifier) )) + identifier)) ;) (if_statement "if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }" if (parenthesized_expression "(param_3 <= uVar4)" ( (binary_expression "param_3 <= uVar4" identifier <= identifier) )) (compound_statement "{\n    uVar4 = uVar4 - param_3;\n  }" { (expression_statement "uVar4 = uVar4 - param_3;" (assignment_expression "uVar4 = uVar4 - param_3" identifier = (binary_expression "uVar4 - param_3" identifier - identifier)) ;) })) (return_statement "return uVar4 >> (bVar5 & 0x1f);" return (binary_expression "uVar4 >> (bVar5 & 0x1f)" identifier >> (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) ))) ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nmp_limb_t __gmpn_mod_1_1p_fat(mp_srcptr ap,mp_size_t n,mp_limb_t b,mp_limb_t *bmodb)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)ap[n + 0x3fffffff] * (ulonglong)bmodb[2];\n  uVar4 = (uint)lVar2;\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe]),\n                   uVar4 + ap[n + 0x3ffffffe]);\n  iVar6 = n + -3;\n  if (-1 < iVar6) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = ap + iVar6;\n      iVar6 = iVar6 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (iVar6 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)bmodb[1];\n  if (bmodb[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(b <= uVar4) & b);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*bmodb + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * b;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & b) + uVar4;\n  if (b <= uVar4) {\n    uVar4 = uVar4 - b;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}\n\n" comment (function_definition "mp_limb_t __gmpn_mod_1_1p_fat(mp_srcptr ap,mp_size_t n,mp_limb_t b,mp_limb_t *bmodb)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)ap[n + 0x3fffffff] * (ulonglong)bmodb[2];\n  uVar4 = (uint)lVar2;\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe]),\n                   uVar4 + ap[n + 0x3ffffffe]);\n  iVar6 = n + -3;\n  if (-1 < iVar6) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = ap + iVar6;\n      iVar6 = iVar6 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (iVar6 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)bmodb[1];\n  if (bmodb[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(b <= uVar4) & b);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*bmodb + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * b;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & b) + uVar4;\n  if (b <= uVar4) {\n    uVar4 = uVar4 - b;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}" type_identifier (function_declarator "__gmpn_mod_1_1p_fat(mp_srcptr ap,mp_size_t n,mp_limb_t b,mp_limb_t *bmodb)" identifier (parameter_list "(mp_srcptr ap,mp_size_t n,mp_limb_t b,mp_limb_t *bmodb)" ( (parameter_declaration "mp_srcptr ap" type_identifier identifier) , (parameter_declaration "mp_size_t n" type_identifier identifier) , (parameter_declaration "mp_limb_t b" type_identifier identifier) , (parameter_declaration "mp_limb_t *bmodb" type_identifier (pointer_declarator "*bmodb" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)ap[n + 0x3fffffff] * (ulonglong)bmodb[2];\n  uVar4 = (uint)lVar2;\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe]),\n                   uVar4 + ap[n + 0x3ffffffe]);\n  iVar6 = n + -3;\n  if (-1 < iVar6) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = ap + iVar6;\n      iVar6 = iVar6 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (iVar6 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)bmodb[1];\n  if (bmodb[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(b <= uVar4) & b);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*bmodb + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * b;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & b) + uVar4;\n  if (b <= uVar4) {\n    uVar4 = uVar4 - b;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "ulonglong uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "byte bVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "lVar2 = (ulonglong)ap[n + 0x3fffffff] * (ulonglong)bmodb[2];" (assignment_expression "lVar2 = (ulonglong)ap[n + 0x3fffffff] * (ulonglong)bmodb[2]" identifier = (binary_expression "(ulonglong)ap[n + 0x3fffffff] * (ulonglong)bmodb[2]" (cast_expression "(ulonglong)ap[n + 0x3fffffff]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "ap[n + 0x3fffffff]" identifier [ (binary_expression "n + 0x3fffffff" identifier + number_literal) ])) * (cast_expression "(ulonglong)bmodb[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "bmodb[2]" identifier [ number_literal ])))) ;) (expression_statement "uVar4 = (uint)lVar2;" (assignment_expression "uVar4 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe]),\n                   uVar4 + ap[n + 0x3ffffffe]);" (assignment_expression "uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe]),\n                   uVar4 + ap[n + 0x3ffffffe])" identifier = (call_expression "CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe]),\n                   uVar4 + ap[n + 0x3ffffffe])" identifier (argument_list "((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe]),\n                   uVar4 + ap[n + 0x3ffffffe])" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,ap[n + 0x3ffffffe])" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar4,ap[n + 0x3ffffffe])" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4,ap[n + 0x3ffffffe])" identifier (argument_list "(uVar4,ap[n + 0x3ffffffe])" ( identifier , (subscript_expression "ap[n + 0x3ffffffe]" identifier [ (binary_expression "n + 0x3ffffffe" identifier + number_literal) ]) ))))) , (binary_expression "uVar4 + ap[n + 0x3ffffffe]" identifier + (subscript_expression "ap[n + 0x3ffffffe]" identifier [ (binary_expression "n + 0x3ffffffe" identifier + number_literal) ])) )))) ;) (expression_statement "iVar6 = n + -3;" (assignment_expression "iVar6 = n + -3" identifier = (binary_expression "n + -3" identifier + number_literal)) ;) (if_statement "if (-1 < iVar6) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = ap + iVar6;\n      iVar6 = iVar6 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (iVar6 != -1);\n  }" if (parenthesized_expression "(-1 < iVar6)" ( (binary_expression "-1 < iVar6" number_literal < identifier) )) (compound_statement "{\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = ap + iVar6;\n      iVar6 = iVar6 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (iVar6 != -1);\n  }" { (do_statement "do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = ap + iVar6;\n      iVar6 = iVar6 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (iVar6 != -1);" do (compound_statement "{\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = ap + iVar6;\n      iVar6 = iVar6 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    }" { (expression_statement "lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2];" (assignment_expression "lVar2 = (uVar3 & 0xffffffff) * (ulonglong)bmodb[2]" identifier = (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)bmodb[2]" (parenthesized_expression "(uVar3 & 0xffffffff)" ( (binary_expression "uVar3 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)bmodb[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "bmodb[2]" identifier [ number_literal ])))) ;) (expression_statement "uVar4 = (uint)lVar2;" (assignment_expression "uVar4 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar1 = ap + iVar6;" (assignment_expression "puVar1 = ap + iVar6" identifier = (binary_expression "ap + iVar6" identifier + identifier)) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) (expression_statement "uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );" (assignment_expression "uVar3 = (uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" identifier = (binary_expression "(uVar3 >> 0x20) * (ulonglong)bmodb[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" (binary_expression "(uVar3 >> 0x20) * (ulonglong)bmodb[3]" (parenthesized_expression "(uVar3 >> 0x20)" ( (binary_expression "uVar3 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)bmodb[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "bmodb[3]" identifier [ number_literal ]))) + (call_expression "CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" identifier (argument_list "((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar4,*puVar1)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4,*puVar1)" identifier (argument_list "(uVar4,*puVar1)" ( identifier , (pointer_expression "*puVar1" * identifier) ))))) , (binary_expression "uVar4 + *puVar1" identifier + (pointer_expression "*puVar1" * identifier)) ))))) ;) }) while (parenthesized_expression "(iVar6 != -1)" ( (binary_expression "iVar6 != -1" identifier != number_literal) )) ;) })) (expression_statement "uVar4 = (uint)(uVar3 >> 0x20);" (assignment_expression "uVar4 = (uint)(uVar3 >> 0x20)" identifier = (call_expression "(uint)(uVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 >> 0x20)" ( (binary_expression "uVar3 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "bVar5 = (byte)bmodb[1];" (assignment_expression "bVar5 = (byte)bmodb[1]" identifier = (cast_expression "(byte)bmodb[1]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "bmodb[1]" identifier [ number_literal ]))) ;) (if_statement "if (bmodb[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }" if (parenthesized_expression "(bmodb[1] != 0)" ( (binary_expression "bmodb[1] != 0" (subscript_expression "bmodb[1]" identifier [ number_literal ]) != number_literal) )) (compound_statement "{\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }" { (expression_statement "uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);" (assignment_expression "uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f)" identifier = (binary_expression "uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (binary_expression "uVar4 << (bVar5 & 0x1f)" identifier << (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) ))) | (binary_expression "(uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier) >> (parenthesized_expression "(0x20 - bVar5 & 0x1f)" ( (binary_expression "0x20 - bVar5 & 0x1f" (binary_expression "0x20 - bVar5" number_literal - identifier) & number_literal) ))))) ;) })) (expression_statement "iVar6 = (uint)uVar3 << (bVar5 & 0x1f);" (assignment_expression "iVar6 = (uint)uVar3 << (bVar5 & 0x1f)" identifier = (binary_expression "(uint)uVar3 << (bVar5 & 0x1f)" (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier) << (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = uVar4 - (-(uint)(b <= uVar4) & b);" (assignment_expression "uVar4 = uVar4 - (-(uint)(b <= uVar4) & b)" identifier = (binary_expression "uVar4 - (-(uint)(b <= uVar4) & b)" identifier - (parenthesized_expression "(-(uint)(b <= uVar4) & b)" ( (binary_expression "-(uint)(b <= uVar4) & b" (unary_expression "-(uint)(b <= uVar4)" - (call_expression "(uint)(b <= uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(b <= uVar4)" ( (binary_expression "b <= uVar4" identifier <= identifier) )))) & identifier) )))) ;) (expression_statement "lVar2 = (ulonglong)uVar4 * (ulonglong)*bmodb + CONCAT44(uVar4 + 1,iVar6);" (assignment_expression "lVar2 = (ulonglong)uVar4 * (ulonglong)*bmodb + CONCAT44(uVar4 + 1,iVar6)" identifier = (binary_expression "(ulonglong)uVar4 * (ulonglong)*bmodb + CONCAT44(uVar4 + 1,iVar6)" (binary_expression "(ulonglong)uVar4 * (ulonglong)*bmodb" (binary_expression "(ulonglong)uVar4 * (ulonglong)" (cast_expression "(ulonglong)uVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) + (call_expression "CONCAT44(uVar4 + 1,iVar6)" identifier (argument_list "(uVar4 + 1,iVar6)" ( (binary_expression "uVar4 + 1" identifier + number_literal) , identifier ))))) ;) (expression_statement "uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * b;" (assignment_expression "uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * b" identifier = (binary_expression "iVar6 - (int)((ulonglong)lVar2 >> 0x20) * b" identifier - (binary_expression "(int)((ulonglong)lVar2 >> 0x20) * b" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) * identifier))) ;) (expression_statement "uVar4 = (-(uint)((uint)lVar2 < uVar4) & b) + uVar4;" (assignment_expression "uVar4 = (-(uint)((uint)lVar2 < uVar4) & b) + uVar4" identifier = (binary_expression "(-(uint)((uint)lVar2 < uVar4) & b) + uVar4" (parenthesized_expression "(-(uint)((uint)lVar2 < uVar4) & b)" ( (binary_expression "-(uint)((uint)lVar2 < uVar4) & b" (unary_expression "-(uint)((uint)lVar2 < uVar4)" - (call_expression "(uint)((uint)lVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((uint)lVar2 < uVar4)" ( (binary_expression "(uint)lVar2 < uVar4" (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier) < identifier) )))) & identifier) )) + identifier)) ;) (if_statement "if (b <= uVar4) {\n    uVar4 = uVar4 - b;\n  }" if (parenthesized_expression "(b <= uVar4)" ( (binary_expression "b <= uVar4" identifier <= identifier) )) (compound_statement "{\n    uVar4 = uVar4 - b;\n  }" { (expression_statement "uVar4 = uVar4 - b;" (assignment_expression "uVar4 = uVar4 - b" identifier = (binary_expression "uVar4 - b" identifier - identifier)) ;) })) (return_statement "return uVar4 >> (bVar5 & 0x1f);" return (binary_expression "uVar4 >> (bVar5 & 0x1f)" identifier >> (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) ))) ;) })))
(translation_unit "uint __gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];\n  uVar4 = (uint)lVar2;\n  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);\n  param_2 = param_2 + -3;\n  if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)param_4[1];\n  if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;\n  if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}\n\n" (function_definition "uint __gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];\n  uVar4 = (uint)lVar2;\n  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);\n  param_2 = param_2 + -3;\n  if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)param_4[1];\n  if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;\n  if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}" type_identifier (function_declarator "__gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)" identifier (parameter_list "(int param_1,int param_2,uint param_3,uint *param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];\n  uVar4 = (uint)lVar2;\n  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);\n  param_2 = param_2 + -3;\n  if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)param_4[1];\n  if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;\n  if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "ulonglong uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "byte bVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];" (assignment_expression "lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2]" identifier = (binary_expression "(ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2]" (binary_expression "(ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4)" (parenthesized_expression "(ulonglong)" ( identifier )) * (cast_expression "(uint *)(param_1 + (param_2 + 0x3fffffff) * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + (param_2 + 0x3fffffff) * 4)" ( (binary_expression "param_1 + (param_2 + 0x3fffffff) * 4" identifier + (binary_expression "(param_2 + 0x3fffffff) * 4" (parenthesized_expression "(param_2 + 0x3fffffff)" ( (binary_expression "param_2 + 0x3fffffff" identifier + number_literal) )) * number_literal)) )))) * (cast_expression "(ulonglong)param_4[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[2]" identifier [ number_literal ])))) ;) (expression_statement "uVar4 = (uint)lVar2;" (assignment_expression "uVar4 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);" (assignment_expression "puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" identifier = (cast_expression "(uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" ( (binary_expression "param_1 + -4 + (param_2 + 0x3fffffff) * 4" (binary_expression "param_1 + -4" identifier + number_literal) + (binary_expression "(param_2 + 0x3fffffff) * 4" (parenthesized_expression "(param_2 + 0x3fffffff)" ( (binary_expression "param_2 + 0x3fffffff" identifier + number_literal) )) * number_literal)) )))) ;) (expression_statement "uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);" (assignment_expression "uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" identifier = (call_expression "CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" identifier (argument_list "((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar4,*puVar1)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4,*puVar1)" identifier (argument_list "(uVar4,*puVar1)" ( identifier , (pointer_expression "*puVar1" * identifier) ))))) , (binary_expression "uVar4 + *puVar1" identifier + (pointer_expression "*puVar1" * identifier)) )))) ;) (expression_statement "param_2 = param_2 + -3;" (assignment_expression "param_2 = param_2 + -3" identifier = (binary_expression "param_2 + -3" identifier + number_literal)) ;) (if_statement "if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }" if (parenthesized_expression "(-1 < param_2)" ( (binary_expression "-1 < param_2" number_literal < identifier) )) (compound_statement "{\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }" { (do_statement "do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);" do (compound_statement "{\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    }" { (expression_statement "lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];" (assignment_expression "lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2]" identifier = (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)param_4[2]" (parenthesized_expression "(uVar3 & 0xffffffff)" ( (binary_expression "uVar3 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)param_4[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[2]" identifier [ number_literal ])))) ;) (expression_statement "uVar4 = (uint)lVar2;" (assignment_expression "uVar4 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar1 = (uint *)(param_1 + param_2 * 4);" (assignment_expression "puVar1 = (uint *)(param_1 + param_2 * 4)" identifier = (cast_expression "(uint *)(param_1 + param_2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + param_2 * 4)" ( (binary_expression "param_1 + param_2 * 4" identifier + (binary_expression "param_2 * 4" identifier * number_literal)) )))) ;) (expression_statement "param_2 = param_2 + -1;" (assignment_expression "param_2 = param_2 + -1" identifier = (binary_expression "param_2 + -1" identifier + number_literal)) ;) (expression_statement "uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );" (assignment_expression "uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" identifier = (binary_expression "(uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" (binary_expression "(uVar3 >> 0x20) * (ulonglong)param_4[3]" (parenthesized_expression "(uVar3 >> 0x20)" ( (binary_expression "uVar3 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)param_4[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[3]" identifier [ number_literal ]))) + (call_expression "CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" identifier (argument_list "((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar4,*puVar1)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4,*puVar1)" identifier (argument_list "(uVar4,*puVar1)" ( identifier , (pointer_expression "*puVar1" * identifier) ))))) , (binary_expression "uVar4 + *puVar1" identifier + (pointer_expression "*puVar1" * identifier)) ))))) ;) }) while (parenthesized_expression "(param_2 != -1)" ( (binary_expression "param_2 != -1" identifier != number_literal) )) ;) })) (expression_statement "uVar4 = (uint)(uVar3 >> 0x20);" (assignment_expression "uVar4 = (uint)(uVar3 >> 0x20)" identifier = (call_expression "(uint)(uVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 >> 0x20)" ( (binary_expression "uVar3 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "bVar5 = (byte)param_4[1];" (assignment_expression "bVar5 = (byte)param_4[1]" identifier = (cast_expression "(byte)param_4[1]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ]))) ;) (if_statement "if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }" if (parenthesized_expression "(param_4[1] != 0)" ( (binary_expression "param_4[1] != 0" (subscript_expression "param_4[1]" identifier [ number_literal ]) != number_literal) )) (compound_statement "{\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }" { (expression_statement "uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);" (assignment_expression "uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f)" identifier = (binary_expression "uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (binary_expression "uVar4 << (bVar5 & 0x1f)" identifier << (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) ))) | (binary_expression "(uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier) >> (parenthesized_expression "(0x20 - bVar5 & 0x1f)" ( (binary_expression "0x20 - bVar5 & 0x1f" (binary_expression "0x20 - bVar5" number_literal - identifier) & number_literal) ))))) ;) })) (expression_statement "iVar6 = (uint)uVar3 << (bVar5 & 0x1f);" (assignment_expression "iVar6 = (uint)uVar3 << (bVar5 & 0x1f)" identifier = (binary_expression "(uint)uVar3 << (bVar5 & 0x1f)" (cast_expression "(uint)uVar3" ( (type_descriptor "uint" type_identifier) ) identifier) << (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);" (assignment_expression "uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3)" identifier = (binary_expression "uVar4 - (-(uint)(param_3 <= uVar4) & param_3)" identifier - (parenthesized_expression "(-(uint)(param_3 <= uVar4) & param_3)" ( (binary_expression "-(uint)(param_3 <= uVar4) & param_3" (unary_expression "-(uint)(param_3 <= uVar4)" - (call_expression "(uint)(param_3 <= uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_3 <= uVar4)" ( (binary_expression "param_3 <= uVar4" identifier <= identifier) )))) & identifier) )))) ;) (expression_statement "lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);" (assignment_expression "lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6)" identifier = (binary_expression "(ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6)" (binary_expression "(ulonglong)uVar4 * (ulonglong)*param_4" (binary_expression "(ulonglong)uVar4 * (ulonglong)" (cast_expression "(ulonglong)uVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) + (call_expression "CONCAT44(uVar4 + 1,iVar6)" identifier (argument_list "(uVar4 + 1,iVar6)" ( (binary_expression "uVar4 + 1" identifier + number_literal) , identifier ))))) ;) (expression_statement "uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;" (assignment_expression "uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3" identifier = (binary_expression "iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3" identifier - (binary_expression "(int)((ulonglong)lVar2 >> 0x20) * param_3" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) * identifier))) ;) (expression_statement "uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;" (assignment_expression "uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4" identifier = (binary_expression "(-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4" (parenthesized_expression "(-(uint)((uint)lVar2 < uVar4) & param_3)" ( (binary_expression "-(uint)((uint)lVar2 < uVar4) & param_3" (unary_expression "-(uint)((uint)lVar2 < uVar4)" - (call_expression "(uint)((uint)lVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((uint)lVar2 < uVar4)" ( (binary_expression "(uint)lVar2 < uVar4" (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier) < identifier) )))) & identifier) )) + identifier)) ;) (if_statement "if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }" if (parenthesized_expression "(param_3 <= uVar4)" ( (binary_expression "param_3 <= uVar4" identifier <= identifier) )) (compound_statement "{\n    uVar4 = uVar4 - param_3;\n  }" { (expression_statement "uVar4 = uVar4 - param_3;" (assignment_expression "uVar4 = uVar4 - param_3" identifier = (binary_expression "uVar4 - param_3" identifier - identifier)) ;) })) (return_statement "return uVar4 >> (bVar5 & 0x1f);" return (binary_expression "uVar4 >> (bVar5 & 0x1f)" identifier >> (parenthesized_expression "(bVar5 & 0x1f)" ( (binary_expression "bVar5 & 0x1f" identifier & number_literal) ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT)) )))) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) + (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) + (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , (pointer_expression * IDENT) ))))) , (binary_expression IDENT + (pointer_expression * IDENT)) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) + (call_expression IDENT (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) + (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , (pointer_expression * IDENT) ))))) , (binary_expression IDENT + (pointer_expression * IDENT)) ))))) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> (parenthesized_expression ( (binary_expression (binary_expression LIT - IDENT) & LIT) ))))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - (parenthesized_expression ( (binary_expression (unary_expression - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT <= IDENT) )))) & IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (parenthesized_expression ( IDENT ))) * IDENT) + (call_expression IDENT (argument_list ( (binary_expression IDENT + LIT) , IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (unary_expression - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < IDENT) )))) & IDENT) )) + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) })) (return_statement return (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) ;) })))
(function_definition "uint __gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];\n  uVar4 = (uint)lVar2;\n  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);\n  param_2 = param_2 + -3;\n  if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)param_4[1];\n  if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;\n  if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}" (type_identifier "uint") (function_declarator "__gmpn_mod_1_1p_fat(int param_1,int param_2,uint param_3,uint *param_4)" (identifier "__gmpn_mod_1_1p_fat") (parameter_list "(int param_1,int param_2,uint param_3,uint *param_4)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) (, ",") (parameter_declaration "uint *param_4" (type_identifier "uint") (pointer_declarator "*param_4" (* "*") (identifier "param_4"))) () ")"))) (compound_statement "{\n  uint *puVar1;\n  longlong lVar2;\n  ulonglong uVar3;\n  uint uVar4;\n  byte bVar5;\n  int iVar6;\n  \n  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];\n  uVar4 = (uint)lVar2;\n  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);\n  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);\n  param_2 = param_2 + -3;\n  if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }\n  uVar4 = (uint)(uVar3 >> 0x20);\n  bVar5 = (byte)param_4[1];\n  if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }\n  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);\n  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);\n  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);\n  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;\n  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;\n  if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }\n  return uVar4 >> (bVar5 & 0x1f);\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "longlong lVar2;" (type_identifier "longlong") (identifier "lVar2") (; ";")) (declaration "ulonglong uVar3;" (type_identifier "ulonglong") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "byte bVar5;" (type_identifier "byte") (identifier "bVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (expression_statement "lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];" (assignment_expression "lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2]" (identifier "lVar2") (= "=") (binary_expression "(ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2]" (binary_expression "(ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4)" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (cast_expression "(uint *)(param_1 + (param_2 + 0x3fffffff) * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + (param_2 + 0x3fffffff) * 4)" (( "(") (binary_expression "param_1 + (param_2 + 0x3fffffff) * 4" (identifier "param_1") (+ "+") (binary_expression "(param_2 + 0x3fffffff) * 4" (parenthesized_expression "(param_2 + 0x3fffffff)" (( "(") (binary_expression "param_2 + 0x3fffffff" (identifier "param_2") (+ "+") (number_literal "0x3fffffff")) () ")")) (* "*") (number_literal "4"))) () ")")))) (* "*") (cast_expression "(ulonglong)param_4[2]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[2]" (identifier "param_4") ([ "[") (number_literal "2") (] "]"))))) (; ";")) (expression_statement "uVar4 = (uint)lVar2;" (assignment_expression "uVar4 = (uint)lVar2" (identifier "uVar4") (= "=") (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2"))) (; ";")) (expression_statement "puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);" (assignment_expression "puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" (identifier "puVar1") (= "=") (cast_expression "(uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + -4 + (param_2 + 0x3fffffff) * 4)" (( "(") (binary_expression "param_1 + -4 + (param_2 + 0x3fffffff) * 4" (binary_expression "param_1 + -4" (identifier "param_1") (+ "+") (number_literal "-4")) (+ "+") (binary_expression "(param_2 + 0x3fffffff) * 4" (parenthesized_expression "(param_2 + 0x3fffffff)" (( "(") (binary_expression "param_2 + 0x3fffffff" (identifier "param_2") (+ "+") (number_literal "0x3fffffff")) () ")")) (* "*") (number_literal "4"))) () ")")))) (; ";")) (expression_statement "uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);" (assignment_expression "uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" (identifier "uVar3") (= "=") (call_expression "CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" (identifier "CONCAT44") (argument_list "((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1)" (( "(") (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar2")) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (cast_expression "(uint)CARRY4(uVar4,*puVar1)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar4,*puVar1)" (identifier "CARRY4") (argument_list "(uVar4,*puVar1)" (( "(") (identifier "uVar4") (, ",") (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) () ")"))))) (, ",") (binary_expression "uVar4 + *puVar1" (identifier "uVar4") (+ "+") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) () ")")))) (; ";")) (expression_statement "param_2 = param_2 + -3;" (assignment_expression "param_2 = param_2 + -3" (identifier "param_2") (= "=") (binary_expression "param_2 + -3" (identifier "param_2") (+ "+") (number_literal "-3"))) (; ";")) (if_statement "if (-1 < param_2) {\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }" (if "if") (parenthesized_expression "(-1 < param_2)" (( "(") (binary_expression "-1 < param_2" (number_literal "-1") (< "<") (identifier "param_2")) () ")")) (compound_statement "{\n    do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);\n  }" ({ "{") (do_statement "do {\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    } while (param_2 != -1);" (do "do") (compound_statement "{\n      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];\n      uVar4 = (uint)lVar2;\n      puVar1 = (uint *)(param_1 + param_2 * 4);\n      param_2 = param_2 + -1;\n      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );\n    }" ({ "{") (expression_statement "lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];" (assignment_expression "lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2]" (identifier "lVar2") (= "=") (binary_expression "(uVar3 & 0xffffffff) * (ulonglong)param_4[2]" (parenthesized_expression "(uVar3 & 0xffffffff)" (( "(") (binary_expression "uVar3 & 0xffffffff" (identifier "uVar3") (& "&") (number_literal "0xffffffff")) () ")")) (* "*") (cast_expression "(ulonglong)param_4[2]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[2]" (identifier "param_4") ([ "[") (number_literal "2") (] "]"))))) (; ";")) (expression_statement "uVar4 = (uint)lVar2;" (assignment_expression "uVar4 = (uint)lVar2" (identifier "uVar4") (= "=") (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2"))) (; ";")) (expression_statement "puVar1 = (uint *)(param_1 + param_2 * 4);" (assignment_expression "puVar1 = (uint *)(param_1 + param_2 * 4)" (identifier "puVar1") (= "=") (cast_expression "(uint *)(param_1 + param_2 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + param_2 * 4)" (( "(") (binary_expression "param_1 + param_2 * 4" (identifier "param_1") (+ "+") (binary_expression "param_2 * 4" (identifier "param_2") (* "*") (number_literal "4"))) () ")")))) (; ";")) (expression_statement "param_2 = param_2 + -1;" (assignment_expression "param_2 = param_2 + -1" (identifier "param_2") (= "=") (binary_expression "param_2 + -1" (identifier "param_2") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      );" (assignment_expression "uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" (identifier "uVar3") (= "=") (binary_expression "(uVar3 >> 0x20) * (ulonglong)param_4[3] +\n              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" (binary_expression "(uVar3 >> 0x20) * (ulonglong)param_4[3]" (parenthesized_expression "(uVar3 >> 0x20)" (( "(") (binary_expression "uVar3 >> 0x20" (identifier "uVar3") (>> ">>") (number_literal "0x20")) () ")")) (* "*") (cast_expression "(ulonglong)param_4[3]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[3]" (identifier "param_4") ([ "[") (number_literal "3") (] "]")))) (+ "+") (call_expression "CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" (identifier "CONCAT44") (argument_list "((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1\n                      )" (( "(") (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar2")) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (cast_expression "(uint)CARRY4(uVar4,*puVar1)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar4,*puVar1)" (identifier "CARRY4") (argument_list "(uVar4,*puVar1)" (( "(") (identifier "uVar4") (, ",") (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) () ")"))))) (, ",") (binary_expression "uVar4 + *puVar1" (identifier "uVar4") (+ "+") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) () ")"))))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_2 != -1)" (( "(") (binary_expression "param_2 != -1" (identifier "param_2") (!= "!=") (number_literal "-1")) () ")")) (; ";")) (} "}"))) (expression_statement "uVar4 = (uint)(uVar3 >> 0x20);" (assignment_expression "uVar4 = (uint)(uVar3 >> 0x20)" (identifier "uVar4") (= "=") (call_expression "(uint)(uVar3 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar3 >> 0x20)" (( "(") (binary_expression "uVar3 >> 0x20" (identifier "uVar3") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "bVar5 = (byte)param_4[1];" (assignment_expression "bVar5 = (byte)param_4[1]" (identifier "bVar5") (= "=") (cast_expression "(byte)param_4[1]" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]")))) (; ";")) (if_statement "if (param_4[1] != 0) {\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }" (if "if") (parenthesized_expression "(param_4[1] != 0)" (( "(") (binary_expression "param_4[1] != 0" (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);\n  }" ({ "{") (expression_statement "uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);" (assignment_expression "uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (identifier "uVar4") (= "=") (binary_expression "uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (binary_expression "uVar4 << (bVar5 & 0x1f)" (identifier "uVar4") (<< "<<") (parenthesized_expression "(bVar5 & 0x1f)" (( "(") (binary_expression "bVar5 & 0x1f" (identifier "bVar5") (& "&") (number_literal "0x1f")) () ")"))) (| "|") (binary_expression "(uint)uVar3 >> (0x20 - bVar5 & 0x1f)" (cast_expression "(uint)uVar3" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar3")) (>> ">>") (parenthesized_expression "(0x20 - bVar5 & 0x1f)" (( "(") (binary_expression "0x20 - bVar5 & 0x1f" (binary_expression "0x20 - bVar5" (number_literal "0x20") (- "-") (identifier "bVar5")) (& "&") (number_literal "0x1f")) () ")"))))) (; ";")) (} "}"))) (expression_statement "iVar6 = (uint)uVar3 << (bVar5 & 0x1f);" (assignment_expression "iVar6 = (uint)uVar3 << (bVar5 & 0x1f)" (identifier "iVar6") (= "=") (binary_expression "(uint)uVar3 << (bVar5 & 0x1f)" (cast_expression "(uint)uVar3" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar3")) (<< "<<") (parenthesized_expression "(bVar5 & 0x1f)" (( "(") (binary_expression "bVar5 & 0x1f" (identifier "bVar5") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);" (assignment_expression "uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3)" (identifier "uVar4") (= "=") (binary_expression "uVar4 - (-(uint)(param_3 <= uVar4) & param_3)" (identifier "uVar4") (- "-") (parenthesized_expression "(-(uint)(param_3 <= uVar4) & param_3)" (( "(") (binary_expression "-(uint)(param_3 <= uVar4) & param_3" (unary_expression "-(uint)(param_3 <= uVar4)" (- "-") (call_expression "(uint)(param_3 <= uVar4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(param_3 <= uVar4)" (( "(") (binary_expression "param_3 <= uVar4" (identifier "param_3") (<= "<=") (identifier "uVar4")) () ")")))) (& "&") (identifier "param_3")) () ")")))) (; ";")) (expression_statement "lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);" (assignment_expression "lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6)" (identifier "lVar2") (= "=") (binary_expression "(ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6)" (binary_expression "(ulonglong)uVar4 * (ulonglong)*param_4" (binary_expression "(ulonglong)uVar4 * (ulonglong)" (cast_expression "(ulonglong)uVar4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar4")) (* "*") (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")"))) (* "*") (identifier "param_4")) (+ "+") (call_expression "CONCAT44(uVar4 + 1,iVar6)" (identifier "CONCAT44") (argument_list "(uVar4 + 1,iVar6)" (( "(") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1")) (, ",") (identifier "iVar6") () ")"))))) (; ";")) (expression_statement "uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;" (assignment_expression "uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3" (identifier "uVar4") (= "=") (binary_expression "iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3" (identifier "iVar6") (- "-") (binary_expression "(int)((ulonglong)lVar2 >> 0x20) * param_3" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar2")) (>> ">>") (number_literal "0x20")) () ")"))) (* "*") (identifier "param_3")))) (; ";")) (expression_statement "uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;" (assignment_expression "uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4" (identifier "uVar4") (= "=") (binary_expression "(-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4" (parenthesized_expression "(-(uint)((uint)lVar2 < uVar4) & param_3)" (( "(") (binary_expression "-(uint)((uint)lVar2 < uVar4) & param_3" (unary_expression "-(uint)((uint)lVar2 < uVar4)" (- "-") (call_expression "(uint)((uint)lVar2 < uVar4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((uint)lVar2 < uVar4)" (( "(") (binary_expression "(uint)lVar2 < uVar4" (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2")) (< "<") (identifier "uVar4")) () ")")))) (& "&") (identifier "param_3")) () ")")) (+ "+") (identifier "uVar4"))) (; ";")) (if_statement "if (param_3 <= uVar4) {\n    uVar4 = uVar4 - param_3;\n  }" (if "if") (parenthesized_expression "(param_3 <= uVar4)" (( "(") (binary_expression "param_3 <= uVar4" (identifier "param_3") (<= "<=") (identifier "uVar4")) () ")")) (compound_statement "{\n    uVar4 = uVar4 - param_3;\n  }" ({ "{") (expression_statement "uVar4 = uVar4 - param_3;" (assignment_expression "uVar4 = uVar4 - param_3" (identifier "uVar4") (= "=") (binary_expression "uVar4 - param_3" (identifier "uVar4") (- "-") (identifier "param_3"))) (; ";")) (} "}"))) (return_statement "return uVar4 >> (bVar5 & 0x1f);" (return "return") (binary_expression "uVar4 >> (bVar5 & 0x1f)" (identifier "uVar4") (>> ">>") (parenthesized_expression "(bVar5 & 0x1f)" (( "(") (binary_expression "bVar5 & 0x1f" (identifier "bVar5") (& "&") (number_literal "0x1f")) () ")"))) (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

type_1 function_1(type_2 var_7,type_3 var_1,type_1 var_9,type_1 *var_10)

{
  type_4 *puVar1;
  type_5 lVar2;
  type_6 var_6;
  type_4 var_4;
  type_7 var_8;
  int var_5;
  
  lVar2 = (type_6)var_7[var_1 + 0x3fffffff] * (type_6)var_10[2];
  var_4 = (type_4)lVar2;
  var_6 = var_2((int)((type_6)lVar2 >> 0x20) + (type_4)var_3(var_4,var_7[var_1 + 0x3ffffffe]),
                   var_4 + var_7[var_1 + 0x3ffffffe]);
  var_5 = var_1 + -3;
  if (-1 < var_5) {
    do {
      lVar2 = (var_6 & 0xffffffff) * (type_6)var_10[2];
      var_4 = (type_4)lVar2;
      puVar1 = var_7 + var_5;
      var_5 = var_5 + -1;
      var_6 = (var_6 >> 0x20) * (type_6)var_10[3] +
              var_2((int)((type_6)lVar2 >> 0x20) + (type_4)var_3(var_4,*puVar1),var_4 + *puVar1
                      );
    } while (var_5 != -1);
  }
  var_4 = (type_4)(var_6 >> 0x20);
  var_8 = (type_7)var_10[1];
  if (var_10[1] != 0) {
    var_4 = var_4 << (var_8 & 0x1f) | (type_4)var_6 >> (0x20 - var_8 & 0x1f);
  }
  var_5 = (type_4)var_6 << (var_8 & 0x1f);
  var_4 = var_4 - (-(type_4)(var_9 <= var_4) & var_9);
  lVar2 = (type_6)var_4 * (type_6)*var_10 + var_2(var_4 + 1,var_5);
  var_4 = var_5 - (int)((type_6)lVar2 >> 0x20) * var_9;
  var_4 = (-(type_4)((type_4)lVar2 < var_4) & var_9) + var_4;
  if (var_9 <= var_4) {
    var_4 = var_4 - var_9;
  }
  return var_4 >> (var_8 & 0x1f);
}


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

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

{
  uint *puVar1;
  longlong lVar2;
  ulonglong uVar3;
  uint uVar4;
  byte bVar5;
  int iVar6;
  
  lVar2 = (ulonglong)*(uint *)(param_1 + (param_2 + 0x3fffffff) * 4) * (ulonglong)param_4[2];
  uVar4 = (uint)lVar2;
  puVar1 = (uint *)(param_1 + -4 + (param_2 + 0x3fffffff) * 4);
  uVar3 = CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1);
  param_2 = param_2 + -3;
  if (-1 < param_2) {
    do {
      lVar2 = (uVar3 & 0xffffffff) * (ulonglong)param_4[2];
      uVar4 = (uint)lVar2;
      puVar1 = (uint *)(param_1 + param_2 * 4);
      param_2 = param_2 + -1;
      uVar3 = (uVar3 >> 0x20) * (ulonglong)param_4[3] +
              CONCAT44((int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar4,*puVar1),uVar4 + *puVar1
                      );
    } while (param_2 != -1);
  }
  uVar4 = (uint)(uVar3 >> 0x20);
  bVar5 = (byte)param_4[1];
  if (param_4[1] != 0) {
    uVar4 = uVar4 << (bVar5 & 0x1f) | (uint)uVar3 >> (0x20 - bVar5 & 0x1f);
  }
  iVar6 = (uint)uVar3 << (bVar5 & 0x1f);
  uVar4 = uVar4 - (-(uint)(param_3 <= uVar4) & param_3);
  lVar2 = (ulonglong)uVar4 * (ulonglong)*param_4 + CONCAT44(uVar4 + 1,iVar6);
  uVar4 = iVar6 - (int)((ulonglong)lVar2 >> 0x20) * param_3;
  uVar4 = (-(uint)((uint)lVar2 < uVar4) & param_3) + uVar4;
  if (param_3 <= uVar4) {
    uVar4 = uVar4 - param_3;
  }
  return uVar4 >> (bVar5 & 0x1f);
}

