nsz Git - libfirm/blob - ir/be/bearch.h

   1 /*
   2  * Copyright (C) 1995-2011 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       Processor architecture specification.
  23  * @author      Sebastian Hack
  24  * @version     $Id$
  25  */
  26 #ifndef FIRM_BE_BEARCH_H
  27 #define FIRM_BE_BEARCH_H
  28
  29 #include <stdbool.h>
  30
  31 #include "firm_types.h"
  32 #include "bitset.h"
  33 #include "obst.h"
  34 #include "raw_bitset.h"
  35 #include "irop_t.h"
  36
  37 #include "be_types.h"
  38 #include "beinfo.h"
  39 #include "be.h"
  40 #include "beirg.h"
  41 #include "error.h"
  42
  43 /**
  44  * this constant is returned by the get_sp_bias functions if the stack
  45  * is reset (usually because the frame pointer is copied to the stack
  46  * pointer
  47  */
  48 #define SP_BIAS_RESET      INT_MIN
  49
  50 typedef enum arch_register_class_flags_t {
  51         arch_register_class_flag_none      = 0,
  52         /** don't do automatic register allocation for this class */
  53         arch_register_class_flag_manual_ra = 1U << 0,
  54         /** the register models an abstract state (example: fpu rounding mode) */
  55         arch_register_class_flag_state     = 1U << 1
  56 } arch_register_class_flags_t;
  57 ENUM_BITSET(arch_register_class_flags_t)
  58
  59 typedef enum arch_register_type_t {
  60         arch_register_type_none         = 0,
  61         /** Do not consider this register when allocating. */
  62         arch_register_type_ignore       = 1U << 0,
  63         /** The emitter can choose an arbitrary register. The register fulfills any
  64          * register constraints as long as the register class matches */
  65         arch_register_type_joker        = 1U << 1,
  66         /** This is just a virtual register. Virtual registers fulfill any register
  67          * constraints as long as the register class matches. It is a allowed to
  68          * have multiple definitions for the same virtual register at a point */
  69         arch_register_type_virtual      = 1U << 2,
  70         /** The register represents a state that should be handled by bestate
  71          * code */
  72         arch_register_type_state        = 1U << 3,
  73 } arch_register_type_t;
  74 ENUM_BITSET(arch_register_type_t)
  75
  76 /**
  77  * Different types of register allocation requirements.
  78  */
  79 typedef enum arch_register_req_type_t {
  80         /** No register requirement. */
  81         arch_register_req_type_none              = 0,
  82         /** All registers in the class are allowed. */
  83         arch_register_req_type_normal            = 1U << 0,
  84         /** Only a real subset of the class is allowed. */
  85         arch_register_req_type_limited           = 1U << 1,
  86         /** The register should be equal to another one at the node. */
  87         arch_register_req_type_should_be_same    = 1U << 2,
  88         /** The register must be unequal from some other at the node. */
  89         arch_register_req_type_must_be_different = 1U << 3,
  90         /** The registernumber should be aligned (in case of multiregister values)*/
  91         arch_register_req_type_aligned           = 1U << 4,
  92         /** ignore while allocating registers */
  93         arch_register_req_type_ignore            = 1U << 5,
  94         /** the output produces a new value for the stack pointer
  95          * (this is not really a constraint but a marker to guide the stackpointer
  96          * rewiring logic) */
  97         arch_register_req_type_produces_sp       = 1U << 6,
  98 } arch_register_req_type_t;
  99 ENUM_BITSET(arch_register_req_type_t)
 100
 101 extern const arch_register_req_t *arch_no_register_req;
 102
 103 /**
 104  * Print information about a register requirement in human readable form
 105  * @param F   output stream/file
 106  * @param req The requirements structure to format.
 107  */
 108 void arch_dump_register_req(FILE *F, const arch_register_req_t *req,
 109                             const ir_node *node);
 110
 111 void arch_dump_register_reqs(FILE *F, const ir_node *node);
 112 void arch_dump_reqs_and_registers(FILE *F, const ir_node *node);
 113
 114 /**
 115  * Node classification. Used for statistics and for detecting reload nodes.
 116  */
 117 typedef enum arch_irn_class_t {
 118         arch_irn_class_none   = 0,
 119         arch_irn_class_spill  = 1 << 0,
 120         arch_irn_class_reload = 1 << 1,
 121         arch_irn_class_remat  = 1 << 2,
 122         arch_irn_class_copy   = 1 << 3,
 123         arch_irn_class_perm   = 1 << 4
 124 } arch_irn_class_t;
 125 ENUM_BITSET(arch_irn_class_t)
 126
 127 void arch_set_frame_offset(ir_node *irn, int bias);
 128
 129 ir_entity *arch_get_frame_entity(const ir_node *irn);
 130 int        arch_get_sp_bias(ir_node *irn);
 131
 132 int             arch_get_op_estimated_cost(const ir_node *irn);
 133 arch_inverse_t *arch_get_inverse(const ir_node *irn, int i,
 134                                  arch_inverse_t *inverse,
 135                                  struct obstack *obstack);
 136 int             arch_possible_memory_operand(const ir_node *irn,
 137                                              unsigned int i);
 138 void            arch_perform_memory_operand(ir_node *irn, ir_node *spill,
 139                                             unsigned int i);
 140
 141 /**
 142  * Get the register requirements for a node.
 143  * @note Deprecated API! Preferably use
 144  *       arch_get_in_register_req and
 145  *       arch_get_out_register_req.
 146  *
 147  * @param irn The node.
 148  * @param pos The position of the operand you're interested in.
 149  * @return    A pointer to the register requirements.  If NULL is returned, the
 150  *            operand was no register operand.
 151  */
 152 const arch_register_req_t *arch_get_register_req(const ir_node *irn, int pos);
 153
 154 /**
 155  * Check, if a register is assignable to an operand of a node.
 156  * @param irn The node.
 157  * @param pos The position of the operand.
 158  * @param reg The register.
 159  * @return    1, if the register might be allocated to the operand 0 if not.
 160  */
 161 int arch_reg_is_allocatable(const ir_node *irn, int pos,
 162                             const arch_register_t *reg);
 163
 164 #define arch_reg_out_is_allocatable(irn, reg) arch_reg_is_allocatable(irn, -1, reg)
 165
 166 /**
 167  * Get the register class of an operand of a node.
 168  * @param irn The node.
 169  * @param pos The position of the operand, -1 for the output.
 170  * @return    The register class of the operand or NULL, if
 171  *            operand is a non-register operand.
 172  */
 173 const arch_register_class_t *arch_get_irn_reg_class(const ir_node *irn,
 174                                                     int pos);
 175
 176 #define arch_get_irn_reg_class_out(irn) arch_get_irn_reg_class(irn, -1)
 177
 178 /**
 179  * Get the register allocated at a certain output operand of a node.
 180  * @param irn The node.
 181  * @return    The register allocated for this operand
 182  */
 183 const arch_register_t *arch_get_irn_register(const ir_node *irn);
 184 const arch_register_t *arch_irn_get_register(const ir_node *irn, int pos);
 185
 186 /**
 187  * Set the register for a certain output operand.
 188  * @param irn The node.
 189  * @param reg The register.
 190  */
 191 void arch_set_irn_register(ir_node *irn, const arch_register_t *reg);
 192 void arch_irn_set_register(ir_node *irn, int pos, const arch_register_t *reg);
 193
 194 /**
 195  * Classify a node.
 196  * @param irn The node.
 197  * @return A classification of the node.
 198  */
 199 arch_irn_class_t arch_irn_classify(const ir_node *irn);
 200
 201 /**
 202  * Get the flags of a node.
 203  * @param irn The node.
 204  * @return The flags.
 205  */
 206 arch_irn_flags_t arch_irn_get_flags(const ir_node *irn);
 207
 208 void arch_irn_set_flags(ir_node *node, arch_irn_flags_t flags);
 209 void arch_irn_add_flags(ir_node *node, arch_irn_flags_t flags);
 210
 211 #define arch_irn_is(irn, flag) ((arch_irn_get_flags(irn) & arch_irn_flags_ ## flag) != 0)
 212
 213 /**
 214  * Initialize the architecture environment struct.
 215  * @param isa           The isa which shall be put into the environment.
 216  * @param file_handle   The file handle
 217  * @return The environment.
 218  */
 219 extern arch_env_t *arch_env_init(const arch_isa_if_t *isa,
 220                                  FILE *file_handle, be_main_env_t *main_env);
 221
 222 /**
 223  * Register an instruction set architecture
 224  */
 225 void be_register_isa_if(const char *name, const arch_isa_if_t *isa);
 226
 227 /**
 228  * A register.
 229  */
 230 struct arch_register_t {
 231         const char                  *name;         /**< The name of the register. */
 232         const arch_register_class_t *reg_class;    /**< The class of the register */
 233         unsigned short               index;        /**< The index of the register in
 234                                                         the class. */
 235         unsigned short               global_index; /** The global index this register
 236                                                                                                in the architecture. */
 237         arch_register_type_t         type;         /**< The type of the register. */
 238         /** register constraint allowing just this register */
 239         const arch_register_req_t   *single_req;
 240 };
 241
 242 static inline const arch_register_class_t *arch_register_get_class(
 243                 const arch_register_t *reg)
 244 {
 245         return reg->reg_class;
 246 }
 247
 248 static inline unsigned arch_register_get_index(const arch_register_t *reg)
 249 {
 250         return reg->index;
 251 }
 252
 253 static inline const char *arch_register_get_name(const arch_register_t *reg)
 254 {
 255         return reg->name;
 256 }
 257
 258 /**
 259  * A class of registers.
 260  * Like general purpose or floating point.
 261  */
 262 struct arch_register_class_t {
 263         unsigned                     index;   /**< index of this register class */
 264         const char                  *name;    /**< The name of the register class.*/
 265         unsigned                     n_regs;  /**< Number of registers in this
 266                                                    class. */
 267         ir_mode                     *mode;    /**< The mode of the register class.*/
 268         const arch_register_t       *regs;    /**< The array of registers. */
 269         arch_register_class_flags_t  flags;   /**< register class flags. */
 270         const arch_register_req_t   *class_req;
 271 };
 272
 273 /** return the number of registers in this register class */
 274 #define arch_register_class_n_regs(cls) ((cls)->n_regs)
 275
 276 /** return the largest mode of this register class */
 277 #define arch_register_class_mode(cls) ((cls)->mode)
 278
 279 /** return the name of this register class */
 280 #define arch_register_class_name(cls) ((cls)->name)
 281
 282 /** return the index of this register class */
 283 #define arch_register_class_index(cls)  ((cls)->index)
 284
 285 /** return the register class flags */
 286 #define arch_register_class_flags(cls) ((cls)->flags)
 287
 288 static inline const arch_register_t *arch_register_for_index(
 289                 const arch_register_class_t *cls, unsigned idx)
 290 {
 291         assert(idx < cls->n_regs);
 292         return &cls->regs[idx];
 293 }
 294
 295 /**
 296  * Convenience macro to check for set constraints.
 297  * @param req   A pointer to register requirements.
 298  * @param kind  The kind of constraint to check for
 299  *              (see arch_register_req_type_t).
 300  * @return      1, If the kind of constraint is present, 0 if not.
 301  */
 302 #define arch_register_req_is(req, kind) \
 303         (((req)->type & (arch_register_req_type_ ## kind)) != 0)
 304
 305 /**
 306  * Expresses requirements to register allocation for an operand.
 307  */
 308 struct arch_register_req_t {
 309         arch_register_req_type_t     type; /**< The type of the constraint. */
 310         const arch_register_class_t *cls;  /**< The register class this constraint
 311                                                 belongs to. */
 312         const unsigned *limited;            /**< allowed register bitset */
 313         unsigned other_same;                /**< Bitmask of ins which should use the
 314                                                  same register (should_be_same). */
 315         unsigned other_different;           /**< Bitmask of ins which shall use a
 316                                                  different register
 317                                                  (must_be_different) */
 318         unsigned char width;                /**< specifies how many sequential
 319                                                  registers are required */
 320 };
 321
 322 static inline int reg_reqs_equal(const arch_register_req_t *req1,
 323                                  const arch_register_req_t *req2)
 324 {
 325         if (req1 == req2)
 326                 return 1;
 327
 328         if (req1->type != req2->type
 329                         || req1->cls != req2->cls
 330                         || req1->other_same != req2->other_same
 331                         || req1->other_different != req2->other_different)
 332                 return 0;
 333
 334         if (req1->limited != NULL) {
 335                 size_t n_regs;
 336
 337                 if (req2->limited == NULL)
 338                         return 0;
 339
 340                 n_regs = arch_register_class_n_regs(req1->cls);
 341                 if (!rbitsets_equal(req1->limited, req2->limited, n_regs))
 342                         return 0;
 343         }
 344
 345         return 1;
 346 }
 347
 348 /**
 349  * An inverse operation returned by the backend
 350  */
 351 struct arch_inverse_t {
 352         int      n;       /**< count of nodes returned in nodes array */
 353         int      costs;   /**< costs of this remat */
 354
 355         /** nodes for this inverse operation. shall be in schedule order.
 356          * last element is the target value */
 357         ir_node  **nodes;
 358 };
 359
 360 struct arch_irn_ops_t {
 361
 362         /**
 363          * Classify the node.
 364          * @param irn The node.
 365          * @return A classification.
 366          */
 367         arch_irn_class_t (*classify)(const ir_node *irn);
 368
 369         /**
 370          * Get the entity on the stack frame this node depends on.
 371          * @param irn  The node in question.
 372          * @return The entity on the stack frame or NULL, if the node does not have
 373          *         a stack frame entity.
 374          */
 375         ir_entity *(*get_frame_entity)(const ir_node *irn);
 376
 377         /**
 378          * Set the offset of a node carrying an entity on the stack frame.
 379          * @param irn  The node.
 380          * @param offset The offset of the node's stack frame entity.
 381          */
 382         void (*set_frame_offset)(ir_node *irn, int offset);
 383
 384         /**
 385          * Returns the delta of the stackpointer for nodes that increment or
 386          * decrement the stackpointer with a constant value. (push, pop
 387          * nodes on most architectures).
 388          * A positive value stands for an expanding stack area, a negative value for
 389          * a shrinking one.
 390          *
 391          * @param irn       The node
 392          * @return          0 if the stackpointer is not modified with a constant
 393          *                  value, otherwise the increment/decrement value
 394          */
 395         int (*get_sp_bias)(const ir_node *irn);
 396
 397         /**
 398          * Returns an inverse operation which yields the i-th argument
 399          * of the given node as result.
 400          *
 401          * @param irn       The original operation
 402          * @param i         Index of the argument we want the inverse operation to
 403          *                  yield
 404          * @param inverse   struct to be filled with the resulting inverse op
 405          * @param obstack   The obstack to use for allocation of the returned nodes
 406          *                  array
 407          * @return          The inverse operation or NULL if operation invertible
 408          */
 409         arch_inverse_t *(*get_inverse)(const ir_node *irn, int i,
 410                                        arch_inverse_t *inverse,
 411                                        struct obstack *obstack);
 412
 413         /**
 414          * Get the estimated cycle count for @p irn.
 415          *
 416          * @param irn  The node.
 417          * @return     The estimated cycle count for this operation
 418          */
 419         int (*get_op_estimated_cost)(const ir_node *irn);
 420
 421         /**
 422          * Asks the backend whether operand @p i of @p irn can be loaded form memory
 423          * internally
 424          *
 425          * @param irn  The node.
 426          * @param i    Index of the argument we would like to know whether @p irn
 427          *             can load it form memory internally
 428          * @return     nonzero if argument can be loaded or zero otherwise
 429          */
 430         int (*possible_memory_operand)(const ir_node *irn, unsigned int i);
 431
 432         /**
 433          * Ask the backend to assimilate @p reload of operand @p i into @p irn.
 434          *
 435          * @param irn    The node.
 436          * @param spill  The spill.
 437          * @param i      The position of the reload.
 438          */
 439         void (*perform_memory_operand)(ir_node *irn, ir_node *spill,
 440                                        unsigned int i);
 441 };
 442
 443 /**
 444  * Architecture interface.
 445  */
 446 struct arch_isa_if_t {
 447         /**
 448          * Initialize the isa interface.
 449          * @param file_handle  the file handle to write the output to
 450          * @return a new isa instance
 451          */
 452         arch_env_t *(*init)(FILE *file_handle);
 453
 454         /**
 455          * lowers current program for target. See the documentation for
 456          * be_lower_for_target() for details.
 457          */
 458         void (*lower_for_target)(void);
 459
 460         /**
 461          * Free the isa instance.
 462          */
 463         void (*done)(void *self);
 464
 465         /**
 466          * Called directly after initialization. Backend should handle all
 467          * intrinsics here.
 468          */
 469         void (*handle_intrinsics)(void);
 470
 471         /**
 472          * Get the register class which shall be used to store a value of a given
 473          * mode.
 474          * @param self The this pointer.
 475          * @param mode The mode in question.
 476          * @return A register class which can hold values of the given mode.
 477          */
 478         const arch_register_class_t *(*get_reg_class_for_mode)(const ir_mode *mode);
 479
 480         /**
 481          * Get the ABI restrictions for procedure calls.
 482          * @param self        The this pointer.
 483          * @param call_type   The call type of the method (procedure) in question.
 484          * @param p           The array of parameter locations to be filled.
 485          */
 486         void (*get_call_abi)(const void *self, ir_type *call_type,
 487                              be_abi_call_t *abi);
 488
 489         /**
 490          * Get the necessary alignment for storing a register of given class.
 491          * @param self  The isa object.
 492          * @param cls   The register class.
 493          * @return      The alignment in bytes.
 494          */
 495         int (*get_reg_class_alignment)(const arch_register_class_t *cls);
 496
 497         /**
 498          * A "static" function, returns the frontend settings
 499          * needed for this backend.
 500          */
 501         const backend_params *(*get_params)(void);
 502
 503         /**
 504          * Return an ordered list of irgs where code should be generated for.
 505          * If NULL is returned, all irg will be taken into account and they will be
 506          * generated in an arbitrary order.
 507          * @param self   The isa object.
 508          * @param irgs   A flexible array ARR_F of length 0 where the backend can
 509          *               append the desired irgs.
 510          * @return A flexible array ARR_F containing all desired irgs in the
 511          *         desired order.
 512          */
 513         ir_graph **(*get_backend_irg_list)(const void *self, ir_graph ***irgs);
 514
 515         /**
 516          * mark node as rematerialized
 517          */
 518         void (*mark_remat)(ir_node *node);
 519
 520         /**
 521          * parse an assembler constraint part and set flags according to its nature
 522          * advances the *c pointer to point to the last parsed character (so if you
 523          * parse a single character don't advance c)
 524          */
 525         asm_constraint_flags_t (*parse_asm_constraint)(const char **c);
 526
 527         /**
 528          * returns true if the string is a valid clobbered (register) in this
 529          * backend
 530          */
 531         int (*is_valid_clobber)(const char *clobber);
 532
 533         /**
 534          * Initialize the code generator.
 535          * @param irg  A graph
 536          * @return     A newly created code generator.
 537          */
 538         void (*init_graph)(ir_graph *irg);
 539
 540         /**
 541          * return node used as base in pic code addresses
 542          */
 543         ir_node* (*get_pic_base)(ir_graph *irg);
 544
 545         /**
 546          * Called before abi introduce.
 547          */
 548         void (*before_abi)(ir_graph *irg);
 549
 550         /**
 551          * Called, when the graph is being normalized.
 552          */
 553         void (*prepare_graph)(ir_graph *irg);
 554
 555         /**
 556          * Called before register allocation.
 557          */
 558         void (*before_ra)(ir_graph *irg);
 559
 560         /**
 561          * Called directly before done is called. This should be the last place
 562          * where the irg is modified.
 563          */
 564         void (*finish)(ir_graph *irg);
 565
 566         /**
 567          * Called after everything happened. This call should emit the final
 568          * assembly code but avoid changing the irg.
 569          * The code generator must also be de-allocated here.
 570          */
 571         void (*emit)(ir_graph *irg);
 572
 573         /**
 574          * Checks if the given register is callee/caller saved.
 575          */
 576         int (*register_saved_by)(const arch_register_t *reg, int callee);
 577 };
 578
 579 #define arch_env_done(env)                             ((env)->impl->done(env))
 580 #define arch_env_handle_intrinsics(env)                \
 581         do { if((env)->impl->handle_intrinsics != NULL) (env)->impl->handle_intrinsics(); } while(0)
 582 #define arch_env_get_reg_class_for_mode(env,mode)      ((env)->impl->get_reg_class_for_mode((mode)))
 583 #define arch_env_get_call_abi(env,tp,abi)              ((env)->impl->get_call_abi((env), (tp), (abi)))
 584 #define arch_env_get_reg_class_alignment(env,cls)      ((env)->impl->get_reg_class_alignment((cls)))
 585 #define arch_env_get_params(env)                       ((env)->impl->get_params())
 586 #define arch_env_get_allowed_execution_units(env,irn)  ((env)->impl->get_allowed_execution_units((irn)))
 587 #define arch_env_get_machine(env)                      ((env)->impl->get_machine(env))
 588 #define arch_env_get_backend_irg_list(env,irgs)        ((env)->impl->get_backend_irg_list((env), (irgs)))
 589 #define arch_env_parse_asm_constraint(env,c)           ((env)->impl->parse_asm_constraint((c))
 590 #define arch_env_is_valid_clobber(env,clobber)         ((env)->impl->is_valid_clobber((clobber))
 591 #define arch_env_mark_remat(env,node) \
 592         do { if ((env)->impl->mark_remat != NULL) (env)->impl->mark_remat((node)); } while(0)
 593
 594 /**
 595  * ISA base class.
 596  */
 597 struct arch_env_t {
 598         const arch_isa_if_t   *impl;
 599         unsigned               n_registers;      /**< number of registers */
 600         const arch_register_t *registers;        /**< register array */
 601         unsigned               n_register_classes; /**< number of register classes*/
 602         const arch_register_class_t *register_classes; /**< register classes */
 603         const arch_register_t *sp;               /**< The stack pointer register. */
 604         const arch_register_t *bp;               /**< The base pointer register. */
 605         const arch_register_class_t *link_class; /**< The static link pointer
 606                                                       register class. */
 607         int                    stack_alignment;  /**< power of 2 stack alignment */
 608         const be_main_env_t   *main_env;         /**< the be main environment */
 609         int                    spill_cost;       /**< cost for a be_Spill node */
 610         int                    reload_cost;      /**< cost for a be_Reload node */
 611         bool                   custom_abi : 1;   /**< backend does all abi handling
 612                                                       and does not need the generic
 613                                                       stuff from beabi.h/.c */
 614 };
 615
 616 static inline unsigned arch_irn_get_n_outs(const ir_node *node)
 617 {
 618         backend_info_t *info = be_get_info(node);
 619         if (info->out_infos == NULL)
 620                 return 0;
 621
 622         return (unsigned)ARR_LEN(info->out_infos);
 623 }
 624
 625 static inline const arch_irn_ops_t *get_irn_ops_simple(const ir_node *node)
 626 {
 627         const ir_op          *ops    = get_irn_op(node);
 628         const arch_irn_ops_t *be_ops = get_op_ops(ops)->be_ops;
 629         assert(!is_Proj(node));
 630         return be_ops;
 631 }
 632
 633 static inline const arch_register_req_t *arch_get_register_req_out(
 634                 const ir_node *irn)
 635 {
 636         int             pos = 0;
 637         backend_info_t *info;
 638
 639         /* you have to query the Proj nodes for the constraints (or use
 640          * arch_get_out_register_req. Querying a mode_T node and expecting
 641          * arch_no_register_req is a bug in your code! */
 642         assert(get_irn_mode(irn) != mode_T);
 643
 644         if (is_Proj(irn)) {
 645                 pos = get_Proj_proj(irn);
 646                 irn = get_Proj_pred(irn);
 647         }
 648
 649         info = be_get_info(irn);
 650         if (info->out_infos == NULL)
 651                 return arch_no_register_req;
 652
 653         return info->out_infos[pos].req;
 654 }
 655
 656 static inline bool arch_irn_is_ignore(const ir_node *irn)
 657 {
 658         const arch_register_req_t *req = arch_get_register_req_out(irn);
 659         return !!(req->type & arch_register_req_type_ignore);
 660 }
 661
 662 static inline bool arch_irn_consider_in_reg_alloc(
 663                 const arch_register_class_t *cls, const ir_node *node)
 664 {
 665         const arch_register_req_t *req = arch_get_register_req_out(node);
 666         return
 667                 req->cls == cls &&
 668                 !(req->type & arch_register_req_type_ignore);
 669 }
 670
 671 /**
 672  * Get register constraints for an operand at position @p
 673  */
 674 static inline const arch_register_req_t *arch_get_in_register_req(
 675                 const ir_node *node, int pos)
 676 {
 677         const backend_info_t *info = be_get_info(node);
 678         if (info->in_reqs == NULL)
 679                 return arch_no_register_req;
 680         return info->in_reqs[pos];
 681 }
 682
 683 /**
 684  * Get register constraint for a produced result (the @p pos result)
 685  */
 686 static inline const arch_register_req_t *arch_get_out_register_req(
 687                 const ir_node *node, int pos)
 688 {
 689         const backend_info_t *info = be_get_info(node);
 690         if (info->out_infos == NULL)
 691                 return arch_no_register_req;
 692         return info->out_infos[pos].req;
 693 }
 694
 695 static inline void arch_set_out_register_req(ir_node *node, int pos,
 696                 const arch_register_req_t *req)
 697 {
 698         backend_info_t *info = be_get_info(node);
 699         assert(pos < (int) arch_irn_get_n_outs(node));
 700         info->out_infos[pos].req = req;
 701 }
 702
 703 static inline void arch_set_in_register_reqs(ir_node *node,
 704                                             const arch_register_req_t **in_reqs)
 705 {
 706         backend_info_t *info = be_get_info(node);
 707         info->in_reqs = in_reqs;
 708 }
 709
 710 static inline const arch_register_req_t **arch_get_in_register_reqs(
 711                 const ir_node *node)
 712 {
 713         backend_info_t *info = be_get_info(node);
 714         return info->in_reqs;
 715 }
 716
 717 /**
 718  * Check if the given register is callee save, ie. will be save by the callee.
 719  */
 720 static inline bool arch_register_is_callee_save(
 721         const arch_env_t      *arch_env,
 722         const arch_register_t *reg)
 723 {
 724         if (arch_env->impl->register_saved_by)
 725                 return arch_env->impl->register_saved_by(reg, /*callee=*/1);
 726         return false;
 727 }
 728
 729 /**
 730  * Check if the given register is caller save, ie. must be save by the caller.
 731  */
 732 static inline bool arch_register_is_caller_save(
 733         const arch_env_t      *arch_env,
 734         const arch_register_t *reg)
 735 {
 736         if (arch_env->impl->register_saved_by)
 737                 return arch_env->impl->register_saved_by(reg, /*callee=*/0);
 738         return false;
 739 }
 740
 741 /**
 742  * Iterate over all values defined by an instruction.
 743  * Only looks at values in a certain register class where the requirements
 744  * are not marked as ignore.
 745  * Executes @p code for each definition.
 746  */
 747 #define be_foreach_definition_(node, cls, value, code)                     \
 748         do {                                                                   \
 749         if (get_irn_mode(node) == mode_T) {                                    \
 750                 const ir_edge_t *edge_;                                            \
 751                 foreach_out_edge(node, edge_) {                                    \
 752                         const arch_register_req_t *req_;                               \
 753                         value = get_edge_src_irn(edge_);                               \
 754                         req_  = arch_get_register_req_out(value);                      \
 755                         if (req_->cls != cls)                                          \
 756                                 continue;                                                  \
 757                         code                                                           \
 758                 }                                                                  \
 759         } else {                                                               \
 760                 const arch_register_req_t *req_ = arch_get_register_req_out(node); \
 761                 value = node;                                                      \
 762                 if (req_->cls == cls) {                                            \
 763                         code                                                           \
 764                 }                                                                  \
 765         }                                                                      \
 766         } while (0)
 767
 768 #define be_foreach_definition(node, cls, value, code)                      \
 769         be_foreach_definition_(node, cls, value,                               \
 770                 if (req_->type & arch_register_req_type_ignore)                    \
 771                         continue;                                                      \
 772                 code                                                               \
 773         )
 774
 775 #endif