//
// This file was generated by the Retargetable Decompiler
// Website: https://retdec.com
// Copyright (c) 2019 Retargetable Decompiler <info@retdec.com>
//

#include <stdint.h>

// ----------------- Float Types Definitions ------------------

typedef double float64_t;
typedef long double float80_t;

// ------------------- Function Prototypes --------------------

int32_t function_0(void);

// --------------------- Global Variables ---------------------

int32_t g1 = 0; // ecx
int32_t g2 = 0; // edx

// ------------------------ Functions -------------------------

// Address range: 0x0 - 0xf
int32_t function_0(void) {
    int32_t v1; // eax
    float80_t v2; // st7
    int32_t result;
    float80_t v3;
    int32_t v4;
    float64_t v5;
    float64_t v6;
    // 0x0
    v5 = *(float64_t *)&g1;
    v2 = (float80_t)v5;
    v6 = *(float64_t *)&g2;
    *(float64_t *)(int32_t)(int64_t)v5 = v6;
    v3 = v2;
    v4 = g2;
    *(float64_t *)v4 = (float64_t)v3;
    result = v1;
    return result;
}

// --------------------- Meta-Information ---------------------

// Detected functions: 1
// Decompilation date: 2019-09-05 22:22:50
