Removed mode parameter from Const and Const_type constructors (now derived from tarval)
[libfirm] / ir / be / ppc32 / ppc32_spec.pl
index 96397f7..ec2d5c4 100644 (file)
@@ -7,87 +7,6 @@
 $arch = "ppc32";
 $new_emit_syntax = 1;
 
-# this strings mark the beginning and the end of a comment in emit
-$comment_string     = "/*";
-$comment_string_end = "*/";
-
-# 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",
-#   "args"      => [
-#                    { "type" => "type 1", "name" => "name 1" },
-#                    { "type" => "type 2", "name" => "name 2" },
-#                    ...
-#                  ],
-#   "comment"   => "any comment for constructor",
-#   "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"
-# },
-#
-# ... # (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
-#
-# args:  the OPTIONAL arguments of the node constructor (debug, irg and block
-#        are always the first 3 arguments and are always autmatically
-#        created)
-#        If this key is missing the following arguments will be created:
-#        for i = 1 .. arity: ir_node *op_i
-#        ir_mode *mode
-#
-# outs:  if a node defines more than one output, the names of the projections
-#        nodes having outs having automatically the mode mode_T
-#
-# 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)
@@ -187,17 +106,19 @@ $comment_string_end = "*/";
 ); # %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);",
-    D1 => "${arch}_emit_dest_register(env, node, 0);",
-    D2 => "${arch}_emit_dest_register(env, node, 1);",
-    D3 => "${arch}_emit_dest_register(env, node, 2);",
-       O  => "${arch}_emit_offset(env, node);",
-       C  => "${arch}_emit_immediate(env, node);",
-       RLWIMI => "${arch}_emit_rlwimi_helper(env, node);",
+    S0 => "${arch}_emit_source_register(node, 0);",
+    S1 => "${arch}_emit_source_register(node, 1);",
+    S2 => "${arch}_emit_source_register(node, 2);",
+    D0 => "${arch}_emit_dest_register(node, 0);",
+    D1 => "${arch}_emit_dest_register(node, 1);",
+    D2 => "${arch}_emit_dest_register(node, 2);",
+       O  => "${arch}_emit_offset(node);",
+       C  => "${arch}_emit_immediate(node);",
+       RLWIMI => "${arch}_emit_rlwimi_helper(node);",
 );
 
+$default_cmp_attr = "NULL";
+
 #--------------------------------------------------#
 #                        _                         #
 #                       (_)                        #
@@ -229,16 +150,15 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Add: Add(a, b) = Add(b, a) = a + b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. add     %D1, %S1, %S2',
+  "emit"      => '. add     %D0, %S0, %S1',
 },
 
 "Addi" => {
-  "op_flags"  => "c",
   "irn_flags" => "R",
   "comment"   => "construct Add: Addi(a, const) = Addi(const, a) = a + const",
   "reg_req"   => { "in" => [ "!r0" ], "out" => [ "gp" ] },
 #  "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. addi    %D1, %S1, %C',
+  "emit"      => '. addi    %D0, %S0, %C',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -251,7 +171,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Mul: Mullw(a, b) = Mullw(b, a) = lo32(a * b)",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. mullw   %D1, %S1, %S2',
+  "emit"      => '. mullw   %D0, %S0, %S1',
 },
 
 "Mulhw" => {
@@ -259,7 +179,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Mul: Mulhw(a, b) = Mulhw(b, a) = hi32(a * b)",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. mulhw   %D1, %S1, %S2',
+  "emit"      => '. mulhw   %D0, %S0, %S1',
 },
 
 "Mulhwu" => {
@@ -267,14 +187,14 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Mul: Mulhwu(a, b) = Mulhwu(b, a) = hi32(a * b)",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. mulhwu  %D1, %S1, %S2',
+  "emit"      => '. mulhwu  %D0, %S0, %S1',
 },
 
 #"Mul_i" => {
 #  "irn_flags" => "R",
 #  "comment"   => "construct Mul: Mul(a, const) = Mul(const, a) = a * const",
 #  "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-#  "emit"      => '. mul %S1, %C, %D1',
+#  "emit"      => '. mul %S0, %C, %D0',
 #},
 
 "And" => {
@@ -282,14 +202,14 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct And: And(a, b) = And(b, a) = a AND b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. and     %D1, %S1, %S2',
+  "emit"      => '. and     %D0, %S0, %S1',
 },
 
 #"And_i" => {
 #  "irn_flags" => "R",
 #  "comment"   => "construct And: And(a, const) = And(const, a) = a AND const",
 #  "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-#  "emit"      => '. and %S1, %C, %D1',
+#  "emit"      => '. and %S0, %C, %D0',
 #},
 
 "Or" => {
@@ -297,7 +217,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Or: Or(a, b) = Or(b, a) = a OR b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. or      %D1, %S1, %S2',
+  "emit"      => '. or      %D0, %S0, %S1',
 },
 
 #"Or_i" => {
@@ -305,7 +225,7 @@ $comment_string_end = "*/";
 #  "irn_flags" => "R",
 #  "comment"   => "construct Or: Or(a, const) = Or(const, a) = a OR const",
 #  "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-#  "emit"      => '. or %S1, %C, %D1',
+#  "emit"      => '. or %S0, %C, %D0',
 #},
 
 "Xor" => {
@@ -313,14 +233,14 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Xor: Xor(a, b) = Xor(b, a) = a XOR b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. xor     %D1, %S1, %S2',
+  "emit"      => '. xor     %D0, %S0, %S1',
 },
 
 #"Xor_i" => {
 #  "irn_flags" => "R",
 #  "comment"   => "construct Xor: Xor(a, const) = Xor(const, a) = a EOR const",
 #  "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-#  "emit"      => '. xor %S1, %C, %D1',
+#  "emit"      => '. xor %S0, %C, %D0',
 #},
 
 # not commutative operations
@@ -329,56 +249,56 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Sub: Sub(a, b) = a - b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. sub %D1, %S1, %S2',
+  "emit"      => '. sub %D0, %S0, %S1',
 },
 
 #"Sub_i" => {
 #  "irn_flags" => "R",
 #  "comment"   => "construct Sub: Sub(a, const) = a - const",
 #  "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-#  "emit"      => '. subl %S1, %C, %D1',
+#  "emit"      => '. subl %S0, %C, %D0',
 #},
 
 "Slw" => {
   "irn_flags" => "R",
   "comment"   => "construct Shl: Shl(a, b) = a << b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. slw %D1, %S1, %S2',
+  "emit"      => '. slw %D0, %S0, %S1',
 },
 
 #"Shl_i" => {
 #  "irn_flags" => "R",
 #  "comment"   => "construct Shl: Shl(a, const) = a << const",
 #  "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-#  "emit"      => '. shl %S1, %C, %D1',
+#  "emit"      => '. shl %S0, %C, %D0',
 #},
 
 "Srw" => {
   "irn_flags" => "R",
   "comment"   => "construct Shr: Srw(a, b): c = a >> b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. srw     %D1, %S1, %S2',
+  "emit"      => '. srw     %D0, %S0, %S1',
 },
 
 #"Shr_i" => {
 #  "irn_flags" => "R",
 #  "comment"   => "construct Shr: Shr(a, const) = a >> const",
 #  "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-#  "emit"      => '. shr %S1, %C, %D1',
+#  "emit"      => '. shr %S0, %C, %D0',
 #},
 
 "Sraw" => {
   "irn_flags" => "R",
   "comment"   => "construct Shrs: Sraw(a, b): c = a >> b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. sraw %D1, %S1, %S2',
+  "emit"      => '. sraw %D0, %S0, %S1',
 },
 
 "Srawi" => {
   "irn_flags" => "R",
   "comment"   => "construct Shrs: Srawi(a, const): c = a >> const",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. sraw %D1, %S1, %C',
+  "emit"      => '. sraw %D0, %S0, %C',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -390,14 +310,14 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct ???: Rlwnm(a, b): c = a ROTL b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. rlwnm %D1, %S1, %S2',
+  "emit"      => '. rlwnm %D0, %S0, %S1',
 },
 
 "Rlwinm" => {
   "irn_flags" => "R",
   "comment"   => "construct ???: Rlwinm(a, b_const, c_const, d_const): (m = MASK(c, d)) e = (a ROTL b) & m",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. rlwinm %D1, %S1, %RLWIMI',
+  "emit"      => '. rlwinm %D0, %S0, %RLWIMI',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -409,49 +329,49 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Minus: Neg(a) = -a",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. neg %D1, %S1',
+  "emit"      => '. neg %D0, %S0',
 },
 
 "Not" => {
   "irn_flags" => "R",
   "comment"   => "construct Not: Not(a) = !a",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. nor %D1, %S1, %S1',
+  "emit"      => '. nor %D0, %S0, %S0',
 },
 
 "Extsb" => {
   "irn_flags" => "R",
   "comment"   => "construct Sign extension of byte: Extsb(char a) = (int) a",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. extsb %D1, %S1',
+  "emit"      => '. extsb %D0, %S0',
 },
 
 "Extsh" => {
   "irn_flags" => "R",
   "comment"   => "construct Sign extension of halfword: Extsh(char a) = (short) a",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. extsh %D1, %S1',
+  "emit"      => '. extsh %D0, %S0',
 },
 
 "Divw" => {
   "irn_flags" => "R",
   "comment"   => "construct Div (signed): Div(a, b) = a div b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. divw %D1, %S1, %S2',
+  "emit"      => '. divw %D0, %S0, %S1',
 },
 
 "Divwu" => {
   "irn_flags" => "R",
   "comment"   => "construct Div (unsigned): Div(a, b) = a div b",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
-  "emit"      => '. divwu %D1, %S1, %S2',
+  "emit"      => '. divwu %D0, %S0, %S1',
 },
 
 "Mtctr" => {
   "irn_flags" => "R",
   "comment"   => "construct Mtctr: Ctr = a",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "count" ] },
-  "emit"      => '. mtctr %S1',
+  "emit"      => '. mtctr %S0',
 },
 
 
@@ -495,7 +415,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct unknown register",
   "reg_req"   => { "out" => [ "gp" ] },
-  "emit"      => '. \t\t /* use %D1 as uninitialized value */',
+  "emit"      => '. \t\t /* use %D0 as uninitialized value */',
   "cmp_attr"  =>
 '
        return 1;
@@ -507,7 +427,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct unknown float register",
   "reg_req"   => { "out" => [ "fp" ] },
-  "emit"      => '. \t\t /* use %D1 as uninitialized value */',
+  "emit"      => '. \t\t /* use %D0 as uninitialized value */',
   "cmp_attr"  =>
 '
        return 1;
@@ -519,7 +439,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct unknown condition register",
   "reg_req"   => { "out" => [ "condition" ] },
-  "emit"      => '. \t\t /* use %D1 as uninitialized value */',
+  "emit"      => '. \t\t /* use %D0 as uninitialized value */',
   "cmp_attr"  =>
 '
        return 1;
@@ -531,7 +451,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "load constant (16bit with sign extension)",
   "reg_req"   => { "out" => [ "gp" ] },
-  "emit"      => '. addi    %D1, 0, %C',
+  "emit"      => '. addi    %D0, 0, %C',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -569,7 +489,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "load the constant to higher 16 bit of register",
   "reg_req"   => { "out" => [ "gp" ] },
-  "emit"      => '. addis %D1, 0, %C',
+  "emit"      => '. addis %D0, 0, %C',
   "attr"      => "ppc32_attr_offset_mode om, tarval *tv, ident *id",
   "init_attr" =>
 '
@@ -590,11 +510,10 @@ $comment_string_end = "*/";
 },
 
 "Ori" => {
-  "op_flags"  => "c",
   "irn_flags" => "R",
   "comment"   => "ors constant with register",
   "reg_req"   => { "in" => [ "gp"], "out" => [ "gp" ] },
-  "emit"      => '. ori %D1, %S1, %C',
+  "emit"      => '. ori %D0, %S0, %C',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -602,11 +521,10 @@ $comment_string_end = "*/";
 },
 
 "Andi_dot" => {
-  "op_flags"  => "c",
   "irn_flags" => "R",
   "comment"   => "ands constant with register with cr0 update",
   "reg_req"   => { "in" => [ "gp"], "out" => [ "gp", "cr0" ] },
-  "emit"      => '. andi. %D1, %S1,%C',
+  "emit"      => '. andi. %D0, %S0,%C',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -617,14 +535,14 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Cmp: Cmp(a, b) = Flags in crX",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "condition" ] },
-  "emit"      => '. cmp %D1, 0, %S1, %S2',
+  "emit"      => '. cmp %D0, 0, %S0, %S1',
 },
 
 "Cmpi" => {
   "irn_flags" => "R",
   "comment"   => "construct Cmp immediate: Cmpi(a, const) = Flags in crX",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "condition" ] },
-  "emit"      => '. cmpi %D1, 0, %S1, %C',
+  "emit"      => '. cmpi %D0, 0, %S0, %C',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -636,14 +554,14 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct Cmp logical: Cmpl(a, b) = Flags in crX",
   "reg_req"   => { "in" => [ "gp", "gp" ], "out" => [ "condition" ] },
-  "emit"      => '. cmpl %D1, 0, %S1, %S2',
+  "emit"      => '. cmpl %D0, 0, %S0, %S1',
 },
 
 "Cmpli" => {
   "irn_flags" => "R",
   "comment"   => "construct Cmp logical immediate: Cmpli(a, const) = Flags in crX",
   "reg_req"   => { "in" => [ "gp" ], "out" => [ "condition" ] },
-  "emit"      => '. cmpli %D1, 0, %S1, %C',
+  "emit"      => '. cmpli %D0, 0, %S0, %C',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -659,7 +577,7 @@ $comment_string_end = "*/";
   "state"     => "exc_pinned",
   "comment"   => "construct Load (byte unsigned): Load(ptr, mem) = LD ptr -> reg",
   "reg_req"   => { "in" => [ "!r0", "none" ], "out" => [ "gp", "none" ] },
-  "emit"      => '. lbz %D1, %O(%S1)',
+  "emit"      => '. lbz %D0, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -673,7 +591,7 @@ $comment_string_end = "*/";
   "state"     => "exc_pinned",
   "comment"   => "construct Load (halfword unsigned): Load(ptr, mem) = LD ptr -> reg",
   "reg_req"   => { "in" => [ "!r0", "none" ], "out" => [ "gp", "none" ] },
-  "emit"      => '. lhz %D1, %O(%S1)',
+  "emit"      => '. lhz %D0, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -687,7 +605,7 @@ $comment_string_end = "*/";
   "state"     => "exc_pinned",
   "comment"   => "construct Load (halfword signed): Load(ptr, mem) = LD ptr -> reg",
   "reg_req"   => { "in" => [ "!r0", "none" ], "out" => [ "gp", "none" ] },
-  "emit"      => '. lha %D1, %O(%S1)',
+  "emit"      => '. lha %D0, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -701,7 +619,7 @@ $comment_string_end = "*/";
   "state"     => "exc_pinned",
   "comment"   => "construct Load (word): Load(ptr, mem) = LD ptr -> reg",
   "reg_req"   => { "in" => [ "!r0", "none" ], "out" => [ "gp", "none" ] },
-  "emit"      => '. lwz %D1, %O(%S1)',
+  "emit"      => '. lwz %D0, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -715,7 +633,7 @@ $comment_string_end = "*/";
   "state"     => "exc_pinned",
   "comment"   => "construct Load with update (word): Load(ptr, mem) = LD ptr -> reg",
   "reg_req"   => { "in" => [ "!r0", "none" ], "out" => [ "gp", "in_r1", "none"] },
-  "emit"      => '. lwzu %D1, %O(%S1)',
+  "emit"      => '. lwzu %D0, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -727,8 +645,8 @@ $comment_string_end = "*/";
   "op_flags"  => "L|F",
   "state"     => "exc_pinned",
   "comment"   => "construct Store: Store (byte) (ptr, val, mem) = ST ptr,val",
-  "reg_req"   => { "in" => [ "!r0", "gp", "none" ] },
-  "emit"      => '. stb %S2, %O(%S1)',
+  "reg_req"   => { "in" => [ "!r0", "gp", "none" ], "out" => [ "none" ] },
+  "emit"      => '. stb %S1, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -740,8 +658,8 @@ $comment_string_end = "*/";
   "op_flags"  => "L|F",
   "state"     => "exc_pinned",
   "comment"   => "construct Store: Store (halfword) (ptr, val, mem) = ST ptr,val",
-  "reg_req"   => { "in" => [ "!r0", "gp", "none" ] },
-  "emit"      => '. sth %S2, %O(%S1)',
+  "reg_req"   => { "in" => [ "!r0", "gp", "none" ], "out" => [ "none" ] },
+  "emit"      => '. sth %S1, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -753,8 +671,8 @@ $comment_string_end = "*/";
   "op_flags"  => "L|F",
   "state"     => "exc_pinned",
   "comment"   => "construct Store: Store (word) (ptr, val, mem) = ST ptr,val",
-  "reg_req"   => { "in" => [ "!r0", "gp", "none" ] },
-  "emit"      => '. stw %S2, %O(%S1)',
+  "reg_req"   => { "in" => [ "!r0", "gp", "none" ], "out" => [ "none" ] },
+  "emit"      => '. stw %S1, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -778,7 +696,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct FP Add: Add(a, b) = Add(b, a) = a + b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fadd %D1, %S1, %S2',
+  "emit"      => '. fadd %D0, %S0, %S1',
 },
 
 "fAdds" => {
@@ -786,27 +704,27 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct FP Add (single): Add(a, b) = Add(b, a) = a + b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fadds %D1, %S1, %S2',
+  "emit"      => '. fadds %D0, %S0, %S1',
 },
 
 "fMul" => {
   "op_flags"  => "C",
   "comment"   => "construct FP Mul: Mul(a, b) = Mul(b, a) = a * b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fmul %D1, %S1, %S2',
+  "emit"      => '. fmul %D0, %S0, %S1',
 },
 
 "fMuls" => {
   "op_flags"  => "C",
   "comment"   => "construct FP Mul (single): Mul(a, b) = Mul(b, a) = a * b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fmuls %D1, %S1, %S2',
+  "emit"      => '. fmuls %D0, %S0, %S1',
 },
 
 "fNeg" => {
   "comment"   => "construct FP Negation: fNeg(a) = -a",
   "reg_req"   => { "in" => [ "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fneg %D1, %S1',
+  "emit"      => '. fneg %D0, %S0',
 },
 
 
@@ -815,7 +733,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct FP Max: Max(a, b) = Max(b, a) = a > b ? a : b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fmax %S1, %S2, %D1',
+  "emit"      => '. fmax %S0, %S1, %D0',
 },
 
 "fMin" => {
@@ -823,7 +741,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct FP Min: Min(a, b) = Min(b, a) = a < b ? a : b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fmin %S1, %S2, %D1',
+  "emit"      => '. fmin %S0, %S1, %D0',
 },
 
 # not commutative operations
@@ -832,61 +750,61 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct FP Sub: Sub(a, b) = a - b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fsub %D1, %S1, %S2',
+  "emit"      => '. fsub %D0, %S0, %S1',
 },
 
 "fSubs" => {
   "irn_flags" => "R",
   "comment"   => "construct FP Sub (single): Sub(a, b) = a - b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fsubs %D1, %S1, %S2',
+  "emit"      => '. fsubs %D0, %S0, %S1',
 },
 
 "fDiv" => {
   "comment"   => "construct FP Div: Div(a, b) = a / b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fdiv %D1, %S1, %S2',
+  "emit"      => '. fdiv %D0, %S0, %S1',
 },
 
 "fDivs" => {
   "comment"   => "construct FP Div (single): Div(a, b) = a / b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fdivs %D1, %S1, %S2',
+  "emit"      => '. fdivs %D0, %S0, %S1',
 },
 
 "fMinus" => {
   "irn_flags" => "R",
   "comment"   => "construct FP Minus: fMinus(a) = -a",
   "reg_req"   => { "in" => [ "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fneg %D1, %S1',
+  "emit"      => '. fneg %D0, %S0',
 },
 
 "fCtiw" => {
   "irn_flags" => "R",
   "comment"   => "construct FP Convert to integer word: fCtiw(a) = (int) a",
   "reg_req"   => { "in" => [ "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fctiw %D1, %S1',
+  "emit"      => '. fctiw %D0, %S0',
 },
 
 "fRsp" => {
   "irn_flags" => "R",
   "comment"   => "construct FP Round to single: fRsp(a) = (float) a",
   "reg_req"   => { "in" => [ "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. frsp %D1, %S1',
+  "emit"      => '. frsp %D0, %S0',
 },
 
 "fAbs" => {
   "irn_flags" => "R",
   "comment"   => "construct FP Abs: fAbs(a) = |a|",
   "reg_req"   => { "in" => [ "fp" ], "out" => [ "fp" ] },
-  "emit"      => '. fabs %D1, %S1',
+  "emit"      => '. fabs %D0, %S0',
 },
 
 "fCmpu" => {
   "irn_flags" => "R",
   "comment"   => "construct FP Cmp unordered: fCmpu(a, b) = a ? b",
   "reg_req"   => { "in" => [ "fp", "fp" ], "out" => [ "condition" ] },
-  "emit"      => '. fcmpu %D1, %S1, %S2',
+  "emit"      => '. fcmpu %D0, %S0, %S1',
 },
 
 # other operations
@@ -896,7 +814,7 @@ $comment_string_end = "*/";
 #  "irn_flags" => "R",
 #  "comment"   => "represents a FP constant",
 #  "reg_req"   => { "out" => [ "fp" ] },
-#  "emit"      => '. fmov %C, %D1',
+#  "emit"      => '. fmov %C, %D0',
 #  "cmp_attr"  =>
 #'
 #      /* TODO: compare fConst attributes */
@@ -909,7 +827,7 @@ $comment_string_end = "*/";
   "irn_flags" => "R",
   "comment"   => "construct unknown floating point register",
   "reg_req"   => { "out" => [ "fp" ] },
-  "emit"      => '. \t\t /* use %D1 as uninitialized value */',
+  "emit"      => '. \t\t /* use %D0 as uninitialized value */',
   "cmp_attr"  =>
 '
        return 1;
@@ -924,7 +842,7 @@ $comment_string_end = "*/";
   "state"     => "exc_pinned",
   "comment"   => "construct FP Load (double): Load(ptr, mem) = LD ptr",
   "reg_req"   => { "in" => [ "!r0", "none" ], "out" => [ "fp", "none" ] },
-  "emit"      => '. lfd %D1, %O(%S1)',
+  "emit"      => '. lfd %D0, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -938,7 +856,7 @@ $comment_string_end = "*/";
   "state"     => "exc_pinned",
   "comment"   => "construct FP Load (single): Load(ptr, mem) = LD ptr",
   "reg_req"   => { "in" => [ "!r0", "none" ], "out" => [ "fp","none" ] },
-  "emit"      => '. lfs %D1, %O(%S1)',
+  "emit"      => '. lfs %D0, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -950,8 +868,8 @@ $comment_string_end = "*/";
   "op_flags"  => "L|F",
   "state"     => "exc_pinned",
   "comment"   => "construct Store (double): Store(ptr, val, mem)  = ST ptr,val",
-  "reg_req"   => { "in" => [ "!r0", "fp", "none" ] },
-  "emit"      => '. stfd %S2, %O(%S1)',
+  "reg_req"   => { "in" => [ "!r0", "fp", "none" ], "out" => [ "none" ] },
+  "emit"      => '. stfd %S1, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);
@@ -963,8 +881,8 @@ $comment_string_end = "*/";
   "op_flags"  => "L|F",
   "state"     => "exc_pinned",
   "comment"   => "construct Store (single): Store(ptr, val, mem)  = ST ptr,val",
-  "reg_req"   => { "in" => [ "!r0", "fp", "none" ] },
-  "emit"      => '. stfs %S2, %O(%S1)',
+  "reg_req"   => { "in" => [ "!r0", "fp", "none" ], "out" => [ "none" ] },
+  "emit"      => '. stfs %S1, %O(%S0)',
   "cmp_attr"  =>
 '
        return (attr_a->data.constant_tarval != attr_b->data.constant_tarval);