
/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

ContributionIndex InadequacyList__getShiftContributionIndex(InadequacyList *self)

{
  undefined3 extraout_var;
  ContributionIndex CVar1;
  _Bool _Var2;
  uint uVar3;
  bitset_conflict pbVar4;
  uint uVar5;
  
  pbVar4 = (self->inadequacy).conflict.actions;
  uVar5 = self->manifestingState->reductions->num;
  uVar3 = (uVar5 >> 5) - (pbVar4->b).cindex;
  if (uVar3 < (pbVar4->b).csize) {
    uVar3 = (pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1;
  }
  else {
    _Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5);
    uVar3 = CONCAT31(extraout_var,_Var2);
  }
  CVar1 = -1;
  if (uVar3 != 0) {
    CVar1 = self->contributionCount + -1;
  }
  return CVar1;
}



int InadequacyList__getShiftContributionIndex(int param_1)

{
  int iVar1;
  uint uVar2;
  int *piVar3;
  uint uVar4;
  
  piVar3 = *(int **)(param_1 + 0x1c);
  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);
  uVar2 = (uVar4 >> 5) - piVar3[1];
  if (uVar2 < (uint)piVar3[2]) {
    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;
  }
  else {
    uVar2 = (**(code **)(*piVar3 + 0xc))();
  }
  iVar1 = -1;
  if (uVar2 != 0) {
    iVar1 = *(int *)(param_1 + 0x14) + -1;
  }
  return iVar1;
}


lw v0,0x10(a0)
addiu sp,sp,-0x20
sw s0,0x18(sp)
or s0,a0,zero
lw v1,0xc(v0)
lw a0,0x1c(a0)
sw ra,0x1c(sp)
lw a1,0x0(v1)
lw v0,0x4(a0)
lw a2,0x8(a0)
srl v1,a1,0x5
subu v1,v1,v0
sltu a2,v1,a2
beq a2,zero,0x0001a6fc
_sll v1,v1,0x2
lw v0,0xc(a0)
addu v1,v0,v1
lw v0,0x0(v1)
srlv v0,v0,a1
andi v0,v0,0x1
beq v0,zero,0x0001a6ec
_li v0,-0x1
lw v0,0x14(s0)
addiu v0,v0,-0x1
lw ra,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x20
lw v0,0x0(a0)
lw t9,0xc(v0)
jalr t9
_nop
b 0x0001a6dc
_nop
(translation_unit "int InadequacyList__getShiftContributionIndex(int param_1)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  \n  piVar3 = *(int **)(param_1 + 0x1c);\n  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);\n  uVar2 = (uVar4 >> 5) - piVar3[1];\n  if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }\n  iVar1 = -1;\n  if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }\n  return iVar1;\n}\n\n" (function_definition "int InadequacyList__getShiftContributionIndex(int param_1)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  \n  piVar3 = *(int **)(param_1 + 0x1c);\n  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);\n  uVar2 = (uVar4 >> 5) - piVar3[1];\n  if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }\n  iVar1 = -1;\n  if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }\n  return iVar1;\n}" primitive_type (function_declarator "InadequacyList__getShiftContributionIndex(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  \n  piVar3 = *(int **)(param_1 + 0x1c);\n  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);\n  uVar2 = (uVar4 >> 5) - piVar3[1];\n  if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }\n  iVar1 = -1;\n  if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }\n  return iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (expression_statement "piVar3 = *(int **)(param_1 + 0x1c);" (assignment_expression "piVar3 = *(int **)(param_1 + 0x1c)" identifier = (pointer_expression "*(int **)(param_1 + 0x1c)" * (cast_expression "(int **)(param_1 + 0x1c)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 0x1c)" ( (binary_expression "param_1 + 0x1c" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);" (assignment_expression "uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc)" identifier = (pointer_expression "**(uint **)(*(int *)(param_1 + 0x10) + 0xc)" * (pointer_expression "*(uint **)(*(int *)(param_1 + 0x10) + 0xc)" * (cast_expression "(uint **)(*(int *)(param_1 + 0x10) + 0xc)" ( (type_descriptor "uint **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(int *)(param_1 + 0x10) + 0xc)" ( (binary_expression "*(int *)(param_1 + 0x10) + 0xc" (pointer_expression "*(int *)(param_1 + 0x10)" * (cast_expression "(int *)(param_1 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x10)" ( (binary_expression "param_1 + 0x10" identifier + number_literal) )))) + number_literal) )))))) ;) (expression_statement "uVar2 = (uVar4 >> 5) - piVar3[1];" (assignment_expression "uVar2 = (uVar4 >> 5) - piVar3[1]" identifier = (binary_expression "(uVar4 >> 5) - piVar3[1]" (parenthesized_expression "(uVar4 >> 5)" ( (binary_expression "uVar4 >> 5" identifier >> number_literal) )) - (subscript_expression "piVar3[1]" identifier [ number_literal ]))) ;) (if_statement "if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" if (parenthesized_expression "(uVar2 < (uint)piVar3[2])" ( (binary_expression "uVar2 < (uint)piVar3[2]" identifier < (cast_expression "(uint)piVar3[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "piVar3[2]" identifier [ number_literal ]))) )) (compound_statement "{\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }" { (expression_statement "uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;" (assignment_expression "uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1" identifier = (binary_expression "*(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1" (binary_expression "*(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f)" (pointer_expression "*(uint *)(piVar3[3] + uVar2 * 4)" * (cast_expression "(uint *)(piVar3[3] + uVar2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(piVar3[3] + uVar2 * 4)" ( (binary_expression "piVar3[3] + uVar2 * 4" (subscript_expression "piVar3[3]" identifier [ number_literal ]) + (binary_expression "uVar2 * 4" identifier * number_literal)) )))) >> (parenthesized_expression "(uVar4 & 0x1f)" ( (binary_expression "uVar4 & 0x1f" identifier & number_literal) ))) & number_literal)) ;) }) (else_clause "else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" else (compound_statement "{\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" { (expression_statement "uVar2 = (**(code **)(*piVar3 + 0xc))();" (assignment_expression "uVar2 = (**(code **)(*piVar3 + 0xc))()" identifier = (call_expression "(**(code **)(*piVar3 + 0xc))()" (parenthesized_expression "(**(code **)(*piVar3 + 0xc))" ( (pointer_expression "**(code **)(*piVar3 + 0xc)" * (pointer_expression "*(code **)(*piVar3 + 0xc)" * (cast_expression "(code **)(*piVar3 + 0xc)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*piVar3 + 0xc)" ( (binary_expression "*piVar3 + 0xc" (pointer_expression "*piVar3" * identifier) + number_literal) ))))) )) (argument_list "()" ( )))) ;) }))) (expression_statement "iVar1 = -1;" (assignment_expression "iVar1 = -1" identifier = number_literal) ;) (if_statement "if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }" if (parenthesized_expression "(uVar2 != 0)" ( (binary_expression "uVar2 != 0" identifier != number_literal) )) (compound_statement "{\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }" { (expression_statement "iVar1 = *(int *)(param_1 + 0x14) + -1;" (assignment_expression "iVar1 = *(int *)(param_1 + 0x14) + -1" identifier = (binary_expression "*(int *)(param_1 + 0x14) + -1" (pointer_expression "*(int *)(param_1 + 0x14)" * (cast_expression "(int *)(param_1 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) )))) + number_literal)) ;) })) (return_statement "return iVar1;" return identifier ;) })))
(translation_unit "/* WARNING: Enum "anon_enum_32": Some values do not have unique names */\n\nContributionIndex InadequacyList__getShiftContributionIndex(InadequacyList *self)\n\n{\n  undefined3 extraout_var;\n  ContributionIndex CVar1;\n  _Bool _Var2;\n  uint uVar3;\n  bitset_conflict pbVar4;\n  uint uVar5;\n  \n  pbVar4 = (self->inadequacy).conflict.actions;\n  uVar5 = self->manifestingState->reductions->num;\n  uVar3 = (uVar5 >> 5) - (pbVar4->b).cindex;\n  if (uVar3 < (pbVar4->b).csize) {\n    uVar3 = (pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1;\n  }\n  else {\n    _Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5);\n    uVar3 = CONCAT31(extraout_var,_Var2);\n  }\n  CVar1 = -1;\n  if (uVar3 != 0) {\n    CVar1 = self->contributionCount + -1;\n  }\n  return CVar1;\n}\n\n" comment (function_definition "ContributionIndex InadequacyList__getShiftContributionIndex(InadequacyList *self)\n\n{\n  undefined3 extraout_var;\n  ContributionIndex CVar1;\n  _Bool _Var2;\n  uint uVar3;\n  bitset_conflict pbVar4;\n  uint uVar5;\n  \n  pbVar4 = (self->inadequacy).conflict.actions;\n  uVar5 = self->manifestingState->reductions->num;\n  uVar3 = (uVar5 >> 5) - (pbVar4->b).cindex;\n  if (uVar3 < (pbVar4->b).csize) {\n    uVar3 = (pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1;\n  }\n  else {\n    _Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5);\n    uVar3 = CONCAT31(extraout_var,_Var2);\n  }\n  CVar1 = -1;\n  if (uVar3 != 0) {\n    CVar1 = self->contributionCount + -1;\n  }\n  return CVar1;\n}" type_identifier (function_declarator "InadequacyList__getShiftContributionIndex(InadequacyList *self)" identifier (parameter_list "(InadequacyList *self)" ( (parameter_declaration "InadequacyList *self" type_identifier (pointer_declarator "*self" * identifier)) ))) (compound_statement "{\n  undefined3 extraout_var;\n  ContributionIndex CVar1;\n  _Bool _Var2;\n  uint uVar3;\n  bitset_conflict pbVar4;\n  uint uVar5;\n  \n  pbVar4 = (self->inadequacy).conflict.actions;\n  uVar5 = self->manifestingState->reductions->num;\n  uVar3 = (uVar5 >> 5) - (pbVar4->b).cindex;\n  if (uVar3 < (pbVar4->b).csize) {\n    uVar3 = (pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1;\n  }\n  else {\n    _Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5);\n    uVar3 = CONCAT31(extraout_var,_Var2);\n  }\n  CVar1 = -1;\n  if (uVar3 != 0) {\n    CVar1 = self->contributionCount + -1;\n  }\n  return CVar1;\n}" { (declaration "undefined3 extraout_var;" type_identifier identifier ;) (declaration "ContributionIndex CVar1;" type_identifier identifier ;) (declaration "_Bool _Var2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "bitset_conflict pbVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "pbVar4 = (self->inadequacy).conflict.actions;" (assignment_expression "pbVar4 = (self->inadequacy).conflict.actions" identifier = (field_expression "(self->inadequacy).conflict.actions" (field_expression "(self->inadequacy).conflict" (parenthesized_expression "(self->inadequacy)" ( (field_expression "self->inadequacy" identifier -> field_identifier) )) . field_identifier) . field_identifier)) ;) (expression_statement "uVar5 = self->manifestingState->reductions->num;" (assignment_expression "uVar5 = self->manifestingState->reductions->num" identifier = (field_expression "self->manifestingState->reductions->num" (field_expression "self->manifestingState->reductions" (field_expression "self->manifestingState" identifier -> field_identifier) -> field_identifier) -> field_identifier)) ;) (expression_statement "uVar3 = (uVar5 >> 5) - (pbVar4->b).cindex;" (assignment_expression "uVar3 = (uVar5 >> 5) - (pbVar4->b).cindex" identifier = (binary_expression "(uVar5 >> 5) - (pbVar4->b).cindex" (parenthesized_expression "(uVar5 >> 5)" ( (binary_expression "uVar5 >> 5" identifier >> number_literal) )) - (field_expression "(pbVar4->b).cindex" (parenthesized_expression "(pbVar4->b)" ( (field_expression "pbVar4->b" identifier -> field_identifier) )) . field_identifier))) ;) (if_statement "if (uVar3 < (pbVar4->b).csize) {\n    uVar3 = (pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1;\n  }\n  else {\n    _Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5);\n    uVar3 = CONCAT31(extraout_var,_Var2);\n  }" if (parenthesized_expression "(uVar3 < (pbVar4->b).csize)" ( (binary_expression "uVar3 < (pbVar4->b).csize" identifier < (field_expression "(pbVar4->b).csize" (parenthesized_expression "(pbVar4->b)" ( (field_expression "pbVar4->b" identifier -> field_identifier) )) . field_identifier)) )) (compound_statement "{\n    uVar3 = (pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1;\n  }" { (expression_statement "uVar3 = (pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1;" (assignment_expression "uVar3 = (pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1" identifier = (binary_expression "(pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f) & 1" (binary_expression "(pbVar4->b).cdata[uVar3] >> (uVar5 & 0x1f)" (subscript_expression "(pbVar4->b).cdata[uVar3]" (field_expression "(pbVar4->b).cdata" (parenthesized_expression "(pbVar4->b)" ( (field_expression "pbVar4->b" identifier -> field_identifier) )) . field_identifier) [ identifier ]) >> (parenthesized_expression "(uVar5 & 0x1f)" ( (binary_expression "uVar5 & 0x1f" identifier & number_literal) ))) & number_literal)) ;) }) (else_clause "else {\n    _Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5);\n    uVar3 = CONCAT31(extraout_var,_Var2);\n  }" else (compound_statement "{\n    _Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5);\n    uVar3 = CONCAT31(extraout_var,_Var2);\n  }" { (expression_statement "_Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5);" (assignment_expression "_Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,uVar5)" identifier = (call_expression "(*((pbVar4->b).vtable)->test)(pbVar4,uVar5)" (parenthesized_expression "(*((pbVar4->b).vtable)->test)" ( (pointer_expression "*((pbVar4->b).vtable)->test" * (field_expression "((pbVar4->b).vtable)->test" (parenthesized_expression "((pbVar4->b).vtable)" ( (field_expression "(pbVar4->b).vtable" (parenthesized_expression "(pbVar4->b)" ( (field_expression "pbVar4->b" identifier -> field_identifier) )) . field_identifier) )) -> field_identifier)) )) (argument_list "(pbVar4,uVar5)" ( identifier , identifier )))) ;) (expression_statement "uVar3 = CONCAT31(extraout_var,_Var2);" (assignment_expression "uVar3 = CONCAT31(extraout_var,_Var2)" identifier = (call_expression "CONCAT31(extraout_var,_Var2)" identifier (argument_list "(extraout_var,_Var2)" ( identifier , identifier )))) ;) }))) (expression_statement "CVar1 = -1;" (assignment_expression "CVar1 = -1" identifier = number_literal) ;) (if_statement "if (uVar3 != 0) {\n    CVar1 = self->contributionCount + -1;\n  }" if (parenthesized_expression "(uVar3 != 0)" ( (binary_expression "uVar3 != 0" identifier != number_literal) )) (compound_statement "{\n    CVar1 = self->contributionCount + -1;\n  }" { (expression_statement "CVar1 = self->contributionCount + -1;" (assignment_expression "CVar1 = self->contributionCount + -1" identifier = (binary_expression "self->contributionCount + -1" (field_expression "self->contributionCount" identifier -> field_identifier) + number_literal)) ;) })) (return_statement "return CVar1;" return identifier ;) })))
(translation_unit "int InadequacyList__getShiftContributionIndex(int param_1)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  \n  piVar3 = *(int **)(param_1 + 0x1c);\n  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);\n  uVar2 = (uVar4 >> 5) - piVar3[1];\n  if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }\n  iVar1 = -1;\n  if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }\n  return iVar1;\n}\n\n" (function_definition "int InadequacyList__getShiftContributionIndex(int param_1)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  \n  piVar3 = *(int **)(param_1 + 0x1c);\n  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);\n  uVar2 = (uVar4 >> 5) - piVar3[1];\n  if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }\n  iVar1 = -1;\n  if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }\n  return iVar1;\n}" primitive_type (function_declarator "InadequacyList__getShiftContributionIndex(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  \n  piVar3 = *(int **)(param_1 + 0x1c);\n  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);\n  uVar2 = (uVar4 >> 5) - piVar3[1];\n  if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }\n  iVar1 = -1;\n  if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }\n  return iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (expression_statement "piVar3 = *(int **)(param_1 + 0x1c);" (assignment_expression "piVar3 = *(int **)(param_1 + 0x1c)" identifier = (pointer_expression "*(int **)(param_1 + 0x1c)" * (cast_expression "(int **)(param_1 + 0x1c)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 0x1c)" ( (binary_expression "param_1 + 0x1c" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);" (assignment_expression "uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc)" identifier = (pointer_expression "**(uint **)(*(int *)(param_1 + 0x10) + 0xc)" * (pointer_expression "*(uint **)(*(int *)(param_1 + 0x10) + 0xc)" * (cast_expression "(uint **)(*(int *)(param_1 + 0x10) + 0xc)" ( (type_descriptor "uint **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(int *)(param_1 + 0x10) + 0xc)" ( (binary_expression "*(int *)(param_1 + 0x10) + 0xc" (pointer_expression "*(int *)(param_1 + 0x10)" * (cast_expression "(int *)(param_1 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x10)" ( (binary_expression "param_1 + 0x10" identifier + number_literal) )))) + number_literal) )))))) ;) (expression_statement "uVar2 = (uVar4 >> 5) - piVar3[1];" (assignment_expression "uVar2 = (uVar4 >> 5) - piVar3[1]" identifier = (binary_expression "(uVar4 >> 5) - piVar3[1]" (parenthesized_expression "(uVar4 >> 5)" ( (binary_expression "uVar4 >> 5" identifier >> number_literal) )) - (subscript_expression "piVar3[1]" identifier [ number_literal ]))) ;) (if_statement "if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" if (parenthesized_expression "(uVar2 < (uint)piVar3[2])" ( (binary_expression "uVar2 < (uint)piVar3[2]" identifier < (cast_expression "(uint)piVar3[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "piVar3[2]" identifier [ number_literal ]))) )) (compound_statement "{\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }" { (expression_statement "uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;" (assignment_expression "uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1" identifier = (binary_expression "*(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1" (binary_expression "*(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f)" (pointer_expression "*(uint *)(piVar3[3] + uVar2 * 4)" * (cast_expression "(uint *)(piVar3[3] + uVar2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(piVar3[3] + uVar2 * 4)" ( (binary_expression "piVar3[3] + uVar2 * 4" (subscript_expression "piVar3[3]" identifier [ number_literal ]) + (binary_expression "uVar2 * 4" identifier * number_literal)) )))) >> (parenthesized_expression "(uVar4 & 0x1f)" ( (binary_expression "uVar4 & 0x1f" identifier & number_literal) ))) & number_literal)) ;) }) (else_clause "else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" else (compound_statement "{\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" { (expression_statement "uVar2 = (**(code **)(*piVar3 + 0xc))();" (assignment_expression "uVar2 = (**(code **)(*piVar3 + 0xc))()" identifier = (call_expression "(**(code **)(*piVar3 + 0xc))()" (parenthesized_expression "(**(code **)(*piVar3 + 0xc))" ( (pointer_expression "**(code **)(*piVar3 + 0xc)" * (pointer_expression "*(code **)(*piVar3 + 0xc)" * (cast_expression "(code **)(*piVar3 + 0xc)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*piVar3 + 0xc)" ( (binary_expression "*piVar3 + 0xc" (pointer_expression "*piVar3" * identifier) + number_literal) ))))) )) (argument_list "()" ( )))) ;) }))) (expression_statement "iVar1 = -1;" (assignment_expression "iVar1 = -1" identifier = number_literal) ;) (if_statement "if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }" if (parenthesized_expression "(uVar2 != 0)" ( (binary_expression "uVar2 != 0" identifier != number_literal) )) (compound_statement "{\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }" { (expression_statement "iVar1 = *(int *)(param_1 + 0x14) + -1;" (assignment_expression "iVar1 = *(int *)(param_1 + 0x14) + -1" identifier = (binary_expression "*(int *)(param_1 + 0x14) + -1" (pointer_expression "*(int *)(param_1 + 0x14)" * (cast_expression "(int *)(param_1 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) )))) + number_literal)) ;) })) (return_statement "return iVar1;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) )))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) - (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) + (binary_expression IDENT * LIT)) )))) >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) & LIT)) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + LIT) ))))) )) (argument_list ( )))) ;) }))) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT)) ;) })) (return_statement return IDENT ;) })))
(function_definition "int InadequacyList__getShiftContributionIndex(int param_1)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  \n  piVar3 = *(int **)(param_1 + 0x1c);\n  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);\n  uVar2 = (uVar4 >> 5) - piVar3[1];\n  if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }\n  iVar1 = -1;\n  if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }\n  return iVar1;\n}" (primitive_type "int") (function_declarator "InadequacyList__getShiftContributionIndex(int param_1)" (identifier "InadequacyList__getShiftContributionIndex") (parameter_list "(int param_1)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) () ")"))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  uint uVar4;\n  \n  piVar3 = *(int **)(param_1 + 0x1c);\n  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);\n  uVar2 = (uVar4 >> 5) - piVar3[1];\n  if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }\n  iVar1 = -1;\n  if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }\n  return iVar1;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int *piVar3;" (primitive_type "int") (pointer_declarator "*piVar3" (* "*") (identifier "piVar3")) (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (expression_statement "piVar3 = *(int **)(param_1 + 0x1c);" (assignment_expression "piVar3 = *(int **)(param_1 + 0x1c)" (identifier "piVar3") (= "=") (pointer_expression "*(int **)(param_1 + 0x1c)" (* "*") (cast_expression "(int **)(param_1 + 0x1c)" (( "(") (type_descriptor "int **" (primitive_type "int") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_1 + 0x1c)" (( "(") (binary_expression "param_1 + 0x1c" (identifier "param_1") (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (expression_statement "uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);" (assignment_expression "uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc)" (identifier "uVar4") (= "=") (pointer_expression "**(uint **)(*(int *)(param_1 + 0x10) + 0xc)" (* "*") (pointer_expression "*(uint **)(*(int *)(param_1 + 0x10) + 0xc)" (* "*") (cast_expression "(uint **)(*(int *)(param_1 + 0x10) + 0xc)" (( "(") (type_descriptor "uint **" (type_identifier "uint") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*(int *)(param_1 + 0x10) + 0xc)" (( "(") (binary_expression "*(int *)(param_1 + 0x10) + 0xc" (pointer_expression "*(int *)(param_1 + 0x10)" (* "*") (cast_expression "(int *)(param_1 + 0x10)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x10)" (( "(") (binary_expression "param_1 + 0x10" (identifier "param_1") (+ "+") (number_literal "0x10")) () ")")))) (+ "+") (number_literal "0xc")) () ")")))))) (; ";")) (expression_statement "uVar2 = (uVar4 >> 5) - piVar3[1];" (assignment_expression "uVar2 = (uVar4 >> 5) - piVar3[1]" (identifier "uVar2") (= "=") (binary_expression "(uVar4 >> 5) - piVar3[1]" (parenthesized_expression "(uVar4 >> 5)" (( "(") (binary_expression "uVar4 >> 5" (identifier "uVar4") (>> ">>") (number_literal "5")) () ")")) (- "-") (subscript_expression "piVar3[1]" (identifier "piVar3") ([ "[") (number_literal "1") (] "]")))) (; ";")) (if_statement "if (uVar2 < (uint)piVar3[2]) {\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }\n  else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" (if "if") (parenthesized_expression "(uVar2 < (uint)piVar3[2])" (( "(") (binary_expression "uVar2 < (uint)piVar3[2]" (identifier "uVar2") (< "<") (cast_expression "(uint)piVar3[2]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "piVar3[2]" (identifier "piVar3") ([ "[") (number_literal "2") (] "]")))) () ")")) (compound_statement "{\n    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;\n  }" ({ "{") (expression_statement "uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;" (assignment_expression "uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1" (identifier "uVar2") (= "=") (binary_expression "*(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1" (binary_expression "*(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f)" (pointer_expression "*(uint *)(piVar3[3] + uVar2 * 4)" (* "*") (cast_expression "(uint *)(piVar3[3] + uVar2 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(piVar3[3] + uVar2 * 4)" (( "(") (binary_expression "piVar3[3] + uVar2 * 4" (subscript_expression "piVar3[3]" (identifier "piVar3") ([ "[") (number_literal "3") (] "]")) (+ "+") (binary_expression "uVar2 * 4" (identifier "uVar2") (* "*") (number_literal "4"))) () ")")))) (>> ">>") (parenthesized_expression "(uVar4 & 0x1f)" (( "(") (binary_expression "uVar4 & 0x1f" (identifier "uVar4") (& "&") (number_literal "0x1f")) () ")"))) (& "&") (number_literal "1"))) (; ";")) (} "}")) (else_clause "else {\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" (else "else") (compound_statement "{\n    uVar2 = (**(code **)(*piVar3 + 0xc))();\n  }" ({ "{") (expression_statement "uVar2 = (**(code **)(*piVar3 + 0xc))();" (assignment_expression "uVar2 = (**(code **)(*piVar3 + 0xc))()" (identifier "uVar2") (= "=") (call_expression "(**(code **)(*piVar3 + 0xc))()" (parenthesized_expression "(**(code **)(*piVar3 + 0xc))" (( "(") (pointer_expression "**(code **)(*piVar3 + 0xc)" (* "*") (pointer_expression "*(code **)(*piVar3 + 0xc)" (* "*") (cast_expression "(code **)(*piVar3 + 0xc)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*piVar3 + 0xc)" (( "(") (binary_expression "*piVar3 + 0xc" (pointer_expression "*piVar3" (* "*") (identifier "piVar3")) (+ "+") (number_literal "0xc")) () ")"))))) () ")")) (argument_list "()" (( "(") () ")")))) (; ";")) (} "}")))) (expression_statement "iVar1 = -1;" (assignment_expression "iVar1 = -1" (identifier "iVar1") (= "=") (number_literal "-1")) (; ";")) (if_statement "if (uVar2 != 0) {\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }" (if "if") (parenthesized_expression "(uVar2 != 0)" (( "(") (binary_expression "uVar2 != 0" (identifier "uVar2") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    iVar1 = *(int *)(param_1 + 0x14) + -1;\n  }" ({ "{") (expression_statement "iVar1 = *(int *)(param_1 + 0x14) + -1;" (assignment_expression "iVar1 = *(int *)(param_1 + 0x14) + -1" (identifier "iVar1") (= "=") (binary_expression "*(int *)(param_1 + 0x14) + -1" (pointer_expression "*(int *)(param_1 + 0x14)" (* "*") (cast_expression "(int *)(param_1 + 0x14)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x14)" (( "(") (binary_expression "param_1 + 0x14" (identifier "param_1") (+ "+") (number_literal "0x14")) () ")")))) (+ "+") (number_literal "-1"))) (; ";")) (} "}"))) (return_statement "return iVar1;" (return "return") (identifier "iVar1") (; ";")) (} "}")))

/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

type_1 function_1(type_2 *self)

{
  type_3 extraout_var;
  type_1 CVar1;
  type_4 _Var2;
  type_5 var_2;
  type_6 pbVar4;
  type_5 var_1;
  
  pbVar4 = (self->inadequacy).conflict.actions;
  var_1 = self->manifestingState->reductions->num;
  var_2 = (var_1 >> 5) - (pbVar4->b).cindex;
  if (var_2 < (pbVar4->b).csize) {
    var_2 = (pbVar4->b).cdata[var_2] >> (var_1 & 0x1f) & 1;
  }
  else {
    _Var2 = (*((pbVar4->b).vtable)->test)(pbVar4,var_1);
    var_2 = var_3(extraout_var,_Var2);
  }
  CVar1 = -1;
  if (var_2 != 0) {
    CVar1 = self->contributionCount + -1;
  }
  return CVar1;
}


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

int MASKED(int param_1)

{
  int iVar1;
  uint uVar2;
  int *piVar3;
  uint uVar4;
  
  piVar3 = *(int **)(param_1 + 0x1c);
  uVar4 = **(uint **)(*(int *)(param_1 + 0x10) + 0xc);
  uVar2 = (uVar4 >> 5) - piVar3[1];
  if (uVar2 < (uint)piVar3[2]) {
    uVar2 = *(uint *)(piVar3[3] + uVar2 * 4) >> (uVar4 & 0x1f) & 1;
  }
  else {
    uVar2 = (**(code **)(*piVar3 + 0xc))();
  }
  iVar1 = -1;
  if (uVar2 != 0) {
    iVar1 = *(int *)(param_1 + 0x14) + -1;
  }
  return iVar1;
}

