
void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)

{
  ulonglong uVar1;
  longlong lVar2;
  byte bVar3;
  uint uVar4;
  uint uVar5;
  
  uVar5 = 0x1f;
  if (param_2 != 0) {
    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {
    }
  }
  bVar3 = (byte)(uVar5 ^ 0x1f);
  param_2 = param_2 << (bVar3 & 0x1f);
  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;
  *param_1 = (uint)uVar1;
  param_1[1] = uVar5 ^ 0x1f;
  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[2] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[3] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[4] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[5] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = param_2 + uVar4;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  param_1[6] = uVar5 >> (bVar3 & 0x1f);
  return;
}



void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)

{
  ulonglong uVar1;
  longlong lVar2;
  byte bVar3;
  uint uVar4;
  uint uVar5;
  
  uVar5 = 0x1f;
  if (param_2 != 0) {
    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {
    }
  }
  bVar3 = (byte)(uVar5 ^ 0x1f);
  param_2 = param_2 << (bVar3 & 0x1f);
  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;
  *param_1 = (uint)uVar1;
  param_1[1] = uVar5 ^ 0x1f;
  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[2] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[3] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[4] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[5] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = param_2 + uVar4;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  param_1[6] = uVar5 >> (bVar3 & 0x1f);
  return;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
MOV EBP,dword ptr [ESP + 0x14]
MOV EBX,dword ptr [ESP + 0x18]
BSR ECX,EBX
XOR ECX,0x1f
SHL EBX,CL
MOV EDX,EBX
NOT EDX
MOV EAX,0xffffffff
DIV EBX
XOR EDI,EDI
SUB EDI,EBX
MOV ESI,0x1
MOV dword ptr [EBP],EAX
MOV dword ptr [EBP + 0x4],ECX
SHLD ESI,EAX,CL
IMUL ESI,EDI
MOV EDI,EAX
MUL ESI
ADD EDX,ESI
SHR ESI,CL
MOV dword ptr [EBP + 0x8],ESI
NOT EDX
IMUL EDX,EBX
LEA ESI,[EDX + EBX*0x1]
CMP EAX,EDX
CMOVNC ESI,EDX
MOV EAX,EDI
MUL ESI
ADD EDX,ESI
SHR ESI,CL
MOV dword ptr [EBP + 0xc],ESI
NOT EDX
IMUL EDX,EBX
LEA ESI,[EDX + EBX*0x1]
CMP EAX,EDX
CMOVNC ESI,EDX
MOV EAX,EDI
MUL ESI
ADD EDX,ESI
SHR ESI,CL
MOV dword ptr [EBP + 0x10],ESI
NOT EDX
IMUL EDX,EBX
LEA ESI,[EDX + EBX*0x1]
CMP EAX,EDX
CMOVNC ESI,EDX
MOV EAX,EDI
MUL ESI
ADD EDX,ESI
SHR ESI,CL
MOV dword ptr [EBP + 0x14],ESI
NOT EDX
IMUL EDX,EBX
ADD EBX,EDX
CMP EAX,EDX
CMOVNC EBX,EDX
SHR EBX,CL
MOV dword ptr [EBP + 0x18],EBX
POP EBX
POP ESI
POP EDI
POP EBP
RET
(translation_unit "void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)\n\n{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}\n\n" (function_definition "void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)\n\n{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}" primitive_type (function_declarator "__gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)" identifier (parameter_list "(uint *param_1,uint param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}" { (declaration "ulonglong uVar1;" type_identifier identifier ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "uVar5 = 0x1f;" (assignment_expression "uVar5 = 0x1f" identifier = number_literal) ;) (if_statement "if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }" if (parenthesized_expression "(param_2 != 0)" ( (binary_expression "param_2 != 0" identifier != number_literal) )) (compound_statement "{\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }" { (for_statement "for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }" for ( ; (binary_expression "param_2 >> uVar5 == 0" (binary_expression "param_2 >> uVar5" identifier >> identifier) == number_literal) ; (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ) (compound_statement "{\n    }" { })) })) (expression_statement "bVar3 = (byte)(uVar5 ^ 0x1f);" (assignment_expression "bVar3 = (byte)(uVar5 ^ 0x1f)" identifier = (call_expression "(byte)(uVar5 ^ 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(uVar5 ^ 0x1f)" ( (binary_expression "uVar5 ^ 0x1f" identifier ^ number_literal) )))) ;) (expression_statement "param_2 = param_2 << (bVar3 & 0x1f);" (assignment_expression "param_2 = param_2 << (bVar3 & 0x1f)" identifier = (binary_expression "param_2 << (bVar3 & 0x1f)" identifier << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;" (assignment_expression "uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2" identifier = (binary_expression "((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2" (parenthesized_expression "((ulonglong)~param_2 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~param_2 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~param_2 << 0x20" (cast_expression "(ulonglong)~param_2" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~param_2" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)param_2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*param_1 = (uint)uVar1;" (assignment_expression "*param_1 = (uint)uVar1" (pointer_expression "*param_1" * identifier) = (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "param_1[1] = uVar5 ^ 0x1f;" (assignment_expression "param_1[1] = uVar5 ^ 0x1f" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar5 ^ 0x1f" identifier ^ number_literal)) ;) (expression_statement "uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;" (assignment_expression "uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2" identifier = (binary_expression "(1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2" (parenthesized_expression "(1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f))" ( (binary_expression "1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)" (binary_expression "1 << (bVar3 & 0x1f)" number_literal << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) ))) | (binary_expression "(uint)uVar1 >> 0x20 - (bVar3 & 0x1f)" (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier) >> (binary_expression "0x20 - (bVar3 & 0x1f)" number_literal - (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) ))))) )) * (unary_expression "-param_2" - identifier))) ;) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[2] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[2] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[3] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[3] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[4] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[4] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[4]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[5] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[5] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[5]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = param_2 + uVar4;" (assignment_expression "uVar5 = param_2 + uVar4" identifier = (binary_expression "param_2 + uVar4" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "param_1[6] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[6] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[6]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)\n\n{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}\n\n" (function_definition "void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)\n\n{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}" primitive_type (function_declarator "__gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)" identifier (parameter_list "(uint *param_1,uint param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}" { (declaration "ulonglong uVar1;" type_identifier identifier ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "uVar5 = 0x1f;" (assignment_expression "uVar5 = 0x1f" identifier = number_literal) ;) (if_statement "if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }" if (parenthesized_expression "(param_2 != 0)" ( (binary_expression "param_2 != 0" identifier != number_literal) )) (compound_statement "{\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }" { (for_statement "for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }" for ( ; (binary_expression "param_2 >> uVar5 == 0" (binary_expression "param_2 >> uVar5" identifier >> identifier) == number_literal) ; (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ) (compound_statement "{\n    }" { })) })) (expression_statement "bVar3 = (byte)(uVar5 ^ 0x1f);" (assignment_expression "bVar3 = (byte)(uVar5 ^ 0x1f)" identifier = (call_expression "(byte)(uVar5 ^ 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(uVar5 ^ 0x1f)" ( (binary_expression "uVar5 ^ 0x1f" identifier ^ number_literal) )))) ;) (expression_statement "param_2 = param_2 << (bVar3 & 0x1f);" (assignment_expression "param_2 = param_2 << (bVar3 & 0x1f)" identifier = (binary_expression "param_2 << (bVar3 & 0x1f)" identifier << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;" (assignment_expression "uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2" identifier = (binary_expression "((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2" (parenthesized_expression "((ulonglong)~param_2 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~param_2 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~param_2 << 0x20" (cast_expression "(ulonglong)~param_2" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~param_2" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)param_2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*param_1 = (uint)uVar1;" (assignment_expression "*param_1 = (uint)uVar1" (pointer_expression "*param_1" * identifier) = (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "param_1[1] = uVar5 ^ 0x1f;" (assignment_expression "param_1[1] = uVar5 ^ 0x1f" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar5 ^ 0x1f" identifier ^ number_literal)) ;) (expression_statement "uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;" (assignment_expression "uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2" identifier = (binary_expression "(1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2" (parenthesized_expression "(1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f))" ( (binary_expression "1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)" (binary_expression "1 << (bVar3 & 0x1f)" number_literal << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) ))) | (binary_expression "(uint)uVar1 >> 0x20 - (bVar3 & 0x1f)" (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier) >> (binary_expression "0x20 - (bVar3 & 0x1f)" number_literal - (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) ))))) )) * (unary_expression "-param_2" - identifier))) ;) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[2] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[2] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[3] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[3] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[4] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[4] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[4]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[5] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[5] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[5]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = param_2 + uVar4;" (assignment_expression "uVar5 = param_2 + uVar4" identifier = (binary_expression "param_2 + uVar4" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "param_1[6] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[6] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[6]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)\n\n{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}\n\n" (function_definition "void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)\n\n{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}" primitive_type (function_declarator "__gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)" identifier (parameter_list "(uint *param_1,uint param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}" { (declaration "ulonglong uVar1;" type_identifier identifier ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "uVar5 = 0x1f;" (assignment_expression "uVar5 = 0x1f" identifier = number_literal) ;) (if_statement "if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }" if (parenthesized_expression "(param_2 != 0)" ( (binary_expression "param_2 != 0" identifier != number_literal) )) (compound_statement "{\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }" { (for_statement "for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }" for ( ; (binary_expression "param_2 >> uVar5 == 0" (binary_expression "param_2 >> uVar5" identifier >> identifier) == number_literal) ; (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ) (compound_statement "{\n    }" { })) })) (expression_statement "bVar3 = (byte)(uVar5 ^ 0x1f);" (assignment_expression "bVar3 = (byte)(uVar5 ^ 0x1f)" identifier = (call_expression "(byte)(uVar5 ^ 0x1f)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(uVar5 ^ 0x1f)" ( (binary_expression "uVar5 ^ 0x1f" identifier ^ number_literal) )))) ;) (expression_statement "param_2 = param_2 << (bVar3 & 0x1f);" (assignment_expression "param_2 = param_2 << (bVar3 & 0x1f)" identifier = (binary_expression "param_2 << (bVar3 & 0x1f)" identifier << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;" (assignment_expression "uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2" identifier = (binary_expression "((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2" (parenthesized_expression "((ulonglong)~param_2 << 0x20 | 0xffffffff)" ( (binary_expression "(ulonglong)~param_2 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~param_2 << 0x20" (cast_expression "(ulonglong)~param_2" ( (type_descriptor "ulonglong" type_identifier) ) (unary_expression "~param_2" ~ identifier)) << number_literal) | number_literal) )) / (cast_expression "(ulonglong)param_2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*param_1 = (uint)uVar1;" (assignment_expression "*param_1 = (uint)uVar1" (pointer_expression "*param_1" * identifier) = (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "param_1[1] = uVar5 ^ 0x1f;" (assignment_expression "param_1[1] = uVar5 ^ 0x1f" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar5 ^ 0x1f" identifier ^ number_literal)) ;) (expression_statement "uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;" (assignment_expression "uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2" identifier = (binary_expression "(1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2" (parenthesized_expression "(1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f))" ( (binary_expression "1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)" (binary_expression "1 << (bVar3 & 0x1f)" number_literal << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) ))) | (binary_expression "(uint)uVar1 >> 0x20 - (bVar3 & 0x1f)" (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier) >> (binary_expression "0x20 - (bVar3 & 0x1f)" number_literal - (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) ))))) )) * (unary_expression "-param_2" - identifier))) ;) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[2] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[2] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[3] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[3] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[4] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[4] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[4]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" identifier = (binary_expression "uVar4 + param_2" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" identifier = (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[5] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[5] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[5]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" identifier = (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ~ (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" ( (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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) ))) * identifier)) ;) (expression_statement "uVar5 = param_2 + uVar4;" (assignment_expression "uVar5 = param_2 + uVar4" identifier = (binary_expression "param_2 + uVar4" identifier + identifier)) ;) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" if (parenthesized_expression "(uVar4 <= (uint)lVar2)" ( (binary_expression "uVar4 <= (uint)lVar2" identifier <= (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) )) (compound_statement "{\n    uVar5 = uVar4;\n  }" { (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" identifier = identifier) ;) })) (expression_statement "param_1[6] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[6] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[6]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (bVar3 & 0x1f)" identifier >> (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (for_statement for ( ; (binary_expression (binary_expression IDENT >> IDENT) == LIT) ; (assignment_expression IDENT = (binary_expression IDENT - LIT)) ) (compound_statement { })) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT ^ LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (unary_expression ~ IDENT)) << LIT) | LIT) )) / (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT ^ LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression LIT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> (binary_expression LIT - (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) )) * (unary_expression - IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression ~ (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) + IDENT) ))) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression ~ (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) + IDENT) ))) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression ~ (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) + IDENT) ))) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression ~ (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) + IDENT) ))) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (return_statement return ;) })))
(function_definition "void __gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)\n\n{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}" (primitive_type "void") (function_declarator "__gmpn_mod_1s_4p_cps_pentium4_sse2(uint *param_1,uint param_2)" (identifier "__gmpn_mod_1s_4p_cps_pentium4_sse2") (parameter_list "(uint *param_1,uint param_2)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint param_2" (type_identifier "uint") (identifier "param_2")) () ")"))) (compound_statement "{\n  ulonglong uVar1;\n  longlong lVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  uVar5 = 0x1f;\n  if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }\n  bVar3 = (byte)(uVar5 ^ 0x1f);\n  param_2 = param_2 << (bVar3 & 0x1f);\n  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;\n  *param_1 = (uint)uVar1;\n  param_1[1] = uVar5 ^ 0x1f;\n  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[2] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[3] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[4] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = uVar4 + param_2;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;\n  param_1[5] = uVar5 >> (bVar3 & 0x1f);\n  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;\n  uVar5 = param_2 + uVar4;\n  if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }\n  param_1[6] = uVar5 >> (bVar3 & 0x1f);\n  return;\n}" ({ "{") (declaration "ulonglong uVar1;" (type_identifier "ulonglong") (identifier "uVar1") (; ";")) (declaration "longlong lVar2;" (type_identifier "longlong") (identifier "lVar2") (; ";")) (declaration "byte bVar3;" (type_identifier "byte") (identifier "bVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (expression_statement "uVar5 = 0x1f;" (assignment_expression "uVar5 = 0x1f" (identifier "uVar5") (= "=") (number_literal "0x1f")) (; ";")) (if_statement "if (param_2 != 0) {\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }" (if "if") (parenthesized_expression "(param_2 != 0)" (( "(") (binary_expression "param_2 != 0" (identifier "param_2") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }\n  }" ({ "{") (for_statement "for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {\n    }" (for "for") (( "(") (; ";") (binary_expression "param_2 >> uVar5 == 0" (binary_expression "param_2 >> uVar5" (identifier "param_2") (>> ">>") (identifier "uVar5")) (== "==") (number_literal "0")) (; ";") (assignment_expression "uVar5 = uVar5 - 1" (identifier "uVar5") (= "=") (binary_expression "uVar5 - 1" (identifier "uVar5") (- "-") (number_literal "1"))) () ")") (compound_statement "{\n    }" ({ "{") (} "}"))) (} "}"))) (expression_statement "bVar3 = (byte)(uVar5 ^ 0x1f);" (assignment_expression "bVar3 = (byte)(uVar5 ^ 0x1f)" (identifier "bVar3") (= "=") (call_expression "(byte)(uVar5 ^ 0x1f)" (parenthesized_expression "(byte)" (( "(") (identifier "byte") () ")")) (argument_list "(uVar5 ^ 0x1f)" (( "(") (binary_expression "uVar5 ^ 0x1f" (identifier "uVar5") (^ "^") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "param_2 = param_2 << (bVar3 & 0x1f);" (assignment_expression "param_2 = param_2 << (bVar3 & 0x1f)" (identifier "param_2") (= "=") (binary_expression "param_2 << (bVar3 & 0x1f)" (identifier "param_2") (<< "<<") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;" (assignment_expression "uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2" (identifier "uVar1") (= "=") (binary_expression "((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2" (parenthesized_expression "((ulonglong)~param_2 << 0x20 | 0xffffffff)" (( "(") (binary_expression "(ulonglong)~param_2 << 0x20 | 0xffffffff" (binary_expression "(ulonglong)~param_2 << 0x20" (cast_expression "(ulonglong)~param_2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (unary_expression "~param_2" (~ "~") (identifier "param_2"))) (<< "<<") (number_literal "0x20")) (| "|") (number_literal "0xffffffff")) () ")")) (/ "/") (cast_expression "(ulonglong)param_2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_2")))) (; ";")) (expression_statement "*param_1 = (uint)uVar1;" (assignment_expression "*param_1 = (uint)uVar1" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (cast_expression "(uint)uVar1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar1"))) (; ";")) (expression_statement "param_1[1] = uVar5 ^ 0x1f;" (assignment_expression "param_1[1] = uVar5 ^ 0x1f" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar5 ^ 0x1f" (identifier "uVar5") (^ "^") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;" (assignment_expression "uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2" (identifier "uVar5") (= "=") (binary_expression "(1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2" (parenthesized_expression "(1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f))" (( "(") (binary_expression "1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)" (binary_expression "1 << (bVar3 & 0x1f)" (number_literal "1") (<< "<<") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")"))) (| "|") (binary_expression "(uint)uVar1 >> 0x20 - (bVar3 & 0x1f)" (cast_expression "(uint)uVar1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar1")) (>> ">>") (binary_expression "0x20 - (bVar3 & 0x1f)" (number_literal "0x20") (- "-") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")"))))) () ")")) (* "*") (unary_expression "-param_2" (- "-") (identifier "param_2")))) (; ";")) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" (identifier "lVar2") (= "=") (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" (( "(") (binary_expression "uVar1 & 0xffffffff" (identifier "uVar1") (& "&") (number_literal "0xffffffff")) () ")")) (* "*") (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")))) (; ";")) (expression_statement "param_1[2] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[2] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (binary_expression "uVar5 >> (bVar3 & 0x1f)" (identifier "uVar5") (>> ">>") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (identifier "uVar4") (= "=") (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" (~ "~") (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" (( "(") (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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 "uVar5")) () ")"))) (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" (identifier "uVar5") (= "=") (binary_expression "uVar4 + param_2" (identifier "uVar4") (+ "+") (identifier "param_2"))) (; ";")) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" (if "if") (parenthesized_expression "(uVar4 <= (uint)lVar2)" (( "(") (binary_expression "uVar4 <= (uint)lVar2" (identifier "uVar4") (<= "<=") (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2"))) () ")")) (compound_statement "{\n    uVar5 = uVar4;\n  }" ({ "{") (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" (identifier "uVar5") (= "=") (identifier "uVar4")) (; ";")) (} "}"))) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" (identifier "lVar2") (= "=") (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" (( "(") (binary_expression "uVar1 & 0xffffffff" (identifier "uVar1") (& "&") (number_literal "0xffffffff")) () ")")) (* "*") (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")))) (; ";")) (expression_statement "param_1[3] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[3] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (binary_expression "uVar5 >> (bVar3 & 0x1f)" (identifier "uVar5") (>> ">>") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (identifier "uVar4") (= "=") (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" (~ "~") (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" (( "(") (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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 "uVar5")) () ")"))) (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" (identifier "uVar5") (= "=") (binary_expression "uVar4 + param_2" (identifier "uVar4") (+ "+") (identifier "param_2"))) (; ";")) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" (if "if") (parenthesized_expression "(uVar4 <= (uint)lVar2)" (( "(") (binary_expression "uVar4 <= (uint)lVar2" (identifier "uVar4") (<= "<=") (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2"))) () ")")) (compound_statement "{\n    uVar5 = uVar4;\n  }" ({ "{") (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" (identifier "uVar5") (= "=") (identifier "uVar4")) (; ";")) (} "}"))) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" (identifier "lVar2") (= "=") (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" (( "(") (binary_expression "uVar1 & 0xffffffff" (identifier "uVar1") (& "&") (number_literal "0xffffffff")) () ")")) (* "*") (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")))) (; ";")) (expression_statement "param_1[4] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[4] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (binary_expression "uVar5 >> (bVar3 & 0x1f)" (identifier "uVar5") (>> ">>") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (identifier "uVar4") (= "=") (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" (~ "~") (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" (( "(") (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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 "uVar5")) () ")"))) (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar5 = uVar4 + param_2;" (assignment_expression "uVar5 = uVar4 + param_2" (identifier "uVar5") (= "=") (binary_expression "uVar4 + param_2" (identifier "uVar4") (+ "+") (identifier "param_2"))) (; ";")) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" (if "if") (parenthesized_expression "(uVar4 <= (uint)lVar2)" (( "(") (binary_expression "uVar4 <= (uint)lVar2" (identifier "uVar4") (<= "<=") (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2"))) () ")")) (compound_statement "{\n    uVar5 = uVar4;\n  }" ({ "{") (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" (identifier "uVar5") (= "=") (identifier "uVar4")) (; ";")) (} "}"))) (expression_statement "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;" (assignment_expression "lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5" (identifier "lVar2") (= "=") (binary_expression "(uVar1 & 0xffffffff) * (ulonglong)uVar5" (parenthesized_expression "(uVar1 & 0xffffffff)" (( "(") (binary_expression "uVar1 & 0xffffffff" (identifier "uVar1") (& "&") (number_literal "0xffffffff")) () ")")) (* "*") (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")))) (; ";")) (expression_statement "param_1[5] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[5] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (= "=") (binary_expression "uVar5 >> (bVar3 & 0x1f)" (identifier "uVar5") (>> ">>") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;" (assignment_expression "uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (identifier "uVar4") (= "=") (binary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2" (unary_expression "~((int)((ulonglong)lVar2 >> 0x20) + uVar5)" (~ "~") (parenthesized_expression "((int)((ulonglong)lVar2 >> 0x20) + uVar5)" (( "(") (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + uVar5" (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 "uVar5")) () ")"))) (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar5 = param_2 + uVar4;" (assignment_expression "uVar5 = param_2 + uVar4" (identifier "uVar5") (= "=") (binary_expression "param_2 + uVar4" (identifier "param_2") (+ "+") (identifier "uVar4"))) (; ";")) (if_statement "if (uVar4 <= (uint)lVar2) {\n    uVar5 = uVar4;\n  }" (if "if") (parenthesized_expression "(uVar4 <= (uint)lVar2)" (( "(") (binary_expression "uVar4 <= (uint)lVar2" (identifier "uVar4") (<= "<=") (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2"))) () ")")) (compound_statement "{\n    uVar5 = uVar4;\n  }" ({ "{") (expression_statement "uVar5 = uVar4;" (assignment_expression "uVar5 = uVar4" (identifier "uVar5") (= "=") (identifier "uVar4")) (; ";")) (} "}"))) (expression_statement "param_1[6] = uVar5 >> (bVar3 & 0x1f);" (assignment_expression "param_1[6] = uVar5 >> (bVar3 & 0x1f)" (subscript_expression "param_1[6]" (identifier "param_1") ([ "[") (number_literal "6") (] "]")) (= "=") (binary_expression "uVar5 >> (bVar3 & 0x1f)" (identifier "uVar5") (>> ">>") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *param_1,type_1 var_1)

{
  type_2 var_4;
  type_3 lVar2;
  type_4 var_3;
  type_1 var_5;
  type_1 var_2;
  
  var_2 = 0x1f;
  if (var_1 != 0) {
    for (; var_1 >> var_2 == 0; var_2 = var_2 - 1) {
    }
  }
  var_3 = (type_4)(var_2 ^ 0x1f);
  var_1 = var_1 << (var_3 & 0x1f);
  var_4 = ((type_2)~var_1 << 0x20 | 0xffffffff) / (type_2)var_1;
  *param_1 = (type_1)var_4;
  param_1[1] = var_2 ^ 0x1f;
  var_2 = (1 << (var_3 & 0x1f) | (type_1)var_4 >> 0x20 - (var_3 & 0x1f)) * -var_1;
  lVar2 = (var_4 & 0xffffffff) * (type_2)var_2;
  param_1[2] = var_2 >> (var_3 & 0x1f);
  var_5 = ~((int)((type_2)lVar2 >> 0x20) + var_2) * var_1;
  var_2 = var_5 + var_1;
  if (var_5 <= (type_1)lVar2) {
    var_2 = var_5;
  }
  lVar2 = (var_4 & 0xffffffff) * (type_2)var_2;
  param_1[3] = var_2 >> (var_3 & 0x1f);
  var_5 = ~((int)((type_2)lVar2 >> 0x20) + var_2) * var_1;
  var_2 = var_5 + var_1;
  if (var_5 <= (type_1)lVar2) {
    var_2 = var_5;
  }
  lVar2 = (var_4 & 0xffffffff) * (type_2)var_2;
  param_1[4] = var_2 >> (var_3 & 0x1f);
  var_5 = ~((int)((type_2)lVar2 >> 0x20) + var_2) * var_1;
  var_2 = var_5 + var_1;
  if (var_5 <= (type_1)lVar2) {
    var_2 = var_5;
  }
  lVar2 = (var_4 & 0xffffffff) * (type_2)var_2;
  param_1[5] = var_2 >> (var_3 & 0x1f);
  var_5 = ~((int)((type_2)lVar2 >> 0x20) + var_2) * var_1;
  var_2 = var_1 + var_5;
  if (var_5 <= (type_1)lVar2) {
    var_2 = var_5;
  }
  param_1[6] = var_2 >> (var_3 & 0x1f);
  return;
}


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

void MASKED(uint *param_1,uint param_2)

{
  ulonglong uVar1;
  longlong lVar2;
  byte bVar3;
  uint uVar4;
  uint uVar5;
  
  uVar5 = 0x1f;
  if (param_2 != 0) {
    for (; param_2 >> uVar5 == 0; uVar5 = uVar5 - 1) {
    }
  }
  bVar3 = (byte)(uVar5 ^ 0x1f);
  param_2 = param_2 << (bVar3 & 0x1f);
  uVar1 = ((ulonglong)~param_2 << 0x20 | 0xffffffff) / (ulonglong)param_2;
  *param_1 = (uint)uVar1;
  param_1[1] = uVar5 ^ 0x1f;
  uVar5 = (1 << (bVar3 & 0x1f) | (uint)uVar1 >> 0x20 - (bVar3 & 0x1f)) * -param_2;
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[2] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[3] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[4] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = uVar4 + param_2;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  lVar2 = (uVar1 & 0xffffffff) * (ulonglong)uVar5;
  param_1[5] = uVar5 >> (bVar3 & 0x1f);
  uVar4 = ~((int)((ulonglong)lVar2 >> 0x20) + uVar5) * param_2;
  uVar5 = param_2 + uVar4;
  if (uVar4 <= (uint)lVar2) {
    uVar5 = uVar4;
  }
  param_1[6] = uVar5 >> (bVar3 & 0x1f);
  return;
}

