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

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

{
  int iVar1;
  
  iVar1 = (int)((ulonglong)(x + 0x10000) >> 0x20);
  return iVar1 == 0 && (uint)(0x1ffff < (uint)(x + 0x10000)) <= (uint)-iVar1;
}



undefined4 FUN_0020d280(uint param_1,int param_2)

{
  uint uVar1;
  uint uVar2;
  
  param_2 = param_2 + (uint)(0xfffeffff < param_1);
  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);
  uVar2 = -param_2;
  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);
}


PUSH ESI
MOV ECX,0x1ffff
PUSH EBX
MOV EAX,dword ptr [ESP + 0xc]
MOV EDX,dword ptr [ESP + 0x10]
POP EBX
ADD EAX,0x10000
POP ESI
ADC EDX,0x0
CMP ECX,EAX
MOV EAX,0x0
SBB EAX,EDX
SETNC AL
RET
(translation_unit "undefined4 FUN_0020d280(uint param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  \n  param_2 = param_2 + (uint)(0xfffeffff < param_1);\n  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);\n  uVar2 = -param_2;\n  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);\n}\n\n" (function_definition "undefined4 FUN_0020d280(uint param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  \n  param_2 = param_2 + (uint)(0xfffeffff < param_1);\n  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);\n  uVar2 = -param_2;\n  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);\n}" type_identifier (function_declarator "FUN_0020d280(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  uint uVar1;\n  uint uVar2;\n  \n  param_2 = param_2 + (uint)(0xfffeffff < param_1);\n  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);\n  uVar2 = -param_2;\n  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (expression_statement "param_2 = param_2 + (uint)(0xfffeffff < param_1);" (assignment_expression "param_2 = param_2 + (uint)(0xfffeffff < param_1)" identifier = (binary_expression "param_2 + (uint)(0xfffeffff < param_1)" identifier + (call_expression "(uint)(0xfffeffff < param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0xfffeffff < param_1)" ( (binary_expression "0xfffeffff < param_1" number_literal < identifier) ))))) ;) (expression_statement "uVar1 = (uint)(0x1ffff < param_1 + 0x10000);" (assignment_expression "uVar1 = (uint)(0x1ffff < param_1 + 0x10000)" identifier = (call_expression "(uint)(0x1ffff < param_1 + 0x10000)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0x1ffff < param_1 + 0x10000)" ( (binary_expression "0x1ffff < param_1 + 0x10000" number_literal < (binary_expression "param_1 + 0x10000" identifier + number_literal)) )))) ;) (expression_statement "uVar2 = -param_2;" (assignment_expression "uVar2 = -param_2" identifier = (unary_expression "-param_2" - identifier)) ;) (return_statement "return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);" return (call_expression "CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2)" identifier (argument_list "((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2)" ( (call_expression "(int3)(uVar2 - uVar1 >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "(uVar2 - uVar1 >> 8)" ( (binary_expression "uVar2 - uVar1 >> 8" (binary_expression "uVar2 - uVar1" identifier - identifier) >> number_literal) ))) , (binary_expression "param_2 == 0 && uVar1 <= uVar2" (binary_expression "param_2 == 0" identifier == number_literal) && (binary_expression "uVar1 <= uVar2" identifier <= identifier)) ))) ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n/* DWARF original name: rvalue_checkup<16, 16> */\n\nbool gold::rvalue_checkup<16,_16>(int64_t x)\n\n{\n  int iVar1;\n  \n  iVar1 = (int)((ulonglong)(x + 0x10000) >> 0x20);\n  return iVar1 == 0 && (uint)(0x1ffff < (uint)(x + 0x10000)) <= (uint)-iVar1;\n}\n\n" comment comment (ERROR "bool gold::rvalue_checkup<16,_16>(int64_t x)" primitive_type (ERROR "gold::" identifier : :) identifier (ERROR "<16" < number_literal) , identifier > ( primitive_type identifier )) (compound_statement "{\n  int iVar1;\n  \n  iVar1 = (int)((ulonglong)(x + 0x10000) >> 0x20);\n  return iVar1 == 0 && (uint)(0x1ffff < (uint)(x + 0x10000)) <= (uint)-iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (expression_statement "iVar1 = (int)((ulonglong)(x + 0x10000) >> 0x20);" (assignment_expression "iVar1 = (int)((ulonglong)(x + 0x10000) >> 0x20)" identifier = (cast_expression "(int)((ulonglong)(x + 0x10000) >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)(x + 0x10000) >> 0x20)" ( (binary_expression "(ulonglong)(x + 0x10000) >> 0x20" (call_expression "(ulonglong)(x + 0x10000)" (parenthesized_expression "(ulonglong)" ( identifier )) (argument_list "(x + 0x10000)" ( (binary_expression "x + 0x10000" identifier + number_literal) ))) >> number_literal) )))) ;) (return_statement "return iVar1 == 0 && (uint)(0x1ffff < (uint)(x + 0x10000)) <= (uint)-iVar1;" return (binary_expression "iVar1 == 0 && (uint)(0x1ffff < (uint)(x + 0x10000)) <= (uint)-iVar1" (binary_expression "iVar1 == 0" identifier == number_literal) && (binary_expression "(uint)(0x1ffff < (uint)(x + 0x10000)) <= (uint)-iVar1" (call_expression "(uint)(0x1ffff < (uint)(x + 0x10000))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0x1ffff < (uint)(x + 0x10000))" ( (binary_expression "0x1ffff < (uint)(x + 0x10000)" number_literal < (call_expression "(uint)(x + 0x10000)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(x + 0x10000)" ( (binary_expression "x + 0x10000" identifier + number_literal) )))) ))) <= (binary_expression "(uint)-iVar1" (parenthesized_expression "(uint)" ( identifier )) - identifier))) ;) }))
(translation_unit "undefined4 FUN_0020d280(uint param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  \n  param_2 = param_2 + (uint)(0xfffeffff < param_1);\n  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);\n  uVar2 = -param_2;\n  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);\n}\n\n" (function_definition "undefined4 FUN_0020d280(uint param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  \n  param_2 = param_2 + (uint)(0xfffeffff < param_1);\n  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);\n  uVar2 = -param_2;\n  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);\n}" type_identifier (function_declarator "FUN_0020d280(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  uint uVar1;\n  uint uVar2;\n  \n  param_2 = param_2 + (uint)(0xfffeffff < param_1);\n  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);\n  uVar2 = -param_2;\n  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (expression_statement "param_2 = param_2 + (uint)(0xfffeffff < param_1);" (assignment_expression "param_2 = param_2 + (uint)(0xfffeffff < param_1)" identifier = (binary_expression "param_2 + (uint)(0xfffeffff < param_1)" identifier + (call_expression "(uint)(0xfffeffff < param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0xfffeffff < param_1)" ( (binary_expression "0xfffeffff < param_1" number_literal < identifier) ))))) ;) (expression_statement "uVar1 = (uint)(0x1ffff < param_1 + 0x10000);" (assignment_expression "uVar1 = (uint)(0x1ffff < param_1 + 0x10000)" identifier = (call_expression "(uint)(0x1ffff < param_1 + 0x10000)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(0x1ffff < param_1 + 0x10000)" ( (binary_expression "0x1ffff < param_1 + 0x10000" number_literal < (binary_expression "param_1 + 0x10000" identifier + number_literal)) )))) ;) (expression_statement "uVar2 = -param_2;" (assignment_expression "uVar2 = -param_2" identifier = (unary_expression "-param_2" - identifier)) ;) (return_statement "return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);" return (call_expression "CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2)" identifier (argument_list "((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2)" ( (call_expression "(int3)(uVar2 - uVar1 >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "(uVar2 - uVar1 >> 8)" ( (binary_expression "uVar2 - uVar1 >> 8" (binary_expression "uVar2 - uVar1" identifier - identifier) >> number_literal) ))) , (binary_expression "param_2 == 0 && uVar1 <= uVar2" (binary_expression "param_2 == 0" identifier == number_literal) && (binary_expression "uVar1 <= uVar2" identifier <= identifier)) ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression LIT < IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression LIT < (binary_expression IDENT + LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (return_statement return (call_expression IDENT (argument_list ( (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression IDENT - IDENT) >> LIT) ))) , (binary_expression (binary_expression IDENT == LIT) && (binary_expression IDENT <= IDENT)) ))) ;) })))
(function_definition "undefined4 FUN_0020d280(uint param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  \n  param_2 = param_2 + (uint)(0xfffeffff < param_1);\n  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);\n  uVar2 = -param_2;\n  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);\n}" (type_identifier "undefined4") (function_declarator "FUN_0020d280(uint param_1,int param_2)" (identifier "FUN_0020d280") (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  uint uVar1;\n  uint uVar2;\n  \n  param_2 = param_2 + (uint)(0xfffeffff < param_1);\n  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);\n  uVar2 = -param_2;\n  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (expression_statement "param_2 = param_2 + (uint)(0xfffeffff < param_1);" (assignment_expression "param_2 = param_2 + (uint)(0xfffeffff < param_1)" (identifier "param_2") (= "=") (binary_expression "param_2 + (uint)(0xfffeffff < param_1)" (identifier "param_2") (+ "+") (call_expression "(uint)(0xfffeffff < param_1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(0xfffeffff < param_1)" (( "(") (binary_expression "0xfffeffff < param_1" (number_literal "0xfffeffff") (< "<") (identifier "param_1")) () ")"))))) (; ";")) (expression_statement "uVar1 = (uint)(0x1ffff < param_1 + 0x10000);" (assignment_expression "uVar1 = (uint)(0x1ffff < param_1 + 0x10000)" (identifier "uVar1") (= "=") (call_expression "(uint)(0x1ffff < param_1 + 0x10000)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(0x1ffff < param_1 + 0x10000)" (( "(") (binary_expression "0x1ffff < param_1 + 0x10000" (number_literal "0x1ffff") (< "<") (binary_expression "param_1 + 0x10000" (identifier "param_1") (+ "+") (number_literal "0x10000"))) () ")")))) (; ";")) (expression_statement "uVar2 = -param_2;" (assignment_expression "uVar2 = -param_2" (identifier "uVar2") (= "=") (unary_expression "-param_2" (- "-") (identifier "param_2"))) (; ";")) (return_statement "return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);" (return "return") (call_expression "CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2)" (identifier "CONCAT31") (argument_list "((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2)" (( "(") (call_expression "(int3)(uVar2 - uVar1 >> 8)" (parenthesized_expression "(int3)" (( "(") (identifier "int3") () ")")) (argument_list "(uVar2 - uVar1 >> 8)" (( "(") (binary_expression "uVar2 - uVar1 >> 8" (binary_expression "uVar2 - uVar1" (identifier "uVar2") (- "-") (identifier "uVar1")) (>> ">>") (number_literal "8")) () ")"))) (, ",") (binary_expression "param_2 == 0 && uVar1 <= uVar2" (binary_expression "param_2 == 0" (identifier "param_2") (== "==") (number_literal "0")) (&& "&&") (binary_expression "uVar1 <= uVar2" (identifier "uVar1") (<= "<=") (identifier "uVar2"))) () ")"))) (; ";")) (} "}")))

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

bool gold::rvalue_checkup<16,_16>(int64_t var_1)

{
  int var_2;
  
  var_2 = (int)((ulonglong)(var_1 + 0x10000) >> 0x20);
  return var_2 == 0 && (uint)(0x1ffff < (uint)(var_1 + 0x10000)) <= (uint)-var_2;
}


(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 (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (number_literal) right: (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (number_literal) right: (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))) (return_statement (call_expression function: (identifier) arguments: (argument_list (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (number_literal)))) (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (identifier) right: (identifier)))))))))

undefined4 MASKED(uint param_1,int param_2)

{
  uint uVar1;
  uint uVar2;
  
  param_2 = param_2 + (uint)(0xfffeffff < param_1);
  uVar1 = (uint)(0x1ffff < param_1 + 0x10000);
  uVar2 = -param_2;
  return CONCAT31((int3)(uVar2 - uVar1 >> 8),param_2 == 0 && uVar1 <= uVar2);
}

