This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] More CCP fixes [patch]
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Mark Mitchell <mark at codesourcery dot com>
- Cc: Neil Booth <neil at daikokuya dot co dot uk>, Fergus Henderson <fjh at cs dot mu dot OZ dot AU>, Richard Henderson <rth at redhat dot com>, Jason Merrill <jason at redhat dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: 14 Aug 2002 07:53:25 -0400
- Subject: Re: [tree-ssa] More CCP fixes [patch]
- References: <12150000.1029307821@warlock.codesourcery.com>
On Wed, 2002-08-14 at 02:50, Mark Mitchell wrote:
> For example, consider:
>
> struct S {
> int i : 3;
> };
>
> S s;
> int j;
>
> s.i = j;
> j = s.i;
>
> If the last two lines were represented as:
>
> s.i = j & 0x7;
> j = sign_extend(s.i);
>
> would that work?
>
This is the change I have in mind for the simplification process. To
explicitly represent type casts in SIMPLE.
If SIMPLE is supposed to be language-independent, allowing C-like type
casts does not look right (original SIMPLE did allow them).
Diego.