
void invent_firstbits(uint *one,uint *two)

{
  uint uVar1;
  
  do {
    uVar1 = random_byte();
    *one = uVar1 | 0x100;
    uVar1 = random_byte();
    *two = uVar1 | 0x100;
  } while ((uVar1 | 0x100) * *one < 0x20000);
  return;
}



void FUN_0011f23e(uint *param_1,uint *param_2)

{
  uint uVar1;
  
  do {
    uVar1 = FUN_001234ce();
    *param_1 = uVar1 | 0x100;
    uVar1 = FUN_001234ce();
    *param_2 = uVar1 | 0x100;
  } while ((uVar1 | 0x100) * *param_1 < 0x20000);
  return;
}


PUSH RBP
PUSH RBX
SUB RSP,0x8
MOV RBX,RDI
MOV RBP,RSI
CALL 0x001234ce
OR AH,0x1
MOV dword ptr [RBX],EAX
CALL 0x001234ce
OR AH,0x1
MOV dword ptr [RBP],EAX
IMUL EAX,dword ptr [RBX]
CMP EAX,0x1ffff
JBE 0x0011f24a
ADD RSP,0x8
POP RBX
POP RBP
RET
(translation_unit "void FUN_0011f23e(uint *param_1,uint *param_2)\n\n{\n  uint uVar1;\n  \n  do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);\n  return;\n}\n\n" (function_definition "void FUN_0011f23e(uint *param_1,uint *param_2)\n\n{\n  uint uVar1;\n  \n  do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);\n  return;\n}" primitive_type (function_declarator "FUN_0011f23e(uint *param_1,uint *param_2)" identifier (parameter_list "(uint *param_1,uint *param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  \n  do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (do_statement "do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);" do (compound_statement "{\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  }" { (expression_statement "uVar1 = FUN_001234ce();" (assignment_expression "uVar1 = FUN_001234ce()" identifier = (call_expression "FUN_001234ce()" identifier (argument_list "()" ( )))) ;) (expression_statement "*param_1 = uVar1 | 0x100;" (assignment_expression "*param_1 = uVar1 | 0x100" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar1 | 0x100" identifier | number_literal)) ;) (expression_statement "uVar1 = FUN_001234ce();" (assignment_expression "uVar1 = FUN_001234ce()" identifier = (call_expression "FUN_001234ce()" identifier (argument_list "()" ( )))) ;) (expression_statement "*param_2 = uVar1 | 0x100;" (assignment_expression "*param_2 = uVar1 | 0x100" (pointer_expression "*param_2" * identifier) = (binary_expression "uVar1 | 0x100" identifier | number_literal)) ;) }) while (parenthesized_expression "((uVar1 | 0x100) * *param_1 < 0x20000)" ( (binary_expression "(uVar1 | 0x100) * *param_1 < 0x20000" (binary_expression "(uVar1 | 0x100) * *param_1" (parenthesized_expression "(uVar1 | 0x100)" ( (binary_expression "uVar1 | 0x100" identifier | number_literal) )) * (pointer_expression "*param_1" * identifier)) < number_literal) )) ;) (return_statement "return;" return ;) })))
(translation_unit "void invent_firstbits(uint *one,uint *two)\n\n{\n  uint uVar1;\n  \n  do {\n    uVar1 = random_byte();\n    *one = uVar1 | 0x100;\n    uVar1 = random_byte();\n    *two = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *one < 0x20000);\n  return;\n}\n\n" (function_definition "void invent_firstbits(uint *one,uint *two)\n\n{\n  uint uVar1;\n  \n  do {\n    uVar1 = random_byte();\n    *one = uVar1 | 0x100;\n    uVar1 = random_byte();\n    *two = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *one < 0x20000);\n  return;\n}" primitive_type (function_declarator "invent_firstbits(uint *one,uint *two)" identifier (parameter_list "(uint *one,uint *two)" ( (parameter_declaration "uint *one" type_identifier (pointer_declarator "*one" * identifier)) , (parameter_declaration "uint *two" type_identifier (pointer_declarator "*two" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  \n  do {\n    uVar1 = random_byte();\n    *one = uVar1 | 0x100;\n    uVar1 = random_byte();\n    *two = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *one < 0x20000);\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (do_statement "do {\n    uVar1 = random_byte();\n    *one = uVar1 | 0x100;\n    uVar1 = random_byte();\n    *two = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *one < 0x20000);" do (compound_statement "{\n    uVar1 = random_byte();\n    *one = uVar1 | 0x100;\n    uVar1 = random_byte();\n    *two = uVar1 | 0x100;\n  }" { (expression_statement "uVar1 = random_byte();" (assignment_expression "uVar1 = random_byte()" identifier = (call_expression "random_byte()" identifier (argument_list "()" ( )))) ;) (expression_statement "*one = uVar1 | 0x100;" (assignment_expression "*one = uVar1 | 0x100" (pointer_expression "*one" * identifier) = (binary_expression "uVar1 | 0x100" identifier | number_literal)) ;) (expression_statement "uVar1 = random_byte();" (assignment_expression "uVar1 = random_byte()" identifier = (call_expression "random_byte()" identifier (argument_list "()" ( )))) ;) (expression_statement "*two = uVar1 | 0x100;" (assignment_expression "*two = uVar1 | 0x100" (pointer_expression "*two" * identifier) = (binary_expression "uVar1 | 0x100" identifier | number_literal)) ;) }) while (parenthesized_expression "((uVar1 | 0x100) * *one < 0x20000)" ( (binary_expression "(uVar1 | 0x100) * *one < 0x20000" (binary_expression "(uVar1 | 0x100) * *one" (parenthesized_expression "(uVar1 | 0x100)" ( (binary_expression "uVar1 | 0x100" identifier | number_literal) )) * (pointer_expression "*one" * identifier)) < number_literal) )) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0011f23e(uint *param_1,uint *param_2)\n\n{\n  uint uVar1;\n  \n  do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);\n  return;\n}\n\n" (function_definition "void FUN_0011f23e(uint *param_1,uint *param_2)\n\n{\n  uint uVar1;\n  \n  do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);\n  return;\n}" primitive_type (function_declarator "FUN_0011f23e(uint *param_1,uint *param_2)" identifier (parameter_list "(uint *param_1,uint *param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  \n  do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (do_statement "do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);" do (compound_statement "{\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  }" { (expression_statement "uVar1 = FUN_001234ce();" (assignment_expression "uVar1 = FUN_001234ce()" identifier = (call_expression "FUN_001234ce()" identifier (argument_list "()" ( )))) ;) (expression_statement "*param_1 = uVar1 | 0x100;" (assignment_expression "*param_1 = uVar1 | 0x100" (pointer_expression "*param_1" * identifier) = (binary_expression "uVar1 | 0x100" identifier | number_literal)) ;) (expression_statement "uVar1 = FUN_001234ce();" (assignment_expression "uVar1 = FUN_001234ce()" identifier = (call_expression "FUN_001234ce()" identifier (argument_list "()" ( )))) ;) (expression_statement "*param_2 = uVar1 | 0x100;" (assignment_expression "*param_2 = uVar1 | 0x100" (pointer_expression "*param_2" * identifier) = (binary_expression "uVar1 | 0x100" identifier | number_literal)) ;) }) while (parenthesized_expression "((uVar1 | 0x100) * *param_1 < 0x20000)" ( (binary_expression "(uVar1 | 0x100) * *param_1 < 0x20000" (binary_expression "(uVar1 | 0x100) * *param_1" (parenthesized_expression "(uVar1 | 0x100)" ( (binary_expression "uVar1 | 0x100" identifier | number_literal) )) * (pointer_expression "*param_1" * identifier)) < number_literal) )) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT | LIT)) ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT | LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT | LIT) )) * (pointer_expression * IDENT)) < LIT) )) ;) (return_statement return ;) })))
(function_definition "void FUN_0011f23e(uint *param_1,uint *param_2)\n\n{\n  uint uVar1;\n  \n  do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0011f23e(uint *param_1,uint *param_2)" (identifier "FUN_0011f23e") (parameter_list "(uint *param_1,uint *param_2)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")"))) (compound_statement "{\n  uint uVar1;\n  \n  do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);\n  return;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (do_statement "do {\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  } while ((uVar1 | 0x100) * *param_1 < 0x20000);" (do "do") (compound_statement "{\n    uVar1 = FUN_001234ce();\n    *param_1 = uVar1 | 0x100;\n    uVar1 = FUN_001234ce();\n    *param_2 = uVar1 | 0x100;\n  }" ({ "{") (expression_statement "uVar1 = FUN_001234ce();" (assignment_expression "uVar1 = FUN_001234ce()" (identifier "uVar1") (= "=") (call_expression "FUN_001234ce()" (identifier "FUN_001234ce") (argument_list "()" (( "(") () ")")))) (; ";")) (expression_statement "*param_1 = uVar1 | 0x100;" (assignment_expression "*param_1 = uVar1 | 0x100" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "uVar1 | 0x100" (identifier "uVar1") (| "|") (number_literal "0x100"))) (; ";")) (expression_statement "uVar1 = FUN_001234ce();" (assignment_expression "uVar1 = FUN_001234ce()" (identifier "uVar1") (= "=") (call_expression "FUN_001234ce()" (identifier "FUN_001234ce") (argument_list "()" (( "(") () ")")))) (; ";")) (expression_statement "*param_2 = uVar1 | 0x100;" (assignment_expression "*param_2 = uVar1 | 0x100" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (binary_expression "uVar1 | 0x100" (identifier "uVar1") (| "|") (number_literal "0x100"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "((uVar1 | 0x100) * *param_1 < 0x20000)" (( "(") (binary_expression "(uVar1 | 0x100) * *param_1 < 0x20000" (binary_expression "(uVar1 | 0x100) * *param_1" (parenthesized_expression "(uVar1 | 0x100)" (( "(") (binary_expression "uVar1 | 0x100" (identifier "uVar1") (| "|") (number_literal "0x100")) () ")")) (* "*") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (< "<") (number_literal "0x20000")) () ")")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *one,type_1 *two)

{
  type_1 var_2;
  
  do {
    var_2 = var_1();
    *one = var_2 | 0x100;
    var_2 = var_1();
    *two = var_2 | 0x100;
  } while ((var_2 | 0x100) * *one < 0x20000);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (pointer_expression argument: (identifier))) right: (number_literal)))) (return_statement))))

void MASKED(uint *param_1,uint *param_2)

{
  uint uVar1;
  
  do {
    uVar1 = FUN_001234ce();
    *param_1 = uVar1 | 0x100;
    uVar1 = FUN_001234ce();
    *param_2 = uVar1 | 0x100;
  } while ((uVar1 | 0x100) * *param_1 < 0x20000);
  return;
}

