[tree-profiling-branch PATCH] IPA constant propagation

[Razya Ladelsky <RAZYA at il dot ibm dot com>]

Hello,

This patch implements IPA CP (InterProcedural constant propagation).
The flag fipa-cp enables the IPA CP optimization.
 At this stage IPA CP needs to analyze all of the application's files, as
cloning of methods is not yet supported. This functionality will be 
supported 
shortly.
Therefore, for the moment the option -fipa-no-cloning  should be specified 

in order to perform IPA CP.

To apply the optimization on an application containing 
file1.c, file2.c, file3.c, we should use the command:

gcc -fipa-cp -fipa-no-cloning -combine file1.c file2.c file3.c 

combine option is currently supported only in mainline 
(it will be supported in the tree-profiling-branch soon)
but the code was tested also on mainline.

Bootstrap and regression tests successfully passed on x86.

Comments are welcome.

Thanks,
Razya

Changelog Entry: 

2004-07-30   Razya Ladelsky  <razya@il.ibm.com>

        * ipa_prop.c: New File: IPA constant propagation. 
        * ipa_prop.h: New File: Same.
        * Makefile.in (ipa_prop.c, ipa_prop.h): Add new files.
        * common.opt (fipa-cp, fipa-no-cloning): New flags for IPA 
constant
                propagation. 
        * opts.c (fipa-cp, fipa-no-cloning): Same. 
        * flags.h (fipa-cp, fipa-no-cloning): Same.
        * toplev.c (fipa-cp, fipa-no-cloning): Same. 
                * cgraph.h: Include ipa_prop.h.
        (cgraph_node, cgraph_edge): Added new fields for IPA constant 
propagation.
                * cgraph.c (cgraph-create_node, cgraph_create_edge): 
Initialization for IPA constant 
        propagation.
        * cgraphunit.c (cgraph_optimize, record_call_1): Support for IPA 
constant propagation.

Attachment: ipa.diff
Description: Binary data

Attachment: ipa_prop.c
Description: Binary data

Attachment: ipa_prop.h
Description: Binary data