This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[tree-ssa] patches summary
- From: Jan Hubicka <jh at suse dot cz>
- To: gcc-patches at gcc dot gnu dot org
- Date: Tue, 2 Dec 2003 18:51:42 +0100
- Subject: [tree-ssa] patches summary
Hi,
I am sending short summary of open patches and plans I am working on sorted in
priority order on how much of my other work is blocked by them. Hope this will
help to get situation easier as I've sent quite many of patches recently.
Unreversal:
(I would like to make progress toward cleaning up expansion and this is very
important for me to kill sibling call pass. Also disabling Zdenek's
tail recursion blocks some of his work)
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg02084.html
Re-enable tail call optimization
(all unrelated problems has been solved and this patch has been re-tested)
Folding and type checking:
(I would like to get full type checking for gimple, so types of operand match
when they are supposed to. This is not at all easy and fold currently poses
fundamental problems on this thread.
I would also like to get folding safe so fold_stmt can be called at
each statement after gimplification and we can check that statements
are kept in fully folded form)
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg02208.html
[tree-ssa,RFC/RFA?] fold-onst versus GIMPLE
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg02209.html
[tree-ssa] tree_ssa_useless_type_conversion_p tweek
Minor improvements:
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg01864.html
[tree-ssa] Avoid fold_stmt crash on return with no value
(I would like to get fold_stmt to get called during CFG
construction on each statement. There are still some bugs on this
path tought)
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg01884.html
Re: Should -fcross-jumping be part of -O1?
Not so minnor improvements:
http://gcc.gnu.org/ml/gcc/2003-11/msg01216.html
Re: Inner-loop optimization regression from 3.3 to 3.4
(solves some of CCP pass testcases and improves SPECs)
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg02085.html
[tree-ssa] re-compute TREE_ADDRESSABLE during find_referenced_vars
(improves effectivity of early dominator/dce passes at very little
runtime cost, negative in practice)
Irreducible loops:
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg01714.html
[tree-ssa] Avoid jump threading from producing irreducible regions
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg01715.html
[tree-ssa] Irreducible loops self checking
(contains syntactic analysis that can be used for pretty printining
lowered gimple too)
GGC:
(I am mostly done with the plans to get SSA ggc_collect-able, but little
polising is needed)
http://gcc.gnu.org/ml/gcc-patches/2003-11/msg02328.html
Re: [tree-ssa] Allow next field to point to the same field
http://gcc.gnu.org/ml/gcc-patches/2003-12/msg00210.html
[tree-ssa] Put CFG into GGC memory
http://gcc.gnu.org/ml/gcc-patches/2003-12/msg00209.html
[tree-ssa] Cleanup tree-optimize.c
SSA and STMT checkig and alias analsysis:
Diego is currently working on this, thanks :)
I do plan to add some extra checks - check that each stmt is folded
and check of intra-procedural tree sharing problems. More ideas are
welcome.
Once Diego is done, I will send remaining patches that are still
relevant.
HTH
Honza