
/* DWARF original prototype: Idx re_node_set_contains(re_node_set * set, Idx elem, re_node_set *
   set) */

Idx re_node_set_contains(re_node_set *set,Idx elem,re_node_set *set_1)

{
  undefined1 *puVar1;
  undefined1 *puVar2;
  undefined1 *puVar3;
  int iVar4;
  undefined1 *puVar5;
  int iVar6;
  
  puVar5 = (undefined1 *)((int)&set[-1].elems + 3);
  if ((int)set < 1) {
    return 0;
  }
  iVar6 = *(int *)elem;
  puVar3 = (undefined1 *)0x0;
  while (puVar3 < puVar5) {
    iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4);
    puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1);
    while (puVar1 = puVar2, (int)set_1 <= iVar4) {
      if (puVar1 <= puVar3) goto LAB_000452a4;
      puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);
      puVar5 = puVar1;
      iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);
    }
    puVar3 = puVar1 + 1;
  }
LAB_000452a4:
  if (set_1 != *(re_node_set **)(iVar6 + (int)puVar3 * 4)) {
    return 0;
  }
  return (Idx)(puVar3 + 1);
}



int FUN_00045230(int param_1,int *param_2,int param_3)

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  
  uVar4 = param_1 - 1;
  if (param_1 < 1) {
    return 0;
  }
  iVar6 = *param_2;
  uVar2 = 0;
  while (uVar2 < uVar4) {
    uVar5 = uVar2 + uVar4 >> 1;
    iVar3 = *(int *)(iVar6 + uVar5 * 4);
    while (uVar1 = uVar5, param_3 <= iVar3) {
      uVar5 = uVar2 + uVar1 >> 1;
      if (uVar1 <= uVar2) goto LAB_000452a4;
      iVar3 = *(int *)(iVar6 + uVar5 * 4);
      uVar4 = uVar1;
    }
    uVar2 = uVar1 + 1;
  }
LAB_000452a4:
  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {
    return 0;
  }
  return uVar2 + 1;
}


blez a0,0x000452d4
_addiu a0,a0,-0x1
lw a3,0x0(a1)
or v0,zero,zero
sltu v1,v0,a0
beq v1,zero,0x000452a4
_sll v1,v0,0x2
addu a1,v0,a0
srl a1,a1,0x1
sll v1,a1,0x2
addu v1,a3,v1
lw v1,0x0(v1)
slt v1,v1,a2
beq v1,zero,0x00045290
_nop
b 0x000452bc
_or v1,a1,zero
sll a0,v1,0x2
addu a0,a3,a0
lw a0,0x0(a0)
slt a0,a0,a2
bne a0,zero,0x000452c0
_nop
or a1,v1,zero
addu v1,v0,a1
sltu a0,v0,a1
bne a0,zero,0x00045274
_srl v1,v1,0x1
sll v1,v0,0x2
addu a3,a3,v1
lw v1,0x0(a3)
beq a2,v1,0x000452cc
_nop
jr ra
_or v0,zero,zero
or a1,a0,zero
addiu v0,v1,0x1
b 0x00045240
_or a0,a1,zero
jr ra
_addiu v0,v0,0x1
jr ra
_or v0,zero,zero
(translation_unit "int FUN_00045230(int param_1,int *param_2,int param_3)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar4 = param_1 - 1;\n  if (param_1 < 1) {\n    return 0;\n  }\n  iVar6 = *param_2;\n  uVar2 = 0;\n  while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }\nLAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }\n  return uVar2 + 1;\n}\n\n" (function_definition "int FUN_00045230(int param_1,int *param_2,int param_3)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar4 = param_1 - 1;\n  if (param_1 < 1) {\n    return 0;\n  }\n  iVar6 = *param_2;\n  uVar2 = 0;\n  while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }\nLAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }\n  return uVar2 + 1;\n}" primitive_type (function_declarator "FUN_00045230(int param_1,int *param_2,int param_3)" identifier (parameter_list "(int param_1,int *param_2,int param_3)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar4 = param_1 - 1;\n  if (param_1 < 1) {\n    return 0;\n  }\n  iVar6 = *param_2;\n  uVar2 = 0;\n  while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }\nLAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }\n  return uVar2 + 1;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "uVar4 = param_1 - 1;" (assignment_expression "uVar4 = param_1 - 1" identifier = (binary_expression "param_1 - 1" identifier - number_literal)) ;) (if_statement "if (param_1 < 1) {\n    return 0;\n  }" if (parenthesized_expression "(param_1 < 1)" ( (binary_expression "param_1 < 1" identifier < number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar6 = *param_2;" (assignment_expression "iVar6 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (while_statement "while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }" while (parenthesized_expression "(uVar2 < uVar4)" ( (binary_expression "uVar2 < uVar4" identifier < identifier) )) (compound_statement "{\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }" { (expression_statement "uVar5 = uVar2 + uVar4 >> 1;" (assignment_expression "uVar5 = uVar2 + uVar4 >> 1" identifier = (binary_expression "uVar2 + uVar4 >> 1" (binary_expression "uVar2 + uVar4" identifier + identifier) >> number_literal)) ;) (expression_statement "iVar3 = *(int *)(iVar6 + uVar5 * 4);" (assignment_expression "iVar3 = *(int *)(iVar6 + uVar5 * 4)" identifier = (pointer_expression "*(int *)(iVar6 + uVar5 * 4)" * (cast_expression "(int *)(iVar6 + uVar5 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + uVar5 * 4)" ( (binary_expression "iVar6 + uVar5 * 4" identifier + (binary_expression "uVar5 * 4" identifier * number_literal)) ))))) ;) (while_statement "while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }" while (parenthesized_expression "(uVar1 = uVar5, param_3 <= iVar3)" ( (comma_expression "uVar1 = uVar5, param_3 <= iVar3" (assignment_expression "uVar1 = uVar5" identifier = identifier) , (binary_expression "param_3 <= iVar3" identifier <= identifier)) )) (compound_statement "{\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }" { (expression_statement "uVar5 = uVar2 + uVar1 >> 1;" (assignment_expression "uVar5 = uVar2 + uVar1 >> 1" identifier = (binary_expression "uVar2 + uVar1 >> 1" (binary_expression "uVar2 + uVar1" identifier + identifier) >> number_literal)) ;) (if_statement "if (uVar1 <= uVar2) goto LAB_000452a4;" if (parenthesized_expression "(uVar1 <= uVar2)" ( (binary_expression "uVar1 <= uVar2" identifier <= identifier) )) (goto_statement "goto LAB_000452a4;" goto statement_identifier ;)) (expression_statement "iVar3 = *(int *)(iVar6 + uVar5 * 4);" (assignment_expression "iVar3 = *(int *)(iVar6 + uVar5 * 4)" identifier = (pointer_expression "*(int *)(iVar6 + uVar5 * 4)" * (cast_expression "(int *)(iVar6 + uVar5 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + uVar5 * 4)" ( (binary_expression "iVar6 + uVar5 * 4" identifier + (binary_expression "uVar5 * 4" identifier * number_literal)) ))))) ;) (expression_statement "uVar4 = uVar1;" (assignment_expression "uVar4 = uVar1" identifier = identifier) ;) })) (expression_statement "uVar2 = uVar1 + 1;" (assignment_expression "uVar2 = uVar1 + 1" identifier = (binary_expression "uVar1 + 1" identifier + number_literal)) ;) })) (labeled_statement "LAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }" statement_identifier : (if_statement "if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }" if (parenthesized_expression "(param_3 != *(int *)(iVar6 + uVar2 * 4))" ( (binary_expression "param_3 != *(int *)(iVar6 + uVar2 * 4)" identifier != (pointer_expression "*(int *)(iVar6 + uVar2 * 4)" * (cast_expression "(int *)(iVar6 + uVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + uVar2 * 4)" ( (binary_expression "iVar6 + uVar2 * 4" identifier + (binary_expression "uVar2 * 4" identifier * number_literal)) ))))) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) }))) (return_statement "return uVar2 + 1;" return (binary_expression "uVar2 + 1" identifier + number_literal) ;) })))
(translation_unit "/* DWARF original prototype: Idx re_node_set_contains(re_node_set * set, Idx elem, re_node_set *\n   set) */\n\nIdx re_node_set_contains(re_node_set *set,Idx elem,re_node_set *set_1)\n\n{\n  undefined1 *puVar1;\n  undefined1 *puVar2;\n  undefined1 *puVar3;\n  int iVar4;\n  undefined1 *puVar5;\n  int iVar6;\n  \n  puVar5 = (undefined1 *)((int)&set[-1].elems + 3);\n  if ((int)set < 1) {\n    return 0;\n  }\n  iVar6 = *(int *)elem;\n  puVar3 = (undefined1 *)0x0;\n  while (puVar3 < puVar5) {\n    iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4);\n    puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1);\n    while (puVar1 = puVar2, (int)set_1 <= iVar4) {\n      if (puVar1 <= puVar3) goto LAB_000452a4;\n      puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);\n      puVar5 = puVar1;\n      iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);\n    }\n    puVar3 = puVar1 + 1;\n  }\nLAB_000452a4:\n  if (set_1 != *(re_node_set **)(iVar6 + (int)puVar3 * 4)) {\n    return 0;\n  }\n  return (Idx)(puVar3 + 1);\n}\n\n" comment (function_definition "Idx re_node_set_contains(re_node_set *set,Idx elem,re_node_set *set_1)\n\n{\n  undefined1 *puVar1;\n  undefined1 *puVar2;\n  undefined1 *puVar3;\n  int iVar4;\n  undefined1 *puVar5;\n  int iVar6;\n  \n  puVar5 = (undefined1 *)((int)&set[-1].elems + 3);\n  if ((int)set < 1) {\n    return 0;\n  }\n  iVar6 = *(int *)elem;\n  puVar3 = (undefined1 *)0x0;\n  while (puVar3 < puVar5) {\n    iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4);\n    puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1);\n    while (puVar1 = puVar2, (int)set_1 <= iVar4) {\n      if (puVar1 <= puVar3) goto LAB_000452a4;\n      puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);\n      puVar5 = puVar1;\n      iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);\n    }\n    puVar3 = puVar1 + 1;\n  }\nLAB_000452a4:\n  if (set_1 != *(re_node_set **)(iVar6 + (int)puVar3 * 4)) {\n    return 0;\n  }\n  return (Idx)(puVar3 + 1);\n}" type_identifier (function_declarator "re_node_set_contains(re_node_set *set,Idx elem,re_node_set *set_1)" identifier (parameter_list "(re_node_set *set,Idx elem,re_node_set *set_1)" ( (parameter_declaration "re_node_set *set" type_identifier (pointer_declarator "*set" * identifier)) , (parameter_declaration "Idx elem" type_identifier identifier) , (parameter_declaration "re_node_set *set_1" type_identifier (pointer_declarator "*set_1" * identifier)) ))) (compound_statement "{\n  undefined1 *puVar1;\n  undefined1 *puVar2;\n  undefined1 *puVar3;\n  int iVar4;\n  undefined1 *puVar5;\n  int iVar6;\n  \n  puVar5 = (undefined1 *)((int)&set[-1].elems + 3);\n  if ((int)set < 1) {\n    return 0;\n  }\n  iVar6 = *(int *)elem;\n  puVar3 = (undefined1 *)0x0;\n  while (puVar3 < puVar5) {\n    iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4);\n    puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1);\n    while (puVar1 = puVar2, (int)set_1 <= iVar4) {\n      if (puVar1 <= puVar3) goto LAB_000452a4;\n      puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);\n      puVar5 = puVar1;\n      iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);\n    }\n    puVar3 = puVar1 + 1;\n  }\nLAB_000452a4:\n  if (set_1 != *(re_node_set **)(iVar6 + (int)puVar3 * 4)) {\n    return 0;\n  }\n  return (Idx)(puVar3 + 1);\n}" { (declaration "undefined1 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined1 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined1 *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "undefined1 *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "puVar5 = (undefined1 *)((int)&set[-1].elems + 3);" (assignment_expression "puVar5 = (undefined1 *)((int)&set[-1].elems + 3)" identifier = (cast_expression "(undefined1 *)((int)&set[-1].elems + 3)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&set[-1].elems + 3)" ( (binary_expression "(int)&set[-1].elems + 3" (cast_expression "(int)&set[-1].elems" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&set[-1].elems" & (field_expression "set[-1].elems" (subscript_expression "set[-1]" identifier [ number_literal ]) . field_identifier))) + number_literal) )))) ;) (if_statement "if ((int)set < 1) {\n    return 0;\n  }" if (parenthesized_expression "((int)set < 1)" ( (binary_expression "(int)set < 1" (cast_expression "(int)set" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar6 = *(int *)elem;" (assignment_expression "iVar6 = *(int *)elem" identifier = (pointer_expression "*(int *)elem" * (cast_expression "(int *)elem" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier))) ;) (expression_statement "puVar3 = (undefined1 *)0x0;" (assignment_expression "puVar3 = (undefined1 *)0x0" identifier = (cast_expression "(undefined1 *)0x0" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (while_statement "while (puVar3 < puVar5) {\n    iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4);\n    puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1);\n    while (puVar1 = puVar2, (int)set_1 <= iVar4) {\n      if (puVar1 <= puVar3) goto LAB_000452a4;\n      puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);\n      puVar5 = puVar1;\n      iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);\n    }\n    puVar3 = puVar1 + 1;\n  }" while (parenthesized_expression "(puVar3 < puVar5)" ( (binary_expression "puVar3 < puVar5" identifier < identifier) )) (compound_statement "{\n    iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4);\n    puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1);\n    while (puVar1 = puVar2, (int)set_1 <= iVar4) {\n      if (puVar1 <= puVar3) goto LAB_000452a4;\n      puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);\n      puVar5 = puVar1;\n      iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);\n    }\n    puVar3 = puVar1 + 1;\n  }" { (expression_statement "iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4);" (assignment_expression "iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4)" identifier = (pointer_expression "*(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4)" * (cast_expression "(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4)" ( (binary_expression "iVar6 + (int)((uint)(puVar3 + (int)puVar5) >> 1) * 4" identifier + (binary_expression "(int)((uint)(puVar3 + (int)puVar5) >> 1) * 4" (cast_expression "(int)((uint)(puVar3 + (int)puVar5) >> 1)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((uint)(puVar3 + (int)puVar5) >> 1)" ( (binary_expression "(uint)(puVar3 + (int)puVar5) >> 1" (call_expression "(uint)(puVar3 + (int)puVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(puVar3 + (int)puVar5)" ( (binary_expression "puVar3 + (int)puVar5" identifier + (cast_expression "(int)puVar5" ( (type_descriptor "int" primitive_type) ) identifier)) ))) >> number_literal) ))) * number_literal)) ))))) ;) (expression_statement "puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1);" (assignment_expression "puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1)" identifier = (cast_expression "(undefined1 *)((uint)(puVar3 + (int)puVar5) >> 1)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((uint)(puVar3 + (int)puVar5) >> 1)" ( (binary_expression "(uint)(puVar3 + (int)puVar5) >> 1" (call_expression "(uint)(puVar3 + (int)puVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(puVar3 + (int)puVar5)" ( (binary_expression "puVar3 + (int)puVar5" identifier + (cast_expression "(int)puVar5" ( (type_descriptor "int" primitive_type) ) identifier)) ))) >> number_literal) )))) ;) (while_statement "while (puVar1 = puVar2, (int)set_1 <= iVar4) {\n      if (puVar1 <= puVar3) goto LAB_000452a4;\n      puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);\n      puVar5 = puVar1;\n      iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);\n    }" while (parenthesized_expression "(puVar1 = puVar2, (int)set_1 <= iVar4)" ( (comma_expression "puVar1 = puVar2, (int)set_1 <= iVar4" (assignment_expression "puVar1 = puVar2" identifier = identifier) , (binary_expression "(int)set_1 <= iVar4" (cast_expression "(int)set_1" ( (type_descriptor "int" primitive_type) ) identifier) <= identifier)) )) (compound_statement "{\n      if (puVar1 <= puVar3) goto LAB_000452a4;\n      puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);\n      puVar5 = puVar1;\n      iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);\n    }" { (if_statement "if (puVar1 <= puVar3) goto LAB_000452a4;" if (parenthesized_expression "(puVar1 <= puVar3)" ( (binary_expression "puVar1 <= puVar3" identifier <= identifier) )) (goto_statement "goto LAB_000452a4;" goto statement_identifier ;)) (expression_statement "puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1);" (assignment_expression "puVar2 = (undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1)" identifier = (cast_expression "(undefined1 *)((uint)(puVar3 + (int)puVar1) >> 1)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((uint)(puVar3 + (int)puVar1) >> 1)" ( (binary_expression "(uint)(puVar3 + (int)puVar1) >> 1" (call_expression "(uint)(puVar3 + (int)puVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(puVar3 + (int)puVar1)" ( (binary_expression "puVar3 + (int)puVar1" identifier + (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ))) >> number_literal) )))) ;) (expression_statement "puVar5 = puVar1;" (assignment_expression "puVar5 = puVar1" identifier = identifier) ;) (expression_statement "iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4);" (assignment_expression "iVar4 = *(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4)" identifier = (pointer_expression "*(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4)" * (cast_expression "(int *)(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4)" ( (binary_expression "iVar6 + (int)((uint)(puVar3 + (int)puVar1) >> 1) * 4" identifier + (binary_expression "(int)((uint)(puVar3 + (int)puVar1) >> 1) * 4" (cast_expression "(int)((uint)(puVar3 + (int)puVar1) >> 1)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((uint)(puVar3 + (int)puVar1) >> 1)" ( (binary_expression "(uint)(puVar3 + (int)puVar1) >> 1" (call_expression "(uint)(puVar3 + (int)puVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(puVar3 + (int)puVar1)" ( (binary_expression "puVar3 + (int)puVar1" identifier + (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ))) >> number_literal) ))) * number_literal)) ))))) ;) })) (expression_statement "puVar3 = puVar1 + 1;" (assignment_expression "puVar3 = puVar1 + 1" identifier = (binary_expression "puVar1 + 1" identifier + number_literal)) ;) })) (labeled_statement "LAB_000452a4:\n  if (set_1 != *(re_node_set **)(iVar6 + (int)puVar3 * 4)) {\n    return 0;\n  }" statement_identifier : (if_statement "if (set_1 != *(re_node_set **)(iVar6 + (int)puVar3 * 4)) {\n    return 0;\n  }" if (parenthesized_expression "(set_1 != *(re_node_set **)(iVar6 + (int)puVar3 * 4))" ( (binary_expression "set_1 != *(re_node_set **)(iVar6 + (int)puVar3 * 4)" identifier != (pointer_expression "*(re_node_set **)(iVar6 + (int)puVar3 * 4)" * (cast_expression "(re_node_set **)(iVar6 + (int)puVar3 * 4)" ( (type_descriptor "re_node_set **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar6 + (int)puVar3 * 4)" ( (binary_expression "iVar6 + (int)puVar3 * 4" identifier + (binary_expression "(int)puVar3 * 4" (cast_expression "(int)puVar3" ( (type_descriptor "int" primitive_type) ) identifier) * number_literal)) ))))) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) }))) (return_statement "return (Idx)(puVar3 + 1);" return (call_expression "(Idx)(puVar3 + 1)" (parenthesized_expression "(Idx)" ( identifier )) (argument_list "(puVar3 + 1)" ( (binary_expression "puVar3 + 1" identifier + number_literal) ))) ;) })))
(translation_unit "int FUN_00045230(int param_1,int *param_2,int param_3)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar4 = param_1 - 1;\n  if (param_1 < 1) {\n    return 0;\n  }\n  iVar6 = *param_2;\n  uVar2 = 0;\n  while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }\nLAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }\n  return uVar2 + 1;\n}\n\n" (function_definition "int FUN_00045230(int param_1,int *param_2,int param_3)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar4 = param_1 - 1;\n  if (param_1 < 1) {\n    return 0;\n  }\n  iVar6 = *param_2;\n  uVar2 = 0;\n  while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }\nLAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }\n  return uVar2 + 1;\n}" primitive_type (function_declarator "FUN_00045230(int param_1,int *param_2,int param_3)" identifier (parameter_list "(int param_1,int *param_2,int param_3)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar4 = param_1 - 1;\n  if (param_1 < 1) {\n    return 0;\n  }\n  iVar6 = *param_2;\n  uVar2 = 0;\n  while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }\nLAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }\n  return uVar2 + 1;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "uVar4 = param_1 - 1;" (assignment_expression "uVar4 = param_1 - 1" identifier = (binary_expression "param_1 - 1" identifier - number_literal)) ;) (if_statement "if (param_1 < 1) {\n    return 0;\n  }" if (parenthesized_expression "(param_1 < 1)" ( (binary_expression "param_1 < 1" identifier < number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar6 = *param_2;" (assignment_expression "iVar6 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (while_statement "while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }" while (parenthesized_expression "(uVar2 < uVar4)" ( (binary_expression "uVar2 < uVar4" identifier < identifier) )) (compound_statement "{\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }" { (expression_statement "uVar5 = uVar2 + uVar4 >> 1;" (assignment_expression "uVar5 = uVar2 + uVar4 >> 1" identifier = (binary_expression "uVar2 + uVar4 >> 1" (binary_expression "uVar2 + uVar4" identifier + identifier) >> number_literal)) ;) (expression_statement "iVar3 = *(int *)(iVar6 + uVar5 * 4);" (assignment_expression "iVar3 = *(int *)(iVar6 + uVar5 * 4)" identifier = (pointer_expression "*(int *)(iVar6 + uVar5 * 4)" * (cast_expression "(int *)(iVar6 + uVar5 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + uVar5 * 4)" ( (binary_expression "iVar6 + uVar5 * 4" identifier + (binary_expression "uVar5 * 4" identifier * number_literal)) ))))) ;) (while_statement "while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }" while (parenthesized_expression "(uVar1 = uVar5, param_3 <= iVar3)" ( (comma_expression "uVar1 = uVar5, param_3 <= iVar3" (assignment_expression "uVar1 = uVar5" identifier = identifier) , (binary_expression "param_3 <= iVar3" identifier <= identifier)) )) (compound_statement "{\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }" { (expression_statement "uVar5 = uVar2 + uVar1 >> 1;" (assignment_expression "uVar5 = uVar2 + uVar1 >> 1" identifier = (binary_expression "uVar2 + uVar1 >> 1" (binary_expression "uVar2 + uVar1" identifier + identifier) >> number_literal)) ;) (if_statement "if (uVar1 <= uVar2) goto LAB_000452a4;" if (parenthesized_expression "(uVar1 <= uVar2)" ( (binary_expression "uVar1 <= uVar2" identifier <= identifier) )) (goto_statement "goto LAB_000452a4;" goto statement_identifier ;)) (expression_statement "iVar3 = *(int *)(iVar6 + uVar5 * 4);" (assignment_expression "iVar3 = *(int *)(iVar6 + uVar5 * 4)" identifier = (pointer_expression "*(int *)(iVar6 + uVar5 * 4)" * (cast_expression "(int *)(iVar6 + uVar5 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + uVar5 * 4)" ( (binary_expression "iVar6 + uVar5 * 4" identifier + (binary_expression "uVar5 * 4" identifier * number_literal)) ))))) ;) (expression_statement "uVar4 = uVar1;" (assignment_expression "uVar4 = uVar1" identifier = identifier) ;) })) (expression_statement "uVar2 = uVar1 + 1;" (assignment_expression "uVar2 = uVar1 + 1" identifier = (binary_expression "uVar1 + 1" identifier + number_literal)) ;) })) (labeled_statement "LAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }" statement_identifier : (if_statement "if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }" if (parenthesized_expression "(param_3 != *(int *)(iVar6 + uVar2 * 4))" ( (binary_expression "param_3 != *(int *)(iVar6 + uVar2 * 4)" identifier != (pointer_expression "*(int *)(iVar6 + uVar2 * 4)" * (cast_expression "(int *)(iVar6 + uVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar6 + uVar2 * 4)" ( (binary_expression "iVar6 + uVar2 * 4" identifier + (binary_expression "uVar2 * 4" identifier * number_literal)) ))))) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) }))) (return_statement "return uVar2 + 1;" return (binary_expression "uVar2 + 1" identifier + number_literal) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE 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 ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) >> LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) ))))) ;) (while_statement while (parenthesized_expression ( (comma_expression (assignment_expression IDENT = IDENT) , (binary_expression IDENT <= IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) >> LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) ))))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (labeled_statement statement_identifier : (if_statement if (parenthesized_expression ( (binary_expression IDENT != (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) ))))) )) (compound_statement { (return_statement return LIT ;) }))) (return_statement return (binary_expression IDENT + LIT) ;) })))
(function_definition "int FUN_00045230(int param_1,int *param_2,int param_3)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar4 = param_1 - 1;\n  if (param_1 < 1) {\n    return 0;\n  }\n  iVar6 = *param_2;\n  uVar2 = 0;\n  while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }\nLAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }\n  return uVar2 + 1;\n}" (primitive_type "int") (function_declarator "FUN_00045230(int param_1,int *param_2,int param_3)" (identifier "FUN_00045230") (parameter_list "(int param_1,int *param_2,int param_3)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int *param_2" (primitive_type "int") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar4 = param_1 - 1;\n  if (param_1 < 1) {\n    return 0;\n  }\n  iVar6 = *param_2;\n  uVar2 = 0;\n  while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }\nLAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }\n  return uVar2 + 1;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (expression_statement "uVar4 = param_1 - 1;" (assignment_expression "uVar4 = param_1 - 1" (identifier "uVar4") (= "=") (binary_expression "param_1 - 1" (identifier "param_1") (- "-") (number_literal "1"))) (; ";")) (if_statement "if (param_1 < 1) {\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_1 < 1)" (( "(") (binary_expression "param_1 < 1" (identifier "param_1") (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "iVar6 = *param_2;" (assignment_expression "iVar6 = *param_2" (identifier "iVar6") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" (identifier "uVar2") (= "=") (number_literal "0")) (; ";")) (while_statement "while (uVar2 < uVar4) {\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }" (while "while") (parenthesized_expression "(uVar2 < uVar4)" (( "(") (binary_expression "uVar2 < uVar4" (identifier "uVar2") (< "<") (identifier "uVar4")) () ")")) (compound_statement "{\n    uVar5 = uVar2 + uVar4 >> 1;\n    iVar3 = *(int *)(iVar6 + uVar5 * 4);\n    while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }\n    uVar2 = uVar1 + 1;\n  }" ({ "{") (expression_statement "uVar5 = uVar2 + uVar4 >> 1;" (assignment_expression "uVar5 = uVar2 + uVar4 >> 1" (identifier "uVar5") (= "=") (binary_expression "uVar2 + uVar4 >> 1" (binary_expression "uVar2 + uVar4" (identifier "uVar2") (+ "+") (identifier "uVar4")) (>> ">>") (number_literal "1"))) (; ";")) (expression_statement "iVar3 = *(int *)(iVar6 + uVar5 * 4);" (assignment_expression "iVar3 = *(int *)(iVar6 + uVar5 * 4)" (identifier "iVar3") (= "=") (pointer_expression "*(int *)(iVar6 + uVar5 * 4)" (* "*") (cast_expression "(int *)(iVar6 + uVar5 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar6 + uVar5 * 4)" (( "(") (binary_expression "iVar6 + uVar5 * 4" (identifier "iVar6") (+ "+") (binary_expression "uVar5 * 4" (identifier "uVar5") (* "*") (number_literal "4"))) () ")"))))) (; ";")) (while_statement "while (uVar1 = uVar5, param_3 <= iVar3) {\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }" (while "while") (parenthesized_expression "(uVar1 = uVar5, param_3 <= iVar3)" (( "(") (comma_expression "uVar1 = uVar5, param_3 <= iVar3" (assignment_expression "uVar1 = uVar5" (identifier "uVar1") (= "=") (identifier "uVar5")) (, ",") (binary_expression "param_3 <= iVar3" (identifier "param_3") (<= "<=") (identifier "iVar3"))) () ")")) (compound_statement "{\n      uVar5 = uVar2 + uVar1 >> 1;\n      if (uVar1 <= uVar2) goto LAB_000452a4;\n      iVar3 = *(int *)(iVar6 + uVar5 * 4);\n      uVar4 = uVar1;\n    }" ({ "{") (expression_statement "uVar5 = uVar2 + uVar1 >> 1;" (assignment_expression "uVar5 = uVar2 + uVar1 >> 1" (identifier "uVar5") (= "=") (binary_expression "uVar2 + uVar1 >> 1" (binary_expression "uVar2 + uVar1" (identifier "uVar2") (+ "+") (identifier "uVar1")) (>> ">>") (number_literal "1"))) (; ";")) (if_statement "if (uVar1 <= uVar2) goto LAB_000452a4;" (if "if") (parenthesized_expression "(uVar1 <= uVar2)" (( "(") (binary_expression "uVar1 <= uVar2" (identifier "uVar1") (<= "<=") (identifier "uVar2")) () ")")) (goto_statement "goto LAB_000452a4;" (goto "goto") (statement_identifier "LAB_000452a4") (; ";"))) (expression_statement "iVar3 = *(int *)(iVar6 + uVar5 * 4);" (assignment_expression "iVar3 = *(int *)(iVar6 + uVar5 * 4)" (identifier "iVar3") (= "=") (pointer_expression "*(int *)(iVar6 + uVar5 * 4)" (* "*") (cast_expression "(int *)(iVar6 + uVar5 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar6 + uVar5 * 4)" (( "(") (binary_expression "iVar6 + uVar5 * 4" (identifier "iVar6") (+ "+") (binary_expression "uVar5 * 4" (identifier "uVar5") (* "*") (number_literal "4"))) () ")"))))) (; ";")) (expression_statement "uVar4 = uVar1;" (assignment_expression "uVar4 = uVar1" (identifier "uVar4") (= "=") (identifier "uVar1")) (; ";")) (} "}"))) (expression_statement "uVar2 = uVar1 + 1;" (assignment_expression "uVar2 = uVar1 + 1" (identifier "uVar2") (= "=") (binary_expression "uVar1 + 1" (identifier "uVar1") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (labeled_statement "LAB_000452a4:\n  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }" (statement_identifier "LAB_000452a4") (: ":") (if_statement "if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_3 != *(int *)(iVar6 + uVar2 * 4))" (( "(") (binary_expression "param_3 != *(int *)(iVar6 + uVar2 * 4)" (identifier "param_3") (!= "!=") (pointer_expression "*(int *)(iVar6 + uVar2 * 4)" (* "*") (cast_expression "(int *)(iVar6 + uVar2 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar6 + uVar2 * 4)" (( "(") (binary_expression "iVar6 + uVar2 * 4" (identifier "iVar6") (+ "+") (binary_expression "uVar2 * 4" (identifier "uVar2") (* "*") (number_literal "4"))) () ")"))))) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))) (return_statement "return uVar2 + 1;" (return "return") (binary_expression "uVar2 + 1" (identifier "uVar2") (+ "+") (number_literal "1")) (; ";")) (} "}")))

/* DWARF original prototype: Idx re_node_set_contains(re_node_set * set, Idx elem, re_node_set *
   set) */

type_1 function_1(type_2 *set,type_1 elem,type_2 *var_6)

{
  type_3 *var_5;
  type_3 *puVar2;
  type_3 *var_1;
  int var_4;
  type_3 *var_2;
  int var_3;
  
  var_2 = (type_3 *)((int)&set[-1].elems + 3);
  if ((int)set < 1) {
    return 0;
  }
  var_3 = *(int *)elem;
  var_1 = (type_3 *)0x0;
  while (var_1 < var_2) {
    var_4 = *(int *)(var_3 + (int)((uint)(var_1 + (int)var_2) >> 1) * 4);
    puVar2 = (type_3 *)((uint)(var_1 + (int)var_2) >> 1);
    while (var_5 = puVar2, (int)var_6 <= var_4) {
      if (var_5 <= var_1) goto LAB_000452a4;
      puVar2 = (type_3 *)((uint)(var_1 + (int)var_5) >> 1);
      var_2 = var_5;
      var_4 = *(int *)(var_3 + (int)((uint)(var_1 + (int)var_5) >> 1) * 4);
    }
    var_1 = var_5 + 1;
  }
LAB_000452a4:
  if (var_6 != *(type_2 **)(var_3 + (int)var_1 * 4)) {
    return 0;
  }
  return (type_1)(var_1 + 1);
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (while_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))))) (while_statement condition: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (identifier)) right: (binary_expression left: (identifier) right: (identifier)))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))) (labeled_statement label: (statement_identifier) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))))) consequence: (compound_statement (return_statement (number_literal))))) (return_statement (binary_expression left: (identifier) right: (number_literal))))))

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

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  
  uVar4 = param_1 - 1;
  if (param_1 < 1) {
    return 0;
  }
  iVar6 = *param_2;
  uVar2 = 0;
  while (uVar2 < uVar4) {
    uVar5 = uVar2 + uVar4 >> 1;
    iVar3 = *(int *)(iVar6 + uVar5 * 4);
    while (uVar1 = uVar5, param_3 <= iVar3) {
      uVar5 = uVar2 + uVar1 >> 1;
      if (uVar1 <= uVar2) goto LAB_000452a4;
      iVar3 = *(int *)(iVar6 + uVar5 * 4);
      uVar4 = uVar1;
    }
    uVar2 = uVar1 + 1;
  }
LAB_000452a4:
  if (param_3 != *(int *)(iVar6 + uVar2 * 4)) {
    return 0;
  }
  return uVar2 + 1;
}

