
int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)

{
  bool bVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  int iStack_8;
  
  uVar5 = param_3 & 1;
  param_3 = param_3 >> 1;
  uVar6 = *param_2;
  if (uVar5 == 0) {
    uVar5 = param_2[1];
    iStack_8 = uVar6 << (-param_4 & 0x1f);
    uVar3 = uVar5 << (-param_4 & 0x1f);
    param_3 = param_3 - 1;
    param_1 = param_1 + -1;
    param_2 = param_2 + 1;
    if (param_3 != 0) goto LAB_00042858;
  }
  else {
    uVar4 = uVar6 >> (param_4 & 0x1f);
    param_4 = -param_4;
    iStack_8 = uVar6 << (param_4 & 0x1f);
    if (param_3 == 0) {
      *param_1 = uVar4;
      return iStack_8;
    }
    uVar6 = param_2[1];
    uVar2 = uVar6 << (param_4 & 0x1f);
    while( true ) {
      uVar5 = param_2[2];
      uVar3 = uVar5 << (param_4 & 0x1f);
      param_2 = param_2 + 2;
      param_4 = -param_4;
      *param_1 = uVar2 | uVar4;
      uVar4 = param_3 - 1;
      bVar1 = (int)param_3 < 1;
      param_3 = uVar4;
      if (uVar4 == 0 || bVar1) break;
LAB_00042858:
      uVar2 = uVar6 >> (param_4 & 0x1f);
      uVar4 = uVar5 >> (param_4 & 0x1f);
      param_4 = -param_4;
      uVar6 = param_2[1];
      param_1[1] = uVar3 | uVar2;
      uVar2 = uVar6 << (param_4 & 0x1f);
      param_1 = param_1 + 2;
    }
  }
  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);
  param_1[2] = uVar5 >> (param_4 & 0x1f);
  return iStack_8;
}



int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)

{
  bool bVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  int iStack_8;
  
  uVar5 = param_3 & 1;
  param_3 = param_3 >> 1;
  uVar6 = *param_2;
  if (uVar5 == 0) {
    uVar5 = param_2[1];
    iStack_8 = uVar6 << (-param_4 & 0x1f);
    uVar3 = uVar5 << (-param_4 & 0x1f);
    param_3 = param_3 - 1;
    param_1 = param_1 + -1;
    param_2 = param_2 + 1;
    if (param_3 != 0) goto LAB_00042858;
  }
  else {
    uVar4 = uVar6 >> (param_4 & 0x1f);
    param_4 = -param_4;
    iStack_8 = uVar6 << (param_4 & 0x1f);
    if (param_3 == 0) {
      *param_1 = uVar4;
      return iStack_8;
    }
    uVar6 = param_2[1];
    uVar2 = uVar6 << (param_4 & 0x1f);
    while( true ) {
      uVar5 = param_2[2];
      uVar3 = uVar5 << (param_4 & 0x1f);
      param_2 = param_2 + 2;
      param_4 = -param_4;
      *param_1 = uVar2 | uVar4;
      uVar4 = param_3 - 1;
      bVar1 = (int)param_3 < 1;
      param_3 = uVar4;
      if (uVar4 == 0 || bVar1) break;
LAB_00042858:
      uVar2 = uVar6 >> (param_4 & 0x1f);
      uVar4 = uVar5 >> (param_4 & 0x1f);
      param_4 = -param_4;
      uVar6 = param_2[1];
      param_1[1] = uVar3 | uVar2;
      uVar2 = uVar6 << (param_4 & 0x1f);
      param_1 = param_1 + 2;
    }
  }
  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);
  param_1[2] = uVar5 >> (param_4 & 0x1f);
  return iStack_8;
}


MOV ECX,dword ptr [ESP + 0x10]
MOV EDX,dword ptr [ESP + 0xc]
MOV dword ptr [ESP + 0x10],ESI
MOV ESI,dword ptr [ESP + 0x8]
PUSH EDI
MOV EDI,dword ptr [ESP + 0x8]
MOV dword ptr [ESP + 0xc],EBX
SHR EDX,0x1
MOV EAX,dword ptr [ESI]
MOV dword ptr [ESP + 0x10],EDX
JNC 0x00042831
MOV EBX,EAX
SHR EBX,CL
NEG ECX
SHL EAX,CL
TEST EDX,EDX
JNZ 0x00042823
MOV dword ptr [EDI],EBX
JMP 0x00042894
MOV dword ptr [ESP + 0x8],EBP
PUSH EAX
MOV EAX,dword ptr [ESI + 0x4]
MOV EBP,EAX
SHL EAX,CL
JMP 0x0004286d
MOV dword ptr [ESP + 0x8],EBP
NEG ECX
MOV EBP,EAX
MOV EDX,dword ptr [ESI + 0x4]
SHL EAX,CL
MOV EBX,EDX
SHL EDX,CL
NEG ECX
DEC dword ptr [ESP + 0x10]
LEA EDI,[EDI + -0x4]
LEA ESI,[ESI + 0x4]
JZ 0x00042884
PUSH EAX
LEA ESI,[ESI]
SHR EBP,CL
OR EDX,EBP
SHR EBX,CL
NEG ECX
MOV EAX,dword ptr [ESI + 0x4]
MOV EBP,EAX
MOV dword ptr [EDI + 0x4],EDX
SHL EAX,CL
LEA EDI,[EDI + 0x8]
MOV EDX,dword ptr [ESI + 0x8]
OR EAX,EBX
MOV EBX,EDX
SHL EDX,CL
LEA ESI,[ESI + 0x8]
NEG ECX
MOV dword ptr [EDI],EAX
DEC dword ptr [ESP + 0x14]
JG 0x00042858
POP EAX
SHR EBP,CL
SHR EBX,CL
OR EDX,EBP
MOV EBP,dword ptr [ESP + 0x8]
MOV dword ptr [EDI + 0x4],EDX
MOV dword ptr [EDI + 0x8],EBX
MOV ESI,dword ptr [ESP + 0x14]
MOV EBX,dword ptr [ESP + 0xc]
POP EDI
RET
(translation_unit "int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)\n\n{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}\n\n" (function_definition "int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)\n\n{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}" primitive_type (function_declarator "__gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,byte param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "byte param_4" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iStack_8;" primitive_type identifier ;) (expression_statement "uVar5 = param_3 & 1;" (assignment_expression "uVar5 = param_3 & 1" identifier = (binary_expression "param_3 & 1" identifier & number_literal)) ;) (expression_statement "param_3 = param_3 >> 1;" (assignment_expression "param_3 = param_3 >> 1" identifier = (binary_expression "param_3 >> 1" identifier >> number_literal)) ;) (expression_statement "uVar6 = *param_2;" (assignment_expression "uVar6 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" if (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }" { (expression_statement "uVar5 = param_2[1];" (assignment_expression "uVar5 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "iStack_8 = uVar6 << (-param_4 & 0x1f);" (assignment_expression "iStack_8 = uVar6 << (-param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (-param_4 & 0x1f)" identifier << (parenthesized_expression "(-param_4 & 0x1f)" ( (binary_expression "-param_4 & 0x1f" (unary_expression "-param_4" - identifier) & number_literal) )))) ;) (expression_statement "uVar3 = uVar5 << (-param_4 & 0x1f);" (assignment_expression "uVar3 = uVar5 << (-param_4 & 0x1f)" identifier = (binary_expression "uVar5 << (-param_4 & 0x1f)" identifier << (parenthesized_expression "(-param_4 & 0x1f)" ( (binary_expression "-param_4 & 0x1f" (unary_expression "-param_4" - identifier) & number_literal) )))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "param_1 = param_1 + -1;" (assignment_expression "param_1 = param_1 + -1" identifier = (binary_expression "param_1 + -1" identifier + number_literal)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (if_statement "if (param_3 != 0) goto LAB_00042858;" if (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) (goto_statement "goto LAB_00042858;" goto statement_identifier ;)) }) (else_clause "else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" else (compound_statement "{\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" { (expression_statement "uVar4 = uVar6 >> (param_4 & 0x1f);" (assignment_expression "uVar4 = uVar6 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "iStack_8 = uVar6 << (param_4 & 0x1f);" (assignment_expression "iStack_8 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n      *param_1 = uVar4;\n      return iStack_8;\n    }" { (expression_statement "*param_1 = uVar4;" (assignment_expression "*param_1 = uVar4" (pointer_expression "*param_1" * identifier) = identifier) ;) (return_statement "return iStack_8;" return identifier ;) })) (expression_statement "uVar6 = param_2[1];" (assignment_expression "uVar6 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar2 = uVar6 << (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (while_statement "while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }" { (expression_statement "uVar5 = param_2[2];" (assignment_expression "uVar5 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar3 = uVar5 << (param_4 & 0x1f);" (assignment_expression "uVar3 = uVar5 << (param_4 & 0x1f)" identifier = (binary_expression "uVar5 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_2 = param_2 + 2;" (assignment_expression "param_2 = param_2 + 2" identifier = (binary_expression "param_2 + 2" identifier + number_literal)) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "*param_1 = uVar2 | uVar4;" (assignment_expression "*param_1 = uVar2 | uVar4" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar2 | uVar4" identifier | identifier)) ;) (expression_statement "uVar4 = param_3 - 1;" (assignment_expression "uVar4 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "bVar1 = (int)param_3 < 1;" (assignment_expression "bVar1 = (int)param_3 < 1" identifier = (binary_expression "(int)param_3 < 1" (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal)) ;) (expression_statement "param_3 = uVar4;" (assignment_expression "param_3 = uVar4" identifier = identifier) ;) (if_statement "if (uVar4 == 0 || bVar1) break;" if (parenthesized_expression "(uVar4 == 0 || bVar1)" ( (binary_expression "uVar4 == 0 || bVar1" (binary_expression "uVar4 == 0" identifier == number_literal) || identifier) )) (break_statement "break;" break ;)) (labeled_statement "LAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);" statement_identifier : (expression_statement "uVar2 = uVar6 >> (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;)) (expression_statement "uVar4 = uVar5 >> (param_4 & 0x1f);" (assignment_expression "uVar4 = uVar5 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar5 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar6 = param_2[1];" (assignment_expression "uVar6 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = uVar3 | uVar2;" (assignment_expression "param_1[1] = uVar3 | uVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar3 | uVar2" identifier | identifier)) ;) (expression_statement "uVar2 = uVar6 << (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_1 = param_1 + 2;" (assignment_expression "param_1 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) })) }))) (expression_statement "param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);" (assignment_expression "param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f)" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar3 | uVar6 >> (param_4 & 0x1f)" identifier | (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "param_1[2] = uVar5 >> (param_4 & 0x1f);" (assignment_expression "param_1[2] = uVar5 >> (param_4 & 0x1f)" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return iStack_8;" return identifier ;) })))
(translation_unit "int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)\n\n{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}\n\n" (function_definition "int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)\n\n{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}" primitive_type (function_declarator "__gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,byte param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "byte param_4" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iStack_8;" primitive_type identifier ;) (expression_statement "uVar5 = param_3 & 1;" (assignment_expression "uVar5 = param_3 & 1" identifier = (binary_expression "param_3 & 1" identifier & number_literal)) ;) (expression_statement "param_3 = param_3 >> 1;" (assignment_expression "param_3 = param_3 >> 1" identifier = (binary_expression "param_3 >> 1" identifier >> number_literal)) ;) (expression_statement "uVar6 = *param_2;" (assignment_expression "uVar6 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" if (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }" { (expression_statement "uVar5 = param_2[1];" (assignment_expression "uVar5 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "iStack_8 = uVar6 << (-param_4 & 0x1f);" (assignment_expression "iStack_8 = uVar6 << (-param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (-param_4 & 0x1f)" identifier << (parenthesized_expression "(-param_4 & 0x1f)" ( (binary_expression "-param_4 & 0x1f" (unary_expression "-param_4" - identifier) & number_literal) )))) ;) (expression_statement "uVar3 = uVar5 << (-param_4 & 0x1f);" (assignment_expression "uVar3 = uVar5 << (-param_4 & 0x1f)" identifier = (binary_expression "uVar5 << (-param_4 & 0x1f)" identifier << (parenthesized_expression "(-param_4 & 0x1f)" ( (binary_expression "-param_4 & 0x1f" (unary_expression "-param_4" - identifier) & number_literal) )))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "param_1 = param_1 + -1;" (assignment_expression "param_1 = param_1 + -1" identifier = (binary_expression "param_1 + -1" identifier + number_literal)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (if_statement "if (param_3 != 0) goto LAB_00042858;" if (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) (goto_statement "goto LAB_00042858;" goto statement_identifier ;)) }) (else_clause "else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" else (compound_statement "{\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" { (expression_statement "uVar4 = uVar6 >> (param_4 & 0x1f);" (assignment_expression "uVar4 = uVar6 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "iStack_8 = uVar6 << (param_4 & 0x1f);" (assignment_expression "iStack_8 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n      *param_1 = uVar4;\n      return iStack_8;\n    }" { (expression_statement "*param_1 = uVar4;" (assignment_expression "*param_1 = uVar4" (pointer_expression "*param_1" * identifier) = identifier) ;) (return_statement "return iStack_8;" return identifier ;) })) (expression_statement "uVar6 = param_2[1];" (assignment_expression "uVar6 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar2 = uVar6 << (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (while_statement "while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }" { (expression_statement "uVar5 = param_2[2];" (assignment_expression "uVar5 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar3 = uVar5 << (param_4 & 0x1f);" (assignment_expression "uVar3 = uVar5 << (param_4 & 0x1f)" identifier = (binary_expression "uVar5 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_2 = param_2 + 2;" (assignment_expression "param_2 = param_2 + 2" identifier = (binary_expression "param_2 + 2" identifier + number_literal)) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "*param_1 = uVar2 | uVar4;" (assignment_expression "*param_1 = uVar2 | uVar4" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar2 | uVar4" identifier | identifier)) ;) (expression_statement "uVar4 = param_3 - 1;" (assignment_expression "uVar4 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "bVar1 = (int)param_3 < 1;" (assignment_expression "bVar1 = (int)param_3 < 1" identifier = (binary_expression "(int)param_3 < 1" (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal)) ;) (expression_statement "param_3 = uVar4;" (assignment_expression "param_3 = uVar4" identifier = identifier) ;) (if_statement "if (uVar4 == 0 || bVar1) break;" if (parenthesized_expression "(uVar4 == 0 || bVar1)" ( (binary_expression "uVar4 == 0 || bVar1" (binary_expression "uVar4 == 0" identifier == number_literal) || identifier) )) (break_statement "break;" break ;)) (labeled_statement "LAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);" statement_identifier : (expression_statement "uVar2 = uVar6 >> (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;)) (expression_statement "uVar4 = uVar5 >> (param_4 & 0x1f);" (assignment_expression "uVar4 = uVar5 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar5 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar6 = param_2[1];" (assignment_expression "uVar6 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = uVar3 | uVar2;" (assignment_expression "param_1[1] = uVar3 | uVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar3 | uVar2" identifier | identifier)) ;) (expression_statement "uVar2 = uVar6 << (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_1 = param_1 + 2;" (assignment_expression "param_1 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) })) }))) (expression_statement "param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);" (assignment_expression "param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f)" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar3 | uVar6 >> (param_4 & 0x1f)" identifier | (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "param_1[2] = uVar5 >> (param_4 & 0x1f);" (assignment_expression "param_1[2] = uVar5 >> (param_4 & 0x1f)" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return iStack_8;" return identifier ;) })))
(translation_unit "int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)\n\n{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}\n\n" (function_definition "int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)\n\n{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}" primitive_type (function_declarator "__gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,byte param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "byte param_4" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iStack_8;" primitive_type identifier ;) (expression_statement "uVar5 = param_3 & 1;" (assignment_expression "uVar5 = param_3 & 1" identifier = (binary_expression "param_3 & 1" identifier & number_literal)) ;) (expression_statement "param_3 = param_3 >> 1;" (assignment_expression "param_3 = param_3 >> 1" identifier = (binary_expression "param_3 >> 1" identifier >> number_literal)) ;) (expression_statement "uVar6 = *param_2;" (assignment_expression "uVar6 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" if (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }" { (expression_statement "uVar5 = param_2[1];" (assignment_expression "uVar5 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "iStack_8 = uVar6 << (-param_4 & 0x1f);" (assignment_expression "iStack_8 = uVar6 << (-param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (-param_4 & 0x1f)" identifier << (parenthesized_expression "(-param_4 & 0x1f)" ( (binary_expression "-param_4 & 0x1f" (unary_expression "-param_4" - identifier) & number_literal) )))) ;) (expression_statement "uVar3 = uVar5 << (-param_4 & 0x1f);" (assignment_expression "uVar3 = uVar5 << (-param_4 & 0x1f)" identifier = (binary_expression "uVar5 << (-param_4 & 0x1f)" identifier << (parenthesized_expression "(-param_4 & 0x1f)" ( (binary_expression "-param_4 & 0x1f" (unary_expression "-param_4" - identifier) & number_literal) )))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "param_1 = param_1 + -1;" (assignment_expression "param_1 = param_1 + -1" identifier = (binary_expression "param_1 + -1" identifier + number_literal)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (if_statement "if (param_3 != 0) goto LAB_00042858;" if (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) (goto_statement "goto LAB_00042858;" goto statement_identifier ;)) }) (else_clause "else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" else (compound_statement "{\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" { (expression_statement "uVar4 = uVar6 >> (param_4 & 0x1f);" (assignment_expression "uVar4 = uVar6 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "iStack_8 = uVar6 << (param_4 & 0x1f);" (assignment_expression "iStack_8 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n      *param_1 = uVar4;\n      return iStack_8;\n    }" { (expression_statement "*param_1 = uVar4;" (assignment_expression "*param_1 = uVar4" (pointer_expression "*param_1" * identifier) = identifier) ;) (return_statement "return iStack_8;" return identifier ;) })) (expression_statement "uVar6 = param_2[1];" (assignment_expression "uVar6 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar2 = uVar6 << (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (while_statement "while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }" { (expression_statement "uVar5 = param_2[2];" (assignment_expression "uVar5 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar3 = uVar5 << (param_4 & 0x1f);" (assignment_expression "uVar3 = uVar5 << (param_4 & 0x1f)" identifier = (binary_expression "uVar5 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_2 = param_2 + 2;" (assignment_expression "param_2 = param_2 + 2" identifier = (binary_expression "param_2 + 2" identifier + number_literal)) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "*param_1 = uVar2 | uVar4;" (assignment_expression "*param_1 = uVar2 | uVar4" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar2 | uVar4" identifier | identifier)) ;) (expression_statement "uVar4 = param_3 - 1;" (assignment_expression "uVar4 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "bVar1 = (int)param_3 < 1;" (assignment_expression "bVar1 = (int)param_3 < 1" identifier = (binary_expression "(int)param_3 < 1" (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal)) ;) (expression_statement "param_3 = uVar4;" (assignment_expression "param_3 = uVar4" identifier = identifier) ;) (if_statement "if (uVar4 == 0 || bVar1) break;" if (parenthesized_expression "(uVar4 == 0 || bVar1)" ( (binary_expression "uVar4 == 0 || bVar1" (binary_expression "uVar4 == 0" identifier == number_literal) || identifier) )) (break_statement "break;" break ;)) (labeled_statement "LAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);" statement_identifier : (expression_statement "uVar2 = uVar6 >> (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;)) (expression_statement "uVar4 = uVar5 >> (param_4 & 0x1f);" (assignment_expression "uVar4 = uVar5 >> (param_4 & 0x1f)" identifier = (binary_expression "uVar5 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar6 = param_2[1];" (assignment_expression "uVar6 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = uVar3 | uVar2;" (assignment_expression "param_1[1] = uVar3 | uVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar3 | uVar2" identifier | identifier)) ;) (expression_statement "uVar2 = uVar6 << (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 << (param_4 & 0x1f)" identifier = (binary_expression "uVar6 << (param_4 & 0x1f)" identifier << (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "param_1 = param_1 + 2;" (assignment_expression "param_1 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) })) }))) (expression_statement "param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);" (assignment_expression "param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f)" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar3 | uVar6 >> (param_4 & 0x1f)" identifier | (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "param_1[2] = uVar5 >> (param_4 & 0x1f);" (assignment_expression "param_1[2] = uVar5 >> (param_4 & 0x1f)" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar5 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return iStack_8;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT | IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT == LIT) || IDENT) )) (break_statement break ;)) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT | IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) }))) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT | (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (return_statement return IDENT ;) })))
(function_definition "int __gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)\n\n{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}" (primitive_type "int") (function_declarator "__gmpn_rshift_atom(uint *param_1,uint *param_2,uint param_3,byte param_4)" (identifier "__gmpn_rshift_atom") (parameter_list "(uint *param_1,uint *param_2,uint param_3,byte param_4)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) (, ",") (parameter_declaration "byte param_4" (type_identifier "byte") (identifier "param_4")) () ")"))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iStack_8;\n  \n  uVar5 = param_3 & 1;\n  param_3 = param_3 >> 1;\n  uVar6 = *param_2;\n  if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }\n  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);\n  param_1[2] = uVar5 >> (param_4 & 0x1f);\n  return iStack_8;\n}" ({ "{") (declaration "bool bVar1;" (primitive_type "bool") (identifier "bVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "int iStack_8;" (primitive_type "int") (identifier "iStack_8") (; ";")) (expression_statement "uVar5 = param_3 & 1;" (assignment_expression "uVar5 = param_3 & 1" (identifier "uVar5") (= "=") (binary_expression "param_3 & 1" (identifier "param_3") (& "&") (number_literal "1"))) (; ";")) (expression_statement "param_3 = param_3 >> 1;" (assignment_expression "param_3 = param_3 >> 1" (identifier "param_3") (= "=") (binary_expression "param_3 >> 1" (identifier "param_3") (>> ">>") (number_literal "1"))) (; ";")) (expression_statement "uVar6 = *param_2;" (assignment_expression "uVar6 = *param_2" (identifier "uVar6") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (if_statement "if (uVar5 == 0) {\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }\n  else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" (if "if") (parenthesized_expression "(uVar5 == 0)" (( "(") (binary_expression "uVar5 == 0" (identifier "uVar5") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    uVar5 = param_2[1];\n    iStack_8 = uVar6 << (-param_4 & 0x1f);\n    uVar3 = uVar5 << (-param_4 & 0x1f);\n    param_3 = param_3 - 1;\n    param_1 = param_1 + -1;\n    param_2 = param_2 + 1;\n    if (param_3 != 0) goto LAB_00042858;\n  }" ({ "{") (expression_statement "uVar5 = param_2[1];" (assignment_expression "uVar5 = param_2[1]" (identifier "uVar5") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "iStack_8 = uVar6 << (-param_4 & 0x1f);" (assignment_expression "iStack_8 = uVar6 << (-param_4 & 0x1f)" (identifier "iStack_8") (= "=") (binary_expression "uVar6 << (-param_4 & 0x1f)" (identifier "uVar6") (<< "<<") (parenthesized_expression "(-param_4 & 0x1f)" (( "(") (binary_expression "-param_4 & 0x1f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar3 = uVar5 << (-param_4 & 0x1f);" (assignment_expression "uVar3 = uVar5 << (-param_4 & 0x1f)" (identifier "uVar3") (= "=") (binary_expression "uVar5 << (-param_4 & 0x1f)" (identifier "uVar5") (<< "<<") (parenthesized_expression "(-param_4 & 0x1f)" (( "(") (binary_expression "-param_4 & 0x1f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" (identifier "param_3") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (; ";")) (expression_statement "param_1 = param_1 + -1;" (assignment_expression "param_1 = param_1 + -1" (identifier "param_1") (= "=") (binary_expression "param_1 + -1" (identifier "param_1") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" (identifier "param_2") (= "=") (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (param_3 != 0) goto LAB_00042858;" (if "if") (parenthesized_expression "(param_3 != 0)" (( "(") (binary_expression "param_3 != 0" (identifier "param_3") (!= "!=") (number_literal "0")) () ")")) (goto_statement "goto LAB_00042858;" (goto "goto") (statement_identifier "LAB_00042858") (; ";"))) (} "}")) (else_clause "else {\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" (else "else") (compound_statement "{\n    uVar4 = uVar6 >> (param_4 & 0x1f);\n    param_4 = -param_4;\n    iStack_8 = uVar6 << (param_4 & 0x1f);\n    if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }\n    uVar6 = param_2[1];\n    uVar2 = uVar6 << (param_4 & 0x1f);\n    while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }\n  }" ({ "{") (expression_statement "uVar4 = uVar6 >> (param_4 & 0x1f);" (assignment_expression "uVar4 = uVar6 >> (param_4 & 0x1f)" (identifier "uVar4") (= "=") (binary_expression "uVar6 >> (param_4 & 0x1f)" (identifier "uVar6") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" (identifier "param_4") (= "=") (unary_expression "-param_4" (- "-") (identifier "param_4"))) (; ";")) (expression_statement "iStack_8 = uVar6 << (param_4 & 0x1f);" (assignment_expression "iStack_8 = uVar6 << (param_4 & 0x1f)" (identifier "iStack_8") (= "=") (binary_expression "uVar6 << (param_4 & 0x1f)" (identifier "uVar6") (<< "<<") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (if_statement "if (param_3 == 0) {\n      *param_1 = uVar4;\n      return iStack_8;\n    }" (if "if") (parenthesized_expression "(param_3 == 0)" (( "(") (binary_expression "param_3 == 0" (identifier "param_3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      *param_1 = uVar4;\n      return iStack_8;\n    }" ({ "{") (expression_statement "*param_1 = uVar4;" (assignment_expression "*param_1 = uVar4" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (identifier "uVar4")) (; ";")) (return_statement "return iStack_8;" (return "return") (identifier "iStack_8") (; ";")) (} "}"))) (expression_statement "uVar6 = param_2[1];" (assignment_expression "uVar6 = param_2[1]" (identifier "uVar6") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar2 = uVar6 << (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 << (param_4 & 0x1f)" (identifier "uVar2") (= "=") (binary_expression "uVar6 << (param_4 & 0x1f)" (identifier "uVar6") (<< "<<") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (while_statement "while( true ) {\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n      uVar5 = param_2[2];\n      uVar3 = uVar5 << (param_4 & 0x1f);\n      param_2 = param_2 + 2;\n      param_4 = -param_4;\n      *param_1 = uVar2 | uVar4;\n      uVar4 = param_3 - 1;\n      bVar1 = (int)param_3 < 1;\n      param_3 = uVar4;\n      if (uVar4 == 0 || bVar1) break;\nLAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);\n      uVar4 = uVar5 >> (param_4 & 0x1f);\n      param_4 = -param_4;\n      uVar6 = param_2[1];\n      param_1[1] = uVar3 | uVar2;\n      uVar2 = uVar6 << (param_4 & 0x1f);\n      param_1 = param_1 + 2;\n    }" ({ "{") (expression_statement "uVar5 = param_2[2];" (assignment_expression "uVar5 = param_2[2]" (identifier "uVar5") (= "=") (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "uVar3 = uVar5 << (param_4 & 0x1f);" (assignment_expression "uVar3 = uVar5 << (param_4 & 0x1f)" (identifier "uVar3") (= "=") (binary_expression "uVar5 << (param_4 & 0x1f)" (identifier "uVar5") (<< "<<") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "param_2 = param_2 + 2;" (assignment_expression "param_2 = param_2 + 2" (identifier "param_2") (= "=") (binary_expression "param_2 + 2" (identifier "param_2") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" (identifier "param_4") (= "=") (unary_expression "-param_4" (- "-") (identifier "param_4"))) (; ";")) (expression_statement "*param_1 = uVar2 | uVar4;" (assignment_expression "*param_1 = uVar2 | uVar4" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "uVar2 | uVar4" (identifier "uVar2") (| "|") (identifier "uVar4"))) (; ";")) (expression_statement "uVar4 = param_3 - 1;" (assignment_expression "uVar4 = param_3 - 1" (identifier "uVar4") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (; ";")) (expression_statement "bVar1 = (int)param_3 < 1;" (assignment_expression "bVar1 = (int)param_3 < 1" (identifier "bVar1") (= "=") (binary_expression "(int)param_3 < 1" (cast_expression "(int)param_3" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_3")) (< "<") (number_literal "1"))) (; ";")) (expression_statement "param_3 = uVar4;" (assignment_expression "param_3 = uVar4" (identifier "param_3") (= "=") (identifier "uVar4")) (; ";")) (if_statement "if (uVar4 == 0 || bVar1) break;" (if "if") (parenthesized_expression "(uVar4 == 0 || bVar1)" (( "(") (binary_expression "uVar4 == 0 || bVar1" (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0")) (|| "||") (identifier "bVar1")) () ")")) (break_statement "break;" (break "break") (; ";"))) (labeled_statement "LAB_00042858:\n      uVar2 = uVar6 >> (param_4 & 0x1f);" (statement_identifier "LAB_00042858") (: ":") (expression_statement "uVar2 = uVar6 >> (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 >> (param_4 & 0x1f)" (identifier "uVar2") (= "=") (binary_expression "uVar6 >> (param_4 & 0x1f)" (identifier "uVar6") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";"))) (expression_statement "uVar4 = uVar5 >> (param_4 & 0x1f);" (assignment_expression "uVar4 = uVar5 >> (param_4 & 0x1f)" (identifier "uVar4") (= "=") (binary_expression "uVar5 >> (param_4 & 0x1f)" (identifier "uVar5") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "param_4 = -param_4;" (assignment_expression "param_4 = -param_4" (identifier "param_4") (= "=") (unary_expression "-param_4" (- "-") (identifier "param_4"))) (; ";")) (expression_statement "uVar6 = param_2[1];" (assignment_expression "uVar6 = param_2[1]" (identifier "uVar6") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "param_1[1] = uVar3 | uVar2;" (assignment_expression "param_1[1] = uVar3 | uVar2" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar3 | uVar2" (identifier "uVar3") (| "|") (identifier "uVar2"))) (; ";")) (expression_statement "uVar2 = uVar6 << (param_4 & 0x1f);" (assignment_expression "uVar2 = uVar6 << (param_4 & 0x1f)" (identifier "uVar2") (= "=") (binary_expression "uVar6 << (param_4 & 0x1f)" (identifier "uVar6") (<< "<<") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "param_1 = param_1 + 2;" (assignment_expression "param_1 = param_1 + 2" (identifier "param_1") (= "=") (binary_expression "param_1 + 2" (identifier "param_1") (+ "+") (number_literal "2"))) (; ";")) (} "}"))) (} "}")))) (expression_statement "param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);" (assignment_expression "param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f)" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar3 | uVar6 >> (param_4 & 0x1f)" (identifier "uVar3") (| "|") (binary_expression "uVar6 >> (param_4 & 0x1f)" (identifier "uVar6") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")"))))) (; ";")) (expression_statement "param_1[2] = uVar5 >> (param_4 & 0x1f);" (assignment_expression "param_1[2] = uVar5 >> (param_4 & 0x1f)" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (binary_expression "uVar5 >> (param_4 & 0x1f)" (identifier "uVar5") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (return_statement "return iStack_8;" (return "return") (identifier "iStack_8") (; ";")) (} "}")))

int function_1(type_1 *var_4,type_1 *var_5,type_1 var_1,type_2 var_6)

{
  bool var_9;
  type_1 var_7;
  type_1 var_10;
  type_1 var_8;
  type_1 var_2;
  type_1 var_3;
  int iStack_8;
  
  var_2 = var_1 & 1;
  var_1 = var_1 >> 1;
  var_3 = *var_5;
  if (var_2 == 0) {
    var_2 = var_5[1];
    iStack_8 = var_3 << (-var_6 & 0x1f);
    var_10 = var_2 << (-var_6 & 0x1f);
    var_1 = var_1 - 1;
    var_4 = var_4 + -1;
    var_5 = var_5 + 1;
    if (var_1 != 0) goto LAB_00042858;
  }
  else {
    var_8 = var_3 >> (var_6 & 0x1f);
    var_6 = -var_6;
    iStack_8 = var_3 << (var_6 & 0x1f);
    if (var_1 == 0) {
      *var_4 = var_8;
      return iStack_8;
    }
    var_3 = var_5[1];
    var_7 = var_3 << (var_6 & 0x1f);
    while( true ) {
      var_2 = var_5[2];
      var_10 = var_2 << (var_6 & 0x1f);
      var_5 = var_5 + 2;
      var_6 = -var_6;
      *var_4 = var_7 | var_8;
      var_8 = var_1 - 1;
      var_9 = (int)var_1 < 1;
      var_1 = var_8;
      if (var_8 == 0 || var_9) break;
LAB_00042858:
      var_7 = var_3 >> (var_6 & 0x1f);
      var_8 = var_2 >> (var_6 & 0x1f);
      var_6 = -var_6;
      var_3 = var_5[1];
      var_4[1] = var_10 | var_7;
      var_7 = var_3 << (var_6 & 0x1f);
      var_4 = var_4 + 2;
    }
  }
  var_4[1] = var_10 | var_3 >> (var_6 & 0x1f);
  var_4[2] = var_2 >> (var_6 & 0x1f);
  return iStack_8;
}


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

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

{
  bool bVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  int iStack_8;
  
  uVar5 = param_3 & 1;
  param_3 = param_3 >> 1;
  uVar6 = *param_2;
  if (uVar5 == 0) {
    uVar5 = param_2[1];
    iStack_8 = uVar6 << (-param_4 & 0x1f);
    uVar3 = uVar5 << (-param_4 & 0x1f);
    param_3 = param_3 - 1;
    param_1 = param_1 + -1;
    param_2 = param_2 + 1;
    if (param_3 != 0) goto LAB_00042858;
  }
  else {
    uVar4 = uVar6 >> (param_4 & 0x1f);
    param_4 = -param_4;
    iStack_8 = uVar6 << (param_4 & 0x1f);
    if (param_3 == 0) {
      *param_1 = uVar4;
      return iStack_8;
    }
    uVar6 = param_2[1];
    uVar2 = uVar6 << (param_4 & 0x1f);
    while( true ) {
      uVar5 = param_2[2];
      uVar3 = uVar5 << (param_4 & 0x1f);
      param_2 = param_2 + 2;
      param_4 = -param_4;
      *param_1 = uVar2 | uVar4;
      uVar4 = param_3 - 1;
      bVar1 = (int)param_3 < 1;
      param_3 = uVar4;
      if (uVar4 == 0 || bVar1) break;
LAB_00042858:
      uVar2 = uVar6 >> (param_4 & 0x1f);
      uVar4 = uVar5 >> (param_4 & 0x1f);
      param_4 = -param_4;
      uVar6 = param_2[1];
      param_1[1] = uVar3 | uVar2;
      uVar2 = uVar6 << (param_4 & 0x1f);
      param_1 = param_1 + 2;
    }
  }
  param_1[1] = uVar3 | uVar6 >> (param_4 & 0x1f);
  param_1[2] = uVar5 >> (param_4 & 0x1f);
  return iStack_8;
}

