some adjustment to float convs (skip some strictconvs when no_fold_const is not set...

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

diff --git a/ir/be/ia32/ia32_spec.pl b/ir/be/ia32/ia32_spec.pl
index 192ebfe..8307d45 100644 (file)
--- a/ir/be/ia32/ia32_spec.pl
+++ b/ir/be/ia32/ia32_spec.pl
@@ -32,12 +32,13 @@ $arch = "ia32";
 #   ins       => { "in1", "in2" }   # optional, creates n_op_in1, ... consts
 #   mode      => "mode_Iu"          # optional, predefines the mode
 #   emit      => "emit code with templates",
-#   attr      => "attitional attribute arguments for constructor",
+#   attr      => "additional attribute arguments for constructor",
 #   init_attr => "emit attribute initialization template",
 #   rd_constructor => "c source code which constructs an ir_node",
 #   hash_func => "name of the hash function for this operation",
 #   latency   => "latency of this operation (can be float)"
 #   attr_type => "name of the attribute struct",
+#   modified_flags =>  [ "CF", ... ] # optional, list of modified flags
 # },
 #
 # ... # (all nodes you need to describe)
@@ -335,7 +336,7 @@ Asm => {
        init_attr => "attr->asm_text = asm_text;\n".
                     "\tattr->register_map = register_map;\n",
        latency   => 10,
-       modified_flags => 1,
+       modified_flags => $status_flags,
 },
 
 # "allocates" a free register
@@ -471,10 +472,10 @@ IMul1OP => {
        irn_flags => "R",
        state     => "exc_pinned",
        reg_req   => { in => [ "gp", "gp", "none", "eax", "gp" ],
-                      out => [ "eax", "edx", "none" ] },
+                      out => [ "eax", "flags", "edx", "none" ] },
        ins       => [ "base", "index", "mem", "left", "right" ],
        emit      => '. imul%M %unop4',
-       outs      => [ "res_low", "res_high", "M" ],
+       outs      => [ "res_low", "flags", "res_high", "M" ],
        am        => "source,binary",
        latency   => 5,
        units     => [ "GP" ],
@@ -582,6 +583,18 @@ Xor => {
        modified_flags => $status_flags
 },
 
+Xor0 => {
+       op_flags  => "c",
+       irn_flags => "R",
+       reg_req   => { out => [ "gp", "flags" ] },
+       outs      => [ "res", "flags" ],
+       emit      => ". xor%M %D0, %D0",
+       units     => [ "GP" ],
+       latency   => 1,
+       mode      => $mode_gp,
+       modified_flags => $status_flags
+},
+
 XorMem => {
        irn_flags => "R",
        state     => "exc_pinned",
@@ -661,6 +674,17 @@ Sbb => {
        modified_flags => $status_flags
 },
 
+Sbb0 => {
+       irn_flags => "R",
+       reg_req   => { in => [ "flags" ], out => [ "gp", "flags" ] },
+       outs      => [ "res", "flags" ],
+       emit      => ". sbb%M %D0, %D0",
+       units     => [ "GP" ],
+       latency   => 1,
+       mode      => $mode_gp,
+       modified_flags => $status_flags
+},
+
 l_Sub => {
        reg_req   => { in => [ "none", "none" ], out => [ "none" ] },
        ins       => [ "minuend", "subtrahend" ],
@@ -705,7 +729,7 @@ Shl => {
                       out => [ "in_r1 !in_r2", "flags" ] },
        ins       => [ "val", "count" ],
        outs      => [ "res", "flags" ],
-       emit      => '. shl %SB1, %S0',
+       emit      => '. shl%M %SB1, %S0',
        units     => [ "GP" ],
        latency   => 1,
        mode      => $mode_gp,
@@ -755,7 +779,7 @@ Shr => {
                       out => [ "in_r1 !in_r2", "flags" ] },
        ins       => [ "val", "count" ],
        outs      => [ "res", "flags" ],
-       emit      => '. shr %SB1, %S0',
+       emit      => '. shr%M %SB1, %S0',
        units     => [ "GP" ],
        mode      => $mode_gp,
        latency   => 1,
@@ -805,7 +829,7 @@ Sar => {
                       out => [ "in_r1 !in_r2", "flags" ] },
        ins       => [ "val", "count" ],
        outs      => [ "res", "flags" ],
-       emit      => '. sar %SB1, %S0',
+       emit      => '. sar%M %SB1, %S0',
        units     => [ "GP" ],
        latency   => 1,
        mode      => $mode_gp,
@@ -836,7 +860,7 @@ Ror => {
                       out => [ "in_r1 !in_r2", "flags" ] },
        ins       => [ "val", "count" ],
        outs      => [ "res", "flags" ],
-       emit      => '. ror %SB1, %S0',
+       emit      => '. ror%M %SB1, %S0',
        units     => [ "GP" ],
        latency   => 1,
        mode      => $mode_gp,
@@ -861,7 +885,7 @@ Rol => {
                       out => [ "in_r1 !in_r2", "flags" ] },
        ins       => [ "val", "count" ],
        outs      => [ "res", "flags" ],
-       emit      => '. rol %SB1, %S0',
+       emit      => '. rol%M %SB1, %S0',
        units     => [ "GP" ],
        latency   => 1,
        mode      => $mode_gp,
@@ -886,7 +910,7 @@ Neg => {
        irn_flags => "R",
        reg_req   => { in => [ "gp" ],
                       out => [ "in_r1", "flags" ] },
-       emit      => '. neg %S0',
+       emit      => '. neg%M %S0',
        ins       => [ "val" ],
        outs      => [ "res", "flags" ],
        units     => [ "GP" ],
@@ -923,7 +947,7 @@ Inc => {
                       out => [ "in_r1", "flags" ] },
        ins       => [ "val" ],
        outs      => [ "res", "flags" ],
-       emit      => '. inc %S0',
+       emit      => '. inc%M %S0',
        units     => [ "GP" ],
        mode      => $mode_gp,
        latency   => 1,
@@ -948,7 +972,7 @@ Dec => {
                       out => [ "in_r1", "flags" ] },
        ins       => [ "val" ],
        outs      => [ "res", "flags" ],
-       emit      => '. dec %S0',
+       emit      => '. dec%M %S0',
        units     => [ "GP" ],
        mode      => $mode_gp,
        latency   => 1,
@@ -973,7 +997,7 @@ Not => {
                       out => [ "in_r1", "flags" ] },
        ins       => [ "val" ],
        outs      => [ "res", "flags" ],
-       emit      => '. not %S0',
+       emit      => '. not%M %S0',
        units     => [ "GP" ],
        latency   => 1,
        mode      => $mode_gp,
@@ -1472,6 +1496,7 @@ Call => {
        am        => "source,unary",
        units     => [ "BRANCH" ],
        latency   => 4, # random number
+       modified_flags => $status_flags
 },
 
 #-----------------------------------------------------------------------------#
@@ -1800,10 +1825,22 @@ CopyB_i => {
 
 # Conversions
 
+Cwtl => {
+       state     => "exc_pinned",
+       reg_req   => { in => [ "eax" ], out => [ "eax" ] },
+       ins       => [ "val" ],
+       outs      => [ "res" ],
+       emit      => '. cwtl',
+       units     => [ "GP" ],
+       latency   => 1,
+       mode      => $mode_gp,
+},
+
 Conv_I2I => {
        state     => "exc_pinned",
        reg_req   => { in => [ "gp", "gp", "none", "gp" ], out => [ "gp", "none" ] },
        ins       => [ "base", "index", "mem", "val" ],
+       outs      => [ "res", "M" ],
        am        => "source,unary",
        units     => [ "GP" ],
        latency   => 1,