
/* WARNING: Unknown calling convention */

char * s390_target_format(void)

{
  if (s390_arch_size == 0) {
    s390_arch_size = 0x40;
    if (current_mode_mask != 0) goto LAB_0013201e;
LAB_00132034:
    current_mode_mask = (1 < current_cpu) + 1;
  }
  else if (current_mode_mask == 0) goto LAB_00132034;
  if (s390_arch_size != 0x40) {
    return "elf32-s390";
  }
LAB_0013201e:
  return "elf64-s390";
}



char * FUN_00132000(void)

{
  if (DAT_00174664 == 0) {
    DAT_00174664 = 0x40;
    if (DAT_00174660 != 0) goto LAB_0013201e;
LAB_00132034:
    DAT_00174660 = (1 < DAT_0016b714) + 1;
  }
  else if (DAT_00174660 == 0) goto LAB_00132034;
  if (DAT_00174664 != 0x40) {
    return "elf32-s390";
  }
LAB_0013201e:
  return "elf64-s390";
}


MOV EDX,dword ptr [0x00174664]
MOV EAX,dword ptr [0x00174660]
TEST EDX,EDX
JNZ 0x00132030
MOV dword ptr [0x00174664],0x40
TEST EAX,EAX
JZ 0x00132060
LEA RAX,[0x1408dc]
RET
TEST EAX,EAX
JNZ 0x00132049
XOR EAX,EAX
CMP dword ptr [0x0016b714],0x1
SETA AL
ADD EAX,0x1
MOV dword ptr [0x00174660],EAX
LEA RAX,[0x1408e7]
CMP EDX,0x40
JZ 0x0013201e
RET
MOV EDX,0x40
JMP 0x00132034
(translation_unit "char * FUN_00132000(void)\n\n{\n  if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;\n  if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}\n\n" (function_definition "char * FUN_00132000(void)\n\n{\n  if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;\n  if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}" primitive_type (pointer_declarator "* FUN_00132000(void)" * (function_declarator "FUN_00132000(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) )))) (compound_statement "{\n  if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;\n  if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}" { (if_statement "if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;" if (parenthesized_expression "(DAT_00174664 == 0)" ( (binary_expression "DAT_00174664 == 0" identifier == number_literal) )) (compound_statement "{\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }" { (expression_statement "DAT_00174664 = 0x40;" (assignment_expression "DAT_00174664 = 0x40" identifier = number_literal) ;) (if_statement "if (DAT_00174660 != 0) goto LAB_0013201e;" if (parenthesized_expression "(DAT_00174660 != 0)" ( (binary_expression "DAT_00174660 != 0" identifier != number_literal) )) (goto_statement "goto LAB_0013201e;" goto statement_identifier ;)) (labeled_statement "LAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;" statement_identifier : (expression_statement "DAT_00174660 = (1 < DAT_0016b714) + 1;" (assignment_expression "DAT_00174660 = (1 < DAT_0016b714) + 1" identifier = (binary_expression "(1 < DAT_0016b714) + 1" (parenthesized_expression "(1 < DAT_0016b714)" ( (binary_expression "1 < DAT_0016b714" number_literal < identifier) )) + number_literal)) ;)) }) (else_clause "else if (DAT_00174660 == 0) goto LAB_00132034;" else (if_statement "if (DAT_00174660 == 0) goto LAB_00132034;" if (parenthesized_expression "(DAT_00174660 == 0)" ( (binary_expression "DAT_00174660 == 0" identifier == number_literal) )) (goto_statement "goto LAB_00132034;" goto statement_identifier ;)))) (if_statement "if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }" if (parenthesized_expression "(DAT_00174664 != 0x40)" ( (binary_expression "DAT_00174664 != 0x40" identifier != number_literal) )) (compound_statement "{\n    return "elf32-s390";\n  }" { (return_statement "return "elf32-s390";" return (string_literal ""elf32-s390"" " string_content ") ;) })) (labeled_statement "LAB_0013201e:\n  return "elf64-s390";" statement_identifier : (return_statement "return "elf64-s390";" return (string_literal ""elf64-s390"" " string_content ") ;)) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nchar * s390_target_format(void)\n\n{\n  if (s390_arch_size == 0) {\n    s390_arch_size = 0x40;\n    if (current_mode_mask != 0) goto LAB_0013201e;\nLAB_00132034:\n    current_mode_mask = (1 < current_cpu) + 1;\n  }\n  else if (current_mode_mask == 0) goto LAB_00132034;\n  if (s390_arch_size != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}\n\n" comment (function_definition "char * s390_target_format(void)\n\n{\n  if (s390_arch_size == 0) {\n    s390_arch_size = 0x40;\n    if (current_mode_mask != 0) goto LAB_0013201e;\nLAB_00132034:\n    current_mode_mask = (1 < current_cpu) + 1;\n  }\n  else if (current_mode_mask == 0) goto LAB_00132034;\n  if (s390_arch_size != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}" primitive_type (pointer_declarator "* s390_target_format(void)" * (function_declarator "s390_target_format(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) )))) (compound_statement "{\n  if (s390_arch_size == 0) {\n    s390_arch_size = 0x40;\n    if (current_mode_mask != 0) goto LAB_0013201e;\nLAB_00132034:\n    current_mode_mask = (1 < current_cpu) + 1;\n  }\n  else if (current_mode_mask == 0) goto LAB_00132034;\n  if (s390_arch_size != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}" { (if_statement "if (s390_arch_size == 0) {\n    s390_arch_size = 0x40;\n    if (current_mode_mask != 0) goto LAB_0013201e;\nLAB_00132034:\n    current_mode_mask = (1 < current_cpu) + 1;\n  }\n  else if (current_mode_mask == 0) goto LAB_00132034;" if (parenthesized_expression "(s390_arch_size == 0)" ( (binary_expression "s390_arch_size == 0" identifier == number_literal) )) (compound_statement "{\n    s390_arch_size = 0x40;\n    if (current_mode_mask != 0) goto LAB_0013201e;\nLAB_00132034:\n    current_mode_mask = (1 < current_cpu) + 1;\n  }" { (expression_statement "s390_arch_size = 0x40;" (assignment_expression "s390_arch_size = 0x40" identifier = number_literal) ;) (if_statement "if (current_mode_mask != 0) goto LAB_0013201e;" if (parenthesized_expression "(current_mode_mask != 0)" ( (binary_expression "current_mode_mask != 0" identifier != number_literal) )) (goto_statement "goto LAB_0013201e;" goto statement_identifier ;)) (labeled_statement "LAB_00132034:\n    current_mode_mask = (1 < current_cpu) + 1;" statement_identifier : (expression_statement "current_mode_mask = (1 < current_cpu) + 1;" (assignment_expression "current_mode_mask = (1 < current_cpu) + 1" identifier = (binary_expression "(1 < current_cpu) + 1" (parenthesized_expression "(1 < current_cpu)" ( (binary_expression "1 < current_cpu" number_literal < identifier) )) + number_literal)) ;)) }) (else_clause "else if (current_mode_mask == 0) goto LAB_00132034;" else (if_statement "if (current_mode_mask == 0) goto LAB_00132034;" if (parenthesized_expression "(current_mode_mask == 0)" ( (binary_expression "current_mode_mask == 0" identifier == number_literal) )) (goto_statement "goto LAB_00132034;" goto statement_identifier ;)))) (if_statement "if (s390_arch_size != 0x40) {\n    return "elf32-s390";\n  }" if (parenthesized_expression "(s390_arch_size != 0x40)" ( (binary_expression "s390_arch_size != 0x40" identifier != number_literal) )) (compound_statement "{\n    return "elf32-s390";\n  }" { (return_statement "return "elf32-s390";" return (string_literal ""elf32-s390"" " string_content ") ;) })) (labeled_statement "LAB_0013201e:\n  return "elf64-s390";" statement_identifier : (return_statement "return "elf64-s390";" return (string_literal ""elf64-s390"" " string_content ") ;)) })))
(translation_unit "char * FUN_00132000(void)\n\n{\n  if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;\n  if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}\n\n" (function_definition "char * FUN_00132000(void)\n\n{\n  if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;\n  if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}" primitive_type (pointer_declarator "* FUN_00132000(void)" * (function_declarator "FUN_00132000(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) )))) (compound_statement "{\n  if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;\n  if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}" { (if_statement "if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;" if (parenthesized_expression "(DAT_00174664 == 0)" ( (binary_expression "DAT_00174664 == 0" identifier == number_literal) )) (compound_statement "{\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }" { (expression_statement "DAT_00174664 = 0x40;" (assignment_expression "DAT_00174664 = 0x40" identifier = number_literal) ;) (if_statement "if (DAT_00174660 != 0) goto LAB_0013201e;" if (parenthesized_expression "(DAT_00174660 != 0)" ( (binary_expression "DAT_00174660 != 0" identifier != number_literal) )) (goto_statement "goto LAB_0013201e;" goto statement_identifier ;)) (labeled_statement "LAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;" statement_identifier : (expression_statement "DAT_00174660 = (1 < DAT_0016b714) + 1;" (assignment_expression "DAT_00174660 = (1 < DAT_0016b714) + 1" identifier = (binary_expression "(1 < DAT_0016b714) + 1" (parenthesized_expression "(1 < DAT_0016b714)" ( (binary_expression "1 < DAT_0016b714" number_literal < identifier) )) + number_literal)) ;)) }) (else_clause "else if (DAT_00174660 == 0) goto LAB_00132034;" else (if_statement "if (DAT_00174660 == 0) goto LAB_00132034;" if (parenthesized_expression "(DAT_00174660 == 0)" ( (binary_expression "DAT_00174660 == 0" identifier == number_literal) )) (goto_statement "goto LAB_00132034;" goto statement_identifier ;)))) (if_statement "if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }" if (parenthesized_expression "(DAT_00174664 != 0x40)" ( (binary_expression "DAT_00174664 != 0x40" identifier != number_literal) )) (compound_statement "{\n    return "elf32-s390";\n  }" { (return_statement "return "elf32-s390";" return (string_literal ""elf32-s390"" " string_content ") ;) })) (labeled_statement "LAB_0013201e:\n  return "elf64-s390";" statement_identifier : (return_statement "return "elf64-s390";" return (string_literal ""elf64-s390"" " string_content ") ;)) })))
(translation_unit (function_definition TYPE (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) )))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression LIT < IDENT) )) + LIT)) ;)) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)))) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return (string_literal " string_content ") ;) })) (labeled_statement statement_identifier : (return_statement return (string_literal " string_content ") ;)) })))
(function_definition "char * FUN_00132000(void)\n\n{\n  if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;\n  if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}" (primitive_type "char") (pointer_declarator "* FUN_00132000(void)" (* "*") (function_declarator "FUN_00132000(void)" (identifier "FUN_00132000") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")")))) (compound_statement "{\n  if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;\n  if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }\nLAB_0013201e:\n  return "elf64-s390";\n}" ({ "{") (if_statement "if (DAT_00174664 == 0) {\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }\n  else if (DAT_00174660 == 0) goto LAB_00132034;" (if "if") (parenthesized_expression "(DAT_00174664 == 0)" (( "(") (binary_expression "DAT_00174664 == 0" (identifier "DAT_00174664") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    DAT_00174664 = 0x40;\n    if (DAT_00174660 != 0) goto LAB_0013201e;\nLAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;\n  }" ({ "{") (expression_statement "DAT_00174664 = 0x40;" (assignment_expression "DAT_00174664 = 0x40" (identifier "DAT_00174664") (= "=") (number_literal "0x40")) (; ";")) (if_statement "if (DAT_00174660 != 0) goto LAB_0013201e;" (if "if") (parenthesized_expression "(DAT_00174660 != 0)" (( "(") (binary_expression "DAT_00174660 != 0" (identifier "DAT_00174660") (!= "!=") (number_literal "0")) () ")")) (goto_statement "goto LAB_0013201e;" (goto "goto") (statement_identifier "LAB_0013201e") (; ";"))) (labeled_statement "LAB_00132034:\n    DAT_00174660 = (1 < DAT_0016b714) + 1;" (statement_identifier "LAB_00132034") (: ":") (expression_statement "DAT_00174660 = (1 < DAT_0016b714) + 1;" (assignment_expression "DAT_00174660 = (1 < DAT_0016b714) + 1" (identifier "DAT_00174660") (= "=") (binary_expression "(1 < DAT_0016b714) + 1" (parenthesized_expression "(1 < DAT_0016b714)" (( "(") (binary_expression "1 < DAT_0016b714" (number_literal "1") (< "<") (identifier "DAT_0016b714")) () ")")) (+ "+") (number_literal "1"))) (; ";"))) (} "}")) (else_clause "else if (DAT_00174660 == 0) goto LAB_00132034;" (else "else") (if_statement "if (DAT_00174660 == 0) goto LAB_00132034;" (if "if") (parenthesized_expression "(DAT_00174660 == 0)" (( "(") (binary_expression "DAT_00174660 == 0" (identifier "DAT_00174660") (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_00132034;" (goto "goto") (statement_identifier "LAB_00132034") (; ";"))))) (if_statement "if (DAT_00174664 != 0x40) {\n    return "elf32-s390";\n  }" (if "if") (parenthesized_expression "(DAT_00174664 != 0x40)" (( "(") (binary_expression "DAT_00174664 != 0x40" (identifier "DAT_00174664") (!= "!=") (number_literal "0x40")) () ")")) (compound_statement "{\n    return "elf32-s390";\n  }" ({ "{") (return_statement "return "elf32-s390";" (return "return") (string_literal ""elf32-s390"" (" """) (string_content "elf32-s390") (" """)) (; ";")) (} "}"))) (labeled_statement "LAB_0013201e:\n  return "elf64-s390";" (statement_identifier "LAB_0013201e") (: ":") (return_statement "return "elf64-s390";" (return "return") (string_literal ""elf64-s390"" (" """) (string_content "elf64-s390") (" """)) (; ";"))) (} "}")))

/* WARNING: Unknown calling convention */

char * function_1(void)

{
  if (var_1 == 0) {
    var_1 = 0x40;
    if (var_2 != 0) goto LAB_0013201e;
LAB_00132034:
    var_2 = (1 < var_3) + 1;
  }
  else if (var_2 == 0) goto LAB_00132034;
  if (var_1 != 0x40) {
    return "elf32-s390";
  }
LAB_0013201e:
  return "elf64-s390";
}


(translation_unit (function_definition type: (primitive_type) declarator: (pointer_declarator declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type))))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) right: (number_literal)))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (string_literal (string_content))))) (labeled_statement label: (statement_identifier) (return_statement (string_literal (string_content)))))))

char * MASKED(void)

{
  if (DAT_00174664 == 0) {
    DAT_00174664 = 0x40;
    if (DAT_00174660 != 0) goto LAB_0013201e;
LAB_00132034:
    DAT_00174660 = (1 < DAT_0016b714) + 1;
  }
  else if (DAT_00174660 == 0) goto LAB_00132034;
  if (DAT_00174664 != 0x40) {
    return "elf32-s390";
  }
LAB_0013201e:
  return "elf64-s390";
}

