
void sqlite3VdbeIntegerAffinity(Mem *pMem)

{
  double r;
  i64 iVar1;
  
  r = (pMem->u).r;
  iVar1 = doubleToInt64(r);
  if ((r == (double)iVar1) && (iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {
    (pMem->u).i = iVar1;
    pMem->flags = pMem->flags & 0x3e00 | 4;
  }
  return;
}



void FUN_0012d2bd(double *param_1)

{
  double dVar1;
  double dVar2;
  
  dVar1 = *param_1;
  dVar2 = (double)FUN_0012d209(dVar1);
  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {
    *param_1 = dVar2;
    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;
  }
  return;
}


PUSH RBX
SUB RSP,0x8
MOV RBX,RDI
MOVSD XMM1,qword ptr [RDI]
MOVSD qword ptr [RSP],XMM1
MOVAPD XMM0,XMM1
CALL 0x0012d209
PXOR XMM0,XMM0
CVTSI2SD XMM0,RAX
MOVSD XMM1,qword ptr [RSP]
UCOMISD XMM1,XMM0
JP 0x0012d312
JNZ 0x0012d312
MOV RDX,0x7fffffffffffffff
ADD RDX,RAX
CMP RDX,-0x3
JA 0x0012d312
MOV qword ptr [RBX],RAX
MOVZX EAX,word ptr [RBX + 0x8]
AND AX,0x3e00
OR EAX,0x4
MOV word ptr [RBX + 0x8],AX
ADD RSP,0x8
POP RBX
RET
(translation_unit "void FUN_0012d2bd(double *param_1)\n\n{\n  double dVar1;\n  double dVar2;\n  \n  dVar1 = *param_1;\n  dVar2 = (double)FUN_0012d209(dVar1);\n  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }\n  return;\n}\n\n" (function_definition "void FUN_0012d2bd(double *param_1)\n\n{\n  double dVar1;\n  double dVar2;\n  \n  dVar1 = *param_1;\n  dVar2 = (double)FUN_0012d209(dVar1);\n  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_0012d2bd(double *param_1)" identifier (parameter_list "(double *param_1)" ( (parameter_declaration "double *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  double dVar1;\n  double dVar2;\n  \n  dVar1 = *param_1;\n  dVar2 = (double)FUN_0012d209(dVar1);\n  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }\n  return;\n}" { (declaration "double dVar1;" primitive_type identifier ;) (declaration "double dVar2;" primitive_type identifier ;) (expression_statement "dVar1 = *param_1;" (assignment_expression "dVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "dVar2 = (double)FUN_0012d209(dVar1);" (assignment_expression "dVar2 = (double)FUN_0012d209(dVar1)" identifier = (cast_expression "(double)FUN_0012d209(dVar1)" ( (type_descriptor "double" primitive_type) ) (call_expression "FUN_0012d209(dVar1)" identifier (argument_list "(dVar1)" ( identifier ))))) ;) (if_statement "if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }" if (parenthesized_expression "((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe))" ( (binary_expression "(dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)" (parenthesized_expression "(dVar1 == (double)(long)dVar2)" ( (binary_expression "dVar1 == (double)(long)dVar2" identifier == (cast_expression "(double)(long)dVar2" ( (type_descriptor "double" primitive_type) ) (cast_expression "(long)dVar2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier))) )) && (parenthesized_expression "((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)" ( (binary_expression "(long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe" (binary_expression "(long)dVar2 + 0x7fffffffffffffffU" (cast_expression "(long)dVar2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) < number_literal) ))) )) (compound_statement "{\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }" { (expression_statement "*param_1 = dVar2;" (assignment_expression "*param_1 = dVar2" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "*(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;" (assignment_expression "*(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4" (pointer_expression "*(ushort *)(param_1 + 1)" * (cast_expression "(ushort *)(param_1 + 1)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) )))) = (binary_expression "*(ushort *)(param_1 + 1) & 0x3e00 | 4" (binary_expression "*(ushort *)(param_1 + 1) & 0x3e00" (pointer_expression "*(ushort *)(param_1 + 1)" * (cast_expression "(ushort *)(param_1 + 1)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) )))) & number_literal) | number_literal)) ;) })) (return_statement "return;" return ;) })))
(translation_unit "void sqlite3VdbeIntegerAffinity(Mem *pMem)\n\n{\n  double r;\n  i64 iVar1;\n  \n  r = (pMem->u).r;\n  iVar1 = doubleToInt64(r);\n  if ((r == (double)iVar1) && (iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    (pMem->u).i = iVar1;\n    pMem->flags = pMem->flags & 0x3e00 | 4;\n  }\n  return;\n}\n\n" (function_definition "void sqlite3VdbeIntegerAffinity(Mem *pMem)\n\n{\n  double r;\n  i64 iVar1;\n  \n  r = (pMem->u).r;\n  iVar1 = doubleToInt64(r);\n  if ((r == (double)iVar1) && (iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    (pMem->u).i = iVar1;\n    pMem->flags = pMem->flags & 0x3e00 | 4;\n  }\n  return;\n}" primitive_type (function_declarator "sqlite3VdbeIntegerAffinity(Mem *pMem)" identifier (parameter_list "(Mem *pMem)" ( (parameter_declaration "Mem *pMem" type_identifier (pointer_declarator "*pMem" * identifier)) ))) (compound_statement "{\n  double r;\n  i64 iVar1;\n  \n  r = (pMem->u).r;\n  iVar1 = doubleToInt64(r);\n  if ((r == (double)iVar1) && (iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    (pMem->u).i = iVar1;\n    pMem->flags = pMem->flags & 0x3e00 | 4;\n  }\n  return;\n}" { (declaration "double r;" primitive_type identifier ;) (declaration "i64 iVar1;" type_identifier identifier ;) (expression_statement "r = (pMem->u).r;" (assignment_expression "r = (pMem->u).r" identifier = (field_expression "(pMem->u).r" (parenthesized_expression "(pMem->u)" ( (field_expression "pMem->u" identifier -> field_identifier) )) . field_identifier)) ;) (expression_statement "iVar1 = doubleToInt64(r);" (assignment_expression "iVar1 = doubleToInt64(r)" identifier = (call_expression "doubleToInt64(r)" identifier (argument_list "(r)" ( identifier )))) ;) (if_statement "if ((r == (double)iVar1) && (iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    (pMem->u).i = iVar1;\n    pMem->flags = pMem->flags & 0x3e00 | 4;\n  }" if (parenthesized_expression "((r == (double)iVar1) && (iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe))" ( (binary_expression "(r == (double)iVar1) && (iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe)" (parenthesized_expression "(r == (double)iVar1)" ( (binary_expression "r == (double)iVar1" identifier == (cast_expression "(double)iVar1" ( (type_descriptor "double" primitive_type) ) identifier)) )) && (parenthesized_expression "(iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe)" ( (binary_expression "iVar1 + 0x7fffffffffffffffU < 0xfffffffffffffffe" (binary_expression "iVar1 + 0x7fffffffffffffffU" identifier + number_literal) < number_literal) ))) )) (compound_statement "{\n    (pMem->u).i = iVar1;\n    pMem->flags = pMem->flags & 0x3e00 | 4;\n  }" { (expression_statement "(pMem->u).i = iVar1;" (assignment_expression "(pMem->u).i = iVar1" (field_expression "(pMem->u).i" (parenthesized_expression "(pMem->u)" ( (field_expression "pMem->u" identifier -> field_identifier) )) . field_identifier) = identifier) ;) (expression_statement "pMem->flags = pMem->flags & 0x3e00 | 4;" (assignment_expression "pMem->flags = pMem->flags & 0x3e00 | 4" (field_expression "pMem->flags" identifier -> field_identifier) = (binary_expression "pMem->flags & 0x3e00 | 4" (binary_expression "pMem->flags & 0x3e00" (field_expression "pMem->flags" identifier -> field_identifier) & number_literal) | number_literal)) ;) })) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0012d2bd(double *param_1)\n\n{\n  double dVar1;\n  double dVar2;\n  \n  dVar1 = *param_1;\n  dVar2 = (double)FUN_0012d209(dVar1);\n  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }\n  return;\n}\n\n" (function_definition "void FUN_0012d2bd(double *param_1)\n\n{\n  double dVar1;\n  double dVar2;\n  \n  dVar1 = *param_1;\n  dVar2 = (double)FUN_0012d209(dVar1);\n  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_0012d2bd(double *param_1)" identifier (parameter_list "(double *param_1)" ( (parameter_declaration "double *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  double dVar1;\n  double dVar2;\n  \n  dVar1 = *param_1;\n  dVar2 = (double)FUN_0012d209(dVar1);\n  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }\n  return;\n}" { (declaration "double dVar1;" primitive_type identifier ;) (declaration "double dVar2;" primitive_type identifier ;) (expression_statement "dVar1 = *param_1;" (assignment_expression "dVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "dVar2 = (double)FUN_0012d209(dVar1);" (assignment_expression "dVar2 = (double)FUN_0012d209(dVar1)" identifier = (cast_expression "(double)FUN_0012d209(dVar1)" ( (type_descriptor "double" primitive_type) ) (call_expression "FUN_0012d209(dVar1)" identifier (argument_list "(dVar1)" ( identifier ))))) ;) (if_statement "if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }" if (parenthesized_expression "((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe))" ( (binary_expression "(dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)" (parenthesized_expression "(dVar1 == (double)(long)dVar2)" ( (binary_expression "dVar1 == (double)(long)dVar2" identifier == (cast_expression "(double)(long)dVar2" ( (type_descriptor "double" primitive_type) ) (cast_expression "(long)dVar2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier))) )) && (parenthesized_expression "((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)" ( (binary_expression "(long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe" (binary_expression "(long)dVar2 + 0x7fffffffffffffffU" (cast_expression "(long)dVar2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) < number_literal) ))) )) (compound_statement "{\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }" { (expression_statement "*param_1 = dVar2;" (assignment_expression "*param_1 = dVar2" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "*(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;" (assignment_expression "*(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4" (pointer_expression "*(ushort *)(param_1 + 1)" * (cast_expression "(ushort *)(param_1 + 1)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) )))) = (binary_expression "*(ushort *)(param_1 + 1) & 0x3e00 | 4" (binary_expression "*(ushort *)(param_1 + 1) & 0x3e00" (pointer_expression "*(ushort *)(param_1 + 1)" * (cast_expression "(ushort *)(param_1 + 1)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) )))) & number_literal) | number_literal)) ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE) ) (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT))) )) && (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT) + LIT) < LIT) ))) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) & LIT) | LIT)) ;) })) (return_statement return ;) })))
(function_definition "void FUN_0012d2bd(double *param_1)\n\n{\n  double dVar1;\n  double dVar2;\n  \n  dVar1 = *param_1;\n  dVar2 = (double)FUN_0012d209(dVar1);\n  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0012d2bd(double *param_1)" (identifier "FUN_0012d2bd") (parameter_list "(double *param_1)" (( "(") (parameter_declaration "double *param_1" (primitive_type "double") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  double dVar1;\n  double dVar2;\n  \n  dVar1 = *param_1;\n  dVar2 = (double)FUN_0012d209(dVar1);\n  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }\n  return;\n}" ({ "{") (declaration "double dVar1;" (primitive_type "double") (identifier "dVar1") (; ";")) (declaration "double dVar2;" (primitive_type "double") (identifier "dVar2") (; ";")) (expression_statement "dVar1 = *param_1;" (assignment_expression "dVar1 = *param_1" (identifier "dVar1") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "dVar2 = (double)FUN_0012d209(dVar1);" (assignment_expression "dVar2 = (double)FUN_0012d209(dVar1)" (identifier "dVar2") (= "=") (cast_expression "(double)FUN_0012d209(dVar1)" (( "(") (type_descriptor "double" (primitive_type "double")) () ")") (call_expression "FUN_0012d209(dVar1)" (identifier "FUN_0012d209") (argument_list "(dVar1)" (( "(") (identifier "dVar1") () ")"))))) (; ";")) (if_statement "if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }" (if "if") (parenthesized_expression "((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe))" (( "(") (binary_expression "(dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)" (parenthesized_expression "(dVar1 == (double)(long)dVar2)" (( "(") (binary_expression "dVar1 == (double)(long)dVar2" (identifier "dVar1") (== "==") (cast_expression "(double)(long)dVar2" (( "(") (type_descriptor "double" (primitive_type "double")) () ")") (cast_expression "(long)dVar2" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "dVar2")))) () ")")) (&& "&&") (parenthesized_expression "((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)" (( "(") (binary_expression "(long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe" (binary_expression "(long)dVar2 + 0x7fffffffffffffffU" (cast_expression "(long)dVar2" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "dVar2")) (+ "+") (number_literal "0x7fffffffffffffffU")) (< "<") (number_literal "0xfffffffffffffffe")) () ")"))) () ")")) (compound_statement "{\n    *param_1 = dVar2;\n    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;\n  }" ({ "{") (expression_statement "*param_1 = dVar2;" (assignment_expression "*param_1 = dVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (identifier "dVar2")) (; ";")) (expression_statement "*(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;" (assignment_expression "*(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4" (pointer_expression "*(ushort *)(param_1 + 1)" (* "*") (cast_expression "(ushort *)(param_1 + 1)" (( "(") (type_descriptor "ushort *" (type_identifier "ushort") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 1)" (( "(") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1")) () ")")))) (= "=") (binary_expression "*(ushort *)(param_1 + 1) & 0x3e00 | 4" (binary_expression "*(ushort *)(param_1 + 1) & 0x3e00" (pointer_expression "*(ushort *)(param_1 + 1)" (* "*") (cast_expression "(ushort *)(param_1 + 1)" (( "(") (type_descriptor "ushort *" (type_identifier "ushort") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 1)" (( "(") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1")) () ")")))) (& "&") (number_literal "0x3e00")) (| "|") (number_literal "4"))) (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *pMem)

{
  double var_2;
  type_2 var_3;
  
  var_2 = (pMem->u).var_2;
  var_3 = var_1(var_2);
  if ((var_2 == (double)var_3) && (var_3 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {
    (pMem->u).i = var_3;
    pMem->flags = pMem->flags & 0x3e00 | 4;
  }
  return;
}


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

void MASKED(double *param_1)

{
  double dVar1;
  double dVar2;
  
  dVar1 = *param_1;
  dVar2 = (double)FUN_0012d209(dVar1);
  if ((dVar1 == (double)(long)dVar2) && ((long)dVar2 + 0x7fffffffffffffffU < 0xfffffffffffffffe)) {
    *param_1 = dVar2;
    *(ushort *)(param_1 + 1) = *(ushort *)(param_1 + 1) & 0x3e00 | 4;
  }
  return;
}

