Re: [PATCH]: Implement load PRE

[Andrew Pinski <pinskia at physics dot uc dot edu>]

On Dec 31, 2005, at 6:41 AM, Andreas Jaeger wrote:

> With this patch bootstrap fails on Linux/x86-64 in Ada:
>
> make[3]: Entering directory `/builds/gcc/misc/stage3-gcc/ada/tools'
> ../../gnatmake -c -I../rts -I. -I/cvs/gcc-svn/trunk/gcc/ada gnatchop  
> --GCC="../../xgcc -B../../ -O2 -g -O2       -gnatpg -gnata"
> ../../xgcc -c -I./ -I../rts -I. -I/cvs/gcc-svn/trunk/gcc/ada -B../../  
> -O2 -g -O2 -gnatpg -gnata -I- /cvs/gcc-svn/trunk/gcc/ada/gnatchop.adb
> +===========================GNAT BUG  
> DETECTED==============================+
> | 4.2.0 20051231 (experimental) (x86_64-suse-linux-gnu) GCC error:      
>     |
> | in find_or_generate_expression, at tree-ssa-pre.c:2028                
>     |
> | Error detected at gnatchop.adb:1810:5                                 
>     |
> | Please submit a bug report; see http://gcc.gnu.org/bugs.html.         
>     |
> | Use a subject line meaningful to you and us to track the bug.         
>     |
> | Include the entire contents of this bug box in the report.            
>     |
> | Include the exact gcc or gnatmake command that you entered.           
>     |
> | Also include sources listed below in gnatchop format                  
>     |
> | (concatenated together with no headers between files).                
>     |
> +====================================================================== 
> ====+

The problem here is that we don't treat the static chain decl as the  
same as
the argument decls in that we pretend that it is defined in the entry  
basic block.

I did not have enough time to create a C testcase.

OK? Bootstrapped and tested on x86_64-linux-gnu with Ada enabled.

Thanks,
Andrew Pinski

ChangeLog:
	* tree-ssa-pre.c (compute_avail): Treat the static chain decl as a  
parameter
	and it pretend that it is defined in the entry basic block.

Attachment: fixAda.diff.txt
Description: Text document