[M3commit] CVS Update: cm3

[Jay K]

Index: gcc/gcc/m3cg/parse.c
===================================================================
RCS file: /usr/cvs/cm3/m3-sys/m3cc/gcc/gcc/m3cg/parse.c,v
retrieving revision 1.206
diff -u -r1.206 parse.c
--- gcc/gcc/m3cg/parse.c    29 Jun 2010 12:55:45 -0000    1.206
+++ gcc/gcc/m3cg/parse.c    29 Jun 2010 13:09:39 -0000
@@ -4611,7 +4611,7 @@
                             t);
     }
 
-  x = m3_convert (m3_unsigned_type (t), x);
+  x = m3_convert (t, x);
   x = (b ? m3_build2 (LSHIFT_EXPR, t, x, build_int_cst (t_int, b)) : x);
   x = (a ? m3_build2 (RSHIFT_EXPR, t, x, build_int_cst (t_int, a)) : x);
   return x;


We might not need the convert, or cast might do.

 - Jay


----------------------------------------
> Date: Tue, 29 Jun 2010 15:12:41 +0000
> To: m3commit at elegosoft.com
> From: jkrell at elego.de
> Subject: [M3commit] CVS Update: cm3
>
> CVSROOT: /usr/cvs
> Changes by: jkrell at birch. 10/06/29 15:12:41
>
> Modified files:
> cm3/m3-sys/m3cc/gcc/gcc/m3cg/: parse.c
>
> Log message:
> This should cleanup configure -enable-checking a little more,
> regarding m3_do_fixed_extract, which is often used for
> integer division, signed and unsigned.
>
> The only change in m3core was a small optimization:
> +++ AMD64_DARWIN/RTTipe.ms 2010-06-29 05:59:08.000000000 -0700
> @@ -3366,41 +3366,39 @@
> .stabd 68,0,516
> - movq -8(%rbp), %rax
> - sarq %rax
> - movq %rax, -8(%rbp)
> + sarq -8(%rbp)
>
> It is not all clear.
> The tree ended up with, as configure -enable-checking reports,
> two types, the input and output. -enable-checking demands
> they be the same. For the left shift, the type doesn't matter.
> For the right shift, I believe we want the possibly signed type.
>