
/* WARNING: Unknown calling convention */

void bn_restore_invariant(Bignum_conflict b)

{
  BignumInt *pBVar1;
  uint uVar2;
  Bignum_conflict pBVar3;
  BignumInt BVar4;
  
  uVar2 = *b;
  if (1 < uVar2) {
    pBVar3 = b + uVar2;
    BVar4 = *pBVar3;
    while (BVar4 == 0) {
      uVar2 = uVar2 - 1;
      *b = uVar2;
      if (uVar2 == 1) {
        return;
      }
      pBVar1 = pBVar3 + -1;
      pBVar3 = pBVar3 + -1;
      BVar4 = *pBVar1;
    }
  }
  return;
}



void bn_restore_invariant(uint *param_1)

{
  uint *puVar1;
  uint uVar2;
  uint *puVar3;
  uint uVar4;
  
  uVar2 = *param_1;
  if (1 < uVar2) {
    puVar3 = param_1 + uVar2;
    uVar4 = *puVar3;
    while (uVar4 == 0) {
      uVar2 = uVar2 - 1;
      *param_1 = uVar2;
      if (uVar2 == 1) {
        return;
      }
      puVar1 = puVar3 + -1;
      puVar3 = puVar3 + -1;
      uVar4 = *puVar1;
    }
  }
  return;
}


lw v0,0x0(a0)
sltiu v1,v0,0x2
bne v1,zero,0x00056a78
_sll v1,v0,0x2
addu v1,a0,v1
lw a1,0x0(v1)
bne a1,zero,0x00056a78
_addiu v0,v0,-0x1
b 0x00056a70
_li a2,0x1
lw a1,-0x4(v1)
addiu v0,v0,-0x1
bne a1,zero,0x00056a78
_addiu v1,v1,-0x4
bne v0,a2,0x00056a60
_sw v0,0x0(a0)
jr ra
_nop
(translation_unit "void bn_restore_invariant(uint *param_1)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  \n  uVar2 = *param_1;\n  if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }\n  return;\n}\n\n" (function_definition "void bn_restore_invariant(uint *param_1)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  \n  uVar2 = *param_1;\n  if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }\n  return;\n}" primitive_type (function_declarator "bn_restore_invariant(uint *param_1)" identifier (parameter_list "(uint *param_1)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  \n  uVar2 = *param_1;\n  if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (expression_statement "uVar2 = *param_1;" (assignment_expression "uVar2 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (if_statement "if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }" if (parenthesized_expression "(1 < uVar2)" ( (binary_expression "1 < uVar2" number_literal < identifier) )) (compound_statement "{\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }" { (expression_statement "puVar3 = param_1 + uVar2;" (assignment_expression "puVar3 = param_1 + uVar2" identifier = (binary_expression "param_1 + uVar2" identifier + identifier)) ;) (expression_statement "uVar4 = *puVar3;" (assignment_expression "uVar4 = *puVar3" identifier = (pointer_expression "*puVar3" * identifier)) ;) (while_statement "while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }" while (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }" { (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "*param_1 = uVar2;" (assignment_expression "*param_1 = uVar2" (pointer_expression "*param_1" * identifier) = identifier) ;) (if_statement "if (uVar2 == 1) {\n        return;\n      }" if (parenthesized_expression "(uVar2 == 1)" ( (binary_expression "uVar2 == 1" identifier == number_literal) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (expression_statement "puVar1 = puVar3 + -1;" (assignment_expression "puVar1 = puVar3 + -1" identifier = (binary_expression "puVar3 + -1" identifier + number_literal)) ;) (expression_statement "puVar3 = puVar3 + -1;" (assignment_expression "puVar3 = puVar3 + -1" identifier = (binary_expression "puVar3 + -1" identifier + number_literal)) ;) (expression_statement "uVar4 = *puVar1;" (assignment_expression "uVar4 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) })) })) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nvoid bn_restore_invariant(Bignum_conflict b)\n\n{\n  BignumInt *pBVar1;\n  uint uVar2;\n  Bignum_conflict pBVar3;\n  BignumInt BVar4;\n  \n  uVar2 = *b;\n  if (1 < uVar2) {\n    pBVar3 = b + uVar2;\n    BVar4 = *pBVar3;\n    while (BVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *b = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar4 = *pBVar1;\n    }\n  }\n  return;\n}\n\n" comment (function_definition "void bn_restore_invariant(Bignum_conflict b)\n\n{\n  BignumInt *pBVar1;\n  uint uVar2;\n  Bignum_conflict pBVar3;\n  BignumInt BVar4;\n  \n  uVar2 = *b;\n  if (1 < uVar2) {\n    pBVar3 = b + uVar2;\n    BVar4 = *pBVar3;\n    while (BVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *b = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar4 = *pBVar1;\n    }\n  }\n  return;\n}" primitive_type (function_declarator "bn_restore_invariant(Bignum_conflict b)" identifier (parameter_list "(Bignum_conflict b)" ( (parameter_declaration "Bignum_conflict b" type_identifier identifier) ))) (compound_statement "{\n  BignumInt *pBVar1;\n  uint uVar2;\n  Bignum_conflict pBVar3;\n  BignumInt BVar4;\n  \n  uVar2 = *b;\n  if (1 < uVar2) {\n    pBVar3 = b + uVar2;\n    BVar4 = *pBVar3;\n    while (BVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *b = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar4 = *pBVar1;\n    }\n  }\n  return;\n}" { (declaration "BignumInt *pBVar1;" type_identifier (pointer_declarator "*pBVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "Bignum_conflict pBVar3;" type_identifier identifier ;) (declaration "BignumInt BVar4;" type_identifier identifier ;) (expression_statement "uVar2 = *b;" (assignment_expression "uVar2 = *b" identifier = (pointer_expression "*b" * identifier)) ;) (if_statement "if (1 < uVar2) {\n    pBVar3 = b + uVar2;\n    BVar4 = *pBVar3;\n    while (BVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *b = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar4 = *pBVar1;\n    }\n  }" if (parenthesized_expression "(1 < uVar2)" ( (binary_expression "1 < uVar2" number_literal < identifier) )) (compound_statement "{\n    pBVar3 = b + uVar2;\n    BVar4 = *pBVar3;\n    while (BVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *b = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar4 = *pBVar1;\n    }\n  }" { (expression_statement "pBVar3 = b + uVar2;" (assignment_expression "pBVar3 = b + uVar2" identifier = (binary_expression "b + uVar2" identifier + identifier)) ;) (expression_statement "BVar4 = *pBVar3;" (assignment_expression "BVar4 = *pBVar3" identifier = (pointer_expression "*pBVar3" * identifier)) ;) (while_statement "while (BVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *b = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar4 = *pBVar1;\n    }" while (parenthesized_expression "(BVar4 == 0)" ( (binary_expression "BVar4 == 0" identifier == number_literal) )) (compound_statement "{\n      uVar2 = uVar2 - 1;\n      *b = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      pBVar1 = pBVar3 + -1;\n      pBVar3 = pBVar3 + -1;\n      BVar4 = *pBVar1;\n    }" { (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "*b = uVar2;" (assignment_expression "*b = uVar2" (pointer_expression "*b" * identifier) = identifier) ;) (if_statement "if (uVar2 == 1) {\n        return;\n      }" if (parenthesized_expression "(uVar2 == 1)" ( (binary_expression "uVar2 == 1" identifier == number_literal) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (expression_statement "pBVar1 = pBVar3 + -1;" (assignment_expression "pBVar1 = pBVar3 + -1" identifier = (binary_expression "pBVar3 + -1" identifier + number_literal)) ;) (expression_statement "pBVar3 = pBVar3 + -1;" (assignment_expression "pBVar3 = pBVar3 + -1" identifier = (binary_expression "pBVar3 + -1" identifier + number_literal)) ;) (expression_statement "BVar4 = *pBVar1;" (assignment_expression "BVar4 = *pBVar1" identifier = (pointer_expression "*pBVar1" * identifier)) ;) })) })) (return_statement "return;" return ;) })))
(translation_unit "void bn_restore_invariant(uint *param_1)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  \n  uVar2 = *param_1;\n  if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }\n  return;\n}\n\n" (function_definition "void bn_restore_invariant(uint *param_1)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  \n  uVar2 = *param_1;\n  if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }\n  return;\n}" primitive_type (function_declarator "bn_restore_invariant(uint *param_1)" identifier (parameter_list "(uint *param_1)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  \n  uVar2 = *param_1;\n  if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (expression_statement "uVar2 = *param_1;" (assignment_expression "uVar2 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (if_statement "if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }" if (parenthesized_expression "(1 < uVar2)" ( (binary_expression "1 < uVar2" number_literal < identifier) )) (compound_statement "{\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }" { (expression_statement "puVar3 = param_1 + uVar2;" (assignment_expression "puVar3 = param_1 + uVar2" identifier = (binary_expression "param_1 + uVar2" identifier + identifier)) ;) (expression_statement "uVar4 = *puVar3;" (assignment_expression "uVar4 = *puVar3" identifier = (pointer_expression "*puVar3" * identifier)) ;) (while_statement "while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }" while (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }" { (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "*param_1 = uVar2;" (assignment_expression "*param_1 = uVar2" (pointer_expression "*param_1" * identifier) = identifier) ;) (if_statement "if (uVar2 == 1) {\n        return;\n      }" if (parenthesized_expression "(uVar2 == 1)" ( (binary_expression "uVar2 == 1" identifier == number_literal) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (expression_statement "puVar1 = puVar3 + -1;" (assignment_expression "puVar1 = puVar3 + -1" identifier = (binary_expression "puVar3 + -1" identifier + number_literal)) ;) (expression_statement "puVar3 = puVar3 + -1;" (assignment_expression "puVar3 = puVar3 + -1" identifier = (binary_expression "puVar3 + -1" identifier + number_literal)) ;) (expression_statement "uVar4 = *puVar1;" (assignment_expression "uVar4 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) })) })) (return_statement "return;" return ;) })))
(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 IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) })) (return_statement return ;) })))
(function_definition "void bn_restore_invariant(uint *param_1)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  \n  uVar2 = *param_1;\n  if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }\n  return;\n}" (primitive_type "void") (function_declarator "bn_restore_invariant(uint *param_1)" (identifier "bn_restore_invariant") (parameter_list "(uint *param_1)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint *puVar3;\n  uint uVar4;\n  \n  uVar2 = *param_1;\n  if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }\n  return;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint *puVar3;" (type_identifier "uint") (pointer_declarator "*puVar3" (* "*") (identifier "puVar3")) (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (expression_statement "uVar2 = *param_1;" (assignment_expression "uVar2 = *param_1" (identifier "uVar2") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (if_statement "if (1 < uVar2) {\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }" (if "if") (parenthesized_expression "(1 < uVar2)" (( "(") (binary_expression "1 < uVar2" (number_literal "1") (< "<") (identifier "uVar2")) () ")")) (compound_statement "{\n    puVar3 = param_1 + uVar2;\n    uVar4 = *puVar3;\n    while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }\n  }" ({ "{") (expression_statement "puVar3 = param_1 + uVar2;" (assignment_expression "puVar3 = param_1 + uVar2" (identifier "puVar3") (= "=") (binary_expression "param_1 + uVar2" (identifier "param_1") (+ "+") (identifier "uVar2"))) (; ";")) (expression_statement "uVar4 = *puVar3;" (assignment_expression "uVar4 = *puVar3" (identifier "uVar4") (= "=") (pointer_expression "*puVar3" (* "*") (identifier "puVar3"))) (; ";")) (while_statement "while (uVar4 == 0) {\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }" (while "while") (parenthesized_expression "(uVar4 == 0)" (( "(") (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      uVar2 = uVar2 - 1;\n      *param_1 = uVar2;\n      if (uVar2 == 1) {\n        return;\n      }\n      puVar1 = puVar3 + -1;\n      puVar3 = puVar3 + -1;\n      uVar4 = *puVar1;\n    }" ({ "{") (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" (identifier "uVar2") (= "=") (binary_expression "uVar2 - 1" (identifier "uVar2") (- "-") (number_literal "1"))) (; ";")) (expression_statement "*param_1 = uVar2;" (assignment_expression "*param_1 = uVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (identifier "uVar2")) (; ";")) (if_statement "if (uVar2 == 1) {\n        return;\n      }" (if "if") (parenthesized_expression "(uVar2 == 1)" (( "(") (binary_expression "uVar2 == 1" (identifier "uVar2") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n        return;\n      }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "puVar1 = puVar3 + -1;" (assignment_expression "puVar1 = puVar3 + -1" (identifier "puVar1") (= "=") (binary_expression "puVar3 + -1" (identifier "puVar3") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "puVar3 = puVar3 + -1;" (assignment_expression "puVar3 = puVar3 + -1" (identifier "puVar3") (= "=") (binary_expression "puVar3 + -1" (identifier "puVar3") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "uVar4 = *puVar1;" (assignment_expression "uVar4 = *puVar1" (identifier "uVar4") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (} "}"))) (} "}"))) (return_statement "return;" (return "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))))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (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: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (while_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))))))) (return_statement))))

void MASKED(uint *param_1)

{
  uint *puVar1;
  uint uVar2;
  uint *puVar3;
  uint uVar4;
  
  uVar2 = *param_1;
  if (1 < uVar2) {
    puVar3 = param_1 + uVar2;
    uVar4 = *puVar3;
    while (uVar4 == 0) {
      uVar2 = uVar2 - 1;
      *param_1 = uVar2;
      if (uVar2 == 1) {
        return;
      }
      puVar1 = puVar3 + -1;
      puVar3 = puVar3 + -1;
      uVar4 = *puVar1;
    }
  }
  return;
}

