
void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)

{
  undefined8 uVar1;
  uint uVar2;
  uint uVar3;
  
  if (4 < param_3) {
    uVar3 = param_3 - 4;
    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {
      param_1[param_3 - 1] = param_2[param_3 - 1];
      uVar3 = param_3 - 5;
    }
    do {
      uVar2 = uVar3;
      uVar1 = *(undefined8 *)(param_2 + uVar2);
      uVar3 = uVar2 - 4;
      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);
      *(undefined8 *)(param_1 + uVar2) = uVar1;
    } while (-1 < (int)uVar3);
    if ((uVar3 & 2) != 0) {
      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));
    }
    if ((uVar3 & 1) != 0) {
      *param_1 = *param_2;
    }
    return;
  }
  if (param_3 != 0) {
    do {
      param_1[param_3 - 1] = param_2[param_3 - 1];
      param_3 = param_3 - 1;
    } while (param_3 != 0);
  }
  return;
}



void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)

{
  undefined8 uVar1;
  uint uVar2;
  uint uVar3;
  
  if (4 < param_3) {
    uVar3 = param_3 - 4;
    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {
      param_1[param_3 - 1] = param_2[param_3 - 1];
      uVar3 = param_3 - 5;
    }
    do {
      uVar2 = uVar3;
      uVar1 = *(undefined8 *)(param_2 + uVar2);
      uVar3 = uVar2 - 4;
      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);
      *(undefined8 *)(param_1 + uVar2) = uVar1;
    } while (-1 < (int)uVar3);
    if ((uVar3 & 2) != 0) {
      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));
    }
    if ((uVar3 & 1) != 0) {
      *param_1 = *param_2;
    }
    return;
  }
  if (param_3 != 0) {
    do {
      param_1[param_3 - 1] = param_2[param_3 - 1];
      param_3 = param_3 - 1;
    } while (param_3 != 0);
  }
  return;
}


MOV ECX,dword ptr [ESP + 0xc]
MOV dword ptr [ESP + 0xc],EBX
MOV EAX,dword ptr [ESP + 0x8]
MOV EDX,dword ptr [ESP + 0x4]
CMP ECX,0x5
JNC 0x00042949
OR ECX,ECX
JZ 0x00042944
MOV EBX,dword ptr [EAX + ECX*0x4 + -0x4]
MOV dword ptr [EDX + ECX*0x4 + -0x4],EBX
DEC ECX
JNZ 0x00042939
MOV EBX,dword ptr [ESP + 0xc]
RET
MOV dword ptr [ESP + 0x8],ESI
LEA EBX,[EAX + ECX*0x4]
LEA ESI,[EDX + ECX*0x4]
AND EBX,ESI
MOV ESI,dword ptr [ESP + 0x8]
SUB ECX,0x4
TEST EBX,0x4
JZ 0x0004296d
MOV EBX,dword ptr [EAX + ECX*0x4 + 0xc]
MOV dword ptr [EDX + ECX*0x4 + 0xc],EBX
DEC ECX
LEA ESI,[ESI]
MOVQ MM0,qword ptr [EAX + ECX*0x4 + 0x8]
MOVQ MM1,qword ptr [EAX + ECX*0x4]
SUB ECX,0x4
MOVQ qword ptr [EDX + ECX*0x4 + 0x18],MM0
MOVQ qword ptr [EDX + ECX*0x4 + 0x10],MM1
JNS 0x00042970
TEST CL,0x2
JZ 0x00042997
MOVQ MM0,qword ptr [EAX + ECX*0x4 + 0x8]
MOVQ qword ptr [EDX + ECX*0x4 + 0x8],MM0
TEST CL,0x1
JZ 0x000429a0
MOV EBX,dword ptr [EAX]
MOV dword ptr [EDX],EBX
MOV EBX,dword ptr [ESP + 0xc]
EMMS
RET
(translation_unit "void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)\n\n{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}\n\n" (function_definition "void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)\n\n{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}" primitive_type (function_declarator "__gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)" identifier (parameter_list "(undefined4 *param_1,undefined4 *param_2,uint param_3)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "undefined4 *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}" { (declaration "undefined8 uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (if_statement "if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }" if (parenthesized_expression "(4 < param_3)" ( (binary_expression "4 < param_3" number_literal < identifier) )) (compound_statement "{\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }" { (expression_statement "uVar3 = param_3 - 4;" (assignment_expression "uVar3 = param_3 - 4" identifier = (binary_expression "param_3 - 4" identifier - number_literal)) ;) (if_statement "if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }" if (parenthesized_expression "(((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0)" ( (binary_expression "((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0" (parenthesized_expression "((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4)" ( (binary_expression "(uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4" (binary_expression "(uint)(param_2 + param_3) & (uint)(param_1 + param_3)" (call_expression "(uint)(param_2 + param_3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_2 + param_3)" ( (binary_expression "param_2 + param_3" identifier + identifier) ))) & (call_expression "(uint)(param_1 + param_3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_1 + param_3)" ( (binary_expression "param_1 + param_3" identifier + identifier) )))) & number_literal) )) != number_literal) )) (compound_statement "{\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }" { (expression_statement "param_1[param_3 - 1] = param_2[param_3 - 1];" (assignment_expression "param_1[param_3 - 1] = param_2[param_3 - 1]" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (subscript_expression "param_2[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ])) ;) (expression_statement "uVar3 = param_3 - 5;" (assignment_expression "uVar3 = param_3 - 5" identifier = (binary_expression "param_3 - 5" identifier - number_literal)) ;) })) (do_statement "do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);" do (compound_statement "{\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    }" { (expression_statement "uVar2 = uVar3;" (assignment_expression "uVar2 = uVar3" identifier = identifier) ;) (expression_statement "uVar1 = *(undefined8 *)(param_2 + uVar2);" (assignment_expression "uVar1 = *(undefined8 *)(param_2 + uVar2)" identifier = (pointer_expression "*(undefined8 *)(param_2 + uVar2)" * (cast_expression "(undefined8 *)(param_2 + uVar2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + uVar2)" ( (binary_expression "param_2 + uVar2" identifier + identifier) ))))) ;) (expression_statement "uVar3 = uVar2 - 4;" (assignment_expression "uVar3 = uVar2 - 4" identifier = (binary_expression "uVar2 - 4" identifier - number_literal)) ;) (expression_statement "*(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);" (assignment_expression "*(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2)" (pointer_expression "*(undefined8 *)(param_1 + uVar2 + 2)" * (cast_expression "(undefined8 *)(param_1 + uVar2 + 2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + uVar2 + 2)" ( (binary_expression "param_1 + uVar2 + 2" (binary_expression "param_1 + uVar2" identifier + identifier) + number_literal) )))) = (pointer_expression "*(undefined8 *)(param_2 + uVar2 + 2)" * (cast_expression "(undefined8 *)(param_2 + uVar2 + 2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + uVar2 + 2)" ( (binary_expression "param_2 + uVar2 + 2" (binary_expression "param_2 + uVar2" identifier + identifier) + number_literal) ))))) ;) (expression_statement "*(undefined8 *)(param_1 + uVar2) = uVar1;" (assignment_expression "*(undefined8 *)(param_1 + uVar2) = uVar1" (pointer_expression "*(undefined8 *)(param_1 + uVar2)" * (cast_expression "(undefined8 *)(param_1 + uVar2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + uVar2)" ( (binary_expression "param_1 + uVar2" identifier + identifier) )))) = identifier) ;) }) while (parenthesized_expression "(-1 < (int)uVar3)" ( (binary_expression "-1 < (int)uVar3" number_literal < (cast_expression "(int)uVar3" ( (type_descriptor "int" primitive_type) ) identifier)) )) ;) (if_statement "if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }" if (parenthesized_expression "((uVar3 & 2) != 0)" ( (binary_expression "(uVar3 & 2) != 0" (parenthesized_expression "(uVar3 & 2)" ( (binary_expression "uVar3 & 2" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }" { (expression_statement "*(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));" (assignment_expression "*(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2))" (pointer_expression "*(undefined8 *)(param_1 + (uVar2 - 2))" * (cast_expression "(undefined8 *)(param_1 + (uVar2 - 2))" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + (uVar2 - 2))" ( (binary_expression "param_1 + (uVar2 - 2)" identifier + (parenthesized_expression "(uVar2 - 2)" ( (binary_expression "uVar2 - 2" identifier - number_literal) ))) )))) = (pointer_expression "*(undefined8 *)(param_2 + (uVar2 - 2))" * (cast_expression "(undefined8 *)(param_2 + (uVar2 - 2))" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + (uVar2 - 2))" ( (binary_expression "param_2 + (uVar2 - 2)" identifier + (parenthesized_expression "(uVar2 - 2)" ( (binary_expression "uVar2 - 2" identifier - number_literal) ))) ))))) ;) })) (if_statement "if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }" if (parenthesized_expression "((uVar3 & 1) != 0)" ( (binary_expression "(uVar3 & 1) != 0" (parenthesized_expression "(uVar3 & 1)" ( (binary_expression "uVar3 & 1" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *param_1 = *param_2;\n    }" { (expression_statement "*param_1 = *param_2;" (assignment_expression "*param_1 = *param_2" (pointer_expression "*param_1" * identifier) = (pointer_expression "*param_2" * identifier)) ;) })) (return_statement "return;" return ;) })) (if_statement "if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }" if (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }" { (do_statement "do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);" do (compound_statement "{\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    }" { (expression_statement "param_1[param_3 - 1] = param_2[param_3 - 1];" (assignment_expression "param_1[param_3 - 1] = param_2[param_3 - 1]" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (subscript_expression "param_2[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)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) })) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)\n\n{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}\n\n" (function_definition "void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)\n\n{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}" primitive_type (function_declarator "__gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)" identifier (parameter_list "(undefined4 *param_1,undefined4 *param_2,uint param_3)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "undefined4 *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}" { (declaration "undefined8 uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (if_statement "if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }" if (parenthesized_expression "(4 < param_3)" ( (binary_expression "4 < param_3" number_literal < identifier) )) (compound_statement "{\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }" { (expression_statement "uVar3 = param_3 - 4;" (assignment_expression "uVar3 = param_3 - 4" identifier = (binary_expression "param_3 - 4" identifier - number_literal)) ;) (if_statement "if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }" if (parenthesized_expression "(((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0)" ( (binary_expression "((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0" (parenthesized_expression "((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4)" ( (binary_expression "(uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4" (binary_expression "(uint)(param_2 + param_3) & (uint)(param_1 + param_3)" (call_expression "(uint)(param_2 + param_3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_2 + param_3)" ( (binary_expression "param_2 + param_3" identifier + identifier) ))) & (call_expression "(uint)(param_1 + param_3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_1 + param_3)" ( (binary_expression "param_1 + param_3" identifier + identifier) )))) & number_literal) )) != number_literal) )) (compound_statement "{\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }" { (expression_statement "param_1[param_3 - 1] = param_2[param_3 - 1];" (assignment_expression "param_1[param_3 - 1] = param_2[param_3 - 1]" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (subscript_expression "param_2[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ])) ;) (expression_statement "uVar3 = param_3 - 5;" (assignment_expression "uVar3 = param_3 - 5" identifier = (binary_expression "param_3 - 5" identifier - number_literal)) ;) })) (do_statement "do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);" do (compound_statement "{\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    }" { (expression_statement "uVar2 = uVar3;" (assignment_expression "uVar2 = uVar3" identifier = identifier) ;) (expression_statement "uVar1 = *(undefined8 *)(param_2 + uVar2);" (assignment_expression "uVar1 = *(undefined8 *)(param_2 + uVar2)" identifier = (pointer_expression "*(undefined8 *)(param_2 + uVar2)" * (cast_expression "(undefined8 *)(param_2 + uVar2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + uVar2)" ( (binary_expression "param_2 + uVar2" identifier + identifier) ))))) ;) (expression_statement "uVar3 = uVar2 - 4;" (assignment_expression "uVar3 = uVar2 - 4" identifier = (binary_expression "uVar2 - 4" identifier - number_literal)) ;) (expression_statement "*(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);" (assignment_expression "*(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2)" (pointer_expression "*(undefined8 *)(param_1 + uVar2 + 2)" * (cast_expression "(undefined8 *)(param_1 + uVar2 + 2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + uVar2 + 2)" ( (binary_expression "param_1 + uVar2 + 2" (binary_expression "param_1 + uVar2" identifier + identifier) + number_literal) )))) = (pointer_expression "*(undefined8 *)(param_2 + uVar2 + 2)" * (cast_expression "(undefined8 *)(param_2 + uVar2 + 2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + uVar2 + 2)" ( (binary_expression "param_2 + uVar2 + 2" (binary_expression "param_2 + uVar2" identifier + identifier) + number_literal) ))))) ;) (expression_statement "*(undefined8 *)(param_1 + uVar2) = uVar1;" (assignment_expression "*(undefined8 *)(param_1 + uVar2) = uVar1" (pointer_expression "*(undefined8 *)(param_1 + uVar2)" * (cast_expression "(undefined8 *)(param_1 + uVar2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + uVar2)" ( (binary_expression "param_1 + uVar2" identifier + identifier) )))) = identifier) ;) }) while (parenthesized_expression "(-1 < (int)uVar3)" ( (binary_expression "-1 < (int)uVar3" number_literal < (cast_expression "(int)uVar3" ( (type_descriptor "int" primitive_type) ) identifier)) )) ;) (if_statement "if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }" if (parenthesized_expression "((uVar3 & 2) != 0)" ( (binary_expression "(uVar3 & 2) != 0" (parenthesized_expression "(uVar3 & 2)" ( (binary_expression "uVar3 & 2" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }" { (expression_statement "*(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));" (assignment_expression "*(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2))" (pointer_expression "*(undefined8 *)(param_1 + (uVar2 - 2))" * (cast_expression "(undefined8 *)(param_1 + (uVar2 - 2))" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + (uVar2 - 2))" ( (binary_expression "param_1 + (uVar2 - 2)" identifier + (parenthesized_expression "(uVar2 - 2)" ( (binary_expression "uVar2 - 2" identifier - number_literal) ))) )))) = (pointer_expression "*(undefined8 *)(param_2 + (uVar2 - 2))" * (cast_expression "(undefined8 *)(param_2 + (uVar2 - 2))" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + (uVar2 - 2))" ( (binary_expression "param_2 + (uVar2 - 2)" identifier + (parenthesized_expression "(uVar2 - 2)" ( (binary_expression "uVar2 - 2" identifier - number_literal) ))) ))))) ;) })) (if_statement "if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }" if (parenthesized_expression "((uVar3 & 1) != 0)" ( (binary_expression "(uVar3 & 1) != 0" (parenthesized_expression "(uVar3 & 1)" ( (binary_expression "uVar3 & 1" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *param_1 = *param_2;\n    }" { (expression_statement "*param_1 = *param_2;" (assignment_expression "*param_1 = *param_2" (pointer_expression "*param_1" * identifier) = (pointer_expression "*param_2" * identifier)) ;) })) (return_statement "return;" return ;) })) (if_statement "if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }" if (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }" { (do_statement "do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);" do (compound_statement "{\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    }" { (expression_statement "param_1[param_3 - 1] = param_2[param_3 - 1];" (assignment_expression "param_1[param_3 - 1] = param_2[param_3 - 1]" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (subscript_expression "param_2[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)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) })) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)\n\n{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}\n\n" (function_definition "void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)\n\n{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}" primitive_type (function_declarator "__gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)" identifier (parameter_list "(undefined4 *param_1,undefined4 *param_2,uint param_3)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "undefined4 *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}" { (declaration "undefined8 uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (if_statement "if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }" if (parenthesized_expression "(4 < param_3)" ( (binary_expression "4 < param_3" number_literal < identifier) )) (compound_statement "{\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }" { (expression_statement "uVar3 = param_3 - 4;" (assignment_expression "uVar3 = param_3 - 4" identifier = (binary_expression "param_3 - 4" identifier - number_literal)) ;) (if_statement "if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }" if (parenthesized_expression "(((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0)" ( (binary_expression "((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0" (parenthesized_expression "((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4)" ( (binary_expression "(uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4" (binary_expression "(uint)(param_2 + param_3) & (uint)(param_1 + param_3)" (call_expression "(uint)(param_2 + param_3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_2 + param_3)" ( (binary_expression "param_2 + param_3" identifier + identifier) ))) & (call_expression "(uint)(param_1 + param_3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_1 + param_3)" ( (binary_expression "param_1 + param_3" identifier + identifier) )))) & number_literal) )) != number_literal) )) (compound_statement "{\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }" { (expression_statement "param_1[param_3 - 1] = param_2[param_3 - 1];" (assignment_expression "param_1[param_3 - 1] = param_2[param_3 - 1]" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (subscript_expression "param_2[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ])) ;) (expression_statement "uVar3 = param_3 - 5;" (assignment_expression "uVar3 = param_3 - 5" identifier = (binary_expression "param_3 - 5" identifier - number_literal)) ;) })) (do_statement "do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);" do (compound_statement "{\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    }" { (expression_statement "uVar2 = uVar3;" (assignment_expression "uVar2 = uVar3" identifier = identifier) ;) (expression_statement "uVar1 = *(undefined8 *)(param_2 + uVar2);" (assignment_expression "uVar1 = *(undefined8 *)(param_2 + uVar2)" identifier = (pointer_expression "*(undefined8 *)(param_2 + uVar2)" * (cast_expression "(undefined8 *)(param_2 + uVar2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + uVar2)" ( (binary_expression "param_2 + uVar2" identifier + identifier) ))))) ;) (expression_statement "uVar3 = uVar2 - 4;" (assignment_expression "uVar3 = uVar2 - 4" identifier = (binary_expression "uVar2 - 4" identifier - number_literal)) ;) (expression_statement "*(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);" (assignment_expression "*(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2)" (pointer_expression "*(undefined8 *)(param_1 + uVar2 + 2)" * (cast_expression "(undefined8 *)(param_1 + uVar2 + 2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + uVar2 + 2)" ( (binary_expression "param_1 + uVar2 + 2" (binary_expression "param_1 + uVar2" identifier + identifier) + number_literal) )))) = (pointer_expression "*(undefined8 *)(param_2 + uVar2 + 2)" * (cast_expression "(undefined8 *)(param_2 + uVar2 + 2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + uVar2 + 2)" ( (binary_expression "param_2 + uVar2 + 2" (binary_expression "param_2 + uVar2" identifier + identifier) + number_literal) ))))) ;) (expression_statement "*(undefined8 *)(param_1 + uVar2) = uVar1;" (assignment_expression "*(undefined8 *)(param_1 + uVar2) = uVar1" (pointer_expression "*(undefined8 *)(param_1 + uVar2)" * (cast_expression "(undefined8 *)(param_1 + uVar2)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + uVar2)" ( (binary_expression "param_1 + uVar2" identifier + identifier) )))) = identifier) ;) }) while (parenthesized_expression "(-1 < (int)uVar3)" ( (binary_expression "-1 < (int)uVar3" number_literal < (cast_expression "(int)uVar3" ( (type_descriptor "int" primitive_type) ) identifier)) )) ;) (if_statement "if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }" if (parenthesized_expression "((uVar3 & 2) != 0)" ( (binary_expression "(uVar3 & 2) != 0" (parenthesized_expression "(uVar3 & 2)" ( (binary_expression "uVar3 & 2" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }" { (expression_statement "*(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));" (assignment_expression "*(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2))" (pointer_expression "*(undefined8 *)(param_1 + (uVar2 - 2))" * (cast_expression "(undefined8 *)(param_1 + (uVar2 - 2))" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + (uVar2 - 2))" ( (binary_expression "param_1 + (uVar2 - 2)" identifier + (parenthesized_expression "(uVar2 - 2)" ( (binary_expression "uVar2 - 2" identifier - number_literal) ))) )))) = (pointer_expression "*(undefined8 *)(param_2 + (uVar2 - 2))" * (cast_expression "(undefined8 *)(param_2 + (uVar2 - 2))" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + (uVar2 - 2))" ( (binary_expression "param_2 + (uVar2 - 2)" identifier + (parenthesized_expression "(uVar2 - 2)" ( (binary_expression "uVar2 - 2" identifier - number_literal) ))) ))))) ;) })) (if_statement "if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }" if (parenthesized_expression "((uVar3 & 1) != 0)" ( (binary_expression "(uVar3 & 1) != 0" (parenthesized_expression "(uVar3 & 1)" ( (binary_expression "uVar3 & 1" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *param_1 = *param_2;\n    }" { (expression_statement "*param_1 = *param_2;" (assignment_expression "*param_1 = *param_2" (pointer_expression "*param_1" * identifier) = (pointer_expression "*param_2" * identifier)) ;) })) (return_statement "return;" return ;) })) (if_statement "if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }" if (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) (compound_statement "{\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }" { (do_statement "do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);" do (compound_statement "{\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    }" { (expression_statement "param_1[param_3 - 1] = param_2[param_3 - 1];" (assignment_expression "param_1[param_3 - 1] = param_2[param_3 - 1]" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (subscript_expression "param_2[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)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT + IDENT) ))) & (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT + IDENT) )))) & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT - LIT) ]) = (subscript_expression IDENT [ (binary_expression IDENT - LIT) ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + IDENT) + LIT) )))) = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + IDENT) + LIT) ))))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) )))) = IDENT) ;) }) while (parenthesized_expression ( (binary_expression LIT < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) ))) )))) = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) ))) ))))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = (pointer_expression * IDENT)) ;) })) (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT - LIT) ]) = (subscript_expression IDENT [ (binary_expression IDENT - LIT) ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) })) (return_statement return ;) })))
(function_definition "void __gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)\n\n{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}" (primitive_type "void") (function_declarator "__gmpn_copyd_atom_mmx(undefined4 *param_1,undefined4 *param_2,uint param_3)" (identifier "__gmpn_copyd_atom_mmx") (parameter_list "(undefined4 *param_1,undefined4 *param_2,uint param_3)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "undefined4 *param_2" (type_identifier "undefined4") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) () ")"))) (compound_statement "{\n  undefined8 uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }\n  if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }\n  return;\n}" ({ "{") (declaration "undefined8 uVar1;" (type_identifier "undefined8") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (if_statement "if (4 < param_3) {\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }" (if "if") (parenthesized_expression "(4 < param_3)" (( "(") (binary_expression "4 < param_3" (number_literal "4") (< "<") (identifier "param_3")) () ")")) (compound_statement "{\n    uVar3 = param_3 - 4;\n    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }\n    do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);\n    if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }\n    if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }\n    return;\n  }" ({ "{") (expression_statement "uVar3 = param_3 - 4;" (assignment_expression "uVar3 = param_3 - 4" (identifier "uVar3") (= "=") (binary_expression "param_3 - 4" (identifier "param_3") (- "-") (number_literal "4"))) (; ";")) (if_statement "if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }" (if "if") (parenthesized_expression "(((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0)" (( "(") (binary_expression "((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0" (parenthesized_expression "((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4)" (( "(") (binary_expression "(uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4" (binary_expression "(uint)(param_2 + param_3) & (uint)(param_1 + param_3)" (call_expression "(uint)(param_2 + param_3)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(param_2 + param_3)" (( "(") (binary_expression "param_2 + param_3" (identifier "param_2") (+ "+") (identifier "param_3")) () ")"))) (& "&") (call_expression "(uint)(param_1 + param_3)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(param_1 + param_3)" (( "(") (binary_expression "param_1 + param_3" (identifier "param_1") (+ "+") (identifier "param_3")) () ")")))) (& "&") (number_literal "4")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      uVar3 = param_3 - 5;\n    }" ({ "{") (expression_statement "param_1[param_3 - 1] = param_2[param_3 - 1];" (assignment_expression "param_1[param_3 - 1] = param_2[param_3 - 1]" (subscript_expression "param_1[param_3 - 1]" (identifier "param_1") ([ "[") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1")) (] "]")) (= "=") (subscript_expression "param_2[param_3 - 1]" (identifier "param_2") ([ "[") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1")) (] "]"))) (; ";")) (expression_statement "uVar3 = param_3 - 5;" (assignment_expression "uVar3 = param_3 - 5" (identifier "uVar3") (= "=") (binary_expression "param_3 - 5" (identifier "param_3") (- "-") (number_literal "5"))) (; ";")) (} "}"))) (do_statement "do {\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    } while (-1 < (int)uVar3);" (do "do") (compound_statement "{\n      uVar2 = uVar3;\n      uVar1 = *(undefined8 *)(param_2 + uVar2);\n      uVar3 = uVar2 - 4;\n      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);\n      *(undefined8 *)(param_1 + uVar2) = uVar1;\n    }" ({ "{") (expression_statement "uVar2 = uVar3;" (assignment_expression "uVar2 = uVar3" (identifier "uVar2") (= "=") (identifier "uVar3")) (; ";")) (expression_statement "uVar1 = *(undefined8 *)(param_2 + uVar2);" (assignment_expression "uVar1 = *(undefined8 *)(param_2 + uVar2)" (identifier "uVar1") (= "=") (pointer_expression "*(undefined8 *)(param_2 + uVar2)" (* "*") (cast_expression "(undefined8 *)(param_2 + uVar2)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + uVar2)" (( "(") (binary_expression "param_2 + uVar2" (identifier "param_2") (+ "+") (identifier "uVar2")) () ")"))))) (; ";")) (expression_statement "uVar3 = uVar2 - 4;" (assignment_expression "uVar3 = uVar2 - 4" (identifier "uVar3") (= "=") (binary_expression "uVar2 - 4" (identifier "uVar2") (- "-") (number_literal "4"))) (; ";")) (expression_statement "*(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);" (assignment_expression "*(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2)" (pointer_expression "*(undefined8 *)(param_1 + uVar2 + 2)" (* "*") (cast_expression "(undefined8 *)(param_1 + uVar2 + 2)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + uVar2 + 2)" (( "(") (binary_expression "param_1 + uVar2 + 2" (binary_expression "param_1 + uVar2" (identifier "param_1") (+ "+") (identifier "uVar2")) (+ "+") (number_literal "2")) () ")")))) (= "=") (pointer_expression "*(undefined8 *)(param_2 + uVar2 + 2)" (* "*") (cast_expression "(undefined8 *)(param_2 + uVar2 + 2)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + uVar2 + 2)" (( "(") (binary_expression "param_2 + uVar2 + 2" (binary_expression "param_2 + uVar2" (identifier "param_2") (+ "+") (identifier "uVar2")) (+ "+") (number_literal "2")) () ")"))))) (; ";")) (expression_statement "*(undefined8 *)(param_1 + uVar2) = uVar1;" (assignment_expression "*(undefined8 *)(param_1 + uVar2) = uVar1" (pointer_expression "*(undefined8 *)(param_1 + uVar2)" (* "*") (cast_expression "(undefined8 *)(param_1 + uVar2)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + uVar2)" (( "(") (binary_expression "param_1 + uVar2" (identifier "param_1") (+ "+") (identifier "uVar2")) () ")")))) (= "=") (identifier "uVar1")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(-1 < (int)uVar3)" (( "(") (binary_expression "-1 < (int)uVar3" (number_literal "-1") (< "<") (cast_expression "(int)uVar3" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar3"))) () ")")) (; ";")) (if_statement "if ((uVar3 & 2) != 0) {\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }" (if "if") (parenthesized_expression "((uVar3 & 2) != 0)" (( "(") (binary_expression "(uVar3 & 2) != 0" (parenthesized_expression "(uVar3 & 2)" (( "(") (binary_expression "uVar3 & 2" (identifier "uVar3") (& "&") (number_literal "2")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));\n    }" ({ "{") (expression_statement "*(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));" (assignment_expression "*(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2))" (pointer_expression "*(undefined8 *)(param_1 + (uVar2 - 2))" (* "*") (cast_expression "(undefined8 *)(param_1 + (uVar2 - 2))" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + (uVar2 - 2))" (( "(") (binary_expression "param_1 + (uVar2 - 2)" (identifier "param_1") (+ "+") (parenthesized_expression "(uVar2 - 2)" (( "(") (binary_expression "uVar2 - 2" (identifier "uVar2") (- "-") (number_literal "2")) () ")"))) () ")")))) (= "=") (pointer_expression "*(undefined8 *)(param_2 + (uVar2 - 2))" (* "*") (cast_expression "(undefined8 *)(param_2 + (uVar2 - 2))" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + (uVar2 - 2))" (( "(") (binary_expression "param_2 + (uVar2 - 2)" (identifier "param_2") (+ "+") (parenthesized_expression "(uVar2 - 2)" (( "(") (binary_expression "uVar2 - 2" (identifier "uVar2") (- "-") (number_literal "2")) () ")"))) () ")"))))) (; ";")) (} "}"))) (if_statement "if ((uVar3 & 1) != 0) {\n      *param_1 = *param_2;\n    }" (if "if") (parenthesized_expression "((uVar3 & 1) != 0)" (( "(") (binary_expression "(uVar3 & 1) != 0" (parenthesized_expression "(uVar3 & 1)" (( "(") (binary_expression "uVar3 & 1" (identifier "uVar3") (& "&") (number_literal "1")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      *param_1 = *param_2;\n    }" ({ "{") (expression_statement "*param_1 = *param_2;" (assignment_expression "*param_1 = *param_2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (param_3 != 0) {\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }" (if "if") (parenthesized_expression "(param_3 != 0)" (( "(") (binary_expression "param_3 != 0" (identifier "param_3") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n  }" ({ "{") (do_statement "do {\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);" (do "do") (compound_statement "{\n      param_1[param_3 - 1] = param_2[param_3 - 1];\n      param_3 = param_3 - 1;\n    }" ({ "{") (expression_statement "param_1[param_3 - 1] = param_2[param_3 - 1];" (assignment_expression "param_1[param_3 - 1] = param_2[param_3 - 1]" (subscript_expression "param_1[param_3 - 1]" (identifier "param_1") ([ "[") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1")) (] "]")) (= "=") (subscript_expression "param_2[param_3 - 1]" (identifier "param_2") ([ "[") (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"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_3 != 0)" (( "(") (binary_expression "param_3 != 0" (identifier "param_3") (!= "!=") (number_literal "0")) () ")")) (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *var_3,type_1 *var_2,type_2 var_1)

{
  type_3 uVar1;
  type_2 var_4;
  type_2 var_5;
  
  if (4 < var_1) {
    var_5 = var_1 - 4;
    if (((type_2)(var_2 + var_1) & (type_2)(var_3 + var_1) & 4) != 0) {
      var_3[var_1 - 1] = var_2[var_1 - 1];
      var_5 = var_1 - 5;
    }
    do {
      var_4 = var_5;
      uVar1 = *(type_3 *)(var_2 + var_4);
      var_5 = var_4 - 4;
      *(type_3 *)(var_3 + var_4 + 2) = *(type_3 *)(var_2 + var_4 + 2);
      *(type_3 *)(var_3 + var_4) = uVar1;
    } while (-1 < (int)var_5);
    if ((var_5 & 2) != 0) {
      *(type_3 *)(var_3 + (var_4 - 2)) = *(type_3 *)(var_2 + (var_4 - 2));
    }
    if ((var_5 & 1) != 0) {
      *var_3 = *var_2;
    }
    return;
  }
  if (var_1 != 0) {
    do {
      var_3[var_1 - 1] = var_2[var_1 - 1];
      var_1 = var_1 - 1;
    } while (var_1 != 0);
  }
  return;
}


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

void MASKED(undefined4 *param_1,undefined4 *param_2,uint param_3)

{
  undefined8 uVar1;
  uint uVar2;
  uint uVar3;
  
  if (4 < param_3) {
    uVar3 = param_3 - 4;
    if (((uint)(param_2 + param_3) & (uint)(param_1 + param_3) & 4) != 0) {
      param_1[param_3 - 1] = param_2[param_3 - 1];
      uVar3 = param_3 - 5;
    }
    do {
      uVar2 = uVar3;
      uVar1 = *(undefined8 *)(param_2 + uVar2);
      uVar3 = uVar2 - 4;
      *(undefined8 *)(param_1 + uVar2 + 2) = *(undefined8 *)(param_2 + uVar2 + 2);
      *(undefined8 *)(param_1 + uVar2) = uVar1;
    } while (-1 < (int)uVar3);
    if ((uVar3 & 2) != 0) {
      *(undefined8 *)(param_1 + (uVar2 - 2)) = *(undefined8 *)(param_2 + (uVar2 - 2));
    }
    if ((uVar3 & 1) != 0) {
      *param_1 = *param_2;
    }
    return;
  }
  if (param_3 != 0) {
    do {
      param_1[param_3 - 1] = param_2[param_3 - 1];
      param_3 = param_3 - 1;
    } while (param_3 != 0);
  }
  return;
}

