
/* WARNING: Unknown calling convention */

int toplevel_callback_pending(void)

{
  if (*(int *)PTR_cbcurr_000b52f4 != 0) {
    return 1;
  }
  return (uint)(*(int *)PTR_cbhead_000b52ec != 0);
}



bool toplevel_callback_pending(void)

{
  if (*(int *)PTR_cbcurr_000b52f4 != 0) {
    return true;
  }
  return *(int *)PTR_cbhead_000b52ec != 0;
}


lui gp,0xa
addiu gp,gp,-0xe3c
addu gp,gp,t9
lw v0,-0x7edc(gp)
lw v0,0x0(v0)
beq v0,zero,0x0001e030
_nop
jr ra
_li v0,0x1
lw v0,-0x7ee4(gp)
lw v0,0x0(v0)
jr ra
_sltu v0,zero,v0
(translation_unit "bool toplevel_callback_pending(void)\n\n{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }\n  return *(int *)PTR_cbhead_000b52ec != 0;\n}\n\n" (function_definition "bool toplevel_callback_pending(void)\n\n{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }\n  return *(int *)PTR_cbhead_000b52ec != 0;\n}" primitive_type (function_declarator "toplevel_callback_pending(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }\n  return *(int *)PTR_cbhead_000b52ec != 0;\n}" { (if_statement "if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }" if (parenthesized_expression "(*(int *)PTR_cbcurr_000b52f4 != 0)" ( (binary_expression "*(int *)PTR_cbcurr_000b52f4 != 0" (pointer_expression "*(int *)PTR_cbcurr_000b52f4" * (cast_expression "(int *)PTR_cbcurr_000b52f4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) )) (compound_statement "{\n    return true;\n  }" { (return_statement "return true;" return true ;) })) (return_statement "return *(int *)PTR_cbhead_000b52ec != 0;" return (binary_expression "*(int *)PTR_cbhead_000b52ec != 0" (pointer_expression "*(int *)PTR_cbhead_000b52ec" * (cast_expression "(int *)PTR_cbhead_000b52ec" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nint toplevel_callback_pending(void)\n\n{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return 1;\n  }\n  return (uint)(*(int *)PTR_cbhead_000b52ec != 0);\n}\n\n" comment (function_definition "int toplevel_callback_pending(void)\n\n{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return 1;\n  }\n  return (uint)(*(int *)PTR_cbhead_000b52ec != 0);\n}" primitive_type (function_declarator "toplevel_callback_pending(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return 1;\n  }\n  return (uint)(*(int *)PTR_cbhead_000b52ec != 0);\n}" { (if_statement "if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return 1;\n  }" if (parenthesized_expression "(*(int *)PTR_cbcurr_000b52f4 != 0)" ( (binary_expression "*(int *)PTR_cbcurr_000b52f4 != 0" (pointer_expression "*(int *)PTR_cbcurr_000b52f4" * (cast_expression "(int *)PTR_cbcurr_000b52f4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) )) (compound_statement "{\n    return 1;\n  }" { (return_statement "return 1;" return number_literal ;) })) (return_statement "return (uint)(*(int *)PTR_cbhead_000b52ec != 0);" return (call_expression "(uint)(*(int *)PTR_cbhead_000b52ec != 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*(int *)PTR_cbhead_000b52ec != 0)" ( (binary_expression "*(int *)PTR_cbhead_000b52ec != 0" (pointer_expression "*(int *)PTR_cbhead_000b52ec" * (cast_expression "(int *)PTR_cbhead_000b52ec" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) ))) ;) })))
(translation_unit "bool toplevel_callback_pending(void)\n\n{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }\n  return *(int *)PTR_cbhead_000b52ec != 0;\n}\n\n" (function_definition "bool toplevel_callback_pending(void)\n\n{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }\n  return *(int *)PTR_cbhead_000b52ec != 0;\n}" primitive_type (function_declarator "toplevel_callback_pending(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }\n  return *(int *)PTR_cbhead_000b52ec != 0;\n}" { (if_statement "if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }" if (parenthesized_expression "(*(int *)PTR_cbcurr_000b52f4 != 0)" ( (binary_expression "*(int *)PTR_cbcurr_000b52f4 != 0" (pointer_expression "*(int *)PTR_cbcurr_000b52f4" * (cast_expression "(int *)PTR_cbcurr_000b52f4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) )) (compound_statement "{\n    return true;\n  }" { (return_statement "return true;" return true ;) })) (return_statement "return *(int *)PTR_cbhead_000b52ec != 0;" return (binary_expression "*(int *)PTR_cbhead_000b52ec != 0" (pointer_expression "*(int *)PTR_cbhead_000b52ec" * (cast_expression "(int *)PTR_cbhead_000b52ec" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) != LIT) )) (compound_statement { (return_statement return BOOL ;) })) (return_statement return (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) != LIT) ;) })))
(function_definition "bool toplevel_callback_pending(void)\n\n{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }\n  return *(int *)PTR_cbhead_000b52ec != 0;\n}" (primitive_type "bool") (function_declarator "toplevel_callback_pending(void)" (identifier "toplevel_callback_pending") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }\n  return *(int *)PTR_cbhead_000b52ec != 0;\n}" ({ "{") (if_statement "if (*(int *)PTR_cbcurr_000b52f4 != 0) {\n    return true;\n  }" (if "if") (parenthesized_expression "(*(int *)PTR_cbcurr_000b52f4 != 0)" (( "(") (binary_expression "*(int *)PTR_cbcurr_000b52f4 != 0" (pointer_expression "*(int *)PTR_cbcurr_000b52f4" (* "*") (cast_expression "(int *)PTR_cbcurr_000b52f4" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_cbcurr_000b52f4"))) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    return true;\n  }" ({ "{") (return_statement "return true;" (return "return") (true "true") (; ";")) (} "}"))) (return_statement "return *(int *)PTR_cbhead_000b52ec != 0;" (return "return") (binary_expression "*(int *)PTR_cbhead_000b52ec != 0" (pointer_expression "*(int *)PTR_cbhead_000b52ec" (* "*") (cast_expression "(int *)PTR_cbhead_000b52ec" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_cbhead_000b52ec"))) (!= "!=") (number_literal "0")) (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

int function_1(void)

{
  if (*(int *)PTR_cbcurr_000b52f4 != 0) {
    return 1;
  }
  return (uint)(*(int *)PTR_cbhead_000b52ec != 0);
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (number_literal))) consequence: (compound_statement (return_statement (true)))) (return_statement (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (number_literal))))))

bool MASKED(void)

{
  if (*(int *)PTR_cbcurr_000b52f4 != 0) {
    return true;
  }
  return *(int *)PTR_cbhead_000b52ec != 0;
}

