
_Bool dict_repeat(dictionary *dict,uint32_t *len,uint32_t dist)

{
  _Bool _Var2;
  size_t sVar1;
  uint uVar3;
  size_t sVar4;
  uint uVar5;
  
  _Var2 = false;
  if ((dist < dict->full) && (dist < dict->size)) {
    uVar3 = *len;
    uVar5 = dict->limit - dict->pos;
    if (uVar3 < uVar5) {
      uVar5 = uVar3;
    }
    *len = uVar3 - uVar5;
    uVar3 = dict->pos;
    sVar1 = ~dist + uVar3;
    if (uVar3 <= dist) {
      sVar1 = sVar1 + dict->end;
    }
    do {
      sVar4 = sVar1 + 1;
      uVar5 = uVar5 - 1;
      dict->pos = uVar3 + 1;
      dict->buf[uVar3] = dict->buf[sVar1];
      uVar3 = dict->pos;
      sVar1 = sVar4;
      if (dict->end == sVar4) {
        sVar1 = 0;
      }
    } while (uVar5 != 0);
    _Var2 = true;
    if (dict->full < uVar3) {
      dict->full = uVar3;
      return _Var2;
    }
  }
  return _Var2;
}



undefined4 FUN_000a9f70(int *param_1,uint *param_2,uint param_3)

{
  undefined4 uVar1;
  int iVar2;
  uint uVar3;
  int iVar4;
  uint uVar5;
  
  uVar1 = 0;
  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {
    uVar3 = *param_2;
    uVar5 = param_1[4] - param_1[2];
    if (uVar3 < (uint)(param_1[4] - param_1[2])) {
      uVar5 = uVar3;
    }
    *param_2 = uVar3 - uVar5;
    uVar3 = param_1[2];
    iVar2 = ~param_3 + uVar3;
    if (uVar3 <= param_3) {
      iVar2 = iVar2 + param_1[5];
    }
    do {
      iVar4 = iVar2 + 1;
      uVar5 = uVar5 - 1;
      param_1[2] = uVar3 + 1;
      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);
      uVar3 = param_1[2];
      iVar2 = iVar4;
      if (param_1[5] == iVar4) {
        iVar2 = 0;
      }
    } while (uVar5 != 0);
    uVar1 = 1;
    if ((uint)param_1[3] < uVar3) {
      param_1[3] = uVar3;
      return uVar1;
    }
  }
  return uVar1;
}


lw v1,0xc(a0)
sltu v1,a2,v1
bne v1,zero,0x000a9f88
_or v0,zero,zero
jr ra
_nop
lw v1,0x18(a0)
sltu v1,a2,v1
beq v1,zero,0x000a9f80
_nop
lw a3,0x10(a0)
nor v0,zero,a2
lw t0,0x8(a0)
lw v1,0x0(a1)
subu t0,a3,t0
sltu a3,v1,t0
movn t0,v1,a3
subu v1,v1,t0
or a3,t0,zero
sw v1,0x0(a1)
lw v1,0x8(a0)
sltu a2,a2,v1
bne a2,zero,0x000a9fd8
_addu v0,v0,v1
lw a1,0x14(a0)
addu v0,v0,a1
lw a1,0x0(a0)
addiu a2,v0,0x1
addiu t0,v1,0x1
addiu a3,a3,-0x1
addu v0,a1,v0
sw t0,0x8(a0)
addu v1,a1,v1
lbu v0,0x0(v0)
sb v0,0x0(v1)
lw v0,0x14(a0)
lw v1,0x8(a0)
xor v0,v0,a2
movz a2,zero,v0
bne a3,zero,0x000a9fd8
_or v0,a2,zero
lw a1,0xc(a0)
sltu a1,a1,v1
beq a1,zero,0x000a9f80
_li v0,0x1
jr ra
_sw v1,0xc(a0)
(translation_unit "undefined4 FUN_000a9f70(int *param_1,uint *param_2,uint param_3)\n\n{\n  undefined4 uVar1;\n  int iVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  \n  uVar1 = 0;\n  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }\n  return uVar1;\n}\n\n" (function_definition "undefined4 FUN_000a9f70(int *param_1,uint *param_2,uint param_3)\n\n{\n  undefined4 uVar1;\n  int iVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  \n  uVar1 = 0;\n  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }\n  return uVar1;\n}" type_identifier (function_declarator "FUN_000a9f70(int *param_1,uint *param_2,uint param_3)" identifier (parameter_list "(int *param_1,uint *param_2,uint param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  undefined4 uVar1;\n  int iVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  \n  uVar1 = 0;\n  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }\n  return uVar1;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "uVar1 = 0;" (assignment_expression "uVar1 = 0" identifier = number_literal) ;) (if_statement "if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }" if (parenthesized_expression "((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6]))" ( (binary_expression "(param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])" (parenthesized_expression "(param_3 < (uint)param_1[3])" ( (binary_expression "param_3 < (uint)param_1[3]" identifier < (cast_expression "(uint)param_1[3]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) )) && (parenthesized_expression "(param_3 < (uint)param_1[6])" ( (binary_expression "param_3 < (uint)param_1[6]" identifier < (cast_expression "(uint)param_1[6]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "param_1[6]" identifier [ number_literal ]))) ))) )) (compound_statement "{\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar5 = param_1[4] - param_1[2];" (assignment_expression "uVar5 = param_1[4] - param_1[2]" identifier = (binary_expression "param_1[4] - param_1[2]" (subscript_expression "param_1[4]" identifier [ number_literal ]) - (subscript_expression "param_1[2]" identifier [ number_literal ]))) ;) (if_statement "if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }" if (parenthesized_expression "(uVar3 < (uint)(param_1[4] - param_1[2]))" ( (binary_expression "uVar3 < (uint)(param_1[4] - param_1[2])" identifier < (call_expression "(uint)(param_1[4] - param_1[2])" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_1[4] - param_1[2])" ( (binary_expression "param_1[4] - param_1[2]" (subscript_expression "param_1[4]" identifier [ number_literal ]) - (subscript_expression "param_1[2]" identifier [ number_literal ])) )))) )) (compound_statement "{\n      uVar5 = uVar3;\n    }" { (expression_statement "uVar5 = uVar3;" (assignment_expression "uVar5 = uVar3" identifier = identifier) ;) })) (expression_statement "*param_2 = uVar3 - uVar5;" (assignment_expression "*param_2 = uVar3 - uVar5" (pointer_expression "*param_2" * identifier) = (binary_expression "uVar3 - uVar5" identifier - identifier)) ;) (expression_statement "uVar3 = param_1[2];" (assignment_expression "uVar3 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (expression_statement "iVar2 = ~param_3 + uVar3;" (assignment_expression "iVar2 = ~param_3 + uVar3" identifier = (binary_expression "~param_3 + uVar3" (unary_expression "~param_3" ~ identifier) + identifier)) ;) (if_statement "if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }" if (parenthesized_expression "(uVar3 <= param_3)" ( (binary_expression "uVar3 <= param_3" identifier <= identifier) )) (compound_statement "{\n      iVar2 = iVar2 + param_1[5];\n    }" { (expression_statement "iVar2 = iVar2 + param_1[5];" (assignment_expression "iVar2 = iVar2 + param_1[5]" identifier = (binary_expression "iVar2 + param_1[5]" identifier + (subscript_expression "param_1[5]" identifier [ number_literal ]))) ;) })) (do_statement "do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);" do (compound_statement "{\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    }" { (expression_statement "iVar4 = iVar2 + 1;" (assignment_expression "iVar4 = iVar2 + 1" identifier = (binary_expression "iVar2 + 1" identifier + number_literal)) ;) (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ;) (expression_statement "param_1[2] = uVar3 + 1;" (assignment_expression "param_1[2] = uVar3 + 1" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) (expression_statement "*(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);" (assignment_expression "*(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2)" (pointer_expression "*(undefined1 *)(*param_1 + uVar3)" * (cast_expression "(undefined1 *)(*param_1 + uVar3)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_1 + uVar3)" ( (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" * identifier) + identifier) )))) = (pointer_expression "*(undefined1 *)(*param_1 + iVar2)" * (cast_expression "(undefined1 *)(*param_1 + iVar2)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_1 + iVar2)" ( (binary_expression "*param_1 + iVar2" (pointer_expression "*param_1" * identifier) + identifier) ))))) ;) (expression_statement "uVar3 = param_1[2];" (assignment_expression "uVar3 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (expression_statement "iVar2 = iVar4;" (assignment_expression "iVar2 = iVar4" identifier = identifier) ;) (if_statement "if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }" if (parenthesized_expression "(param_1[5] == iVar4)" ( (binary_expression "param_1[5] == iVar4" (subscript_expression "param_1[5]" identifier [ number_literal ]) == identifier) )) (compound_statement "{\n        iVar2 = 0;\n      }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) })) }) while (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) ;) (expression_statement "uVar1 = 1;" (assignment_expression "uVar1 = 1" identifier = number_literal) ;) (if_statement "if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }" if (parenthesized_expression "((uint)param_1[3] < uVar3)" ( (binary_expression "(uint)param_1[3] < uVar3" (cast_expression "(uint)param_1[3]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "param_1[3]" identifier [ number_literal ])) < identifier) )) (compound_statement "{\n      param_1[3] = uVar3;\n      return uVar1;\n    }" { (expression_statement "param_1[3] = uVar3;" (assignment_expression "param_1[3] = uVar3" (subscript_expression "param_1[3]" identifier [ number_literal ]) = identifier) ;) (return_statement "return uVar1;" return identifier ;) })) })) (return_statement "return uVar1;" return identifier ;) })))
(translation_unit "_Bool dict_repeat(dictionary *dict,uint32_t *len,uint32_t dist)\n\n{\n  _Bool _Var2;\n  size_t sVar1;\n  uint uVar3;\n  size_t sVar4;\n  uint uVar5;\n  \n  _Var2 = false;\n  if ((dist < dict->full) && (dist < dict->size)) {\n    uVar3 = *len;\n    uVar5 = dict->limit - dict->pos;\n    if (uVar3 < uVar5) {\n      uVar5 = uVar3;\n    }\n    *len = uVar3 - uVar5;\n    uVar3 = dict->pos;\n    sVar1 = ~dist + uVar3;\n    if (uVar3 <= dist) {\n      sVar1 = sVar1 + dict->end;\n    }\n    do {\n      sVar4 = sVar1 + 1;\n      uVar5 = uVar5 - 1;\n      dict->pos = uVar3 + 1;\n      dict->buf[uVar3] = dict->buf[sVar1];\n      uVar3 = dict->pos;\n      sVar1 = sVar4;\n      if (dict->end == sVar4) {\n        sVar1 = 0;\n      }\n    } while (uVar5 != 0);\n    _Var2 = true;\n    if (dict->full < uVar3) {\n      dict->full = uVar3;\n      return _Var2;\n    }\n  }\n  return _Var2;\n}\n\n" (function_definition "_Bool dict_repeat(dictionary *dict,uint32_t *len,uint32_t dist)\n\n{\n  _Bool _Var2;\n  size_t sVar1;\n  uint uVar3;\n  size_t sVar4;\n  uint uVar5;\n  \n  _Var2 = false;\n  if ((dist < dict->full) && (dist < dict->size)) {\n    uVar3 = *len;\n    uVar5 = dict->limit - dict->pos;\n    if (uVar3 < uVar5) {\n      uVar5 = uVar3;\n    }\n    *len = uVar3 - uVar5;\n    uVar3 = dict->pos;\n    sVar1 = ~dist + uVar3;\n    if (uVar3 <= dist) {\n      sVar1 = sVar1 + dict->end;\n    }\n    do {\n      sVar4 = sVar1 + 1;\n      uVar5 = uVar5 - 1;\n      dict->pos = uVar3 + 1;\n      dict->buf[uVar3] = dict->buf[sVar1];\n      uVar3 = dict->pos;\n      sVar1 = sVar4;\n      if (dict->end == sVar4) {\n        sVar1 = 0;\n      }\n    } while (uVar5 != 0);\n    _Var2 = true;\n    if (dict->full < uVar3) {\n      dict->full = uVar3;\n      return _Var2;\n    }\n  }\n  return _Var2;\n}" type_identifier (function_declarator "dict_repeat(dictionary *dict,uint32_t *len,uint32_t dist)" identifier (parameter_list "(dictionary *dict,uint32_t *len,uint32_t dist)" ( (parameter_declaration "dictionary *dict" type_identifier (pointer_declarator "*dict" * identifier)) , (parameter_declaration "uint32_t *len" primitive_type (pointer_declarator "*len" * identifier)) , (parameter_declaration "uint32_t dist" primitive_type identifier) ))) (compound_statement "{\n  _Bool _Var2;\n  size_t sVar1;\n  uint uVar3;\n  size_t sVar4;\n  uint uVar5;\n  \n  _Var2 = false;\n  if ((dist < dict->full) && (dist < dict->size)) {\n    uVar3 = *len;\n    uVar5 = dict->limit - dict->pos;\n    if (uVar3 < uVar5) {\n      uVar5 = uVar3;\n    }\n    *len = uVar3 - uVar5;\n    uVar3 = dict->pos;\n    sVar1 = ~dist + uVar3;\n    if (uVar3 <= dist) {\n      sVar1 = sVar1 + dict->end;\n    }\n    do {\n      sVar4 = sVar1 + 1;\n      uVar5 = uVar5 - 1;\n      dict->pos = uVar3 + 1;\n      dict->buf[uVar3] = dict->buf[sVar1];\n      uVar3 = dict->pos;\n      sVar1 = sVar4;\n      if (dict->end == sVar4) {\n        sVar1 = 0;\n      }\n    } while (uVar5 != 0);\n    _Var2 = true;\n    if (dict->full < uVar3) {\n      dict->full = uVar3;\n      return _Var2;\n    }\n  }\n  return _Var2;\n}" { (declaration "_Bool _Var2;" type_identifier identifier ;) (declaration "size_t sVar1;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "size_t sVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "_Var2 = false;" (assignment_expression "_Var2 = false" identifier = false) ;) (if_statement "if ((dist < dict->full) && (dist < dict->size)) {\n    uVar3 = *len;\n    uVar5 = dict->limit - dict->pos;\n    if (uVar3 < uVar5) {\n      uVar5 = uVar3;\n    }\n    *len = uVar3 - uVar5;\n    uVar3 = dict->pos;\n    sVar1 = ~dist + uVar3;\n    if (uVar3 <= dist) {\n      sVar1 = sVar1 + dict->end;\n    }\n    do {\n      sVar4 = sVar1 + 1;\n      uVar5 = uVar5 - 1;\n      dict->pos = uVar3 + 1;\n      dict->buf[uVar3] = dict->buf[sVar1];\n      uVar3 = dict->pos;\n      sVar1 = sVar4;\n      if (dict->end == sVar4) {\n        sVar1 = 0;\n      }\n    } while (uVar5 != 0);\n    _Var2 = true;\n    if (dict->full < uVar3) {\n      dict->full = uVar3;\n      return _Var2;\n    }\n  }" if (parenthesized_expression "((dist < dict->full) && (dist < dict->size))" ( (binary_expression "(dist < dict->full) && (dist < dict->size)" (parenthesized_expression "(dist < dict->full)" ( (binary_expression "dist < dict->full" identifier < (field_expression "dict->full" identifier -> field_identifier)) )) && (parenthesized_expression "(dist < dict->size)" ( (binary_expression "dist < dict->size" identifier < (field_expression "dict->size" identifier -> field_identifier)) ))) )) (compound_statement "{\n    uVar3 = *len;\n    uVar5 = dict->limit - dict->pos;\n    if (uVar3 < uVar5) {\n      uVar5 = uVar3;\n    }\n    *len = uVar3 - uVar5;\n    uVar3 = dict->pos;\n    sVar1 = ~dist + uVar3;\n    if (uVar3 <= dist) {\n      sVar1 = sVar1 + dict->end;\n    }\n    do {\n      sVar4 = sVar1 + 1;\n      uVar5 = uVar5 - 1;\n      dict->pos = uVar3 + 1;\n      dict->buf[uVar3] = dict->buf[sVar1];\n      uVar3 = dict->pos;\n      sVar1 = sVar4;\n      if (dict->end == sVar4) {\n        sVar1 = 0;\n      }\n    } while (uVar5 != 0);\n    _Var2 = true;\n    if (dict->full < uVar3) {\n      dict->full = uVar3;\n      return _Var2;\n    }\n  }" { (expression_statement "uVar3 = *len;" (assignment_expression "uVar3 = *len" identifier = (pointer_expression "*len" * identifier)) ;) (expression_statement "uVar5 = dict->limit - dict->pos;" (assignment_expression "uVar5 = dict->limit - dict->pos" identifier = (binary_expression "dict->limit - dict->pos" (field_expression "dict->limit" identifier -> field_identifier) - (field_expression "dict->pos" identifier -> field_identifier))) ;) (if_statement "if (uVar3 < uVar5) {\n      uVar5 = uVar3;\n    }" if (parenthesized_expression "(uVar3 < uVar5)" ( (binary_expression "uVar3 < uVar5" identifier < identifier) )) (compound_statement "{\n      uVar5 = uVar3;\n    }" { (expression_statement "uVar5 = uVar3;" (assignment_expression "uVar5 = uVar3" identifier = identifier) ;) })) (expression_statement "*len = uVar3 - uVar5;" (assignment_expression "*len = uVar3 - uVar5" (pointer_expression "*len" * identifier) = (binary_expression "uVar3 - uVar5" identifier - identifier)) ;) (expression_statement "uVar3 = dict->pos;" (assignment_expression "uVar3 = dict->pos" identifier = (field_expression "dict->pos" identifier -> field_identifier)) ;) (expression_statement "sVar1 = ~dist + uVar3;" (assignment_expression "sVar1 = ~dist + uVar3" identifier = (binary_expression "~dist + uVar3" (unary_expression "~dist" ~ identifier) + identifier)) ;) (if_statement "if (uVar3 <= dist) {\n      sVar1 = sVar1 + dict->end;\n    }" if (parenthesized_expression "(uVar3 <= dist)" ( (binary_expression "uVar3 <= dist" identifier <= identifier) )) (compound_statement "{\n      sVar1 = sVar1 + dict->end;\n    }" { (expression_statement "sVar1 = sVar1 + dict->end;" (assignment_expression "sVar1 = sVar1 + dict->end" identifier = (binary_expression "sVar1 + dict->end" identifier + (field_expression "dict->end" identifier -> field_identifier))) ;) })) (do_statement "do {\n      sVar4 = sVar1 + 1;\n      uVar5 = uVar5 - 1;\n      dict->pos = uVar3 + 1;\n      dict->buf[uVar3] = dict->buf[sVar1];\n      uVar3 = dict->pos;\n      sVar1 = sVar4;\n      if (dict->end == sVar4) {\n        sVar1 = 0;\n      }\n    } while (uVar5 != 0);" do (compound_statement "{\n      sVar4 = sVar1 + 1;\n      uVar5 = uVar5 - 1;\n      dict->pos = uVar3 + 1;\n      dict->buf[uVar3] = dict->buf[sVar1];\n      uVar3 = dict->pos;\n      sVar1 = sVar4;\n      if (dict->end == sVar4) {\n        sVar1 = 0;\n      }\n    }" { (expression_statement "sVar4 = sVar1 + 1;" (assignment_expression "sVar4 = sVar1 + 1" identifier = (binary_expression "sVar1 + 1" identifier + number_literal)) ;) (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ;) (expression_statement "dict->pos = uVar3 + 1;" (assignment_expression "dict->pos = uVar3 + 1" (field_expression "dict->pos" identifier -> field_identifier) = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) (expression_statement "dict->buf[uVar3] = dict->buf[sVar1];" (assignment_expression "dict->buf[uVar3] = dict->buf[sVar1]" (subscript_expression "dict->buf[uVar3]" (field_expression "dict->buf" identifier -> field_identifier) [ identifier ]) = (subscript_expression "dict->buf[sVar1]" (field_expression "dict->buf" identifier -> field_identifier) [ identifier ])) ;) (expression_statement "uVar3 = dict->pos;" (assignment_expression "uVar3 = dict->pos" identifier = (field_expression "dict->pos" identifier -> field_identifier)) ;) (expression_statement "sVar1 = sVar4;" (assignment_expression "sVar1 = sVar4" identifier = identifier) ;) (if_statement "if (dict->end == sVar4) {\n        sVar1 = 0;\n      }" if (parenthesized_expression "(dict->end == sVar4)" ( (binary_expression "dict->end == sVar4" (field_expression "dict->end" identifier -> field_identifier) == identifier) )) (compound_statement "{\n        sVar1 = 0;\n      }" { (expression_statement "sVar1 = 0;" (assignment_expression "sVar1 = 0" identifier = number_literal) ;) })) }) while (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) ;) (expression_statement "_Var2 = true;" (assignment_expression "_Var2 = true" identifier = true) ;) (if_statement "if (dict->full < uVar3) {\n      dict->full = uVar3;\n      return _Var2;\n    }" if (parenthesized_expression "(dict->full < uVar3)" ( (binary_expression "dict->full < uVar3" (field_expression "dict->full" identifier -> field_identifier) < identifier) )) (compound_statement "{\n      dict->full = uVar3;\n      return _Var2;\n    }" { (expression_statement "dict->full = uVar3;" (assignment_expression "dict->full = uVar3" (field_expression "dict->full" identifier -> field_identifier) = identifier) ;) (return_statement "return _Var2;" return identifier ;) })) })) (return_statement "return _Var2;" return identifier ;) })))
(translation_unit "undefined4 FUN_000a9f70(int *param_1,uint *param_2,uint param_3)\n\n{\n  undefined4 uVar1;\n  int iVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  \n  uVar1 = 0;\n  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }\n  return uVar1;\n}\n\n" (function_definition "undefined4 FUN_000a9f70(int *param_1,uint *param_2,uint param_3)\n\n{\n  undefined4 uVar1;\n  int iVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  \n  uVar1 = 0;\n  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }\n  return uVar1;\n}" type_identifier (function_declarator "FUN_000a9f70(int *param_1,uint *param_2,uint param_3)" identifier (parameter_list "(int *param_1,uint *param_2,uint param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  undefined4 uVar1;\n  int iVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  \n  uVar1 = 0;\n  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }\n  return uVar1;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "uVar1 = 0;" (assignment_expression "uVar1 = 0" identifier = number_literal) ;) (if_statement "if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }" if (parenthesized_expression "((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6]))" ( (binary_expression "(param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])" (parenthesized_expression "(param_3 < (uint)param_1[3])" ( (binary_expression "param_3 < (uint)param_1[3]" identifier < (cast_expression "(uint)param_1[3]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) )) && (parenthesized_expression "(param_3 < (uint)param_1[6])" ( (binary_expression "param_3 < (uint)param_1[6]" identifier < (cast_expression "(uint)param_1[6]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "param_1[6]" identifier [ number_literal ]))) ))) )) (compound_statement "{\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar5 = param_1[4] - param_1[2];" (assignment_expression "uVar5 = param_1[4] - param_1[2]" identifier = (binary_expression "param_1[4] - param_1[2]" (subscript_expression "param_1[4]" identifier [ number_literal ]) - (subscript_expression "param_1[2]" identifier [ number_literal ]))) ;) (if_statement "if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }" if (parenthesized_expression "(uVar3 < (uint)(param_1[4] - param_1[2]))" ( (binary_expression "uVar3 < (uint)(param_1[4] - param_1[2])" identifier < (call_expression "(uint)(param_1[4] - param_1[2])" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_1[4] - param_1[2])" ( (binary_expression "param_1[4] - param_1[2]" (subscript_expression "param_1[4]" identifier [ number_literal ]) - (subscript_expression "param_1[2]" identifier [ number_literal ])) )))) )) (compound_statement "{\n      uVar5 = uVar3;\n    }" { (expression_statement "uVar5 = uVar3;" (assignment_expression "uVar5 = uVar3" identifier = identifier) ;) })) (expression_statement "*param_2 = uVar3 - uVar5;" (assignment_expression "*param_2 = uVar3 - uVar5" (pointer_expression "*param_2" * identifier) = (binary_expression "uVar3 - uVar5" identifier - identifier)) ;) (expression_statement "uVar3 = param_1[2];" (assignment_expression "uVar3 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (expression_statement "iVar2 = ~param_3 + uVar3;" (assignment_expression "iVar2 = ~param_3 + uVar3" identifier = (binary_expression "~param_3 + uVar3" (unary_expression "~param_3" ~ identifier) + identifier)) ;) (if_statement "if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }" if (parenthesized_expression "(uVar3 <= param_3)" ( (binary_expression "uVar3 <= param_3" identifier <= identifier) )) (compound_statement "{\n      iVar2 = iVar2 + param_1[5];\n    }" { (expression_statement "iVar2 = iVar2 + param_1[5];" (assignment_expression "iVar2 = iVar2 + param_1[5]" identifier = (binary_expression "iVar2 + param_1[5]" identifier + (subscript_expression "param_1[5]" identifier [ number_literal ]))) ;) })) (do_statement "do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);" do (compound_statement "{\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    }" { (expression_statement "iVar4 = iVar2 + 1;" (assignment_expression "iVar4 = iVar2 + 1" identifier = (binary_expression "iVar2 + 1" identifier + number_literal)) ;) (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ;) (expression_statement "param_1[2] = uVar3 + 1;" (assignment_expression "param_1[2] = uVar3 + 1" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) (expression_statement "*(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);" (assignment_expression "*(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2)" (pointer_expression "*(undefined1 *)(*param_1 + uVar3)" * (cast_expression "(undefined1 *)(*param_1 + uVar3)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_1 + uVar3)" ( (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" * identifier) + identifier) )))) = (pointer_expression "*(undefined1 *)(*param_1 + iVar2)" * (cast_expression "(undefined1 *)(*param_1 + iVar2)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_1 + iVar2)" ( (binary_expression "*param_1 + iVar2" (pointer_expression "*param_1" * identifier) + identifier) ))))) ;) (expression_statement "uVar3 = param_1[2];" (assignment_expression "uVar3 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (expression_statement "iVar2 = iVar4;" (assignment_expression "iVar2 = iVar4" identifier = identifier) ;) (if_statement "if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }" if (parenthesized_expression "(param_1[5] == iVar4)" ( (binary_expression "param_1[5] == iVar4" (subscript_expression "param_1[5]" identifier [ number_literal ]) == identifier) )) (compound_statement "{\n        iVar2 = 0;\n      }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) })) }) while (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) ;) (expression_statement "uVar1 = 1;" (assignment_expression "uVar1 = 1" identifier = number_literal) ;) (if_statement "if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }" if (parenthesized_expression "((uint)param_1[3] < uVar3)" ( (binary_expression "(uint)param_1[3] < uVar3" (cast_expression "(uint)param_1[3]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "param_1[3]" identifier [ number_literal ])) < identifier) )) (compound_statement "{\n      param_1[3] = uVar3;\n      return uVar1;\n    }" { (expression_statement "param_1[3] = uVar3;" (assignment_expression "param_1[3] = uVar3" (subscript_expression "param_1[3]" identifier [ number_literal ]) = identifier) ;) (return_statement "return uVar1;" return identifier ;) })) })) (return_statement "return uVar1;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) )) && (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ])) )))) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression ~ IDENT) + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (subscript_expression IDENT [ LIT ]))) ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + IDENT) )))) = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) })) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) < IDENT) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return IDENT ;) })) })) (return_statement return IDENT ;) })))
(function_definition "undefined4 FUN_000a9f70(int *param_1,uint *param_2,uint param_3)\n\n{\n  undefined4 uVar1;\n  int iVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  \n  uVar1 = 0;\n  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }\n  return uVar1;\n}" (type_identifier "undefined4") (function_declarator "FUN_000a9f70(int *param_1,uint *param_2,uint param_3)" (identifier "FUN_000a9f70") (parameter_list "(int *param_1,uint *param_2,uint param_3)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) () ")"))) (compound_statement "{\n  undefined4 uVar1;\n  int iVar2;\n  uint uVar3;\n  int iVar4;\n  uint uVar5;\n  \n  uVar1 = 0;\n  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }\n  return uVar1;\n}" ({ "{") (declaration "undefined4 uVar1;" (type_identifier "undefined4") (identifier "uVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (expression_statement "uVar1 = 0;" (assignment_expression "uVar1 = 0" (identifier "uVar1") (= "=") (number_literal "0")) (; ";")) (if_statement "if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }" (if "if") (parenthesized_expression "((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6]))" (( "(") (binary_expression "(param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])" (parenthesized_expression "(param_3 < (uint)param_1[3])" (( "(") (binary_expression "param_3 < (uint)param_1[3]" (identifier "param_3") (< "<") (cast_expression "(uint)param_1[3]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")))) () ")")) (&& "&&") (parenthesized_expression "(param_3 < (uint)param_1[6])" (( "(") (binary_expression "param_3 < (uint)param_1[6]" (identifier "param_3") (< "<") (cast_expression "(uint)param_1[6]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "param_1[6]" (identifier "param_1") ([ "[") (number_literal "6") (] "]")))) () ")"))) () ")")) (compound_statement "{\n    uVar3 = *param_2;\n    uVar5 = param_1[4] - param_1[2];\n    if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }\n    *param_2 = uVar3 - uVar5;\n    uVar3 = param_1[2];\n    iVar2 = ~param_3 + uVar3;\n    if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }\n    do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);\n    uVar1 = 1;\n    if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }\n  }" ({ "{") (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" (identifier "uVar3") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar5 = param_1[4] - param_1[2];" (assignment_expression "uVar5 = param_1[4] - param_1[2]" (identifier "uVar5") (= "=") (binary_expression "param_1[4] - param_1[2]" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (- "-") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")))) (; ";")) (if_statement "if (uVar3 < (uint)(param_1[4] - param_1[2])) {\n      uVar5 = uVar3;\n    }" (if "if") (parenthesized_expression "(uVar3 < (uint)(param_1[4] - param_1[2]))" (( "(") (binary_expression "uVar3 < (uint)(param_1[4] - param_1[2])" (identifier "uVar3") (< "<") (call_expression "(uint)(param_1[4] - param_1[2])" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(param_1[4] - param_1[2])" (( "(") (binary_expression "param_1[4] - param_1[2]" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (- "-") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]"))) () ")")))) () ")")) (compound_statement "{\n      uVar5 = uVar3;\n    }" ({ "{") (expression_statement "uVar5 = uVar3;" (assignment_expression "uVar5 = uVar3" (identifier "uVar5") (= "=") (identifier "uVar3")) (; ";")) (} "}"))) (expression_statement "*param_2 = uVar3 - uVar5;" (assignment_expression "*param_2 = uVar3 - uVar5" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (binary_expression "uVar3 - uVar5" (identifier "uVar3") (- "-") (identifier "uVar5"))) (; ";")) (expression_statement "uVar3 = param_1[2];" (assignment_expression "uVar3 = param_1[2]" (identifier "uVar3") (= "=") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "iVar2 = ~param_3 + uVar3;" (assignment_expression "iVar2 = ~param_3 + uVar3" (identifier "iVar2") (= "=") (binary_expression "~param_3 + uVar3" (unary_expression "~param_3" (~ "~") (identifier "param_3")) (+ "+") (identifier "uVar3"))) (; ";")) (if_statement "if (uVar3 <= param_3) {\n      iVar2 = iVar2 + param_1[5];\n    }" (if "if") (parenthesized_expression "(uVar3 <= param_3)" (( "(") (binary_expression "uVar3 <= param_3" (identifier "uVar3") (<= "<=") (identifier "param_3")) () ")")) (compound_statement "{\n      iVar2 = iVar2 + param_1[5];\n    }" ({ "{") (expression_statement "iVar2 = iVar2 + param_1[5];" (assignment_expression "iVar2 = iVar2 + param_1[5]" (identifier "iVar2") (= "=") (binary_expression "iVar2 + param_1[5]" (identifier "iVar2") (+ "+") (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")))) (; ";")) (} "}"))) (do_statement "do {\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    } while (uVar5 != 0);" (do "do") (compound_statement "{\n      iVar4 = iVar2 + 1;\n      uVar5 = uVar5 - 1;\n      param_1[2] = uVar3 + 1;\n      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);\n      uVar3 = param_1[2];\n      iVar2 = iVar4;\n      if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }\n    }" ({ "{") (expression_statement "iVar4 = iVar2 + 1;" (assignment_expression "iVar4 = iVar2 + 1" (identifier "iVar4") (= "=") (binary_expression "iVar2 + 1" (identifier "iVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar5 = uVar5 - 1;" (assignment_expression "uVar5 = uVar5 - 1" (identifier "uVar5") (= "=") (binary_expression "uVar5 - 1" (identifier "uVar5") (- "-") (number_literal "1"))) (; ";")) (expression_statement "param_1[2] = uVar3 + 1;" (assignment_expression "param_1[2] = uVar3 + 1" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);" (assignment_expression "*(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2)" (pointer_expression "*(undefined1 *)(*param_1 + uVar3)" (* "*") (cast_expression "(undefined1 *)(*param_1 + uVar3)" (( "(") (type_descriptor "undefined1 *" (type_identifier "undefined1") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*param_1 + uVar3)" (( "(") (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (identifier "uVar3")) () ")")))) (= "=") (pointer_expression "*(undefined1 *)(*param_1 + iVar2)" (* "*") (cast_expression "(undefined1 *)(*param_1 + iVar2)" (( "(") (type_descriptor "undefined1 *" (type_identifier "undefined1") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*param_1 + iVar2)" (( "(") (binary_expression "*param_1 + iVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (identifier "iVar2")) () ")"))))) (; ";")) (expression_statement "uVar3 = param_1[2];" (assignment_expression "uVar3 = param_1[2]" (identifier "uVar3") (= "=") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "iVar2 = iVar4;" (assignment_expression "iVar2 = iVar4" (identifier "iVar2") (= "=") (identifier "iVar4")) (; ";")) (if_statement "if (param_1[5] == iVar4) {\n        iVar2 = 0;\n      }" (if "if") (parenthesized_expression "(param_1[5] == iVar4)" (( "(") (binary_expression "param_1[5] == iVar4" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (== "==") (identifier "iVar4")) () ")")) (compound_statement "{\n        iVar2 = 0;\n      }" ({ "{") (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" (identifier "iVar2") (= "=") (number_literal "0")) (; ";")) (} "}"))) (} "}")) (while "while") (parenthesized_expression "(uVar5 != 0)" (( "(") (binary_expression "uVar5 != 0" (identifier "uVar5") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "uVar1 = 1;" (assignment_expression "uVar1 = 1" (identifier "uVar1") (= "=") (number_literal "1")) (; ";")) (if_statement "if ((uint)param_1[3] < uVar3) {\n      param_1[3] = uVar3;\n      return uVar1;\n    }" (if "if") (parenthesized_expression "((uint)param_1[3] < uVar3)" (( "(") (binary_expression "(uint)param_1[3] < uVar3" (cast_expression "(uint)param_1[3]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]"))) (< "<") (identifier "uVar3")) () ")")) (compound_statement "{\n      param_1[3] = uVar3;\n      return uVar1;\n    }" ({ "{") (expression_statement "param_1[3] = uVar3;" (assignment_expression "param_1[3] = uVar3" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (identifier "uVar3")) (; ";")) (return_statement "return uVar1;" (return "return") (identifier "uVar1") (; ";")) (} "}"))) (} "}"))) (return_statement "return uVar1;" (return "return") (identifier "uVar1") (; ";")) (} "}")))

type_1 function_1(type_2 *dict,uint32_t *len,uint32_t var_1)

{
  type_1 _Var2;
  size_t var_4;
  type_3 var_2;
  size_t var_5;
  type_3 var_3;
  
  _Var2 = false;
  if ((var_1 < dict->full) && (var_1 < dict->size)) {
    var_2 = *len;
    var_3 = dict->limit - dict->pos;
    if (var_2 < var_3) {
      var_3 = var_2;
    }
    *len = var_2 - var_3;
    var_2 = dict->pos;
    var_4 = ~var_1 + var_2;
    if (var_2 <= var_1) {
      var_4 = var_4 + dict->end;
    }
    do {
      var_5 = var_4 + 1;
      var_3 = var_3 - 1;
      dict->pos = var_2 + 1;
      dict->buf[var_2] = dict->buf[var_4];
      var_2 = dict->pos;
      var_4 = var_5;
      if (dict->end == var_5) {
        var_4 = 0;
      }
    } while (var_3 != 0);
    _Var2 = true;
    if (dict->full < var_2) {
      dict->full = var_2;
      return _Var2;
    }
  }
  return _Var2;
}


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

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

{
  undefined4 uVar1;
  int iVar2;
  uint uVar3;
  int iVar4;
  uint uVar5;
  
  uVar1 = 0;
  if ((param_3 < (uint)param_1[3]) && (param_3 < (uint)param_1[6])) {
    uVar3 = *param_2;
    uVar5 = param_1[4] - param_1[2];
    if (uVar3 < (uint)(param_1[4] - param_1[2])) {
      uVar5 = uVar3;
    }
    *param_2 = uVar3 - uVar5;
    uVar3 = param_1[2];
    iVar2 = ~param_3 + uVar3;
    if (uVar3 <= param_3) {
      iVar2 = iVar2 + param_1[5];
    }
    do {
      iVar4 = iVar2 + 1;
      uVar5 = uVar5 - 1;
      param_1[2] = uVar3 + 1;
      *(undefined1 *)(*param_1 + uVar3) = *(undefined1 *)(*param_1 + iVar2);
      uVar3 = param_1[2];
      iVar2 = iVar4;
      if (param_1[5] == iVar4) {
        iVar2 = 0;
      }
    } while (uVar5 != 0);
    uVar1 = 1;
    if ((uint)param_1[3] < uVar3) {
      param_1[3] = uVar3;
      return uVar1;
    }
  }
  return uVar1;
}

