fehler109

[libfirm] / ir / be / ia32 / ia32_spec.pl

diff --git a/ir/be/ia32/ia32_spec.pl b/ir/be/ia32/ia32_spec.pl
index 9ee0999..372c593 100644 (file)
--- a/ir/be/ia32/ia32_spec.pl
+++ b/ir/be/ia32/ia32_spec.pl
@@ -373,6 +373,7 @@ Add => {
        reg_req   => { in  => [ "gp", "gp", "none", "gp", "gp" ],
                       out => [ "in_r4 in_r5", "flags", "none" ] },
        ins       => [ "base", "index", "mem", "left", "right" ],
+       outs      => [ "res", "flags", "M" ],
        emit      => '. add%M %binop',
        am        => "full,binary",
        units     => [ "GP" ],
@@ -410,6 +411,7 @@ Adc => {
        reg_req   => { in => [ "gp", "gp", "none", "gp", "gp", "flags" ],
                       out => [ "in_r4 in_r5", "flags", "none" ] },
        ins       => [ "base", "index", "mem", "left", "right", "eflags" ],
+       outs      => [ "res", "flags", "M" ],
        emit      => '. adc%M %binop',
        am        => "full,binary",
        units     => [ "GP" ],
@@ -677,9 +679,9 @@ IDiv => {
        op_flags  => "F|L",
        state     => "exc_pinned",
        reg_req   => { in => [ "gp", "gp", "none", "eax", "edx", "gp" ],
-                      out => [ "eax", "flags", "none", "edx" ] },
+                      out => [ "eax", "flags", "none", "edx", "none" ] },
        ins       => [ "base", "index", "mem", "left_low", "left_high", "right" ],
-       outs      => [ "div_res", "flags", "M", "mod_res" ],
+       outs      => [ "div_res", "flags", "M", "mod_res", "X_exc" ],
        am        => "source,ternary",
        emit      => ". idiv%M %unop5",
        latency   => 25,
@@ -691,9 +693,9 @@ Div => {
        op_flags  => "F|L",
        state     => "exc_pinned",
        reg_req   => { in => [ "gp", "gp", "none", "eax", "edx", "gp" ],
-                      out => [ "eax", "flags", "none", "edx" ] },
+                      out => [ "eax", "flags", "none", "edx", "none" ] },
        ins       => [ "base", "index", "mem", "left_low", "left_high", "right" ],
-       outs      => [ "div_res", "flags", "M", "mod_res" ],
+       outs      => [ "div_res", "flags", "M", "mod_res", "X_exc" ],
        am        => "source,ternary",
        emit      => ". div%M %unop5",
        latency   => 25,
@@ -992,6 +994,24 @@ NotMem => {
        # no flags modified
 },
 
+Cmc => {
+       reg_req => { in => [ "flags" ], out => [ "flags" ] },
+       emit    => '.cmc',
+       units     => [ "GP" ],
+       latency   => 1,
+       mode      => $mode_flags,
+       modified_flags => $status_flags
+},
+
+Stc => {
+       reg_req => { out => [ "flags" ] },
+       emit    => '.stc',
+       units     => [ "GP" ],
+       latency   => 1,
+       mode      => $mode_flags,
+       modified_flags => $status_flags
+},
+
 # other operations
 
 Cmp => {
@@ -1284,9 +1304,9 @@ Cltd => {
 Load => {
        op_flags  => "L|F",
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none" ], out => [ "gp", "none" ] },
+       reg_req   => { in => [ "gp", "gp", "none" ], out => [ "gp", "none", "none" ] },
        ins       => [ "base", "index", "mem" ],
-       outs      => [ "res", "M" ],
+       outs      => [ "res", "M", "X_exc" ],
        latency   => 0,
        emit      => ". mov%SE%ME%.l %AM, %D0",
        units     => [ "GP" ],
@@ -1310,8 +1330,9 @@ l_Store => {
 Store => {
        op_flags  => "L|F",
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "gp" ], out => [ "none" ] },
+       reg_req   => { in => [ "gp", "gp", "none", "gp" ], out => [ "none", "none" ] },
        ins       => [ "base", "index", "mem", "val" ],
+       outs      => [ "M", "X_exc" ],
        emit      => '. mov%M %SI3, %AM',
        latency   => 2,
        units     => [ "GP" ],
@@ -1321,8 +1342,9 @@ Store => {
 Store8Bit => {
        op_flags  => "L|F",
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ], out => ["none" ] },
+       reg_req   => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ], out => ["none", "none" ] },
        ins       => [ "base", "index", "mem", "val" ],
+       outs      => [ "M", "X_exc" ],
        emit      => '. mov%M %SB3, %AM',
        latency   => 2,
        units     => [ "GP" ],
@@ -1580,12 +1602,12 @@ Ucomi => {
 xLoad => {
        op_flags  => "L|F",
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none" ], out => [ "xmm", "none" ] },
+       reg_req   => { in => [ "gp", "gp", "none" ], out => [ "xmm", "none", "none" ] },
        ins       => [ "base", "index", "mem" ],
+       outs      => [ "res", "M", "X_exc" ],
        emit      => '. mov%XXM %AM, %D0',
        attr      => "ir_mode *load_mode",
        init_attr => "attr->ls_mode = load_mode;",
-       outs      => [ "res", "M" ],
        latency   => 0,
        units     => [ "SSE" ],
 },
@@ -1593,8 +1615,9 @@ xLoad => {
 xStore => {
        op_flags => "L|F",
        state    => "exc_pinned",
-       reg_req  => { in => [ "gp", "gp", "none", "xmm" ] },
+       reg_req  => { in => [ "gp", "gp", "none", "xmm" ], out => [ "none", "none" ] },
        ins       => [ "base", "index", "mem", "val" ],
+       outs      => [ "M", "X_exc" ],
        emit     => '. mov%XXM %S3, %AM',
        latency  => 0,
        units    => [ "SSE" ],
@@ -1833,9 +1856,9 @@ vfld => {
        irn_flags => "R",
        op_flags  => "L|F",
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none" ], out => [ "vfp", "none" ] },
+       reg_req   => { in => [ "gp", "gp", "none" ], out => [ "vfp", "none", "none" ] },
        ins       => [ "base", "index", "mem" ],
-       outs      => [ "res", "M" ],
+       outs      => [ "res", "M", "X_exc" ],
        attr      => "ir_mode *load_mode",
        init_attr => "attr->attr.ls_mode = load_mode;",
        latency   => 2,
@@ -1847,8 +1870,9 @@ vfst => {
        irn_flags => "R",
        op_flags  => "L|F",
        state     => "exc_pinned",
-       reg_req   => { in => [ "gp", "gp", "none", "vfp" ] },
+       reg_req   => { in => [ "gp", "gp", "none", "vfp" ], out => [ "none", "none" ] },
        ins       => [ "base", "index", "mem", "val" ],
+       outs      => [ "M", "X_exc" ],
        attr      => "ir_mode *store_mode",
        init_attr => "attr->attr.ls_mode = store_mode;",
        latency   => 2,
@@ -2380,7 +2404,7 @@ femms => {
 FucomFnstsw => {
        reg_req   => { },
        emit      => ". fucom %X1\n".
-                    ". fnstsw",
+                    ". fnstsw %%ax",
        attr_type => "ia32_x87_attr_t",
        latency   => 2,
 },
@@ -2388,7 +2412,7 @@ FucomFnstsw => {
 FucompFnstsw => {
        reg_req   => { },
        emit      => ". fucomp %X1\n".
-                    ". fnstsw",
+                    ". fnstsw %%ax",
        attr_type => "ia32_x87_attr_t",
        latency   => 2,
 },
@@ -2396,7 +2420,7 @@ FucompFnstsw => {
 FucomppFnstsw => {
        reg_req   => { },
        emit      => ". fucompp\n".
-                    ". fnstsw",
+                    ". fnstsw %%ax",
        attr_type => "ia32_x87_attr_t",
        latency   => 2,
 },
@@ -2418,7 +2442,7 @@ Fucompi => {
 FtstFnstsw => {
        reg_req   => { },
        emit      => ". ftst\n".
-                    ". fnstsw",
+                    ". fnstsw %%ax",
        attr_type => "ia32_x87_attr_t",
        latency   => 2,
 },