
int SHA512_Init(SHA512_CTX *c)

{
  undefined4 *puVar1;
  undefined4 *puVar2;
  SHA512_CTX *pSVar3;
  undefined4 uVar4;
  undefined4 *puVar5;
  
  puVar5 = (undefined4 *)(PTR_E1_202__001112f8 + 0x42d0);
  puVar1 = (undefined4 *)(PTR_E1_202__001112f8 + 0x4290);
  pSVar3 = c;
  do {
    puVar2 = puVar1 + 2;
    uVar4 = puVar1[1];
    *(undefined4 *)pSVar3->h = *puVar1;
    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;
    puVar1 = puVar2;
    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);
  } while (puVar2 != puVar5);
  *(undefined4 *)((int)&c->u + 0x70) = 0;
  *(undefined4 *)((int)&c->u + 0x74) = 0;
  *(undefined4 *)((int)&c->u + 0x78) = 0;
  *(undefined4 *)((int)&c->u + 0x7c) = 0;
  c->num = 0;
  return (int)puVar2;
}



int SHA512_Init(SHA512_CTX *c)

{
  undefined4 *puVar1;
  undefined4 *puVar2;
  SHA512_CTX *pSVar3;
  undefined4 uVar4;
  undefined4 *puVar5;
  
  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);
  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);
  pSVar3 = c;
  do {
    puVar2 = puVar1 + 2;
    uVar4 = puVar1[1];
    *(undefined4 *)pSVar3->h = *puVar1;
    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;
    puVar1 = puVar2;
    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);
  } while (puVar2 != puVar5);
  *(undefined4 *)((int)&c->u + 0x70) = 0;
  *(undefined4 *)((int)&c->u + 0x74) = 0;
  *(undefined4 *)((int)&c->u + 0x78) = 0;
  *(undefined4 *)((int)&c->u + 0x7c) = 0;
  c->num = 0;
  return (int)puVar2;
}


lui gp,0x9
addiu gp,gp,0x4ac8
addu gp,gp,t9
lw v0,-0x7fb8(gp)
or v1,a0,zero
addiu v0,v0,0x4290
addiu a3,v0,0x40
lw a2,0x0(v0)
addiu v0,v0,0x8
addiu v1,v1,0x8
lw a1,-0x4(v0)
sw a2,-0x8(v1)
bne v0,a3,0x00084804
_sw a1,-0x4(v1)
sw zero,0xc0(a0)
sw zero,0xc4(a0)
sw zero,0xc8(a0)
sw zero,0xcc(a0)
jr ra
_sw zero,0xd0(a0)
(translation_unit "int SHA512_Init(SHA512_CTX *c)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}\n\n" (function_definition "int SHA512_Init(SHA512_CTX *c)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}" primitive_type (function_declarator "SHA512_Init(SHA512_CTX *c)" identifier (parameter_list "(SHA512_CTX *c)" ( (parameter_declaration "SHA512_CTX *c" type_identifier (pointer_declarator "*c" * identifier)) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "SHA512_CTX *pSVar3;" type_identifier (pointer_declarator "*pSVar3" * identifier) ;) (declaration "undefined4 uVar4;" type_identifier identifier ;) (declaration "undefined4 *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (expression_statement "puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);" (assignment_expression "puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0)" identifier = (cast_expression "(undefined4 *)(PTR_DAT_001112f8 + 0x42d0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_001112f8 + 0x42d0)" ( (binary_expression "PTR_DAT_001112f8 + 0x42d0" identifier + number_literal) )))) ;) (expression_statement "puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);" (assignment_expression "puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290)" identifier = (cast_expression "(undefined4 *)(PTR_DAT_001112f8 + 0x4290)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_001112f8 + 0x4290)" ( (binary_expression "PTR_DAT_001112f8 + 0x4290" identifier + number_literal) )))) ;) (expression_statement "pSVar3 = c;" (assignment_expression "pSVar3 = c" identifier = identifier) ;) (do_statement "do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);" do (compound_statement "{\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  }" { (expression_statement "puVar2 = puVar1 + 2;" (assignment_expression "puVar2 = puVar1 + 2" identifier = (binary_expression "puVar1 + 2" identifier + number_literal)) ;) (expression_statement "uVar4 = puVar1[1];" (assignment_expression "uVar4 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "*(undefined4 *)pSVar3->h = *puVar1;" (assignment_expression "*(undefined4 *)pSVar3->h = *puVar1" (pointer_expression "*(undefined4 *)pSVar3->h" * (cast_expression "(undefined4 *)pSVar3->h" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (field_expression "pSVar3->h" identifier -> field_identifier))) = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*(undefined4 *)((int)pSVar3->h + 4) = uVar4;" (assignment_expression "*(undefined4 *)((int)pSVar3->h + 4) = uVar4" (pointer_expression "*(undefined4 *)((int)pSVar3->h + 4)" * (cast_expression "(undefined4 *)((int)pSVar3->h + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)pSVar3->h + 4)" ( (binary_expression "(int)pSVar3->h + 4" (cast_expression "(int)pSVar3->h" ( (type_descriptor "int" primitive_type) ) (field_expression "pSVar3->h" identifier -> field_identifier)) + number_literal) )))) = identifier) ;) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) (expression_statement "pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);" (assignment_expression "pSVar3 = (SHA512_CTX *)(pSVar3->h + 1)" identifier = (cast_expression "(SHA512_CTX *)(pSVar3->h + 1)" ( (type_descriptor "SHA512_CTX *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pSVar3->h + 1)" ( (binary_expression "pSVar3->h + 1" (field_expression "pSVar3->h" identifier -> field_identifier) + number_literal) )))) ;) }) while (parenthesized_expression "(puVar2 != puVar5)" ( (binary_expression "puVar2 != puVar5" identifier != identifier) )) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x70) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x70) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x70)" * (cast_expression "(undefined4 *)((int)&c->u + 0x70)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x70)" ( (binary_expression "(int)&c->u + 0x70" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x74) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x74) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x74)" * (cast_expression "(undefined4 *)((int)&c->u + 0x74)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x74)" ( (binary_expression "(int)&c->u + 0x74" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x78) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x78) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x78)" * (cast_expression "(undefined4 *)((int)&c->u + 0x78)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x78)" ( (binary_expression "(int)&c->u + 0x78" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x7c) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x7c) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x7c)" * (cast_expression "(undefined4 *)((int)&c->u + 0x7c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x7c)" ( (binary_expression "(int)&c->u + 0x7c" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "c->num = 0;" (assignment_expression "c->num = 0" (field_expression "c->num" identifier -> field_identifier) = number_literal) ;) (return_statement "return (int)puVar2;" return (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) ;) })))
(translation_unit "int SHA512_Init(SHA512_CTX *c)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_E1_202__001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_E1_202__001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}\n\n" (function_definition "int SHA512_Init(SHA512_CTX *c)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_E1_202__001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_E1_202__001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}" primitive_type (function_declarator "SHA512_Init(SHA512_CTX *c)" identifier (parameter_list "(SHA512_CTX *c)" ( (parameter_declaration "SHA512_CTX *c" type_identifier (pointer_declarator "*c" * identifier)) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_E1_202__001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_E1_202__001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "SHA512_CTX *pSVar3;" type_identifier (pointer_declarator "*pSVar3" * identifier) ;) (declaration "undefined4 uVar4;" type_identifier identifier ;) (declaration "undefined4 *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (expression_statement "puVar5 = (undefined4 *)(PTR_E1_202__001112f8 + 0x42d0);" (assignment_expression "puVar5 = (undefined4 *)(PTR_E1_202__001112f8 + 0x42d0)" identifier = (cast_expression "(undefined4 *)(PTR_E1_202__001112f8 + 0x42d0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_E1_202__001112f8 + 0x42d0)" ( (binary_expression "PTR_E1_202__001112f8 + 0x42d0" identifier + number_literal) )))) ;) (expression_statement "puVar1 = (undefined4 *)(PTR_E1_202__001112f8 + 0x4290);" (assignment_expression "puVar1 = (undefined4 *)(PTR_E1_202__001112f8 + 0x4290)" identifier = (cast_expression "(undefined4 *)(PTR_E1_202__001112f8 + 0x4290)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_E1_202__001112f8 + 0x4290)" ( (binary_expression "PTR_E1_202__001112f8 + 0x4290" identifier + number_literal) )))) ;) (expression_statement "pSVar3 = c;" (assignment_expression "pSVar3 = c" identifier = identifier) ;) (do_statement "do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);" do (compound_statement "{\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  }" { (expression_statement "puVar2 = puVar1 + 2;" (assignment_expression "puVar2 = puVar1 + 2" identifier = (binary_expression "puVar1 + 2" identifier + number_literal)) ;) (expression_statement "uVar4 = puVar1[1];" (assignment_expression "uVar4 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "*(undefined4 *)pSVar3->h = *puVar1;" (assignment_expression "*(undefined4 *)pSVar3->h = *puVar1" (pointer_expression "*(undefined4 *)pSVar3->h" * (cast_expression "(undefined4 *)pSVar3->h" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (field_expression "pSVar3->h" identifier -> field_identifier))) = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*(undefined4 *)((int)pSVar3->h + 4) = uVar4;" (assignment_expression "*(undefined4 *)((int)pSVar3->h + 4) = uVar4" (pointer_expression "*(undefined4 *)((int)pSVar3->h + 4)" * (cast_expression "(undefined4 *)((int)pSVar3->h + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)pSVar3->h + 4)" ( (binary_expression "(int)pSVar3->h + 4" (cast_expression "(int)pSVar3->h" ( (type_descriptor "int" primitive_type) ) (field_expression "pSVar3->h" identifier -> field_identifier)) + number_literal) )))) = identifier) ;) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) (expression_statement "pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);" (assignment_expression "pSVar3 = (SHA512_CTX *)(pSVar3->h + 1)" identifier = (cast_expression "(SHA512_CTX *)(pSVar3->h + 1)" ( (type_descriptor "SHA512_CTX *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pSVar3->h + 1)" ( (binary_expression "pSVar3->h + 1" (field_expression "pSVar3->h" identifier -> field_identifier) + number_literal) )))) ;) }) while (parenthesized_expression "(puVar2 != puVar5)" ( (binary_expression "puVar2 != puVar5" identifier != identifier) )) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x70) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x70) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x70)" * (cast_expression "(undefined4 *)((int)&c->u + 0x70)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x70)" ( (binary_expression "(int)&c->u + 0x70" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x74) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x74) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x74)" * (cast_expression "(undefined4 *)((int)&c->u + 0x74)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x74)" ( (binary_expression "(int)&c->u + 0x74" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x78) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x78) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x78)" * (cast_expression "(undefined4 *)((int)&c->u + 0x78)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x78)" ( (binary_expression "(int)&c->u + 0x78" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x7c) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x7c) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x7c)" * (cast_expression "(undefined4 *)((int)&c->u + 0x7c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x7c)" ( (binary_expression "(int)&c->u + 0x7c" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "c->num = 0;" (assignment_expression "c->num = 0" (field_expression "c->num" identifier -> field_identifier) = number_literal) ;) (return_statement "return (int)puVar2;" return (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) ;) })))
(translation_unit "int SHA512_Init(SHA512_CTX *c)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}\n\n" (function_definition "int SHA512_Init(SHA512_CTX *c)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}" primitive_type (function_declarator "SHA512_Init(SHA512_CTX *c)" identifier (parameter_list "(SHA512_CTX *c)" ( (parameter_declaration "SHA512_CTX *c" type_identifier (pointer_declarator "*c" * identifier)) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "SHA512_CTX *pSVar3;" type_identifier (pointer_declarator "*pSVar3" * identifier) ;) (declaration "undefined4 uVar4;" type_identifier identifier ;) (declaration "undefined4 *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (expression_statement "puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);" (assignment_expression "puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0)" identifier = (cast_expression "(undefined4 *)(PTR_DAT_001112f8 + 0x42d0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_001112f8 + 0x42d0)" ( (binary_expression "PTR_DAT_001112f8 + 0x42d0" identifier + number_literal) )))) ;) (expression_statement "puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);" (assignment_expression "puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290)" identifier = (cast_expression "(undefined4 *)(PTR_DAT_001112f8 + 0x4290)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_001112f8 + 0x4290)" ( (binary_expression "PTR_DAT_001112f8 + 0x4290" identifier + number_literal) )))) ;) (expression_statement "pSVar3 = c;" (assignment_expression "pSVar3 = c" identifier = identifier) ;) (do_statement "do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);" do (compound_statement "{\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  }" { (expression_statement "puVar2 = puVar1 + 2;" (assignment_expression "puVar2 = puVar1 + 2" identifier = (binary_expression "puVar1 + 2" identifier + number_literal)) ;) (expression_statement "uVar4 = puVar1[1];" (assignment_expression "uVar4 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "*(undefined4 *)pSVar3->h = *puVar1;" (assignment_expression "*(undefined4 *)pSVar3->h = *puVar1" (pointer_expression "*(undefined4 *)pSVar3->h" * (cast_expression "(undefined4 *)pSVar3->h" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (field_expression "pSVar3->h" identifier -> field_identifier))) = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*(undefined4 *)((int)pSVar3->h + 4) = uVar4;" (assignment_expression "*(undefined4 *)((int)pSVar3->h + 4) = uVar4" (pointer_expression "*(undefined4 *)((int)pSVar3->h + 4)" * (cast_expression "(undefined4 *)((int)pSVar3->h + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)pSVar3->h + 4)" ( (binary_expression "(int)pSVar3->h + 4" (cast_expression "(int)pSVar3->h" ( (type_descriptor "int" primitive_type) ) (field_expression "pSVar3->h" identifier -> field_identifier)) + number_literal) )))) = identifier) ;) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) (expression_statement "pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);" (assignment_expression "pSVar3 = (SHA512_CTX *)(pSVar3->h + 1)" identifier = (cast_expression "(SHA512_CTX *)(pSVar3->h + 1)" ( (type_descriptor "SHA512_CTX *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pSVar3->h + 1)" ( (binary_expression "pSVar3->h + 1" (field_expression "pSVar3->h" identifier -> field_identifier) + number_literal) )))) ;) }) while (parenthesized_expression "(puVar2 != puVar5)" ( (binary_expression "puVar2 != puVar5" identifier != identifier) )) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x70) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x70) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x70)" * (cast_expression "(undefined4 *)((int)&c->u + 0x70)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x70)" ( (binary_expression "(int)&c->u + 0x70" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x74) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x74) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x74)" * (cast_expression "(undefined4 *)((int)&c->u + 0x74)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x74)" ( (binary_expression "(int)&c->u + 0x74" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x78) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x78) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x78)" * (cast_expression "(undefined4 *)((int)&c->u + 0x78)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x78)" ( (binary_expression "(int)&c->u + 0x78" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&c->u + 0x7c) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x7c) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x7c)" * (cast_expression "(undefined4 *)((int)&c->u + 0x7c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&c->u + 0x7c)" ( (binary_expression "(int)&c->u + 0x7c" (cast_expression "(int)&c->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&c->u" & (field_expression "c->u" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "c->num = 0;" (assignment_expression "c->num = 0" (field_expression "c->num" identifier -> field_identifier) = number_literal) ;) (return_statement "return (int)puVar2;" return (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (field_expression IDENT -> field_identifier))) = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (field_expression IDENT -> field_identifier)) + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (field_expression IDENT -> field_identifier) + LIT) )))) ;) }) while (parenthesized_expression ( (binary_expression IDENT != IDENT) )) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (pointer_expression & (field_expression IDENT -> field_identifier))) + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (pointer_expression & (field_expression IDENT -> field_identifier))) + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (pointer_expression & (field_expression IDENT -> field_identifier))) + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (pointer_expression & (field_expression IDENT -> field_identifier))) + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (field_expression IDENT -> field_identifier) = LIT) ;) (return_statement return (cast_expression ( (type_descriptor TYPE) ) IDENT) ;) })))
(function_definition "int SHA512_Init(SHA512_CTX *c)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}" (primitive_type "int") (function_declarator "SHA512_Init(SHA512_CTX *c)" (identifier "SHA512_Init") (parameter_list "(SHA512_CTX *c)" (( "(") (parameter_declaration "SHA512_CTX *c" (type_identifier "SHA512_CTX") (pointer_declarator "*c" (* "*") (identifier "c"))) () ")"))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  SHA512_CTX *pSVar3;\n  undefined4 uVar4;\n  undefined4 *puVar5;\n  \n  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);\n  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);\n  pSVar3 = c;\n  do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);\n  *(undefined4 *)((int)&c->u + 0x70) = 0;\n  *(undefined4 *)((int)&c->u + 0x74) = 0;\n  *(undefined4 *)((int)&c->u + 0x78) = 0;\n  *(undefined4 *)((int)&c->u + 0x7c) = 0;\n  c->num = 0;\n  return (int)puVar2;\n}" ({ "{") (declaration "undefined4 *puVar1;" (type_identifier "undefined4") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "undefined4 *puVar2;" (type_identifier "undefined4") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "SHA512_CTX *pSVar3;" (type_identifier "SHA512_CTX") (pointer_declarator "*pSVar3" (* "*") (identifier "pSVar3")) (; ";")) (declaration "undefined4 uVar4;" (type_identifier "undefined4") (identifier "uVar4") (; ";")) (declaration "undefined4 *puVar5;" (type_identifier "undefined4") (pointer_declarator "*puVar5" (* "*") (identifier "puVar5")) (; ";")) (expression_statement "puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);" (assignment_expression "puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0)" (identifier "puVar5") (= "=") (cast_expression "(undefined4 *)(PTR_DAT_001112f8 + 0x42d0)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_001112f8 + 0x42d0)" (( "(") (binary_expression "PTR_DAT_001112f8 + 0x42d0" (identifier "PTR_DAT_001112f8") (+ "+") (number_literal "0x42d0")) () ")")))) (; ";")) (expression_statement "puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);" (assignment_expression "puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290)" (identifier "puVar1") (= "=") (cast_expression "(undefined4 *)(PTR_DAT_001112f8 + 0x4290)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_001112f8 + 0x4290)" (( "(") (binary_expression "PTR_DAT_001112f8 + 0x4290" (identifier "PTR_DAT_001112f8") (+ "+") (number_literal "0x4290")) () ")")))) (; ";")) (expression_statement "pSVar3 = c;" (assignment_expression "pSVar3 = c" (identifier "pSVar3") (= "=") (identifier "c")) (; ";")) (do_statement "do {\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  } while (puVar2 != puVar5);" (do "do") (compound_statement "{\n    puVar2 = puVar1 + 2;\n    uVar4 = puVar1[1];\n    *(undefined4 *)pSVar3->h = *puVar1;\n    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;\n    puVar1 = puVar2;\n    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);\n  }" ({ "{") (expression_statement "puVar2 = puVar1 + 2;" (assignment_expression "puVar2 = puVar1 + 2" (identifier "puVar2") (= "=") (binary_expression "puVar1 + 2" (identifier "puVar1") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "uVar4 = puVar1[1];" (assignment_expression "uVar4 = puVar1[1]" (identifier "uVar4") (= "=") (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "*(undefined4 *)pSVar3->h = *puVar1;" (assignment_expression "*(undefined4 *)pSVar3->h = *puVar1" (pointer_expression "*(undefined4 *)pSVar3->h" (* "*") (cast_expression "(undefined4 *)pSVar3->h" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (field_expression "pSVar3->h" (identifier "pSVar3") (-> "->") (field_identifier "h")))) (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "*(undefined4 *)((int)pSVar3->h + 4) = uVar4;" (assignment_expression "*(undefined4 *)((int)pSVar3->h + 4) = uVar4" (pointer_expression "*(undefined4 *)((int)pSVar3->h + 4)" (* "*") (cast_expression "(undefined4 *)((int)pSVar3->h + 4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)pSVar3->h + 4)" (( "(") (binary_expression "(int)pSVar3->h + 4" (cast_expression "(int)pSVar3->h" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (field_expression "pSVar3->h" (identifier "pSVar3") (-> "->") (field_identifier "h"))) (+ "+") (number_literal "4")) () ")")))) (= "=") (identifier "uVar4")) (; ";")) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" (identifier "puVar1") (= "=") (identifier "puVar2")) (; ";")) (expression_statement "pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);" (assignment_expression "pSVar3 = (SHA512_CTX *)(pSVar3->h + 1)" (identifier "pSVar3") (= "=") (cast_expression "(SHA512_CTX *)(pSVar3->h + 1)" (( "(") (type_descriptor "SHA512_CTX *" (type_identifier "SHA512_CTX") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(pSVar3->h + 1)" (( "(") (binary_expression "pSVar3->h + 1" (field_expression "pSVar3->h" (identifier "pSVar3") (-> "->") (field_identifier "h")) (+ "+") (number_literal "1")) () ")")))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(puVar2 != puVar5)" (( "(") (binary_expression "puVar2 != puVar5" (identifier "puVar2") (!= "!=") (identifier "puVar5")) () ")")) (; ";")) (expression_statement "*(undefined4 *)((int)&c->u + 0x70) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x70) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x70)" (* "*") (cast_expression "(undefined4 *)((int)&c->u + 0x70)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)&c->u + 0x70)" (( "(") (binary_expression "(int)&c->u + 0x70" (cast_expression "(int)&c->u" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "&c->u" (& "&") (field_expression "c->u" (identifier "c") (-> "->") (field_identifier "u")))) (+ "+") (number_literal "0x70")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "*(undefined4 *)((int)&c->u + 0x74) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x74) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x74)" (* "*") (cast_expression "(undefined4 *)((int)&c->u + 0x74)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)&c->u + 0x74)" (( "(") (binary_expression "(int)&c->u + 0x74" (cast_expression "(int)&c->u" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "&c->u" (& "&") (field_expression "c->u" (identifier "c") (-> "->") (field_identifier "u")))) (+ "+") (number_literal "0x74")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "*(undefined4 *)((int)&c->u + 0x78) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x78) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x78)" (* "*") (cast_expression "(undefined4 *)((int)&c->u + 0x78)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)&c->u + 0x78)" (( "(") (binary_expression "(int)&c->u + 0x78" (cast_expression "(int)&c->u" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "&c->u" (& "&") (field_expression "c->u" (identifier "c") (-> "->") (field_identifier "u")))) (+ "+") (number_literal "0x78")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "*(undefined4 *)((int)&c->u + 0x7c) = 0;" (assignment_expression "*(undefined4 *)((int)&c->u + 0x7c) = 0" (pointer_expression "*(undefined4 *)((int)&c->u + 0x7c)" (* "*") (cast_expression "(undefined4 *)((int)&c->u + 0x7c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)&c->u + 0x7c)" (( "(") (binary_expression "(int)&c->u + 0x7c" (cast_expression "(int)&c->u" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "&c->u" (& "&") (field_expression "c->u" (identifier "c") (-> "->") (field_identifier "u")))) (+ "+") (number_literal "0x7c")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "c->num = 0;" (assignment_expression "c->num = 0" (field_expression "c->num" (identifier "c") (-> "->") (field_identifier "num")) (= "=") (number_literal "0")) (; ";")) (return_statement "return (int)puVar2;" (return "return") (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")) (; ";")) (} "}")))

int function_1(type_1 *c)

{
  type_2 *var_2;
  type_2 *var_3;
  type_1 *pSVar3;
  type_2 uVar4;
  type_2 *var_4;
  
  var_4 = (type_2 *)(var_1 + 0x42d0);
  var_2 = (type_2 *)(var_1 + 0x4290);
  pSVar3 = c;
  do {
    var_3 = var_2 + 2;
    uVar4 = var_2[1];
    *(type_2 *)pSVar3->h = *var_2;
    *(type_2 *)((int)pSVar3->h + 4) = uVar4;
    var_2 = var_3;
    pSVar3 = (type_1 *)(pSVar3->h + 1);
  } while (var_3 != var_4);
  *(type_2 *)((int)&c->u + 0x70) = 0;
  *(type_2 *)((int)&c->u + 0x74) = 0;
  *(type_2 *)((int)&c->u + 0x78) = 0;
  *(type_2 *)((int)&c->u + 0x7c) = 0;
  c->num = 0;
  return (int)var_3;
}


(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))))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (do_statement body: (compound_statement (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: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (field_expression argument: (identifier) field: (field_identifier)))) right: (pointer_expression argument: (identifier)))) (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: (cast_expression type: (type_descriptor type: (primitive_type)) value: (field_expression argument: (identifier) field: (field_identifier))) right: (number_literal))))) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (field_expression argument: (identifier) field: (field_identifier)) right: (number_literal))))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))) (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: (cast_expression type: (type_descriptor type: (primitive_type)) value: (pointer_expression argument: (field_expression argument: (identifier) field: (field_identifier)))) right: (number_literal))))) 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: (cast_expression type: (type_descriptor type: (primitive_type)) value: (pointer_expression argument: (field_expression argument: (identifier) field: (field_identifier)))) right: (number_literal))))) 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: (cast_expression type: (type_descriptor type: (primitive_type)) value: (pointer_expression argument: (field_expression argument: (identifier) field: (field_identifier)))) right: (number_literal))))) 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: (cast_expression type: (type_descriptor type: (primitive_type)) value: (pointer_expression argument: (field_expression argument: (identifier) field: (field_identifier)))) right: (number_literal))))) right: (number_literal))) (expression_statement (assignment_expression left: (field_expression argument: (identifier) field: (field_identifier)) right: (number_literal))) (return_statement (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))))

int MASKED(SHA512_CTX *c)

{
  undefined4 *puVar1;
  undefined4 *puVar2;
  SHA512_CTX *pSVar3;
  undefined4 uVar4;
  undefined4 *puVar5;
  
  puVar5 = (undefined4 *)(PTR_DAT_001112f8 + 0x42d0);
  puVar1 = (undefined4 *)(PTR_DAT_001112f8 + 0x4290);
  pSVar3 = c;
  do {
    puVar2 = puVar1 + 2;
    uVar4 = puVar1[1];
    *(undefined4 *)pSVar3->h = *puVar1;
    *(undefined4 *)((int)pSVar3->h + 4) = uVar4;
    puVar1 = puVar2;
    pSVar3 = (SHA512_CTX *)(pSVar3->h + 1);
  } while (puVar2 != puVar5);
  *(undefined4 *)((int)&c->u + 0x70) = 0;
  *(undefined4 *)((int)&c->u + 0x74) = 0;
  *(undefined4 *)((int)&c->u + 0x78) = 0;
  *(undefined4 *)((int)&c->u + 0x7c) = 0;
  c->num = 0;
  return (int)puVar2;
}

