2 * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
6 * This file may be distributed and/or modified under the terms of the
7 * GNU General Public License version 2 as published by the Free Software
8 * Foundation and appearing in the file LICENSE.GPL included in the
9 * packaging of this file.
11 * Licensees holding valid libFirm Professional Edition licenses may use
12 * this file in accordance with the libFirm Commercial License.
13 * Agreement provided with the Software.
15 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * @brief This file implements the x87 support and virtual to stack
23 * register translation for the ia32 backend.
24 * @author Michael Beck
27 #ifndef FIRM_BE_IA32_IA32_X87_H
28 #define FIRM_BE_IA32_IA32_X87_H
30 #include "../bearch.h"
34 * Run a simulation and fix all virtual instructions for a graph.
35 * Replaces all virtual floating point instructions and registers
38 * @param birg the graph to simulate and patch
40 * Registers must be allocated.
42 void x87_simulate_graph(be_irg_t *birg);
45 * Initializes the x87 simulator.
47 void ia32_init_x87(void);
49 #endif /* FIRM_BE_IA32_IA32_X87_H */