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

{
  uint uVar1;
  int iVar2;
  uint uVar3;
  uint *puVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  
  uVar7 = *param_2;
  uVar1 = -param_4;
  uVar5 = param_3 - 1;
  uVar6 = uVar5 & 3;
  iVar2 = uVar7 << (uVar1 & 0x1f);
  if (uVar6 != 0) {
    uVar5 = uVar5 - uVar6;
    puVar4 = param_1;
    uVar3 = uVar7;
    do {
      uVar7 = param_2[1];
      param_1 = puVar4 + 1;
      param_2 = param_2 + 1;
      uVar6 = uVar6 - 1;
      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);
      puVar4 = param_1;
      uVar3 = uVar7;
    } while (uVar6 != 0);
  }
  puVar4 = param_1;
  if (uVar5 != 0) {
    do {
      uVar6 = param_2[1];
      param_1 = puVar4 + 4;
      uVar5 = uVar5 - 4;
      uVar8 = param_2[2];
      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);
      uVar3 = param_2[3];
      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);
      uVar7 = param_2[4];
      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);
      param_2 = param_2 + 4;
      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);
      puVar4 = param_1;
    } while (0 < (int)uVar5);
  }
  *param_1 = uVar7 >> (param_4 & 0x1f);
  return iVar2;
}



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

{
  uint uVar1;
  int iVar2;
  uint uVar3;
  uint *puVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  
  uVar7 = *param_2;
  uVar1 = -param_4;
  uVar5 = param_3 - 1;
  uVar6 = uVar5 & 3;
  iVar2 = uVar7 << (uVar1 & 0x1f);
  if (uVar6 != 0) {
    uVar5 = uVar5 - uVar6;
    puVar4 = param_1;
    uVar3 = uVar7;
    do {
      uVar7 = param_2[1];
      param_1 = puVar4 + 1;
      param_2 = param_2 + 1;
      uVar6 = uVar6 - 1;
      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);
      puVar4 = param_1;
      uVar3 = uVar7;
    } while (uVar6 != 0);
  }
  puVar4 = param_1;
  if (uVar5 != 0) {
    do {
      uVar6 = param_2[1];
      param_1 = puVar4 + 4;
      uVar5 = uVar5 - 4;
      uVar8 = param_2[2];
      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);
      uVar3 = param_2[3];
      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);
      uVar7 = param_2[4];
      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);
      param_2 = param_2 + 4;
      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);
      puVar4 = param_1;
    } while (0 < (int)uVar5);
  }
  *param_1 = uVar7 >> (param_4 & 0x1f);
  return iVar2;
}


lw t2,0x0(a1)
subu t5,zero,a3
addiu a2,a2,-0x1
andi t1,a2,0x3
beq t1,zero,0x0003c424
_sllv v0,t2,t5
subu a2,a2,t1
lw v1,0x4(a1)
addiu a0,a0,0x4
addiu a1,a1,0x4
addiu t1,t1,-0x1
srlv t3,t2,a3
sllv t4,v1,t5
or t2,v1,zero
or t0,t3,t4
bne t1,zero,0x0003c3fc
_sw t0,-0x4(a0)
beq a2,zero,0x0003c48c
_nop
lw v1,0x4(a1)
addiu a0,a0,0x10
addiu a2,a2,-0x4
srlv t3,t2,a3
sllv t4,v1,t5
lw t2,0x8(a1)
srlv t6,v1,a3
or t0,t3,t4
sw t0,-0x10(a0)
sllv t1,t2,t5
lw v1,0xc(a1)
srlv t3,t2,a3
or t0,t6,t1
sw t0,-0xc(a0)
sllv t4,v1,t5
lw t2,0x10(a1)
srlv t6,v1,a3
or t0,t3,t4
sw t0,-0x8(a0)
sllv t1,t2,t5
addiu a1,a1,0x10
or t0,t6,t1
bgtz a2,0x0003c42c
_sw t0,-0x4(a0)
srlv t0,t2,a3
jr ra
_sw t0,0x0(a0)
(translation_unit "int __gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}\n\n" (function_definition "int __gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}" primitive_type (function_declarator "__gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,int param_3,uint 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 "int param_3" primitive_type identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (expression_statement "uVar7 = *param_2;" (assignment_expression "uVar7 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar1 = -param_4;" (assignment_expression "uVar1 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar5 = param_3 - 1;" (assignment_expression "uVar5 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "uVar6 = uVar5 & 3;" (assignment_expression "uVar6 = uVar5 & 3" identifier = (binary_expression "uVar5 & 3" identifier & number_literal)) ;) (expression_statement "iVar2 = uVar7 << (uVar1 & 0x1f);" (assignment_expression "iVar2 = uVar7 << (uVar1 & 0x1f)" identifier = (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (compound_statement "{\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }" { (expression_statement "uVar5 = uVar5 - uVar6;" (assignment_expression "uVar5 = uVar5 - uVar6" identifier = (binary_expression "uVar5 - uVar6" identifier - identifier)) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (expression_statement "uVar3 = uVar7;" (assignment_expression "uVar3 = uVar7" identifier = identifier) ;) (do_statement "do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);" do (compound_statement "{\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    }" { (expression_statement "uVar7 = param_2[1];" (assignment_expression "uVar7 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1 = puVar4 + 1;" (assignment_expression "param_1 = puVar4 + 1" identifier = (binary_expression "puVar4 + 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)) ;) (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ;) (expression_statement "*puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);" (assignment_expression "*puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (pointer_expression "*puVar4" * identifier) = (binary_expression "uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (binary_expression "uVar3 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (expression_statement "uVar3 = uVar7;" (assignment_expression "uVar3 = uVar7" identifier = identifier) ;) }) while (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) ;) })) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (if_statement "if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }" if (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }" { (do_statement "do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);" do (compound_statement "{\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    }" { (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 = puVar4 + 4;" (assignment_expression "param_1 = puVar4 + 4" identifier = (binary_expression "puVar4 + 4" identifier + number_literal)) ;) (expression_statement "uVar5 = uVar5 - 4;" (assignment_expression "uVar5 = uVar5 - 4" identifier = (binary_expression "uVar5 - 4" identifier - number_literal)) ;) (expression_statement "uVar8 = param_2[2];" (assignment_expression "uVar8 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "*puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);" (assignment_expression "*puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f)" (pointer_expression "*puVar4" * identifier) = (binary_expression "uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f)" (binary_expression "uVar7 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar6 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "uVar3 = param_2[3];" (assignment_expression "uVar3 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);" (assignment_expression "puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f)" (subscript_expression "puVar4[1]" identifier [ number_literal ]) = (binary_expression "uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f)" (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar8 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "uVar7 = param_2[4];" (assignment_expression "uVar7 = param_2[4]" identifier = (subscript_expression "param_2[4]" identifier [ number_literal ])) ;) (expression_statement "puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);" (assignment_expression "puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f)" (subscript_expression "puVar4[2]" identifier [ number_literal ]) = (binary_expression "uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f)" (binary_expression "uVar8 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar3 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" identifier + number_literal)) ;) (expression_statement "puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);" (assignment_expression "puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (subscript_expression "puVar4[3]" identifier [ number_literal ]) = (binary_expression "uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (binary_expression "uVar3 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) }) while (parenthesized_expression "(0 < (int)uVar5)" ( (binary_expression "0 < (int)uVar5" number_literal < (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier)) )) ;) })) (expression_statement "*param_1 = uVar7 >> (param_4 & 0x1f);" (assignment_expression "*param_1 = uVar7 >> (param_4 & 0x1f)" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar7 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return iVar2;" return identifier ;) })))
(translation_unit "int __gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}\n\n" (function_definition "int __gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}" primitive_type (function_declarator "__gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,int param_3,uint 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 "int param_3" primitive_type identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (expression_statement "uVar7 = *param_2;" (assignment_expression "uVar7 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar1 = -param_4;" (assignment_expression "uVar1 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar5 = param_3 - 1;" (assignment_expression "uVar5 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "uVar6 = uVar5 & 3;" (assignment_expression "uVar6 = uVar5 & 3" identifier = (binary_expression "uVar5 & 3" identifier & number_literal)) ;) (expression_statement "iVar2 = uVar7 << (uVar1 & 0x1f);" (assignment_expression "iVar2 = uVar7 << (uVar1 & 0x1f)" identifier = (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (compound_statement "{\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }" { (expression_statement "uVar5 = uVar5 - uVar6;" (assignment_expression "uVar5 = uVar5 - uVar6" identifier = (binary_expression "uVar5 - uVar6" identifier - identifier)) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (expression_statement "uVar3 = uVar7;" (assignment_expression "uVar3 = uVar7" identifier = identifier) ;) (do_statement "do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);" do (compound_statement "{\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    }" { (expression_statement "uVar7 = param_2[1];" (assignment_expression "uVar7 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1 = puVar4 + 1;" (assignment_expression "param_1 = puVar4 + 1" identifier = (binary_expression "puVar4 + 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)) ;) (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ;) (expression_statement "*puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);" (assignment_expression "*puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (pointer_expression "*puVar4" * identifier) = (binary_expression "uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (binary_expression "uVar3 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (expression_statement "uVar3 = uVar7;" (assignment_expression "uVar3 = uVar7" identifier = identifier) ;) }) while (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) ;) })) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (if_statement "if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }" if (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }" { (do_statement "do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);" do (compound_statement "{\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    }" { (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 = puVar4 + 4;" (assignment_expression "param_1 = puVar4 + 4" identifier = (binary_expression "puVar4 + 4" identifier + number_literal)) ;) (expression_statement "uVar5 = uVar5 - 4;" (assignment_expression "uVar5 = uVar5 - 4" identifier = (binary_expression "uVar5 - 4" identifier - number_literal)) ;) (expression_statement "uVar8 = param_2[2];" (assignment_expression "uVar8 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "*puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);" (assignment_expression "*puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f)" (pointer_expression "*puVar4" * identifier) = (binary_expression "uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f)" (binary_expression "uVar7 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar6 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "uVar3 = param_2[3];" (assignment_expression "uVar3 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);" (assignment_expression "puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f)" (subscript_expression "puVar4[1]" identifier [ number_literal ]) = (binary_expression "uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f)" (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar8 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "uVar7 = param_2[4];" (assignment_expression "uVar7 = param_2[4]" identifier = (subscript_expression "param_2[4]" identifier [ number_literal ])) ;) (expression_statement "puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);" (assignment_expression "puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f)" (subscript_expression "puVar4[2]" identifier [ number_literal ]) = (binary_expression "uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f)" (binary_expression "uVar8 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar3 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" identifier + number_literal)) ;) (expression_statement "puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);" (assignment_expression "puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (subscript_expression "puVar4[3]" identifier [ number_literal ]) = (binary_expression "uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (binary_expression "uVar3 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) }) while (parenthesized_expression "(0 < (int)uVar5)" ( (binary_expression "0 < (int)uVar5" number_literal < (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier)) )) ;) })) (expression_statement "*param_1 = uVar7 >> (param_4 & 0x1f);" (assignment_expression "*param_1 = uVar7 >> (param_4 & 0x1f)" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar7 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return iVar2;" return identifier ;) })))
(translation_unit "int __gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}\n\n" (function_definition "int __gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}" primitive_type (function_declarator "__gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,int param_3,uint 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 "int param_3" primitive_type identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (expression_statement "uVar7 = *param_2;" (assignment_expression "uVar7 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar1 = -param_4;" (assignment_expression "uVar1 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar5 = param_3 - 1;" (assignment_expression "uVar5 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "uVar6 = uVar5 & 3;" (assignment_expression "uVar6 = uVar5 & 3" identifier = (binary_expression "uVar5 & 3" identifier & number_literal)) ;) (expression_statement "iVar2 = uVar7 << (uVar1 & 0x1f);" (assignment_expression "iVar2 = uVar7 << (uVar1 & 0x1f)" identifier = (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (compound_statement "{\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }" { (expression_statement "uVar5 = uVar5 - uVar6;" (assignment_expression "uVar5 = uVar5 - uVar6" identifier = (binary_expression "uVar5 - uVar6" identifier - identifier)) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (expression_statement "uVar3 = uVar7;" (assignment_expression "uVar3 = uVar7" identifier = identifier) ;) (do_statement "do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);" do (compound_statement "{\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    }" { (expression_statement "uVar7 = param_2[1];" (assignment_expression "uVar7 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1 = puVar4 + 1;" (assignment_expression "param_1 = puVar4 + 1" identifier = (binary_expression "puVar4 + 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)) ;) (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ;) (expression_statement "*puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);" (assignment_expression "*puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (pointer_expression "*puVar4" * identifier) = (binary_expression "uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (binary_expression "uVar3 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (expression_statement "uVar3 = uVar7;" (assignment_expression "uVar3 = uVar7" identifier = identifier) ;) }) while (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) ;) })) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) (if_statement "if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }" if (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }" { (do_statement "do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);" do (compound_statement "{\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    }" { (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 = puVar4 + 4;" (assignment_expression "param_1 = puVar4 + 4" identifier = (binary_expression "puVar4 + 4" identifier + number_literal)) ;) (expression_statement "uVar5 = uVar5 - 4;" (assignment_expression "uVar5 = uVar5 - 4" identifier = (binary_expression "uVar5 - 4" identifier - number_literal)) ;) (expression_statement "uVar8 = param_2[2];" (assignment_expression "uVar8 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "*puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);" (assignment_expression "*puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f)" (pointer_expression "*puVar4" * identifier) = (binary_expression "uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f)" (binary_expression "uVar7 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar6 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "uVar3 = param_2[3];" (assignment_expression "uVar3 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);" (assignment_expression "puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f)" (subscript_expression "puVar4[1]" identifier [ number_literal ]) = (binary_expression "uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f)" (binary_expression "uVar6 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar8 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "uVar7 = param_2[4];" (assignment_expression "uVar7 = param_2[4]" identifier = (subscript_expression "param_2[4]" identifier [ number_literal ])) ;) (expression_statement "puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);" (assignment_expression "puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f)" (subscript_expression "puVar4[2]" identifier [ number_literal ]) = (binary_expression "uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f)" (binary_expression "uVar8 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar3 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" identifier + number_literal)) ;) (expression_statement "puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);" (assignment_expression "puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (subscript_expression "puVar4[3]" identifier [ number_literal ]) = (binary_expression "uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (binary_expression "uVar3 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) ))) | (binary_expression "uVar7 << (uVar1 & 0x1f)" identifier << (parenthesized_expression "(uVar1 & 0x1f)" ( (binary_expression "uVar1 & 0x1f" identifier & number_literal) ))))) ;) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" identifier = identifier) ;) }) while (parenthesized_expression "(0 < (int)uVar5)" ( (binary_expression "0 < (int)uVar5" number_literal < (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier)) )) ;) })) (expression_statement "*param_1 = uVar7 >> (param_4 & 0x1f);" (assignment_expression "*param_1 = uVar7 >> (param_4 & 0x1f)" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar7 >> (param_4 & 0x1f)" identifier >> (parenthesized_expression "(param_4 & 0x1f)" ( (binary_expression "param_4 & 0x1f" identifier & number_literal) )))) ;) (return_statement "return iVar2;" 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 (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_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)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) })) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_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 = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (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 (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( (binary_expression LIT < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (return_statement return IDENT ;) })))
(function_definition "int __gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}" (primitive_type "int") (function_declarator "__gmpn_rshift(uint *param_1,uint *param_2,int param_3,uint param_4)" (identifier "__gmpn_rshift") (parameter_list "(uint *param_1,uint *param_2,int param_3,uint 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 "int param_3" (primitive_type "int") (identifier "param_3")) (, ",") (parameter_declaration "uint param_4" (type_identifier "uint") (identifier "param_4")) () ")"))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  uVar7 = *param_2;\n  uVar1 = -param_4;\n  uVar5 = param_3 - 1;\n  uVar6 = uVar5 & 3;\n  iVar2 = uVar7 << (uVar1 & 0x1f);\n  if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }\n  puVar4 = param_1;\n  if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }\n  *param_1 = uVar7 >> (param_4 & 0x1f);\n  return iVar2;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint *puVar4;" (type_identifier "uint") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (expression_statement "uVar7 = *param_2;" (assignment_expression "uVar7 = *param_2" (identifier "uVar7") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar1 = -param_4;" (assignment_expression "uVar1 = -param_4" (identifier "uVar1") (= "=") (unary_expression "-param_4" (- "-") (identifier "param_4"))) (; ";")) (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 "uVar6 = uVar5 & 3;" (assignment_expression "uVar6 = uVar5 & 3" (identifier "uVar6") (= "=") (binary_expression "uVar5 & 3" (identifier "uVar5") (& "&") (number_literal "3"))) (; ";")) (expression_statement "iVar2 = uVar7 << (uVar1 & 0x1f);" (assignment_expression "iVar2 = uVar7 << (uVar1 & 0x1f)" (identifier "iVar2") (= "=") (binary_expression "uVar7 << (uVar1 & 0x1f)" (identifier "uVar7") (<< "<<") (parenthesized_expression "(uVar1 & 0x1f)" (( "(") (binary_expression "uVar1 & 0x1f" (identifier "uVar1") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (if_statement "if (uVar6 != 0) {\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }" (if "if") (parenthesized_expression "(uVar6 != 0)" (( "(") (binary_expression "uVar6 != 0" (identifier "uVar6") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    uVar5 = uVar5 - uVar6;\n    puVar4 = param_1;\n    uVar3 = uVar7;\n    do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);\n  }" ({ "{") (expression_statement "uVar5 = uVar5 - uVar6;" (assignment_expression "uVar5 = uVar5 - uVar6" (identifier "uVar5") (= "=") (binary_expression "uVar5 - uVar6" (identifier "uVar5") (- "-") (identifier "uVar6"))) (; ";")) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" (identifier "puVar4") (= "=") (identifier "param_1")) (; ";")) (expression_statement "uVar3 = uVar7;" (assignment_expression "uVar3 = uVar7" (identifier "uVar3") (= "=") (identifier "uVar7")) (; ";")) (do_statement "do {\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    } while (uVar6 != 0);" (do "do") (compound_statement "{\n      uVar7 = param_2[1];\n      param_1 = puVar4 + 1;\n      param_2 = param_2 + 1;\n      uVar6 = uVar6 - 1;\n      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n      uVar3 = uVar7;\n    }" ({ "{") (expression_statement "uVar7 = param_2[1];" (assignment_expression "uVar7 = param_2[1]" (identifier "uVar7") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "param_1 = puVar4 + 1;" (assignment_expression "param_1 = puVar4 + 1" (identifier "param_1") (= "=") (binary_expression "puVar4 + 1" (identifier "puVar4") (+ "+") (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"))) (; ";")) (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" (identifier "uVar6") (= "=") (binary_expression "uVar6 - 1" (identifier "uVar6") (- "-") (number_literal "1"))) (; ";")) (expression_statement "*puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);" (assignment_expression "*puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (pointer_expression "*puVar4" (* "*") (identifier "puVar4")) (= "=") (binary_expression "uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (binary_expression "uVar3 >> (param_4 & 0x1f)" (identifier "uVar3") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")"))) (| "|") (binary_expression "uVar7 << (uVar1 & 0x1f)" (identifier "uVar7") (<< "<<") (parenthesized_expression "(uVar1 & 0x1f)" (( "(") (binary_expression "uVar1 & 0x1f" (identifier "uVar1") (& "&") (number_literal "0x1f")) () ")"))))) (; ";")) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" (identifier "puVar4") (= "=") (identifier "param_1")) (; ";")) (expression_statement "uVar3 = uVar7;" (assignment_expression "uVar3 = uVar7" (identifier "uVar3") (= "=") (identifier "uVar7")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar6 != 0)" (( "(") (binary_expression "uVar6 != 0" (identifier "uVar6") (!= "!=") (number_literal "0")) () ")")) (; ";")) (} "}"))) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" (identifier "puVar4") (= "=") (identifier "param_1")) (; ";")) (if_statement "if (uVar5 != 0) {\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }" (if "if") (parenthesized_expression "(uVar5 != 0)" (( "(") (binary_expression "uVar5 != 0" (identifier "uVar5") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);\n  }" ({ "{") (do_statement "do {\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    } while (0 < (int)uVar5);" (do "do") (compound_statement "{\n      uVar6 = param_2[1];\n      param_1 = puVar4 + 4;\n      uVar5 = uVar5 - 4;\n      uVar8 = param_2[2];\n      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);\n      uVar3 = param_2[3];\n      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);\n      uVar7 = param_2[4];\n      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);\n      param_2 = param_2 + 4;\n      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);\n      puVar4 = param_1;\n    }" ({ "{") (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 = puVar4 + 4;" (assignment_expression "param_1 = puVar4 + 4" (identifier "param_1") (= "=") (binary_expression "puVar4 + 4" (identifier "puVar4") (+ "+") (number_literal "4"))) (; ";")) (expression_statement "uVar5 = uVar5 - 4;" (assignment_expression "uVar5 = uVar5 - 4" (identifier "uVar5") (= "=") (binary_expression "uVar5 - 4" (identifier "uVar5") (- "-") (number_literal "4"))) (; ";")) (expression_statement "uVar8 = param_2[2];" (assignment_expression "uVar8 = param_2[2]" (identifier "uVar8") (= "=") (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "*puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);" (assignment_expression "*puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f)" (pointer_expression "*puVar4" (* "*") (identifier "puVar4")) (= "=") (binary_expression "uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f)" (binary_expression "uVar7 >> (param_4 & 0x1f)" (identifier "uVar7") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")"))) (| "|") (binary_expression "uVar6 << (uVar1 & 0x1f)" (identifier "uVar6") (<< "<<") (parenthesized_expression "(uVar1 & 0x1f)" (( "(") (binary_expression "uVar1 & 0x1f" (identifier "uVar1") (& "&") (number_literal "0x1f")) () ")"))))) (; ";")) (expression_statement "uVar3 = param_2[3];" (assignment_expression "uVar3 = param_2[3]" (identifier "uVar3") (= "=") (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]"))) (; ";")) (expression_statement "puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);" (assignment_expression "puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f)" (subscript_expression "puVar4[1]" (identifier "puVar4") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f)" (binary_expression "uVar6 >> (param_4 & 0x1f)" (identifier "uVar6") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")"))) (| "|") (binary_expression "uVar8 << (uVar1 & 0x1f)" (identifier "uVar8") (<< "<<") (parenthesized_expression "(uVar1 & 0x1f)" (( "(") (binary_expression "uVar1 & 0x1f" (identifier "uVar1") (& "&") (number_literal "0x1f")) () ")"))))) (; ";")) (expression_statement "uVar7 = param_2[4];" (assignment_expression "uVar7 = param_2[4]" (identifier "uVar7") (= "=") (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]"))) (; ";")) (expression_statement "puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);" (assignment_expression "puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f)" (subscript_expression "puVar4[2]" (identifier "puVar4") ([ "[") (number_literal "2") (] "]")) (= "=") (binary_expression "uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f)" (binary_expression "uVar8 >> (param_4 & 0x1f)" (identifier "uVar8") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")"))) (| "|") (binary_expression "uVar3 << (uVar1 & 0x1f)" (identifier "uVar3") (<< "<<") (parenthesized_expression "(uVar1 & 0x1f)" (( "(") (binary_expression "uVar1 & 0x1f" (identifier "uVar1") (& "&") (number_literal "0x1f")) () ")"))))) (; ";")) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" (identifier "param_2") (= "=") (binary_expression "param_2 + 4" (identifier "param_2") (+ "+") (number_literal "4"))) (; ";")) (expression_statement "puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);" (assignment_expression "puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (subscript_expression "puVar4[3]" (identifier "puVar4") ([ "[") (number_literal "3") (] "]")) (= "=") (binary_expression "uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f)" (binary_expression "uVar3 >> (param_4 & 0x1f)" (identifier "uVar3") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")"))) (| "|") (binary_expression "uVar7 << (uVar1 & 0x1f)" (identifier "uVar7") (<< "<<") (parenthesized_expression "(uVar1 & 0x1f)" (( "(") (binary_expression "uVar1 & 0x1f" (identifier "uVar1") (& "&") (number_literal "0x1f")) () ")"))))) (; ";")) (expression_statement "puVar4 = param_1;" (assignment_expression "puVar4 = param_1" (identifier "puVar4") (= "=") (identifier "param_1")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(0 < (int)uVar5)" (( "(") (binary_expression "0 < (int)uVar5" (number_literal "0") (< "<") (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5"))) () ")")) (; ";")) (} "}"))) (expression_statement "*param_1 = uVar7 >> (param_4 & 0x1f);" (assignment_expression "*param_1 = uVar7 >> (param_4 & 0x1f)" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "uVar7 >> (param_4 & 0x1f)" (identifier "uVar7") (>> ">>") (parenthesized_expression "(param_4 & 0x1f)" (( "(") (binary_expression "param_4 & 0x1f" (identifier "param_4") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (return_statement "return iVar2;" (return "return") (identifier "iVar2") (; ";")) (} "}")))
(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: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (do_statement 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: (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: (pointer_expression argument: (identifier)) right: (binary_expression left: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (do_statement 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: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (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: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (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: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) condition: (parenthesized_expression (binary_expression left: (number_literal) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) 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,int param_3,uint param_4)

{
  uint uVar1;
  int iVar2;
  uint uVar3;
  uint *puVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  
  uVar7 = *param_2;
  uVar1 = -param_4;
  uVar5 = param_3 - 1;
  uVar6 = uVar5 & 3;
  iVar2 = uVar7 << (uVar1 & 0x1f);
  if (uVar6 != 0) {
    uVar5 = uVar5 - uVar6;
    puVar4 = param_1;
    uVar3 = uVar7;
    do {
      uVar7 = param_2[1];
      param_1 = puVar4 + 1;
      param_2 = param_2 + 1;
      uVar6 = uVar6 - 1;
      *puVar4 = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);
      puVar4 = param_1;
      uVar3 = uVar7;
    } while (uVar6 != 0);
  }
  puVar4 = param_1;
  if (uVar5 != 0) {
    do {
      uVar6 = param_2[1];
      param_1 = puVar4 + 4;
      uVar5 = uVar5 - 4;
      uVar8 = param_2[2];
      *puVar4 = uVar7 >> (param_4 & 0x1f) | uVar6 << (uVar1 & 0x1f);
      uVar3 = param_2[3];
      puVar4[1] = uVar6 >> (param_4 & 0x1f) | uVar8 << (uVar1 & 0x1f);
      uVar7 = param_2[4];
      puVar4[2] = uVar8 >> (param_4 & 0x1f) | uVar3 << (uVar1 & 0x1f);
      param_2 = param_2 + 4;
      puVar4[3] = uVar3 >> (param_4 & 0x1f) | uVar7 << (uVar1 & 0x1f);
      puVar4 = param_1;
    } while (0 < (int)uVar5);
  }
  *param_1 = uVar7 >> (param_4 & 0x1f);
  return iVar2;
}

