arch_spec: Remove remnants of unused operands.
[libfirm] / ir / be / ia32 / ia32_spec.pl
index bb66c8f..bedbeb1 100644 (file)
@@ -9,13 +9,6 @@ $mode_gp            = "mode_Iu";
 $mode_flags         = "mode_Iu";
 $mode_fpcw          = "ia32_mode_fpcw";
 
-# register types:
-$normal      =  0; # no special type
-$ignore      =  1; # ignore (do not assign this register)
-$arbitrary   =  2; # emitter can choose an arbitrary register of this class
-$virtual     =  4; # the register is a virtual one
-$state       =  8; # register represents a state
-# NOTE: Last entry of each class is the largest Firm-Mode a register can hold
 %reg_classes = (
        gp => [
                { name => "edx", dwarf => 2 },
@@ -25,19 +18,19 @@ $state       =  8; # register represents a state
                { name => "esi", dwarf => 6 },
                { name => "edi", dwarf => 7 },
                { name => "ebp", dwarf => 5 },
-               { name => "esp", dwarf => 4, type => $ignore },
-               { name => "gp_NOREG", type => $ignore | $arbitrary | $virtual }, # we need a dummy register for NoReg nodes
+               { name => "esp", dwarf => 4, type => "ignore" },
+               { name => "gp_NOREG", type => "ignore | virtual" }, # we need a dummy register for NoReg nodes
                { mode => $mode_gp }
        ],
        mmx => [
-               { name => "mm0", dwarf => 29, type => $ignore },
-               { name => "mm1", dwarf => 30, type => $ignore },
-               { name => "mm2", dwarf => 31, type => $ignore },
-               { name => "mm3", dwarf => 32, type => $ignore },
-               { name => "mm4", dwarf => 33, type => $ignore },
-               { name => "mm5", dwarf => 34, type => $ignore },
-               { name => "mm6", dwarf => 35, type => $ignore },
-               { name => "mm7", dwarf => 36, type => $ignore },
+               { name => "mm0", dwarf => 29, type => "ignore" },
+               { name => "mm1", dwarf => 30, type => "ignore" },
+               { name => "mm2", dwarf => 31, type => "ignore" },
+               { name => "mm3", dwarf => 32, type => "ignore" },
+               { name => "mm4", dwarf => 33, type => "ignore" },
+               { name => "mm5", dwarf => 34, type => "ignore" },
+               { name => "mm6", dwarf => 35, type => "ignore" },
+               { name => "mm7", dwarf => 36, type => "ignore" },
                { mode => $mode_mmx, flags => "manual_ra" }
        ],
        xmm => [
@@ -49,38 +42,27 @@ $state       =  8; # register represents a state
                { name => "xmm5", dwarf => 26 },
                { name => "xmm6", dwarf => 27 },
                { name => "xmm7", dwarf => 28 },
-               { name => "xmm_NOREG", type => $ignore | $virtual },     # we need a dummy register for NoReg nodes
+               { name => "xmm_NOREG", type => "ignore | virtual" }, # we need a dummy register for NoReg nodes
                { mode => $mode_xmm }
        ],
-       vfp => [
-               { name => "vf0" },
-               { name => "vf1" },
-               { name => "vf2" },
-               { name => "vf3" },
-               { name => "vf4" },
-               { name => "vf5" },
-               { name => "vf6" },
-               { name => "vf7" },
-               { name => "vfp_NOREG", type => $ignore | $arbitrary | $virtual }, # we need a dummy register for NoReg nodes
+       fp => [
+               { name => "st0", realname => "st",    dwarf => 11 },
+               { name => "st1", realname => "st(1)", dwarf => 12 },
+               { name => "st2", realname => "st(2)", dwarf => 13 },
+               { name => "st3", realname => "st(3)", dwarf => 14 },
+               { name => "st4", realname => "st(4)", dwarf => 15 },
+               { name => "st5", realname => "st(5)", dwarf => 16 },
+               { name => "st6", realname => "st(6)", dwarf => 17 },
+               { name => "st7", realname => "st(7)", dwarf => 18 },
+               { name => "fp_NOREG", type => "ignore | virtual" }, # we need a dummy register for NoReg nodes
                { mode => $mode_fp87 }
        ],
-       st => [
-               { name => "st0", realname => "st",    dwarf => 11, type => $ignore },
-               { name => "st1", realname => "st(1)", dwarf => 12, type => $ignore },
-               { name => "st2", realname => "st(2)", dwarf => 13, type => $ignore },
-               { name => "st3", realname => "st(3)", dwarf => 14, type => $ignore },
-               { name => "st4", realname => "st(4)", dwarf => 15, type => $ignore },
-               { name => "st5", realname => "st(5)", dwarf => 16, type => $ignore },
-               { name => "st6", realname => "st(6)", dwarf => 17, type => $ignore },
-               { name => "st7", realname => "st(7)", dwarf => 18, type => $ignore },
-               { mode => $mode_fp87, flags => "manual_ra" }
-       ],
        fp_cw => [      # the floating point control word
-               { name => "fpcw", dwarf => 37, type => $ignore | $state },
-               { mode => $mode_fpcw, flags => "manual_ra|state" }
+               { name => "fpcw", dwarf => 37, type => "ignore | state" },
+               { mode => $mode_fpcw, flags => "manual_ra | state" }
        ],
        flags => [
-               { name => "eflags", dwarf => 9, type => 0 },
+               { name => "eflags", dwarf => 9 },
                { mode => "mode_Iu", flags => "manual_ra" }
        ],
 ); # %reg_classes
@@ -174,9 +156,6 @@ $custom_init_attr_func = \&ia32_custom_init_attr;
        ia32_climbframe_attr_t => "ia32_compare_climbframe_attr",
 );
 
-%operands = (
-);
-
 $status_flags       = [ "CF", "PF", "AF", "ZF", "SF", "OF" ];
 $status_flags_wo_cf = [       "PF", "AF", "ZF", "SF", "OF" ];
 $fpcw_flags         = [ "FP_IM", "FP_DM", "FP_ZM", "FP_OM", "FP_UM", "FP_PM",
@@ -1078,11 +1057,11 @@ NoReg_GP => {
        mode      => $mode_gp
 },
 
-NoReg_VFP => {
+NoReg_FP => {
        state     => "pinned",
        op_flags  => [ "constlike", "dump_noblock" ],
        irn_flags => [ "not_scheduled" ],
-       reg_req   => { out => [ "vfp_NOREG:I" ] },
+       reg_req   => { out => [ "fp_NOREG:I" ] },
        units     => [],
        emit      => "",
        mode      => $mode_fp87,
@@ -1399,10 +1378,10 @@ Call => {
        state     => "exc_pinned",
        reg_req   => {
                in  => [ "gp", "gp", "none", "gp", "esp", "fpcw", "eax", "ecx", "edx" ],
-               out => [ "esp:I|S", "fpcw:I", "none", "eax", "ecx", "edx", "vf0", "vf1", "vf2", "vf3", "vf4", "vf5", "vf6", "vf7", "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7", "none", "none" ]
+               out => [ "esp:I|S", "fpcw:I", "none", "eax", "ecx", "edx", "st0", "st1", "st2", "st3", "st4", "st5", "st6", "st7", "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7", "none", "none" ]
        },
        ins       => [ "base", "index", "mem", "addr", "stack", "fpcw", "eax", "ecx", "edx" ],
-       outs      => [ "stack", "fpcw", "M", "eax", "ecx", "edx", "vf0", "vf1", "vf2", "vf3", "vf4", "vf5", "vf6", "vf7", "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7", "X_regular", "X_except" ],
+       outs      => [ "stack", "fpcw", "M", "eax", "ecx", "edx", "st0", "st1", "st2", "st3", "st4", "st5", "st6", "st7", "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7", "X_regular", "X_except" ],
        emit      => "call %*AS3",
        attr_type => "ia32_call_attr_t",
        attr      => "unsigned pop, ir_type *call_tp",
@@ -1435,6 +1414,7 @@ Bswap => {
        irn_flags => [ "rematerializable" ],
        reg_req   => { in => [ "gp" ],
                       out => [ "in_r1" ] },
+       outs      => [ "res" ],
        emit      => 'bswap%M %S0',
        ins       => [ "val" ],
        units     => [ "GP" ],
@@ -1999,13 +1979,14 @@ Conv_FP2FP => {
 # rematerialisation disabled for all float nodes for now, because the fpcw
 # handler runs before spilling and we might end up with wrong fpcw then
 
-vfadd => {
+fadd => {
 #      irn_flags => [ "rematerializable" ],
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "vfp", "vfp", "fpcw" ],
-                      out => [ "vfp", "none", "none" ] },
+       reg_req   => { in => [ "gp", "gp", "none", "fp", "fp", "fpcw" ],
+                      out => [ "fp", "none", "none" ] },
        ins       => [ "base", "index", "mem", "left", "right", "fpcw" ],
        outs      => [ "res", "dummy", "M" ],
+       emit      => 'fadd%FP%FM %AF',
        am        => "source,binary",
        latency   => 4,
        units     => [ "VFP" ],
@@ -2013,13 +1994,14 @@ vfadd => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vfmul => {
+fmul => {
 #      irn_flags => [ "rematerializable" ],
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "vfp", "vfp", "fpcw" ],
-                      out => [ "vfp", "none", "none" ] },
+       reg_req   => { in => [ "gp", "gp", "none", "fp", "fp", "fpcw" ],
+                      out => [ "fp", "none", "none" ] },
        ins       => [ "base", "index", "mem", "left", "right", "fpcw" ],
        outs      => [ "res", "dummy", "M" ],
+       emit      => 'fmul%FP%FM %AF',
        am        => "source,binary",
        latency   => 4,
        units     => [ "VFP" ],
@@ -2027,13 +2009,14 @@ vfmul => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vfsub => {
+fsub => {
 #      irn_flags => [ "rematerializable" ],
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "vfp", "vfp", "fpcw" ],
-                      out => [ "vfp", "none", "none" ] },
+       reg_req   => { in => [ "gp", "gp", "none", "fp", "fp", "fpcw" ],
+                      out => [ "fp", "none", "none" ] },
        ins       => [ "base", "index", "mem", "minuend", "subtrahend", "fpcw" ],
        outs      => [ "res", "dummy", "M" ],
+       emit      => 'fsub%FR%FP%FM %AF',
        am        => "source,binary",
        latency   => 4,
        units     => [ "VFP" ],
@@ -2041,40 +2024,44 @@ vfsub => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vfdiv => {
+fdiv => {
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "vfp", "vfp", "fpcw" ],
-                      out => [ "vfp", "none", "none" ] },
+       reg_req   => { in => [ "gp", "gp", "none", "fp", "fp", "fpcw" ],
+                      out => [ "fp", "none", "none" ] },
        ins       => [ "base", "index", "mem", "dividend", "divisor", "fpcw" ],
        outs      => [ "res", "dummy", "M" ],
+       emit      => 'fdiv%FR%FP%FM %AF',
        am        => "source,binary",
        latency   => 20,
        units     => [ "VFP" ],
        attr_type => "ia32_x87_attr_t",
 },
 
-vfprem => {
-       reg_req   => { in => [ "vfp", "vfp", "fpcw" ], out => [ "vfp" ] },
+fprem => {
+       reg_req   => { in => [ "fp", "fp", "fpcw" ], out => [ "fp" ] },
        ins       => [ "left", "right", "fpcw" ],
+       emit      => 'fprem1',
        latency   => 20,
        units     => [ "VFP" ],
        mode      => $mode_fp87,
        attr_type => "ia32_x87_attr_t",
 },
 
-vfabs => {
+fabs => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { in => [ "vfp"], out => [ "vfp" ] },
+       reg_req   => { in => [ "fp"], out => [ "fp" ] },
        ins       => [ "value" ],
+       emit      => 'fabs',
        latency   => 2,
        units     => [ "VFP" ],
        mode      => $mode_fp87,
        attr_type => "ia32_x87_attr_t",
 },
 
-vfchs => {
+fchs => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { in => [ "vfp"], out => [ "vfp" ] },
+       reg_req   => { in => [ "fp"], out => [ "fp" ] },
+       emit      => 'fchs',
        ins       => [ "value" ],
        latency   => 2,
        units     => [ "VFP" ],
@@ -2082,14 +2069,15 @@ vfchs => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vfld => {
+fld => {
        irn_flags => [ "rematerializable" ],
        op_flags  => [ "uses_memory", "fragile" ],
        state     => "exc_pinned",
        reg_req   => { in => [ "gp", "gp", "none" ],
-                      out => [ "vfp", "none", "none", "none", "none" ] },
+                      out => [ "fp", "none", "none", "none", "none" ] },
        ins       => [ "base", "index", "mem" ],
        outs      => [ "res", "unused", "M", "X_regular", "X_except" ],
+       emit      => 'fld%FM %AM',
        attr      => "ir_mode *load_mode",
        init_attr => "attr->attr.ls_mode = load_mode;",
        latency   => 2,
@@ -2097,14 +2085,15 @@ vfld => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vfst => {
+fst => {
        irn_flags => [ "rematerializable" ],
        op_flags  => [ "uses_memory", "fragile" ],
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "vfp" ],
+       reg_req   => { in => [ "gp", "gp", "none", "fp" ],
                       out => [ "none", "none", "none" ] },
        ins       => [ "base", "index", "mem", "val" ],
        outs      => [ "M", "X_regular", "X_except" ],
+       emit      => 'fst%FP%FM %AM',
        attr      => "ir_mode *store_mode",
        init_attr => "attr->attr.ls_mode = store_mode;",
        latency   => 2,
@@ -2112,85 +2101,93 @@ vfst => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vfild => {
+fild => {
        state     => "exc_pinned",
        reg_req   => { in => [ "gp", "gp", "none" ],
-                      out => [ "vfp", "none", "none" ] },
+                      out => [ "fp", "none", "none" ] },
        outs      => [ "res", "unused", "M" ],
        ins       => [ "base", "index", "mem" ],
+       emit      => 'fild%FM %AM',
        latency   => 4,
        units     => [ "VFP" ],
        attr_type => "ia32_x87_attr_t",
 },
 
-vfist => {
+fist => {
        op_flags  => [ "uses_memory", "fragile" ],
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "vfp", "fpcw" ],
+       reg_req   => { in => [ "gp", "gp", "none", "fp", "fpcw" ],
                       out => [ "none", "none", "none", "none" ] },
        ins       => [ "base", "index", "mem", "val", "fpcw" ],
        outs      => [ "dummy", "M", "X_regular", "X_except" ],
+       emit      => 'fist%FP%FM %AM',
        latency   => 4,
        units     => [ "VFP" ],
        attr_type => "ia32_x87_attr_t",
 },
 
 # SSE3 fisttp instruction
-vfisttp => {
+fisttp => {
        op_flags  => [ "uses_memory", "fragile" ],
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "vfp" ],
+       reg_req   => { in => [ "gp", "gp", "none", "fp" ],
                       out => [ "in_r4", "none", "none", "none" ]},
        ins       => [ "base", "index", "mem", "val" ],
        outs      => [ "res", "M", "X_regular", "X_except" ],
+       emit      => 'fisttp%FM %AM',
        latency   => 4,
        units     => [ "VFP" ],
        attr_type => "ia32_x87_attr_t",
 },
 
-vfldz => {
+fldz => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
+       reg_req   => { out => [ "fp" ] },
        outs      => [ "res" ],
+       emit      => 'fldz',
        latency   => 4,
        units     => [ "VFP" ],
        mode      => $mode_fp87,
        attr_type => "ia32_x87_attr_t",
 },
 
-vfld1 => {
+fld1 => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
+       reg_req   => { out => [ "fp" ] },
        outs      => [ "res" ],
+       emit      => 'fld1',
        latency   => 4,
        units     => [ "VFP" ],
        mode      => $mode_fp87,
        attr_type => "ia32_x87_attr_t",
 },
 
-vfldpi => {
+fldpi => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
+       reg_req   => { out => [ "fp" ] },
        outs      => [ "res" ],
+       emit      => 'fldpi',
        latency   => 4,
        units     => [ "VFP" ],
        mode      => $mode_fp87,
        attr_type => "ia32_x87_attr_t",
 },
 
-vfldln2 => {
+fldln2 => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
+       reg_req   => { out => [ "fp" ] },
        outs      => [ "res" ],
+       emit      => 'fldln2',
        latency   => 4,
        units     => [ "VFP" ],
        mode      => $mode_fp87,
        attr_type => "ia32_x87_attr_t",
 },
 
-vfldlg2 => {
+fldlg2 => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
+       reg_req   => { out => [ "fp" ] },
+       emit      => 'fldlg2',
        outs      => [ "res" ],
        latency   => 4,
        units     => [ "VFP" ],
@@ -2198,9 +2195,10 @@ vfldlg2 => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vfldl2t => {
+fldl2t => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
+       reg_req   => { out => [ "fp" ] },
+       emit      => 'fldll2t',
        outs      => [ "res" ],
        latency   => 4,
        units     => [ "VFP" ],
@@ -2208,9 +2206,10 @@ vfldl2t => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vfldl2e => {
+fldl2e => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
+       reg_req   => { out => [ "fp" ] },
+       emit      => 'fldl2e',
        outs      => [ "res" ],
        latency   => 4,
        units     => [ "VFP" ],
@@ -2218,13 +2217,32 @@ vfldl2e => {
        attr_type => "ia32_x87_attr_t",
 },
 
-vFucomFnstsw => {
+FucomFnstsw => {
+# we can't allow to rematerialize this node so we don't
+#  accidently produce Phi(Fucom, Fucom(ins_permuted))
+#      irn_flags => [ "rematerializable" ],
+       reg_req   => { in => [ "fp", "fp" ], out => [ "eax" ] },
+       ins       => [ "left", "right" ],
+       outs      => [ "flags" ],
+       emit      => "fucom%FP %F0\n".
+                    "fnstsw %%ax",
+       attr      => "bool ins_permuted",
+       init_attr => "attr->attr.data.ins_permuted = ins_permuted;",
+       latency   => 3,
+       units     => [ "VFP" ],
+       attr_type => "ia32_x87_attr_t",
+       mode      => $mode_gp
+},
+
+FucomppFnstsw => {
 # we can't allow to rematerialize this node so we don't
 #  accidently produce Phi(Fucom, Fucom(ins_permuted))
 #      irn_flags => [ "rematerializable" ],
-       reg_req   => { in => [ "vfp", "vfp" ], out => [ "eax" ] },
+       reg_req   => { in => [ "fp", "fp" ], out => [ "eax" ] },
        ins       => [ "left", "right" ],
        outs      => [ "flags" ],
+       emit      => "fucompp\n".
+                    "fnstsw %%ax",
        attr      => "bool ins_permuted",
        init_attr => "attr->attr.data.ins_permuted = ins_permuted;",
        latency   => 3,
@@ -2233,11 +2251,12 @@ vFucomFnstsw => {
        mode      => $mode_gp
 },
 
-vFucomi => {
+Fucomi => {
        irn_flags => [ "rematerializable" ],
-       reg_req   => { in => [ "vfp", "vfp" ], out => [ "eflags" ] },
+       reg_req   => { in => [ "fp", "fp" ], out => [ "eflags" ] },
        ins       => [ "left", "right" ],
        outs      => [ "flags" ],
+       emit      => 'fucom%FPi %F0',
        attr      => "bool ins_permuted",
        init_attr => "attr->attr.data.ins_permuted = ins_permuted;",
        latency   => 3,
@@ -2246,11 +2265,13 @@ vFucomi => {
        mode      => $mode_gp
 },
 
-vFtstFnstsw => {
+FtstFnstsw => {
 #      irn_flags => [ "rematerializable" ],
-       reg_req   => { in => [ "vfp" ], out => [ "eax" ] },
+       reg_req   => { in => [ "fp" ], out => [ "eax" ] },
        ins       => [ "left" ],
        outs      => [ "flags" ],
+       emit      => "ftst\n".
+                    "fnstsw %%ax",
        attr      => "bool ins_permuted",
        init_attr => "attr->attr.data.ins_permuted = ins_permuted;",
        latency   => 3,
@@ -2270,272 +2291,6 @@ Sahf => {
        mode      => $mode_flags,
 },
 
-fadd => {
-       state     => "exc_pinned",
-       emit      => 'fadd%FM %AF',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-faddp => {
-       state     => "exc_pinned",
-       emit      => 'faddp%FM %AF',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fmul => {
-       state     => "exc_pinned",
-       emit      => 'fmul%FM %AF',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fmulp => {
-       state     => "exc_pinned",
-       emit      => 'fmulp%FM %AF',,
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fsub => {
-       state     => "exc_pinned",
-       emit      => 'fsub%FM %AF',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-# Note: gas is strangely buggy: fdivrp and fdivp as well as fsubrp and fsubp
-#       are swapped, we work this around in the emitter...
-
-fsubp => {
-       state     => "exc_pinned",
-# see note about gas bugs
-       emit      => 'fsubrp%FM %AF',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fsubr => {
-       state     => "exc_pinned",
-       irn_flags => [ "rematerializable" ],
-       emit      => 'fsubr%FM %AF',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fsubrp => {
-       state     => "exc_pinned",
-       irn_flags => [ "rematerializable" ],
-# see note about gas bugs before fsubp
-       emit      => 'fsubp%FM %AF',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fprem => {
-       emit      => 'fprem1',
-       latency   => 20,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-# this node is just here, to keep the simulator running
-# we can omit this when a fprem simulation function exists
-fpremp => {
-       emit      => 'fprem1\n'.
-                    'fstp %F0',
-       latency   => 20,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fdiv => {
-       state     => "exc_pinned",
-       emit      => 'fdiv%FM %AF',
-       latency   => 20,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fdivp => {
-       state     => "exc_pinned",
-# see note about gas bugs before fsubp
-       emit      => 'fdivrp%FM %AF',
-       latency   => 20,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fdivr => {
-       state     => "exc_pinned",
-       emit      => 'fdivr%FM %AF',
-       latency   => 20,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fdivrp => {
-       state     => "exc_pinned",
-# see note about gas bugs before fsubp
-       emit      => 'fdivp%FM %AF',
-       latency   => 20,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fabs => {
-       emit      => 'fabs',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fchs => {
-       op_flags  => [ "keep" ],
-       irn_flags => [ "rematerializable" ],
-       emit      => 'fchs',
-       latency   => 4,
-       attr_type => "ia32_x87_attr_t",
-       constructors => {},
-},
-
-fld => {
-       irn_flags => [ "rematerializable" ],
-       state     => "exc_pinned",
-       emit      => 'fld%FM %AM',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-       constructors => {},
-},
-
-fst => {
-       irn_flags => [ "rematerializable" ],
-       state     => "exc_pinned",
-       emit      => 'fst%FM %AM',
-       mode      => "mode_M",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-       constructors => {},
-},
-
-fstp => {
-       irn_flags => [ "rematerializable" ],
-       state     => "exc_pinned",
-       emit      => 'fstp%FM %AM',
-       mode      => "mode_M",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-       constructors => {},
-},
-
-fild => {
-       state     => "exc_pinned",
-       emit      => 'fild%FM %AM',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-       constructors => {},
-},
-
-fist => {
-       state     => "exc_pinned",
-       emit      => 'fist%FM %AM',
-       mode      => "mode_M",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-       constructors => {},
-},
-
-fistp => {
-       state     => "exc_pinned",
-       emit      => 'fistp%FM %AM',
-       mode      => "mode_M",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-       constructors => {},
-},
-
-# SSE3 fisttp instruction
-fisttp => {
-       state     => "exc_pinned",
-       emit      => 'fisttp%FM %AM',
-       mode      => "mode_M",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-       constructors => {},
-},
-
-fldz => {
-       op_flags  =>  [ "constlike", "keep" ],
-       irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
-       emit      => 'fldz',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-fld1 => {
-       op_flags  => [ "constlike", "keep" ],
-       irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
-       emit      => 'fld1',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-fldpi => {
-       op_flags  => [ "constlike", "keep" ],
-       irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
-       emit      => 'fldpi',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-fldln2 => {
-       op_flags  => [ "constlike", "keep" ],
-       irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
-       emit      => 'fldln2',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-fldlg2 => {
-       op_flags  => [ "constlike", "keep" ],
-       irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
-       emit      => 'fldlg2',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-fldl2t => {
-       op_flags  => [ "constlike", "keep" ],
-       irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
-       emit      => 'fldll2t',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-fldl2e => {
-       op_flags  => [ "constlike", "keep" ],
-       irn_flags => [ "rematerializable" ],
-       reg_req   => { out => [ "vfp" ] },
-       emit      => 'fldl2e',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
 # fxch, fpush, fpop
 # Note that it is NEVER allowed to do CSE on these nodes
 # Moreover, note the virtual register requierements!
@@ -2561,7 +2316,7 @@ fpush => {
 },
 
 fpushCopy => {
-       reg_req   => { in => [ "vfp"], out => [ "vfp" ] },
+       reg_req   => { in => [ "fp"], out => [ "fp" ] },
        cmp_attr  => "return 1;",
        emit      => 'fld %F0',
        attr_type => "ia32_x87_attr_t",
@@ -2608,52 +2363,6 @@ femms => {
        latency   => 3,
 },
 
-FucomFnstsw => {
-       reg_req   => { },
-       emit      => "fucom %F1\n".
-                    "fnstsw %%ax",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-FucompFnstsw => {
-       reg_req   => { },
-       emit      => "fucomp %F1\n".
-                    "fnstsw %%ax",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-FucomppFnstsw => {
-       reg_req   => { },
-       emit      => "fucompp\n".
-                    "fnstsw %%ax",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
-Fucomi => {
-       reg_req   => { },
-       emit      => 'fucomi %F1',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 1,
-},
-
-Fucompi => {
-       reg_req   => { },
-       emit      => 'fucompi %F1',
-       attr_type => "ia32_x87_attr_t",
-       latency   => 1,
-},
-
-FtstFnstsw => {
-       reg_req   => { },
-       emit      => "ftst\n".
-                    "fnstsw %%ax",
-       attr_type => "ia32_x87_attr_t",
-       latency   => 2,
-},
-
 # Spilling and reloading of SSE registers, hardcoded, not generated #
 
 xxLoad => {