
/* WARNING: Unknown calling convention */
/* DWARF original name: rvalue_checkup<0, 16> */

bool gold::rvalue_checkup<0,_16>(int64_t x)

{
  return x._4_4_ == 0 && (uint)(0xffff < (uint)x) <= (uint)-x._4_4_;
}



undefined4 FUN_0020d1f0(uint param_1,int param_2)

{
  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),
                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);
}


MOV EAX,0xffff
CMP EAX,dword ptr [ESP + 0x4]
MOV EAX,0x0
SBB EAX,dword ptr [ESP + 0x8]
SETNC AL
RET
(translation_unit "undefined4 FUN_0020d1f0(uint param_1,int param_2)\n\n{\n  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);\n}\n\n" (function_definition "undefined4 FUN_0020d1f0(uint param_1,int param_2)\n\n{\n  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);\n}" type_identifier (function_declarator "FUN_0020d1f0(uint param_1,int param_2)" identifier (parameter_list "(uint param_1,int param_2)" ( (parameter_declaration "uint param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);\n}" { (return_statement "return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);" return (call_expression "CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2)" identifier (argument_list "((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2)" ( (call_expression "(int3)(-param_2 - (uint)(0xffff < param_1) >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "(-param_2 - (uint)(0xffff < param_1) >> 8)" ( (binary_expression "-param_2 - (uint)(0xffff < param_1) >> 8" (binary_expression "-param_2 - (uint)(0xffff < param_1)" (unary_expression "-param_2" - identifier) - (call_expression "(uint)(0xffff < param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0xffff < param_1)" ( (binary_expression "0xffff < param_1" number_literal < identifier) )))) >> number_literal) ))) , (binary_expression "param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2" (binary_expression "param_2 == 0" identifier == number_literal) && (binary_expression "(uint)(0xffff < param_1) <= (uint)-param_2" (call_expression "(uint)(0xffff < param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0xffff < param_1)" ( (binary_expression "0xffff < param_1" number_literal < identifier) ))) <= (binary_expression "(uint)-param_2" (parenthesized_expression "(uint)" ( identifier )) - identifier))) ))) ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n/* DWARF original name: rvalue_checkup<0, 16> */\n\nbool gold::rvalue_checkup<0,_16>(int64_t x)\n\n{\n  return x._4_4_ == 0 && (uint)(0xffff < (uint)x) <= (uint)-x._4_4_;\n}\n\n" comment comment (ERROR "bool gold::rvalue_checkup<0,_16>(int64_t x)" primitive_type (ERROR "gold::" identifier : :) identifier (ERROR "<0" < number_literal) , identifier > ( primitive_type identifier )) (compound_statement "{\n  return x._4_4_ == 0 && (uint)(0xffff < (uint)x) <= (uint)-x._4_4_;\n}" { (return_statement "return x._4_4_ == 0 && (uint)(0xffff < (uint)x) <= (uint)-x._4_4_;" return (binary_expression "x._4_4_ == 0 && (uint)(0xffff < (uint)x) <= (uint)-x._4_4_" (binary_expression "x._4_4_ == 0" (field_expression "x._4_4_" identifier . field_identifier) == number_literal) && (binary_expression "(uint)(0xffff < (uint)x) <= (uint)-x._4_4_" (call_expression "(uint)(0xffff < (uint)x)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0xffff < (uint)x)" ( (binary_expression "0xffff < (uint)x" number_literal < (cast_expression "(uint)x" ( (type_descriptor "uint" type_identifier) ) identifier)) ))) <= (binary_expression "(uint)-x._4_4_" (parenthesized_expression "(uint)" ( identifier )) - (field_expression "x._4_4_" identifier . field_identifier)))) ;) }))
(translation_unit "undefined4 FUN_0020d1f0(uint param_1,int param_2)\n\n{\n  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);\n}\n\n" (function_definition "undefined4 FUN_0020d1f0(uint param_1,int param_2)\n\n{\n  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);\n}" type_identifier (function_declarator "FUN_0020d1f0(uint param_1,int param_2)" identifier (parameter_list "(uint param_1,int param_2)" ( (parameter_declaration "uint param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);\n}" { (return_statement "return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);" return (call_expression "CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2)" identifier (argument_list "((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2)" ( (call_expression "(int3)(-param_2 - (uint)(0xffff < param_1) >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "(-param_2 - (uint)(0xffff < param_1) >> 8)" ( (binary_expression "-param_2 - (uint)(0xffff < param_1) >> 8" (binary_expression "-param_2 - (uint)(0xffff < param_1)" (unary_expression "-param_2" - identifier) - (call_expression "(uint)(0xffff < param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0xffff < param_1)" ( (binary_expression "0xffff < param_1" number_literal < identifier) )))) >> number_literal) ))) , (binary_expression "param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2" (binary_expression "param_2 == 0" identifier == number_literal) && (binary_expression "(uint)(0xffff < param_1) <= (uint)-param_2" (call_expression "(uint)(0xffff < param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0xffff < param_1)" ( (binary_expression "0xffff < param_1" number_literal < identifier) ))) <= (binary_expression "(uint)-param_2" (parenthesized_expression "(uint)" ( identifier )) - identifier))) ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (return_statement return (call_expression IDENT (argument_list ( (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression (unary_expression - IDENT) - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression LIT < IDENT) )))) >> LIT) ))) , (binary_expression (binary_expression IDENT == LIT) && (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression LIT < IDENT) ))) <= (binary_expression (parenthesized_expression ( IDENT )) - IDENT))) ))) ;) })))
(function_definition "undefined4 FUN_0020d1f0(uint param_1,int param_2)\n\n{\n  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);\n}" (type_identifier "undefined4") (function_declarator "FUN_0020d1f0(uint param_1,int param_2)" (identifier "FUN_0020d1f0") (parameter_list "(uint param_1,int param_2)" (( "(") (parameter_declaration "uint param_1" (type_identifier "uint") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);\n}" ({ "{") (return_statement "return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);" (return "return") (call_expression "CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2)" (identifier "CONCAT31") (argument_list "((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),\n                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2)" (( "(") (call_expression "(int3)(-param_2 - (uint)(0xffff < param_1) >> 8)" (parenthesized_expression "(int3)" (( "(") (identifier "int3") () ")")) (argument_list "(-param_2 - (uint)(0xffff < param_1) >> 8)" (( "(") (binary_expression "-param_2 - (uint)(0xffff < param_1) >> 8" (binary_expression "-param_2 - (uint)(0xffff < param_1)" (unary_expression "-param_2" (- "-") (identifier "param_2")) (- "-") (call_expression "(uint)(0xffff < param_1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(0xffff < param_1)" (( "(") (binary_expression "0xffff < param_1" (number_literal "0xffff") (< "<") (identifier "param_1")) () ")")))) (>> ">>") (number_literal "8")) () ")"))) (, ",") (binary_expression "param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2" (binary_expression "param_2 == 0" (identifier "param_2") (== "==") (number_literal "0")) (&& "&&") (binary_expression "(uint)(0xffff < param_1) <= (uint)-param_2" (call_expression "(uint)(0xffff < param_1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(0xffff < param_1)" (( "(") (binary_expression "0xffff < param_1" (number_literal "0xffff") (< "<") (identifier "param_1")) () ")"))) (<= "<=") (binary_expression "(uint)-param_2" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (- "-") (identifier "param_2")))) () ")"))) (; ";")) (} "}")))

/* WARNING: Unknown calling convention */
/* DWARF original name: rvalue_checkup<0, 16> */

bool gold::rvalue_checkup<0,_16>(int64_t x)

{
  return x._4_4_ == 0 && (type_1)(0xffff < (type_1)x) <= (type_1)-x._4_4_;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (return_statement (call_expression function: (identifier) arguments: (argument_list (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (binary_expression left: (unary_expression argument: (identifier)) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (number_literal) right: (identifier))))) right: (number_literal)))) (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (number_literal) right: (identifier)))) right: (binary_expression left: (parenthesized_expression (identifier)) right: (identifier))))))))))

undefined4 MASKED(uint param_1,int param_2)

{
  return CONCAT31((int3)(-param_2 - (uint)(0xffff < param_1) >> 8),
                  param_2 == 0 && (uint)(0xffff < param_1) <= (uint)-param_2);
}

