nsz Git - libfirm/blob - include/libfirm/be.h

   1 /*
   2  * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
   3  *
   4  * This file is part of libFirm.
   5  *
   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.
  10  *
  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.
  14  *
  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
  17  * PURPOSE.
  18  */
  19
  20 /**
  21  * @file
  22  * @brief       Generic backend types and interfaces.
  23  * @author      Sebastian Hack
  24  * @version     $Id$
  25  */
  26 #ifndef FIRM_BE_MAIN_H
  27 #define FIRM_BE_MAIN_H
  28
  29 #include <stdio.h>
  30 #include "irarch.h"
  31 #include "lowering.h"
  32
  33 typedef enum {
  34         ASM_CONSTRAINT_FLAG_SUPPORTS_REGISTER     = 0x0001,
  35         ASM_CONSTRAINT_FLAG_SUPPORTS_MEMOP        = 0x0002,
  36         ASM_CONSTRAINT_FLAG_SUPPORTS_IMMEDIATE    = 0x0004,
  37         ASM_CONSTRAINT_FLAG_NO_SUPPORT            = 0x0008,
  38         ASM_CONSTRAINT_FLAG_MODIFIER_WRITE        = 0x0010,
  39         ASM_CONSTRAINT_FLAG_MODIFIER_NO_WRITE     = 0x0020,
  40         ASM_CONSTRAINT_FLAG_MODIFIER_READ         = 0x0040,
  41         ASM_CONSTRAINT_FLAG_MODIFIER_NO_READ      = 0x0080,
  42         ASM_CONSTRAINT_FLAG_MODIFIER_EARLYCLOBBER = 0x0100,
  43         ASM_CONSTRAINT_FLAG_MODIFIER_COMMUTATIVE  = 0x0200,
  44         ASM_CONSTRAINT_FLAG_INVALID               = 0x8000
  45 } asm_constraint_flags_t;
  46
  47 /**
  48  * Build a Trampoline for the closure.
  49  * @param block       the block where to build the trampoline
  50  * @param mem         memory
  51  * @param trampoline  address of a trampoline region
  52  * @param env         address of the environment
  53  * @param callee      address of the function to call
  54  *
  55  * @return modified memory
  56  */
  57 typedef ir_node *(create_trampoline_fkt)(ir_node *block, ir_node *mem, ir_node *trampoline, ir_node *env, ir_node *callee);
  58
  59 /**
  60  * This structure contains parameters that should be
  61  * propagated to the libFirm parameter set.
  62  */
  63 typedef struct backend_params {
  64         /** If set, the backend cannot handle DWORD access. */
  65         unsigned do_dw_lowering:1;
  66         /** If set, the backend supports inline assembly. */
  67         unsigned support_inline_asm:1;
  68
  69         /** Settings for architecture dependent optimizations. */
  70         const ir_settings_arch_dep_t *dep_param;
  71
  72         /** The architecture specific intrinsic function creator. */
  73         create_intrinsic_fkt *arch_create_intrinsic_fkt;
  74
  75         /** The context parameter for the create intrinsic function. */
  76         void *create_intrinsic_ctx;
  77
  78         /** Backend settings for if-conversion. */
  79         const ir_settings_if_conv_t *if_conv_info;
  80
  81         /**
  82          * some backends like x87 can only do arithmetic in a specific float
  83          * mode (but convert to/from other float modes).
  84          */
  85         ir_mode *mode_float_arithmetic;
  86
  87         /** Size of the trampoline code. */
  88         unsigned trampoline_size;
  89
  90         /** Alignment of the trampoline code. */
  91         unsigned trampoline_align;
  92
  93         /** If non-zero, build the trampoline. */
  94         create_trampoline_fkt *build_trampoline;
  95
  96         /** Alignment of stack parameters */
  97         unsigned stack_param_align;
  98 } backend_params;
  99
 100 /**
 101  * Register the Firm backend command line options.
 102  */
 103 void be_opt_register(void);
 104
 105 /**
 106  * Parse one backend argument.
 107  */
 108 int be_parse_arg(const char *arg);
 109
 110 /**
 111  * Return the backend configuration parameter.
 112  *
 113  * @return libFirm configuration parameters for the selected
 114  *         backend
 115  */
 116 const backend_params *be_get_backend_param(void);
 117
 118 /**
 119  * Main interface to the frontend.
 120  */
 121 void be_main(FILE *output, const char *compilation_unit_name);
 122
 123 /**
 124  * parse assembler constraint strings and returns flags (so the frontend knows
 125  * which operands are inputs/outputs and whether memory is required)
 126  */
 127 asm_constraint_flags_t be_parse_asm_constraints(const char *constraints);
 128
 129 /**
 130  * tests whether a string is a valid clobber in an ASM instruction
 131  */
 132 int be_is_valid_clobber(const char *clobber);
 133
 134 typedef struct be_main_env_t be_main_env_t;
 135 typedef struct be_options_t  be_options_t;
 136
 137 #endif