added context parameter for create_intrinsic_fkt
[libfirm] / ir / be / arm / bearch_arm.c
index 189190c..3914f4a 100644 (file)
@@ -5,6 +5,11 @@
 #include "config.h"
 #endif
 
+#ifdef WITH_LIBCORE
+#include <libcore/lc_opts.h>
+#include <libcore/lc_opts_enum.h>
+#endif /* WITH_LIBCORE */
+
 #include "pseudo_irg.h"
 #include "irgwalk.h"
 #include "irprog.h"
@@ -63,7 +68,7 @@ static const arch_register_req_t *arm_get_irn_reg_req(const void *self, arch_reg
        const arm_register_req_t *irn_req;
        long               node_pos = pos == -1 ? 0 : pos;
        ir_mode           *mode     = get_irn_mode(irn);
-       firm_dbg_module_t *mod      = firm_dbg_register(DEBUG_MODULE);
+       FIRM_DBG_REGISTER(firm_dbg_module_t *mod, DEBUG_MODULE);
 
        if (is_Block(irn) || mode == mode_X || mode == mode_M) {
                DBG((mod, LEVEL_1, "ignoring mode_T, mode_M node %+F\n", irn));
@@ -122,10 +127,10 @@ static const arch_register_req_t *arm_get_irn_reg_req(const void *self, arch_reg
                        DB((mod, LEVEL_1, "returning standard reqs for %+F\n", irn));
 
                        if (mode_is_float(mode)) {
-                               memcpy(req, &(arm_default_req_arm_floating_point.req), sizeof(*req));
+                               memcpy(req, &(arm_default_req_arm_fpa.req), sizeof(*req));
                        }
                        else if (mode_is_int(mode) || mode_is_reference(mode)) {
-                               memcpy(req, &(arm_default_req_arm_general_purpose.req), sizeof(*req));
+                               memcpy(req, &(arm_default_req_arm_gp.req), sizeof(*req));
                        }
                        else if (mode == mode_T || mode == mode_M) {
                                DBG((mod, LEVEL_1, "ignoring Phi node %+F\n", irn));
@@ -243,7 +248,8 @@ static const arch_irn_ops_if_t arm_irn_ops_if = {
        arm_classify,
        arm_get_flags,
        arm_get_frame_entity,
-       arm_set_stack_bias
+       arm_set_stack_bias,
+       NULL
 };
 
 arm_irn_ops_t arm_irn_ops = {
@@ -265,12 +271,13 @@ arm_irn_ops_t arm_irn_ops = {
  **************************************************/
 
 /**
- * Transforms the standard firm graph into
- * a ARM firm graph
+ * Transforms the standard Firm graph into
+ * a ARM firm graph.
  */
 static void arm_prepare_graph(void *self) {
        arm_code_gen_t *cg = self;
 
+       arm_register_transformers();
        irg_walk_blkwise_graph(cg->irg, arm_move_consts, arm_transform_node, cg);
 }
 
@@ -305,10 +312,10 @@ static void arm_before_ra(void *self) {
 static void arm_emit_and_done(void *self) {
        arm_code_gen_t *cg = self;
        ir_graph           *irg = cg->irg;
-       FILE               *out = cg->out;
+       FILE               *out = cg->isa->out;
 
        if (cg->emit_decls) {
-               arm_gen_decls(cg->out);
+               arm_gen_decls(out);
                cg->emit_decls = 0;
        }
 
@@ -323,20 +330,84 @@ static void arm_emit_and_done(void *self) {
        free(self);
 }
 
-enum convert_which { low, high };
+/**
+ * Move a double floating point value into an integer register.
+ * Place the move operation into block bl.
+ *
+ * Handle some special cases here:
+ * 1.) A constant: simply split into two
+ * 2.) A load: siply split into two
+ */
+static ir_node *convert_dbl_to_int(ir_node *bl, ir_node *arg, ir_node *mem,
+                                   ir_node **resH, ir_node **resL) {
+       if (is_Const(arg)) {
+               tarval *tv = get_Const_tarval(arg);
+               unsigned v;
+
+               /* get the upper 32 bits */
+               v =            get_tarval_sub_bits(tv, 7);
+               v = (v << 8) | get_tarval_sub_bits(tv, 6);
+               v = (v << 8) | get_tarval_sub_bits(tv, 5);
+               v = (v << 8) | get_tarval_sub_bits(tv, 4);
+               *resH = new_Const_long(mode_Is, v);
+
+               /* get the lower 32 bits */
+               v =            get_tarval_sub_bits(tv, 3);
+               v = (v << 8) | get_tarval_sub_bits(tv, 2);
+               v = (v << 8) | get_tarval_sub_bits(tv, 1);
+               v = (v << 8) | get_tarval_sub_bits(tv, 0);
+               *resL = new_Const_long(mode_Is, v);
+       }
+       else if (get_irn_op(skip_Proj(arg)) == op_Load) {
+               /* FIXME: handling of low/high depends on LE/BE here */
+               assert(0);
+       }
+       else {
+               ir_graph *irg = current_ir_graph;
+               ir_node *conv;
+
+               conv = new_rd_arm_fpaDbl2GP(NULL, irg, bl, arg, mem);
+               /* move high/low */
+               *resL = new_r_Proj(irg, bl, conv, mode_Is, pn_arm_fpaDbl2GP_low);
+               *resH = new_r_Proj(irg, bl, conv, mode_Is, pn_arm_fpaDbl2GP_high);
+               mem   = new_r_Proj(irg, bl, conv, mode_M,  pn_arm_fpaDbl2GP_M);
+       }
+       return mem;
+}
 
 /**
- * Move an floating point value to a integer register.
+ * Move a single floating point value into an integer register.
  * Place the move operation into block bl.
+ *
+ * Handle some special cases here:
+ * 1.) A constant: simply move
+ * 2.) A load: siply load
  */
-static ir_node *convert_to_int(ir_node *bl, ir_node *arg, enum convert_which which) {
+static ir_node *convert_sng_to_int(ir_node *bl, ir_node *arg) {
+       if (is_Const(arg)) {
+               tarval *tv = get_Const_tarval(arg);
+               unsigned v;
+
+               /* get the lower 32 bits */
+               v =            get_tarval_sub_bits(tv, 3);
+               v = (v << 8) | get_tarval_sub_bits(tv, 2);
+               v = (v << 8) | get_tarval_sub_bits(tv, 1);
+               v = (v << 8) | get_tarval_sub_bits(tv, 0);
+               return new_Const_long(mode_Is, v);
+       }
+       else if (get_irn_op(skip_Proj(arg)) == op_Load) {
+               ir_node *load;
+
+               load = skip_Proj(arg);
+       }
+       assert(0);
        return NULL;
 }
 
 /**
  * Convert the arguments of a call to support the
  * ARM calling convention of general purpose AND floating
- * point arguments
+ * point arguments.
  */
 static void handle_calls(ir_node *call, void *env)
 {
@@ -372,18 +443,20 @@ static void handle_calls(ir_node *call, void *env)
 
                        if (mode_is_float(mode)) {
                                if (get_mode_size_bits(mode) > 32) {
+                                       ir_node *mem = get_Call_mem(call);
+
+                                       /* Beware: ARM wants the high part first */
                                        size += 2 * 4;
-                                       new_tp[idx] = cg->int_tp;
-                                       new_in[idx] = convert_to_int(bl, get_Call_param(call, i), low);
-                                       ++idx;
-                                       new_tp[idx] = cg->int_tp;
-                                       new_in[idx] = convert_to_int(bl, get_Call_param(call, i), high);
-                                       ++idx;
+                                       new_tp[idx]   = cg->int_tp;
+                                       new_tp[idx+1] = cg->int_tp;
+                                       mem = convert_dbl_to_int(bl, get_Call_param(call, i), mem, &new_in[idx], &new_in[idx+1]);
+                                       idx += 2;
+                                       set_Call_mem(call, mem);
                                }
                                else {
                                        size += 4;
                                        new_tp[idx] = cg->int_tp;
-                                       new_in[idx] = convert_to_int(bl, get_Call_param(call, i), low);
+                                       new_in[idx] = convert_sng_to_int(bl, get_Call_param(call, i));
                                        ++idx;
                                }
                                flag = 1;
@@ -442,7 +515,7 @@ static void handle_calls(ir_node *call, void *env)
 }
 
 /**
- * Handle graph transformations before the abi converter does it's work
+ * Handle graph transformations before the abi converter does its work.
  */
 static void arm_before_abi(void *self) {
        arm_code_gen_t *cg = self;
@@ -450,27 +523,27 @@ static void arm_before_abi(void *self) {
        irg_walk_graph(cg->irg, NULL, handle_calls, cg);
 }
 
-static void *arm_cg_init(FILE *F, const be_irg_t *birg);
+static void *arm_cg_init(const be_irg_t *birg);
 
 static const arch_code_generator_if_t arm_code_gen_if = {
        arm_cg_init,
-       arm_before_abi,         /* before abi introduce */
+       arm_before_abi,     /* before abi introduce */
        arm_prepare_graph,
        arm_before_sched,   /* before scheduling hook */
        arm_before_ra,      /* before register allocation hook */
-       NULL, /* after register allocation */
+       NULL,               /* after register allocation */
        arm_emit_and_done,
 };
 
 /**
  * Initializes the code generator.
  */
-static void *arm_cg_init(FILE *F, const be_irg_t *birg) {
+static void *arm_cg_init(const be_irg_t *birg) {
        static ir_type *int_tp = NULL;
        arm_isa_t      *isa = (arm_isa_t *)birg->main_env->arch_env->isa;
        arm_code_gen_t *cg;
 
-    if (! int_tp) {
+       if (! int_tp) {
                /* create an integer type with machine size */
                int_tp = new_type_primitive(new_id_from_chars("int", 3), mode_Is);
        }
@@ -479,11 +552,13 @@ static void *arm_cg_init(FILE *F, const be_irg_t *birg) {
        cg->impl     = &arm_code_gen_if;
        cg->irg      = birg->irg;
        cg->reg_set  = new_set(arm_cmp_irn_reg_assoc, 1024);
-       cg->mod      = firm_dbg_register("firm.be.arm.cg");
-       cg->out      = F;
        cg->arch_env = birg->main_env->arch_env;
+       cg->isa      = isa;
        cg->birg     = birg;
        cg->int_tp   = int_tp;
+       cg->have_fp  = 0;
+
+       FIRM_DBG_REGISTER(cg->mod, "firm.be.arm.cg");
 
        isa->num_codegens++;
 
@@ -496,6 +571,9 @@ static void *arm_cg_init(FILE *F, const be_irg_t *birg) {
 
        arm_irn_ops.cg = cg;
 
+       /* enter the current code generator */
+       isa->cg = cg;
+
        return (arch_code_generator_t *)cg;
 }
 
@@ -505,7 +583,7 @@ static void *arm_cg_init(FILE *F, const be_irg_t *birg) {
  * and map all instructions the backend did not support
  * to runtime calls.
  */
-void arm_global_init(void) {
+static void arm_handle_intrinsics(void) {
   ir_type *tp, *int_tp, *uint_tp;
   i_record records[8];
   int n_records = 0;
@@ -515,6 +593,7 @@ void arm_global_init(void) {
   int_tp  = new_type_primitive(ID("int"), mode_Is);
   uint_tp = new_type_primitive(ID("uint"), mode_Iu);
 
+       /* ARM has neither a signed div instruction ... */
   {
     runtime_rt rt_Div;
     i_instr_record *map_Div = &records[n_records++].i_instr;
@@ -535,9 +614,10 @@ void arm_global_init(void) {
 
     map_Div->kind     = INTRINSIC_INSTR;
     map_Div->op       = op_Div;
-    map_Div->i_mapper = i_mapper_RuntimeCall;
+    map_Div->i_mapper = (i_mapper_func)i_mapper_RuntimeCall;
     map_Div->ctx      = &rt_Div;
   }
+       /* ... nor a signed div instruction ... */
   {
     runtime_rt rt_Div;
     i_instr_record *map_Div = &records[n_records++].i_instr;
@@ -558,9 +638,10 @@ void arm_global_init(void) {
 
     map_Div->kind     = INTRINSIC_INSTR;
     map_Div->op       = op_Div;
-    map_Div->i_mapper = i_mapper_RuntimeCall;
+    map_Div->i_mapper = (i_mapper_func)i_mapper_RuntimeCall;
     map_Div->ctx      = &rt_Div;
   }
+       /* ... nor a signed mod instruction ... */
   {
     runtime_rt rt_Mod;
     i_instr_record *map_Mod = &records[n_records++].i_instr;
@@ -581,9 +662,10 @@ void arm_global_init(void) {
 
     map_Mod->kind     = INTRINSIC_INSTR;
     map_Mod->op       = op_Mod;
-    map_Mod->i_mapper = i_mapper_RuntimeCall;
+    map_Mod->i_mapper = (i_mapper_func)i_mapper_RuntimeCall;
     map_Mod->ctx      = &rt_Mod;
   }
+       /* ... nor a unsigned mod. */
   {
     runtime_rt rt_Mod;
     i_instr_record *map_Mod = &records[n_records++].i_instr;
@@ -604,7 +686,7 @@ void arm_global_init(void) {
 
     map_Mod->kind     = INTRINSIC_INSTR;
     map_Mod->op       = op_Mod;
-    map_Mod->i_mapper = i_mapper_RuntimeCall;
+    map_Mod->i_mapper = (i_mapper_func)i_mapper_RuntimeCall;
     map_Mod->ctx      = &rt_Mod;
   }
 
@@ -623,56 +705,79 @@ void arm_global_init(void) {
  *****************************************************************/
 
 static arm_isa_t arm_isa_template = {
-       &arm_isa_if,                        /* isa interface */
-       &arm_general_purpose_regs[REG_R13], /* stack pointer */
-       &arm_general_purpose_regs[REG_R11], /* base pointer */
-       -1,                                 /* stack direction */
-       0                                   /* number of codegenerator objects */
+       &arm_isa_if,           /* isa interface */
+       &arm_gp_regs[REG_SP],  /* stack pointer */
+       &arm_gp_regs[REG_R11], /* base pointer */
+       -1,                    /* stack direction */
+       0,                     /* number of codegenerator objects */
+       0,                     /* use generic register names instead of SP, LR, PC */
+       NULL,                  /* current code generator */
+       NULL,                  /* output file */
+       ARM_FPU_ARCH_FPE,      /* FPU architecture */
 };
 
 /**
  * Initializes the backend ISA and opens the output file.
  */
-static void *arm_init(void) {
+static void *arm_init(FILE *file_handle) {
        static int inited = 0;
        arm_isa_t *isa;
 
        if(inited)
                return NULL;
 
-       isa = xcalloc(1, sizeof(*isa));
+       isa = xmalloc(sizeof(*isa));
        memcpy(isa, &arm_isa_template, sizeof(*isa));
 
        arm_register_init(isa);
+       if (isa->gen_reg_names) {
+               /* patch register names */
+               arm_gp_regs[REG_R11].name = "r11";
+               arm_gp_regs[REG_SP].name  = "r13";
+               arm_gp_regs[REG_LR].name  = "r14";
+               arm_gp_regs[REG_PC].name  = "r15";
+       }
+
+       isa->cg  = NULL;
+       isa->out = file_handle;
+
        arm_create_opcodes();
+       arm_handle_intrinsics();
+       arm_switch_section(NULL, NO_SECTION);
 
        inited = 1;
-
        return isa;
 }
 
 
 
 /**
- * Closes the output file and frees the ISA structure.
+ * frees the ISA structure.
  */
 static void arm_done(void *self) {
        free(self);
 }
 
 
-
+/**
+ * Report the number of register classes.
+ * If we don't have fp instructions, report only GP
+ * here to speed up register allocation (and makes dumps
+ * smaller and more readable).
+ */
 static int arm_get_n_reg_class(const void *self) {
-       return N_CLASSES;
+       const arm_isa_t *isa = self;
+
+       return isa->cg->have_fp ? 2 : 1;
 }
 
+/**
+ * Return the register class with requested index.
+ */
 static const arch_register_class_t *arm_get_reg_class(const void *self, int i) {
-       assert(i >= 0 && i < N_CLASSES && "Invalid arm register class requested.");
-       return &arm_reg_classes[i];
+       return i == 0 ? &arm_reg_classes[CLASS_arm_gp] : &arm_reg_classes[CLASS_arm_fpa];
 }
 
-
-
 /**
  * Get the register class which shall be used to store a value of a given mode.
  * @param self The this pointer.
@@ -681,13 +786,11 @@ static const arch_register_class_t *arm_get_reg_class(const void *self, int i) {
  */
 const arch_register_class_t *arm_get_reg_class_for_mode(const void *self, const ir_mode *mode) {
        if (mode_is_float(mode))
-               return &arm_reg_classes[CLASS_arm_floating_point];
+               return &arm_reg_classes[CLASS_arm_fpa];
        else
-               return &arm_reg_classes[CLASS_arm_general_purpose];
+               return &arm_reg_classes[CLASS_arm_gp];
 }
 
-
-
 /**
  * Produces the type which sits between the stack args and the locals on the stack.
  * it will contain the return address and space to store the old base pointer.
@@ -715,12 +818,6 @@ static ir_type *arm_get_between_type(void *self) {
 }
 
 
-
-
-
-
-
-
 typedef struct {
        be_abi_call_flags_bits_t flags;
        const arch_env_t *arch_env;
@@ -730,7 +827,7 @@ typedef struct {
 
 static void *arm_abi_init(const be_abi_call_t *call, const arch_env_t *arch_env, ir_graph *irg)
 {
-       arm_abi_env_t *env    = xmalloc(sizeof(env[0]));
+       arm_abi_env_t *env     = xmalloc(sizeof(env[0]));
        be_abi_call_flags_t fl = be_abi_call_get_flags(call);
        env->flags    = fl.bits;
        env->irg      = irg;
@@ -742,7 +839,7 @@ static void *arm_abi_init(const be_abi_call_t *call, const arch_env_t *arch_env,
 static void arm_abi_dont_save_regs(void *self, pset *s)
 {
        arm_abi_env_t *env = self;
-       if(env->flags.try_omit_fp)
+       if (env->flags.try_omit_fp)
                pset_insert_ptr(s, env->isa->bp);
 }
 
@@ -758,63 +855,63 @@ static const arch_register_t *arm_abi_prologue(void *self, ir_node **mem, pmap *
        ir_node *block = get_irg_start_block(irg);
 //     ir_node *regs[16];
 //     int n_regs = 0;
-       arch_register_class_t *gp = &arm_reg_classes[CLASS_arm_general_purpose];
+       arch_register_class_t *gp = &arm_reg_classes[CLASS_arm_gp];
        static const arm_register_req_t *fp_req[] = {
-               &arm_default_req_arm_general_purpose_r11
+               &arm_default_req_arm_gp_r11
        };
 
        ir_node *fp = be_abi_reg_map_get(reg_map, env->isa->bp);
-       ir_node *ip = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R12]);
+       ir_node *ip = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_R12]);
        ir_node *sp = be_abi_reg_map_get(reg_map, env->isa->sp);
-       ir_node *lr = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R14]);
-       ir_node *pc = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R15]);
-//     ir_node *r0 = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R0]);
-//     ir_node *r1 = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R1]);
-//     ir_node *r2 = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R2]);
-//     ir_node *r3 = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R3]);
+       ir_node *lr = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_LR]);
+       ir_node *pc = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_PC]);
+//     ir_node *r0 = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_R0]);
+//     ir_node *r1 = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_R1]);
+//     ir_node *r2 = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_R2]);
+//     ir_node *r3 = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_R3]);
 
        if(env->flags.try_omit_fp)
                return env->isa->sp;
 
        ip = be_new_Copy(gp, irg, block, sp );
-               arch_set_irn_register(env->arch_env, ip, &arm_general_purpose_regs[REG_R12]);
-               be_set_constr_single_reg(ip, BE_OUT_POS(0), &arm_general_purpose_regs[REG_R12] );
+       arch_set_irn_register(env->arch_env, ip, &arm_gp_regs[REG_R12]);
+       be_set_constr_single_reg(ip, BE_OUT_POS(0), &arm_gp_regs[REG_R12] );
 
 //     if (r0) regs[n_regs++] = r0;
 //     if (r1) regs[n_regs++] = r1;
 //     if (r2) regs[n_regs++] = r2;
 //     if (r3) regs[n_regs++] = r3;
 //     sp = new_r_arm_StoreStackMInc(irg, block, *mem, sp, n_regs, regs, get_irn_mode(sp));
-//             set_arm_req_out(sp, &arm_default_req_arm_general_purpose_r13, 0);
+//             set_arm_req_out(sp, &arm_default_req_arm_gp_sp, 0);
 //             arch_set_irn_register(env->arch_env, sp, env->isa->sp);
-       store = new_rd_arm_StoreStackM4Inc(NULL, irg, block, sp, fp, ip, lr, pc, *mem, mode_T);
-               set_arm_req_out(store, &arm_default_req_arm_general_purpose_r13, 0);
+       store = new_rd_arm_StoreStackM4Inc(NULL, irg, block, sp, fp, ip, lr, pc, *mem);
+               set_arm_req_out(store, &arm_default_req_arm_gp_sp, 0);
 //             arch_set_irn_register(env->arch_env, store, env->isa->sp);
 
-       sp = new_r_Proj(irg, block, store, env->isa->sp->reg_class->mode, 0);
+       sp = new_r_Proj(irg, block, store, env->isa->sp->reg_class->mode, pn_arm_StoreStackM4Inc_ptr);
                arch_set_irn_register(env->arch_env, sp, env->isa->sp);
-       *mem = new_r_Proj(irg, block, store, mode_M, 1);
+       *mem = new_r_Proj(irg, block, store, mode_M, pn_arm_StoreStackM4Inc_M);
 
        keep = be_new_CopyKeep_single(gp, irg, block, ip, sp, get_irn_mode(ip));
                be_node_set_reg_class(keep, 1, gp);
-               arch_set_irn_register(env->arch_env, keep, &arm_general_purpose_regs[REG_R12]);
-               be_set_constr_single_reg(keep, BE_OUT_POS(0), &arm_general_purpose_regs[REG_R12] );
+               arch_set_irn_register(env->arch_env, keep, &arm_gp_regs[REG_R12]);
+               be_set_constr_single_reg(keep, BE_OUT_POS(0), &arm_gp_regs[REG_R12] );
 
-       fp = new_rd_arm_Sub_i(NULL, irg, block, keep, get_irn_mode(fp) );
-               set_arm_value(fp, new_tarval_from_long(4, mode_Iu));
+       fp = new_rd_arm_Sub_i(NULL, irg, block, keep, get_irn_mode(fp),
+                             new_tarval_from_long(4, get_irn_mode(fp)));
                set_arm_req_out_all(fp, fp_req);
-               //set_arm_req_out(fp, &arm_default_req_arm_general_purpose_r11, 0);
+               //set_arm_req_out(fp, &arm_default_req_arm_gp_r11, 0);
                arch_set_irn_register(env->arch_env, fp, env->isa->bp);
 
-//     be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R0], r0);
-//     be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R1], r1);
-//     be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R2], r2);
-//     be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R3], r3);
+//     be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_R0], r0);
+//     be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_R1], r1);
+//     be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_R2], r2);
+//     be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_R3], r3);
        be_abi_reg_map_set(reg_map, env->isa->bp, fp);
-       be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R12], keep);
+       be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_R12], keep);
        be_abi_reg_map_set(reg_map, env->isa->sp, sp);
-       be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R14], lr);
-       be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R15], pc);
+       be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_LR], lr);
+       be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_PC], pc);
 
        return env->isa->bp;
 }
@@ -823,47 +920,47 @@ static void arm_abi_epilogue(void *self, ir_node *bl, ir_node **mem, pmap *reg_m
        arm_abi_env_t *env = self;
        ir_node *curr_sp = be_abi_reg_map_get(reg_map, env->isa->sp);
        ir_node *curr_bp = be_abi_reg_map_get(reg_map, env->isa->bp);
-       ir_node *curr_pc = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R15]);
-       ir_node *curr_lr = be_abi_reg_map_get(reg_map, &arm_general_purpose_regs[REG_R14]);
+       ir_node *curr_pc = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_PC]);
+       ir_node *curr_lr = be_abi_reg_map_get(reg_map, &arm_gp_regs[REG_LR]);
        static const arm_register_req_t *sub12_req[] = {
-               &arm_default_req_arm_general_purpose_r13
+               &arm_default_req_arm_gp_sp
        };
 
 //     TODO: Activate Omit fp in epilogue
        if(env->flags.try_omit_fp) {
                curr_sp = be_new_IncSP(env->isa->sp, env->irg, bl, curr_sp, *mem, BE_STACK_FRAME_SIZE, be_stack_dir_shrink);
 
-               curr_lr = be_new_CopyKeep_single(&arm_reg_classes[CLASS_arm_general_purpose], env->irg, bl, curr_lr, curr_sp, get_irn_mode(curr_lr));
-               be_node_set_reg_class(curr_lr, 1, &arm_reg_classes[CLASS_arm_general_purpose]);
-               arch_set_irn_register(env->arch_env, curr_lr, &arm_general_purpose_regs[REG_R14]);
-               be_set_constr_single_reg(curr_lr, BE_OUT_POS(0), &arm_general_purpose_regs[REG_R14] );
+               curr_lr = be_new_CopyKeep_single(&arm_reg_classes[CLASS_arm_gp], env->irg, bl, curr_lr, curr_sp, get_irn_mode(curr_lr));
+               be_node_set_reg_class(curr_lr, 1, &arm_reg_classes[CLASS_arm_gp]);
+               arch_set_irn_register(env->arch_env, curr_lr, &arm_gp_regs[REG_LR]);
+               be_set_constr_single_reg(curr_lr, BE_OUT_POS(0), &arm_gp_regs[REG_LR] );
 
-               curr_pc = be_new_Copy(&arm_reg_classes[CLASS_arm_general_purpose], env->irg, bl, curr_lr );
-               arch_set_irn_register(env->arch_env, curr_pc, &arm_general_purpose_regs[REG_R15]);
-               be_set_constr_single_reg(curr_pc, BE_OUT_POS(0), &arm_general_purpose_regs[REG_R15] );
+               curr_pc = be_new_Copy(&arm_reg_classes[CLASS_arm_gp], env->irg, bl, curr_lr );
+               arch_set_irn_register(env->arch_env, curr_pc, &arm_gp_regs[REG_PC]);
+               be_set_constr_single_reg(curr_pc, BE_OUT_POS(0), &arm_gp_regs[REG_PC] );
        } else {
                ir_node *sub12_node;
                ir_node *load_node;
-               sub12_node = new_rd_arm_Sub_i(NULL, env->irg, bl, curr_bp, mode_Iu );
-               set_arm_value(sub12_node, new_tarval_from_long(12,mode_Iu));
+               tarval *tv = new_tarval_from_long(12,mode_Iu);
+               sub12_node = new_rd_arm_Sub_i(NULL, env->irg, bl, curr_bp, mode_Iu, tv);
                set_arm_req_out_all(sub12_node, sub12_req);
                arch_set_irn_register(env->arch_env, sub12_node, env->isa->sp);
-               load_node = new_rd_arm_LoadStackM3( NULL, env->irg, bl, sub12_node, *mem, mode_T );
-               set_arm_req_out(load_node, &arm_default_req_arm_general_purpose_r11, 0);
-               set_arm_req_out(load_node, &arm_default_req_arm_general_purpose_r13, 1);
-               set_arm_req_out(load_node, &arm_default_req_arm_general_purpose_r15, 2);
-               curr_bp = new_r_Proj(env->irg, bl, load_node, env->isa->bp->reg_class->mode, 0);
-               curr_sp = new_r_Proj(env->irg, bl, load_node, env->isa->sp->reg_class->mode, 1);
-               curr_pc = new_r_Proj(env->irg, bl, load_node, mode_Iu, 2);
-               *mem    = new_r_Proj(env->irg, bl, load_node, mode_M, 3);
+               load_node = new_rd_arm_LoadStackM3( NULL, env->irg, bl, sub12_node, *mem );
+               set_arm_req_out(load_node, &arm_default_req_arm_gp_r11, 0);
+               set_arm_req_out(load_node, &arm_default_req_arm_gp_sp, 1);
+               set_arm_req_out(load_node, &arm_default_req_arm_gp_pc, 2);
+               curr_bp = new_r_Proj(env->irg, bl, load_node, env->isa->bp->reg_class->mode, pn_arm_LoadStackM3_res0);
+               curr_sp = new_r_Proj(env->irg, bl, load_node, env->isa->sp->reg_class->mode, pn_arm_LoadStackM3_res1);
+               curr_pc = new_r_Proj(env->irg, bl, load_node, mode_Iu, pn_arm_LoadStackM3_res2);
+               *mem    = new_r_Proj(env->irg, bl, load_node, mode_M, pn_arm_LoadStackM3_M);
                arch_set_irn_register(env->arch_env, curr_bp, env->isa->bp);
                arch_set_irn_register(env->arch_env, curr_sp, env->isa->sp);
-               arch_set_irn_register(env->arch_env, curr_pc, &arm_general_purpose_regs[REG_R15]);
+               arch_set_irn_register(env->arch_env, curr_pc, &arm_gp_regs[REG_PC]);
        }
        be_abi_reg_map_set(reg_map, env->isa->sp, curr_sp);
        be_abi_reg_map_set(reg_map, env->isa->bp, curr_bp);
-       be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R14], curr_lr);
-       be_abi_reg_map_set(reg_map, &arm_general_purpose_regs[REG_R15], curr_pc);
+       be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_LR], curr_lr);
+       be_abi_reg_map_set(reg_map, &arm_gp_regs[REG_PC], curr_pc);
 }
 
 static const be_abi_callbacks_t arm_abi_callbacks = {
@@ -887,13 +984,14 @@ void arm_get_call_abi(const void *self, ir_type *method_type, be_abi_call_t *abi
        ir_mode  *mode;
        int       i;
        int       n = get_method_n_params(method_type);
-//     const arch_register_t *reg;
        be_abi_call_flags_t flags = {
-               0, /* store from left to right */
-               0, /* store arguments sequential */
-               1, /* try to omit the frame pointer */
-               1, /* the function can use any register as frame pointer */
-               1  /* a call can take the callee's address as an immediate */
+               {
+                       0, /* store from left to right */
+                       0, /* store arguments sequential */
+                       1, /* try to omit the frame pointer */
+                       1, /* the function can use any register as frame pointer */
+                       1  /* a call can take the callee's address as an immediate */
+               }
        };
 
        /* set stack parameter passing style */
@@ -916,7 +1014,7 @@ void arm_get_call_abi(const void *self, ir_type *method_type, be_abi_call_t *abi
                mode = get_type_mode(tp);
 
                be_abi_call_res_reg(abi, 0,
-                       mode_is_float(mode) ? &arm_floating_point_regs[REG_F0] : &arm_general_purpose_regs[REG_R0]);
+                       mode_is_float(mode) ? &arm_fpa_regs[REG_F0] : &arm_gp_regs[REG_R0]);
        }
 }
 
@@ -954,16 +1052,77 @@ static const list_sched_selector_t *arm_get_list_sched_selector(const void *self
        return &arm_sched_selector;
 }
 
+/**
+ * Returns the necessary byte alignment for storing a register of given class.
+ */
+static int arm_get_reg_class_alignment(const void *self, const arch_register_class_t *cls) {
+       ir_mode *mode = arch_register_class_mode(cls);
+       return get_mode_size_bytes(mode);
+}
+
+/**
+ * Returns the libFirm configuration parameter for this backend.
+ */
+static const backend_params *arm_get_libfirm_params(void) {
+       static arch_dep_params_t ad = {
+               1,  /* allow subs */
+               0,      /* Muls are fast enough on ARM */
+               31, /* shift would be ok */
+               0,  /* SMUL is needed, only in Arch M*/
+               0,  /* UMUL is needed, only in Arch M */
+               32, /* SMUL & UMUL available for 32 bit */
+       };
+       static backend_params p = {
+               NULL,  /* no additional opcodes */
+               NULL,  /* will be set later */
+               1,     /* need dword lowering */
+               NULL,  /* but yet no creator function */
+               NULL,  /* context for create_intrinsic_fkt */
+       };
+
+       p.dep_param = &ad;
+       return &p;
+}
+
 #ifdef WITH_LIBCORE
+
+/* fpu set architectures. */
+static const lc_opt_enum_int_items_t arm_fpu_items[] = {
+       { "softfloat", ARM_FPU_ARCH_SOFTFLOAT },
+       { "fpe",       ARM_FPU_ARCH_FPE },
+       { "fpa",       ARM_FPU_ARCH_FPA },
+       { "vfp1xd",    ARM_FPU_ARCH_VFP_V1xD },
+       { "vfp1",      ARM_FPU_ARCH_VFP_V1 },
+       { "vfp2",      ARM_FPU_ARCH_VFP_V2 },
+       { NULL,        0 }
+};
+
+static lc_opt_enum_int_var_t arch_fpu_var = {
+       &arm_isa_template.fpu_arch, arm_fpu_items
+};
+
+static const lc_opt_table_entry_t arm_options[] = {
+       LC_OPT_ENT_ENUM_INT("fpunit",    "select the floating point unit", &arch_fpu_var),
+       LC_OPT_ENT_BOOL("gen_reg_names", "use generic register names", &arm_isa_template.gen_reg_names),
+       { NULL }
+};
+
+/**
+ * Register command line options for the ARM backend.
+ *
+ * Options so far:
+ *
+ * arm-fpuunit=unit     select the floating point unit
+ * arm-gen_reg_names    use generic register names instead of SP, LR, PC
+ */
 static void arm_register_options(lc_opt_entry_t *ent)
 {
+       lc_opt_entry_t *be_grp_arm = lc_opt_get_grp(ent, "arm");
+       lc_opt_add_table(be_grp_arm, arm_options);
 }
 #endif /* WITH_LIBCORE */
 
 const arch_isa_if_t arm_isa_if = {
-#ifdef WITH_LIBCORE
-       arm_register_options,
-#endif
        arm_init,
        arm_done,
        arm_get_n_reg_class,
@@ -973,4 +1132,9 @@ const arch_isa_if_t arm_isa_if = {
        arm_get_irn_handler,
        arm_get_code_generator_if,
        arm_get_list_sched_selector,
+       arm_get_reg_class_alignment,
+       arm_get_libfirm_params,
+#ifdef WITH_LIBCORE
+       arm_register_options
+#endif
 };