This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] execute/20021120-1.c
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: law at redhat dot com
- Cc: Richard Henderson <rth at redhat dot com>, Jan Hubicka <hubicka at ucw dot cz>,Diego Novillo <dnovillo at redhat dot com>,"gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 21 Nov 2003 22:54:33 +0100
- Subject: Re: [tree-ssa] execute/20021120-1.c
- References: <20031121212928.GB12416@redhat.com> <200311212133.hALLXnKt001744@speedy.slc.redhat.com>
> In message <20031121212928.GB12416@redhat.com>, Richard Henderson writes:
> >On Fri, Nov 21, 2003 at 10:17:03PM +0100, Jan Hubicka wrote:
> >> 1505 if (TYPE_MAIN_VARIANT (orig_type) != TYPE_MAIN_VARIANT (elt_type)
> >)
> >> (gdb)
> >> 1506 return NULL_TREE;
> >> (gdb) p debug_tree (orig_type)
> >> <real_type 0x40175c3c double DF
> >> size <integer_cst 0x4016d6d8 type <integer_type 0x401757b4 bit_size_typ
> >e> constant invariant 64>
> >> unit size <integer_cst 0x4016d930 type <integer_type 0x40175740 unsigne
> >d int> constant invariant 8>
> >> align 64 symtab 0 alias set 2 precision 64
> >> pointer_to_this <pointer_type 0x40175d98>>
> >> $9 = void
> >> (gdb) p debug_tree (elt_type)
> >> <real_type 0x4021a4fc double volatile DF
> >
> >I really would have thought these would be VARIANTs of one another...
> Likewise.
This is what I get for debugging bootstrapped compiler...
OK, the actually problem is that we are not able to fold
(plus_expr (addr_expr (array_ref (decl ....
It seems to me that we should never construct
(addr_expr (array_ref (decl.... at first place and instead of convert it
into (plus_expr (addr_expr) (const)), but I can't find proper place to
hook simplifier to.
Honza
> jeff