X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Farm%2Farm_nodes_attr.h;h=dfe8e54cb26491a54fe62435985b91e758ac7b56;hb=09cc69761cce64b2f7e2b346f0cdaf269ec00407;hp=795736e5db1dd92047489f7771f9b3867a834c79;hpb=7f81d2a2c9293cf34e4db08fc402a5c33ef919eb;p=libfirm diff --git a/ir/be/arm/arm_nodes_attr.h b/ir/be/arm/arm_nodes_attr.h index 795736e5d..dfe8e54cb 100644 --- a/ir/be/arm/arm_nodes_attr.h +++ b/ir/be/arm/arm_nodes_attr.h @@ -1,5 +1,5 @@ /* - * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. * * This file is part of libFirm. * @@ -19,87 +19,128 @@ /** * @file - * @brief declarations for arm node attributes - * @author Oliver Richter, Tobias Gneist + * @brief declarations for ARM node attributes + * @author Oliver Richter, Tobias Gneist, Michael Beck * @version $Id$ */ #ifndef FIRM_BE_ARM_ARM_NODES_ATTR_H #define FIRM_BE_ARM_ARM_NODES_ATTR_H -#include "../bearch_t.h" #include "firm_types.h" +#include "irnode_t.h" +#include "../bearch.h" /** - * Possible ARM register shift types. + * Possible ARM "shifter operand" addressing mode types. */ -typedef enum _arm_shift_modifier { - ARM_SHF_NONE = 0, /**< no shift */ - ARM_SHF_IMM = 1, /**< immediate operand with implicit ROR */ - ARM_SHF_ASR = 2, /**< arithmetic shift right */ - ARM_SHF_LSL = 3, /**< logical shift left */ - ARM_SHF_LSR = 4, /**< logical shift right */ - ARM_SHF_ROR = 5, /**< rotate right */ - ARM_SHF_RRX = 6, /**< rotate with sign extend */ -} arm_shift_modifier; - -/** True, if the modifier implies a shift argument */ -#define ARM_HAS_SHIFT(mod) ((mod) > ARM_SHF_IMM) - -/** get the shift modifier from flags */ -#define ARM_GET_SHF_MOD(attr) ((attr)->instr_fl & 7) - -/** set the shift modifier to flags */ -#define ARM_SET_SHF_MOD(attr, mod) ((attr)->instr_fl = (((attr)->instr_fl & ~7) | (mod))) - +typedef enum arm_shift_modifier_t { + ARM_SHF_INVALID, /**< invalid shift */ + ARM_SHF_REG, /**< simple register operand */ + ARM_SHF_IMM, /**< immediate operand with implicit ROR */ + ARM_SHF_ASR_IMM, /**< arithmetic shift right */ + ARM_SHF_ASR_REG, /**< arithmetic shift right */ + ARM_SHF_LSL_IMM, /**< logical shift left */ + ARM_SHF_LSL_REG, /**< logical shift left */ + ARM_SHF_LSR_IMM, /**< logical shift right */ + ARM_SHF_LSR_REG, /**< logical shift right */ + ARM_SHF_ROR_IMM, /**< rotate right */ + ARM_SHF_ROR_REG, /**< rotate right */ + ARM_SHF_RRX, /**< rotate right through carry bits */ +} arm_shift_modifier_t; + +/** Encoding for fpa immediates */ +enum fpa_immediates { + fpa_null = 0, + fpa_one, + fpa_two, + fpa_three, + fpa_four, + fpa_five, + fpa_ten, + fpa_half, + fpa_max +}; + +/** Generic ARM node attributes. */ +typedef struct arm_attr_t { + except_attr exc; /**< the exception attribute. MUST be the first one. */ + bool is_load_store : 1; /**< if set, this is a load or store instruction */ +} arm_attr_t; /** - * Possible ARM condition codes. + * This struct holds information needed to produce the arm + * "data processing operands" also called "shifter operand" addressing modes */ -typedef enum _arm_condition { - ARM_COND_EQ = 0, /**< Equal, Z set. */ - ARM_COND_NE = 1, /**< Not Equal, Z clear */ - ARM_COND_CS = 2, /**< Carry set, unsigned >=, C set */ - ARM_COND_CC = 3, /**< Carry clear, unsigned <, C clear */ - ARM_COND_MI = 4, /**< Minus/Negativ, N set */ - ARM_COND_PL = 5, /**< Plus/Positiv or Zero, N clear */ - ARM_COND_VS = 6, /**< Overflow, V set */ - ARM_COND_VC = 7, /**< No overflow, V clear */ - ARM_COND_HI = 8, /**< unsigned >, C set and Z clear */ - ARM_COND_LS = 9, /**< unsigned <=, C clear or Z set */ - ARM_COND_GE = 10, /**< signed >=, N == V */ - ARM_COND_LT = 11, /**< signed <, N != V */ - ARM_COND_GT = 12, /**< signed >, Z clear and N == V */ - ARM_COND_LE = 13, /**< signed <=, Z set or N != V */ - ARM_COND_AL = 14, /**< Always (unconditional) */ - ARM_COND_NV = 15 /**< forbidden */ -} arm_condition; - -/** Get the condition code from flags */ -#define ARM_GET_COND(attr) (((attr)->instr_fl >> 3) & 15) - -/** Set the condition code to flags */ -#define ARM_SET_COND(attr, code) ((attr)->instr_fl = (((attr)->instr_fl & ~(15 << 3)) | ((code) << 3))) - -typedef struct _arm_attr_t { - arch_irn_flags_t flags; /**< indicating if spillable, rematerializeable ... etc. */ - - const arch_register_req_t **in_req; /**< register requirements for arguments */ - const arch_register_req_t **out_req; /**< register requirements for results */ - - ir_mode *op_mode; /**< operation mode */ - unsigned instr_fl; /**< condition code, shift modifier */ - tarval *value; /**< immediate */ - ident *symconst_id; /**< for SymConsts: its ident */ - int proj_num; - int n_projs; - long default_proj_num; - - const arch_register_t **slots; /**< register slots for assigned registers */ -} arm_attr_t; +typedef struct arm_shifter_operand_t { + arm_attr_t base; + arm_shift_modifier_t shift_modifier; + unsigned char immediate_value; + unsigned char shift_immediate; +} arm_shifter_operand_t; + +typedef struct arm_cmp_attr_t { + arm_shifter_operand_t base; + bool ins_permuted : 1; + bool is_unsigned : 1; +} arm_cmp_attr_t; + +/** + * this struct holds information needed to produce the arm addressing modes + * for "Load and Store Word or Unsigned Byte", "Miscellaneous Loads and Stores" + * and "Load and Store Multiple" */ +typedef struct arm_load_store_attr_t { + arm_attr_t base; + ir_mode *load_store_mode; + ir_entity *entity; + long offset; + bool is_frame_entity : 1; + bool entity_sign : 1; +} arm_load_store_attr_t; + +/** Attributes for a SymConst */ +typedef struct arm_SymConst_attr_t { + arm_attr_t base; + ir_entity *entity; + int fp_offset; +} arm_SymConst_attr_t; + +/** Attributes for a CondJmp */ +typedef struct arm_CondJmp_attr_t { + arm_attr_t base; + ir_relation relation; +} arm_CondJmp_attr_t; + +/** Attributes for a SwitchJmp */ +typedef struct arm_SwitchJmp_attr_t { + arm_attr_t base; + int n_projs; + long default_proj_num; +} arm_SwitchJmp_attr_t; + +/** CopyB attributes */ +typedef struct arm_CopyB_attr_t { + arm_attr_t base; + unsigned size; +} arm_CopyB_attr_t; + +/** Attributes for a fConst */ +typedef struct arm_fConst_attr_t { + arm_attr_t base; + ir_tarval *tv; /**< the tarval representing the FP const */ +} arm_fConst_attr_t; + +/** attributes for floatingpoint arithmetic operations */ +typedef struct arm_farith_attr_t { + arm_attr_t base; + ir_mode *mode; /* operation mode */ +} arm_farith_attr_t; /** - * Returns the shift modifier string. + * Return the fpa immediate from the encoding. */ -const char *arm_shf_mod_name(arm_shift_modifier mod); +const char *arm_get_fpa_imm_name(long imm_value); + +#define CAST_ARM_ATTR(type,ptr) ((type *)(ptr)) +#define CONST_CAST_ARM_ATTR(type,ptr) ((const type *)(ptr)) #endif