bestack: Fetch the start block only once.
[libfirm] / ir / be / TEMPLATE / TEMPLATE_spec.pl
index 45833aa..adec64b 100644 (file)
@@ -1,58 +1,44 @@
-# Creation: 2006/02/13
-# $Id$
-# This is a template specification for the Firm-Backend
-
-$new_emit_syntax = 1;
-
 # the cpu architecture (ia32, ia64, mips, sparc, ppc, ...)
-
 $arch = "TEMPLATE";
 
+#
+# Modes
+#
+$mode_gp  = "mode_Iu"; # mode used by general purpose registers
+$mode_fp  = "mode_F";  # mode used by floatingpoint registers
+
 # The node description is done as a perl hash initializer with the
 # following structure:
 #
 # %nodes = (
 #
 # <op-name> => {
-#   op_flags  => "N|L|C|X|I|F|Y|H|c|K",
-#   irn_flags => "R|N|I"
-#   arity     => "0|1|2|3 ... |variable|dynamic|any",
-#   state     => "floats|pinned|mem_pinned|exc_pinned",
+#   arity     => "0|1|2|3 ... |variable|dynamic|any",   # optional
+#   state     => "floats|pinned|mem_pinned|exc_pinned", # optional
 #   args      => [
 #                    { type => "type 1", name => "name 1" },
 #                    { type => "type 2", name => "name 2" },
 #                    ...
 #                  ],
-#   comment   => "any comment for constructor",
+#   comment   => "any comment for constructor",  # optional
 #   reg_req   => { in => [ "reg_class|register" ], out => [ "reg_class|register|in_rX" ] },
-#   cmp_attr  => "c source code for comparing node attributes",
-#   emit      => "emit code with templates",
-#   rd_constructor => "c source code which constructs an ir_node"
+#   cmp_attr  => "c source code for comparing node attributes", # optional
+#   outs      => { "out1", "out2" },# optional, creates pn_op_out1, ... consts
+#   ins       => { "in1", "in2" },  # optional, creates n_op_in1, ... consts
+#   mode      => "mode_Iu",         # optional, predefines the mode
+#   emit      => "emit code with templates",   # optional for virtual nodes
+#   attr      => "additional attribute arguments for constructor", # optional
+#   init_attr => "emit attribute initialization template",         # optional
+#   rd_constructor => "c source code which constructs an ir_node", # optional
+#   hash_func => "name of the hash function for this operation",   # optional, get the default hash function else
+#   latency   => "latency of this operation (can be float)"        # optional
+#   attr_type => "name of the attribute struct",                   # optional
 # },
 #
 # ... # (all nodes you need to describe)
 #
 # ); # close the %nodes initializer
 
-# op_flags: flags for the operation, OPTIONAL (default is "N")
-# the op_flags correspond to the firm irop_flags:
-#   N   irop_flag_none
-#   L   irop_flag_labeled
-#   C   irop_flag_commutative
-#   X   irop_flag_cfopcode
-#   I   irop_flag_ip_cfopcode
-#   F   irop_flag_fragile
-#   Y   irop_flag_forking
-#   H   irop_flag_highlevel
-#   c   irop_flag_constlike
-#   K   irop_flag_keep
-#
-# irn_flags: special node flags, OPTIONAL (default is 0)
-# following irn_flags are supported:
-#   R   rematerializeable
-#   N   not spillable
-#   I   ignore for register allocation
-#
 # state: state of the operation, OPTIONAL (default is "floats")
 #
 # arity: arity of the operation, MUST NOT BE OMITTED
@@ -69,413 +55,260 @@ $arch = "TEMPLATE";
 #
 # comment: OPTIONAL comment for the node constructor
 #
-# rd_constructor: for every operation there will be a
-#      new_rd_<arch>_<op-name> function with the arguments from above
-#      which creates the ir_node corresponding to the defined operation
-#      you can either put the complete source code of this function here
-#
-#      This key is OPTIONAL. If omitted, the following constructor will
-#      be created:
-#      if (!op_<arch>_<op-name>) assert(0);
-#      for i = 1 to arity
-#         set in[i] = op_i
-#      done
-#      res = new_ir_node(db, irg, block, op_<arch>_<op-name>, mode, arity, in)
-#      return res
-#
-# NOTE: rd_constructor and args are only optional if and only if arity is 0,1,2 or 3
-
 # register types:
-#   0 - no special type
-#   1 - caller save (register must be saved by the caller of a function)
-#   2 - callee save (register must be saved by the called function)
-#   4 - ignore (do not assign this register)
+#   none    - no special type
+#   ignore  - ignore (do not assign this register)
+#   virtual - the register is a virtual one
+#   state   - register represents a state
 # NOTE: Last entry of each class is the largest Firm-Mode a register can hold
 %reg_classes = (
-       general_purpose => [
-               { name => "r0", type => 1 },
-               { name => "r1", type => 1 },
-               { name => "r2", type => 1 },
-               { name => "r3", type => 1 },
-               { name => "r4", type => 1 },
-               { name => "r5", type => 1 },
-               { name => "r6", type => 1 },
-               { name => "r7", type => 2 },
-               { name => "r8", type => 2 },
-               { name => "r9", type => 2 },
-               { name => "r10", type => 2 },
-               { name => "r11", type => 2 },
-               { name => "r12", type => 2 },
-               { name => "r13", type => 2 },
-               { name => "sp", realname => "r14", type => 4 },  # this is our stackpointer
-               { name => "bp", realname => "r15", type => 4 },  # this is out basepointer
-               { mode => "mode_Iu" }
+       gp => [
+               { name => "r0" },
+               { name => "r1" },
+               { name => "r2" },
+               { name => "r3" },
+               { name => "r4" },
+               { name => "r5" },
+               { name => "r6" },
+               { name => "r7" },
+               { name => "r8" },
+               { name => "r9" },
+               { name => "r10" },
+               { name => "r11" },
+               { name => "r12" },
+               { name => "r13" },
+               { name => "sp", realname => "r14", type => "ignore" }, # stackpointer
+               { name => "bp", realname => "r15", type => "ignore" }, # basepointer
+               { mode => $mode_gp }
        ],
-       floating_point  => [
-               { name => "f0", type => 1 },
-               { name => "f1", type => 1 },
-               { name => "f2", type => 1 },
-               { name => "f3", type => 1 },
-               { name => "f4", type => 1 },
-               { name => "f5", type => 1 },
-               { name => "f6", type => 1 },
-               { name => "f7", type => 1 },
-               { name => "f8", type => 1 },
-               { name => "f9", type => 1 },
-               { name => "f10", type => 1 },
-               { name => "f11", type => 1 },
-               { name => "f12", type => 1 },
-               { name => "f13", type => 1 },
-               { name => "f14", type => 1 },
-               { name => "f15", type => 1 },
-               { mode => "mode_D" }
+       fp => [
+               { name => "f0" },
+               { name => "f1" },
+               { name => "f2" },
+               { name => "f3" },
+               { name => "f4" },
+               { name => "f5" },
+               { name => "f6" },
+               { name => "f7" },
+               { name => "f8" },
+               { name => "f9" },
+               { name => "f10" },
+               { name => "f11" },
+               { name => "f12" },
+               { name => "f13" },
+               { name => "f14" },
+               { name => "f15" },
+               { mode => $mode_fp }
        ]
-); # %reg_classes
-
-%emit_templates = (
-    S1 => "${arch}_emit_source_register(env, node, 0);",
-    S2 => "${arch}_emit_source_register(env, node, 1);",
-    S3 => "${arch}_emit_source_register(env, node, 2);",
-    S4 => "${arch}_emit_source_register(env, node, 3);",
-    S5 => "${arch}_emit_source_register(env, node, 4);",
-    S6 => "${arch}_emit_source_register(env, node, 5);",
-    D1 => "${arch}_emit_dest_register(env, node, 0);",
-    D2 => "${arch}_emit_dest_register(env, node, 1);",
-    D3 => "${arch}_emit_dest_register(env, node, 2);",
-    D4 => "${arch}_emit_dest_register(env, node, 3);",
-    D5 => "${arch}_emit_dest_register(env, node, 4);",
-    D6 => "${arch}_emit_dest_register(env, node, 5);",
-       C  => "${arch}_emit_immediate(env, node);"
 );
 
-#--------------------------------------------------#
-#                        _                         #
-#                       (_)                        #
-#  _ __   _____      __  _ _ __    ___  _ __  ___  #
-# | '_ \ / _ \ \ /\ / / | | '__|  / _ \| '_ \/ __| #
-# | | | |  __/\ V  V /  | | |    | (_) | |_) \__ \ #
-# |_| |_|\___| \_/\_/   |_|_|     \___/| .__/|___/ #
-#                                      | |         #
-#                                      |_|         #
-#--------------------------------------------------#
+$default_attr_type = "TEMPLATE_attr_t";
+$default_copy_attr = "TEMPLATE_copy_attr";
 
 %nodes = (
 
-#-----------------------------------------------------------------#
-#  _       _                                         _            #
-# (_)     | |                                       | |           #
-#  _ _ __ | |_ ___  __ _  ___ _ __   _ __   ___   __| | ___  ___  #
-# | | '_ \| __/ _ \/ _` |/ _ \ '__| | '_ \ / _ \ / _` |/ _ \/ __| #
-# | | | | | ||  __/ (_| |  __/ |    | | | | (_) | (_| |  __/\__ \ #
-# |_|_| |_|\__\___|\__, |\___|_|    |_| |_|\___/ \__,_|\___||___/ #
-#                   __/ |                                         #
-#                  |___/                                          #
-#-----------------------------------------------------------------#
-
-# commutative operations
+# Integer nodes
 
 Add => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct Add: Add(a, b) = Add(b, a) = a + b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. add %S1, %S2, %D1'
-},
-
-Add_i => {
-  irn_flags => "R",
-  comment   => "construct Add: Add(a, const) = Add(const, a) = a + const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. add %S1, %C, %D1'
+       op_flags  => [ "commutative" ],
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
+       emit      => 'add %S1, %S2, %D1',
+       mode      => $mode_gp,
 },
 
 Mul => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct Mul: Mul(a, b) = Mul(b, a) = a * b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      =>'. mul %S1, %S2, %D1'
-},
-
-Mul_i => {
-  irn_flags => "R",
-  comment   => "construct Mul: Mul(a, const) = Mul(const, a) = a * const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. mul %S1, %C, %D1'
+       op_flags  => [ "commutative" ],
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
+       emit      =>'mul %S1, %S2, %D1',
+       mode      => $mode_gp,
 },
 
 And => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct And: And(a, b) = And(b, a) = a AND b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. and %S1, %S2, %D1'
-},
-
-And_i => {
-  irn_flags => "R",
-  comment   => "construct And: And(a, const) = And(const, a) = a AND const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. and %S1, %C, %D1'
+       op_flags  => [ "commutative" ],
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
+       emit      => 'and %S1, %S2, %D1',
+       mode      => $mode_gp,
 },
 
 Or => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct Or: Or(a, b) = Or(b, a) = a OR b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. or %S1, %S2, %D1'
-},
-
-Or_i => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct Or: Or(a, const) = Or(const, a) = a OR const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. or %S1, %C, %D1'
-},
-
-Eor => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct Eor: Eor(a, b) = Eor(b, a) = a EOR b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. xor %S1, %S2, %D1'
+       op_flags  => [ "commutative" ],
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
+       emit      => 'or %S1, %S2, %D1',
+       mode      => $mode_gp,
 },
 
-Eor_i => {
-  irn_flags => "R",
-  comment   => "construct Eor: Eor(a, const) = Eor(const, a) = a EOR const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. xor %S1, %C, %D1'
+Xor => {
+       op_flags  => [ "commutative" ],
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
+       emit      => 'xor %S1, %S2, %D1',
+       mode      => $mode_gp,
 },
 
-# not commutative operations
-
 Sub => {
-  irn_flags => "R",
-  comment   => "construct Sub: Sub(a, b) = a - b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. sub %S1, %S2, %D1'
-},
-
-Sub_i => {
-  irn_flags => "R",
-  comment   => "construct Sub: Sub(a, const) = a - const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. subl %S1, %C, %D1'
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
+       emit      => 'sub %S1, %S2, %D1',
+       mode      => $mode_gp,
 },
 
 Shl => {
-  irn_flags => "R",
-  comment   => "construct Shl: Shl(a, b) = a << b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. shl %S1, %S2, %D1'
-},
-
-Shl_i => {
-  irn_flags => "R",
-  comment   => "construct Shl: Shl(a, const) = a << const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. shl %S1, %C, %D1'
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
+       emit      => 'shl %S1, %S2, %D1',
+       mode      => $mode_gp,
 },
 
 Shr => {
-  irn_flags => "R",
-  comment   => "construct Shr: Shr(a, b) = a >> b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "in_r1" ] },
-  emit      => '. shr %S2, %D1'
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp", "gp" ], out => [ "in_r1" ] },
+       emit      => 'shr %S2, %D1',
+       mode      => $mode_gp,
 },
 
-Shr_i => {
-  irn_flags => "R",
-  comment   => "construct Shr: Shr(a, const) = a >> const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. shr %S1, %C, %D1'
-},
-
-RotR => {
-  irn_flags => "R",
-  comment   => "construct RotR: RotR(a, b) = a ROTR b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. ror %S1, %S2, %D1'
+Minus => {
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "gp" ], out => [ "gp" ] },
+       emit      => 'neg %S1, %D1',
+       mode      => $mode_gp,
 },
 
-RotL => {
-  irn_flags => "R",
-  comment   => "construct RotL: RotL(a, b) = a ROTL b",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. rol %S1, %S2, %D1'
+Not => {
+       arity   => 1,
+       remat   => 1,
+       reg_req => { in => [ "gp" ], out => [ "gp" ] },
+       emit    => 'not %S1, %D1',
+       mode    => $mode_gp,
 },
 
-RotL_i => {
-  irn_flags => "R",
-  comment   => "construct RotL: RotL(a, const) = a ROTL const",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. rol %S1, %C, %D1'
+Const => {
+       op_flags   => [ "constlike" ],
+       irn_flags  => [ "rematerializable" ],
+       attr       => "ir_tarval *value",
+       custominit => "set_TEMPLATE_value(res, value);",
+       reg_req    => { out => [ "gp" ] },
+       emit       => 'mov %I, %D1',
+       cmp_attr   =>
+'
+       /* TODO: compare Const attributes */
+    return 1;
+',
+       mode    => $mode_gp,
 },
 
-Minus => {
-  irn_flags => "R",
-  comment   => "construct Minus: Minus(a) = -a",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. neg %S1, %D1'
-},
+# Control Flow
 
-Inc => {
-  irn_flags => "R",
-  comment   => "construct Increment: Inc(a) = a++",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. inc %S1, %D1'
+Jmp => {
+       state     => "pinned",
+       op_flags  => [ "cfopcode" ],
+       irn_flags => [ "simple_jump" ],
+       reg_req   => { out => [ "none" ] },
+       mode      => "mode_X",
 },
 
-Dec => {
-  irn_flags => "R",
-  comment   => "construct Decrement: Dec(a) = a--",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. dec %S1, %D1'
+Start => {
+       state     => "pinned",
+       reg_req   => { in => [], out => [ "sp:I|S", "none" ] },
+       outs      => [ "stack", "M" ],
+       ins       => [],
 },
 
-Not => {
-  arity       => 1,
-  remat       => 1,
-  comment     => "construct Not: Not(a) = !a",
-  reg_req     => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit        => '. not %S1, %D1'
-},
-
-# other operations
-
-Const => {
-  op_flags  => "c",
-  irn_flags => "R",
-  comment   => "represents an integer constant",
-  reg_req   => { out => [ "general_purpose" ] },
-  emit      => '. mov %C, %D1',
-  cmp_attr  =>
-'
-       /* TODO: compare Const attributes */
-    return 1;
-'
+Return => {
+       state    => "pinned",
+       op_flags => [ "cfopcode" ],
+       ins      => [ "stack", "mem" ],
+       reg_req  => { in => [ "sp", "none", ], out => [] },
+       mode     => "mode_X",
 },
 
 # Load / Store
 
 Load => {
-  op_flags  => "L|F",
-  irn_flags => "R",
-  state     => "exc_pinned",
-  comment   => "construct Load: Load(ptr, mem) = LD ptr -> reg",
-  reg_req   => { in => [ "general_purpose", "none" ], out => [ "general_purpose" ] },
-  emit      => '. mov (%S1), %D1'
+       op_flags  => [ "uses_memory" ],
+       irn_flags => [ "rematerializable" ],
+       state     => "exc_pinned",
+       reg_req   => { in => [ "gp", "none" ], out => [ "gp" ] },
+       emit      => 'mov (%S1), %D1',
 },
 
 Store => {
-  op_flags  => "L|F",
-  irn_flags => "R",
-  state     => "exc_pinned",
-  comment   => "construct Store: Store(ptr, val, mem) = ST ptr,val",
-  reg_req   => { in => [ "general_purpose", "general_purpose", "none" ] },
-  emit      => '. movl %S2, (%S1)'
+       op_flags  => [ "uses_memory" ],
+       irn_flags => [ "rematerializable" ],
+       state     => "exc_pinned",
+       reg_req   => { in => [ "gp", "gp", "none" ] },
+       emit      => 'movl %S2, (%S1)',
 },
 
-#--------------------------------------------------------#
-#    __ _             _                     _            #
-#   / _| |           | |                   | |           #
-#  | |_| | ___   __ _| |_   _ __   ___   __| | ___  ___  #
-#  |  _| |/ _ \ / _` | __| | '_ \ / _ \ / _` |/ _ \/ __| #
-#  | | | | (_) | (_| | |_  | | | | (_) | (_| |  __/\__ \ #
-#  |_| |_|\___/ \__,_|\__| |_| |_|\___/ \__,_|\___||___/ #
-#--------------------------------------------------------#
-
-# commutative operations
+# Floating Point operations
 
 fAdd => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct FP Add: Add(a, b) = Add(b, a) = a + b",
-  reg_req   => { in => [ "floating_point", "floating_point" ], out => [ "floating_point" ] },
-  emit      => '. fadd %S1, %S2, %D1'
+       op_flags  => [ "commutative" ],
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "fp", "fp" ], out => [ "fp" ] },
+       emit      => 'fadd %S1, %S2, %D1',
+       mode    => $mode_fp,
 },
 
 fMul => {
-  op_flags  => "C",
-  comment   => "construct FP Mul: Mul(a, b) = Mul(b, a) = a * b",
-  reg_req   => { in => [ "floating_point", "floating_point" ], out => [ "floating_point" ] },
-  emit      =>'. fmul %S1, %S2, %D1'
-},
-
-fMax => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct FP Max: Max(a, b) = Max(b, a) = a > b ? a : b",
-  reg_req   => { in => [ "floating_point", "floating_point" ], out => [ "floating_point" ] },
-  emit      =>'. fmax %S1, %S2, %D1'
+       op_flags  => [ "commutative" ],
+       reg_req   => { in => [ "fp", "fp" ], out => [ "fp" ] },
+       emit      =>'fmul %S1, %S2, %D1',
+       mode      => $mode_fp,
 },
 
-fMin => {
-  op_flags  => "C",
-  irn_flags => "R",
-  comment   => "construct FP Min: Min(a, b) = Min(b, a) = a < b ? a : b",
-  reg_req   => { in => [ "floating_point", "floating_point" ], out => [ "floating_point" ] },
-  emit      =>'. fmin %S1, %S2, %D1'
-},
-
-# not commutative operations
-
 fSub => {
-  irn_flags => "R",
-  comment   => "construct FP Sub: Sub(a, b) = a - b",
-  reg_req   => { in => [ "floating_point", "floating_point" ], out => [ "floating_point" ] },
-  emit      => '. fsub %S1, %S2, %D1'
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "fp", "fp" ], out => [ "fp" ] },
+       emit      => 'fsub %S1, %S2, %D1',
+       mode      => $mode_fp,
 },
 
 fDiv => {
-  comment   => "construct FP Div: Div(a, b) = a / b",
-  reg_req   => { in => [ "floating_point", "floating_point" ], out => [ "floating_point" ] },
-  emit      => '. fdiv %S1, %S2, %D1'
+       reg_req   => { in => [ "fp", "fp" ], out => [ "fp" ] },
+       emit      => 'fdiv %S1, %S2, %D1',
+       mode      => $mode_fp,
 },
 
 fMinus => {
-  irn_flags => "R",
-  comment   => "construct FP Minus: Minus(a) = -a",
-  reg_req   => { in => [ "floating_point" ], out => [ "floating_point" ] },
-  emit      => '. fneg %S1, %D1'
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "fp" ], out => [ "fp" ] },
+       emit      => 'fneg %S1, %D1',
+       mode      => $mode_fp,
 },
 
-# other operations
-
 fConst => {
-  op_flags  => "c",
-  irn_flags => "R",
-  comment   => "represents a FP constant",
-  reg_req   => { out => [ "floating_point" ] },
-  emit      => '. fmov %C, %D1',
-  cmp_attr  =>
+       op_flags  => [ "constlike" ],
+       irn_flags => [ "rematerializable" ],
+       reg_req   => { out => [ "fp" ] },
+       emit      => 'fmov %I, %D1',
+       cmp_attr  =>
 '
        /* TODO: compare fConst attributes */
        return 1;
-'
+',
+       mode      => $mode_fp,
 },
 
 # Load / Store
 
 fLoad => {
-  op_flags  => "L|F",
-  irn_flags => "R",
-  state     => "exc_pinned",
-  comment   => "construct FP Load: Load(ptr, mem) = LD ptr",
-  reg_req   => { in => [ "general_purpose", "none" ], out => [ "floating_point" ] },
-  emit      => '. fmov (%S1), %D1'
+       op_flags  => [ "uses_memory" ],
+       irn_flags => [ "rematerializable" ],
+       state     => "exc_pinned",
+       reg_req   => { in => [ "gp", "none" ], out => [ "fp" ] },
+       emit      => 'fmov (%S1), %D1',
 },
 
 fStore => {
-  op_flags  => "L|F",
-  irn_flags => "R",
-  state     => "exc_pinned",
-  comment   => "construct Store: Store(ptr, val, mem) = ST ptr,val",
-  reg_req   => { in => [ "general_purpose", "floating_point", "none" ] },
-  emit      => '. fmov %S2, (%S1)'
+       op_flags  => [ "uses_memory" ],
+       irn_flags => [ "rematerializable" ],
+       state     => "exc_pinned",
+       reg_req   => { in => [ "gp", "fp", "none" ] },
+       emit      => 'fmov %S2, (%S1)',
 },
 
-); # end of %nodes
+);