summaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-propagate.h
Commit message (Collapse)AuthorAgeFilesLines
* 2010-09-19 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2010-09-191-49/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | MELT branch merged with trunk rev 164348, with some improvements in gcc/melt-runtime.[ch] 2010-09-19 Basile Starynkevitch <basile@starynkevitch.net> [[merged with trunk rev.164348, so improved MELT runtime!]] * gcc/melt-runtime.h: improved comments. (melt_debug_garbcoll, melt_debuggc_eprintf): Moved from melt-runtime.c. (melt_obmag_string): New declaration. (struct meltobject_st, struct meltclosure_st, struct meltroutine_st, struct meltmixbigint_st, struct meltstring_st): using GTY variable_size and @@MELTGTY@@ comment. (melt_mark_special): added debug print. * gcc/melt-runtime.c: Improved comments. Include bversion.h, realmpfr.h, gimple-pretty-print.h. (ggc_force_collect) Declared external. (melt_forward_counter): Added. (melt_obmag_string): New function. (melt_alptr_1, melt_alptr_2, melt_break_alptr_1_at) (melt_break_alptr_2_at, melt_break_alptr_1,melt_break_alptr_1) (melt_allocate_young_gc_zone, melt_free_young_gc_zone): New. (delete_special, meltgc_make_special): Improved debug printf and use melt_break_alptr_1... (ggc_alloc_*) macros defined for backport to GCC 4.5 (melt_forwarded_copy): Don't clear the new destination zone in old GGC heap. (meltgc_add_out_raw_len): Use ggc_alloc_atomic. (meltgc_raw_new_mappointers, meltgc_raw_put_mappointers) (meltgc_raw_remove_mappointers): Corrected length argument to ggc_alloc_cleared_vec_entrypointermelt_st. (melt_really_initialize): Call melt_allocate_young_gc_zone. (melt_initialize): Set flag_plugin_added. (melt_val2passflag): TODO_verify_loops only in GCC 4.5 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@164424 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-09-30 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-09-301-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | [merged with trunk while LTO is merging inside trunk, however the trunk's gengtype should now work for MELT, unchanged except by addition of "melt-runtime.h"] MELT branch merged with trunk rev 152324 --This line, and those below, will be ignored- - _M . M configure M Makefile.in M libgomp/configure M libgomp/ChangeLog M libgomp/acinclude.m4 M config.guess M gcc/tree-vrp.c M gcc/doc/plugins.texi M gcc/doc/extend.texi M gcc/doc/tm.texi M gcc/doc/invoke.texi M gcc/doc/gty.texi M gcc/doc/install.texi M gcc/tree-into-ssa.c M gcc/targhooks.c M gcc/tree-complex.c M gcc/targhooks.h M gcc/gengtype.c M gcc/java/builtins.c M gcc/java/ChangeLog M gcc/java/lang.c M gcc/optabs.c M gcc/optabs.h M gcc/DATESTAMP M gcc/value-prof.c M gcc/tree.c M gcc/tree.h M gcc/tree-pass.h M gcc/target.h M gcc/configure M gcc/builtins.c M gcc/final.c M gcc/fold-const.c M gcc/cfgloopanal.c M gcc/toplev.c M gcc/ChangeLog A + gcc/testsuite/gcc.c-torture/execute/pr41463.c M gcc/testsuite/gcc.c-torture/execute/980526-2.c A + gcc/testsuite/gcc.c-torture/execute/pr41395-2.c A + gcc/testsuite/gcc.c-torture/execute/ifcvt-onecmpl-abs-1.c A + gcc/testsuite/gcc.c-torture/execute/pr41395-1.c A + gcc/testsuite/gcc.c-torture/compile/pr39779.c A + gcc/testsuite/gcc.c-torture/compile/pr41469.c A + gcc/testsuite/gcc.target/alpha/pr22093.c M gcc/testsuite/gcc.target/i386/i386.exp M gcc/testsuite/gcc.target/i386/isa-1.c A + gcc/testsuite/gcc.target/i386/isa-12.c A + gcc/testsuite/gcc.target/i386/fma4-maccXX.c A + gcc/testsuite/gcc.target/i386/fma4-256-maccXX.c A + gcc/testsuite/gcc.target/i386/fma4-check.h A + gcc/testsuite/gcc.target/i386/fma4-msubXX.c A + gcc/testsuite/gcc.target/i386/isa-3.c A + gcc/testsuite/gcc.target/i386/fma4-256-msubXX.c M gcc/testsuite/gcc.target/i386/isa-14.c A + gcc/testsuite/gcc.target/i386/fma4-fma.c M gcc/testsuite/gcc.target/i386/isa-5.c A + gcc/testsuite/gcc.target/i386/isa-7.c A + gcc/testsuite/gcc.target/i386/funcspec-2.c A + gcc/testsuite/gcc.target/i386/isa-9.c M gcc/testsuite/gcc.target/i386/funcspec-4.c M gcc/testsuite/gcc.target/i386/pr12329.c A + gcc/testsuite/gcc.target/i386/ifcvt-onecmpl-abs-1.c M gcc/testsuite/gcc.target/i386/funcspec-6.c A + gcc/testsuite/gcc.target/i386/fma4-vector.c A + gcc/testsuite/gcc.target/i386/fma4-256-vector.c M gcc/testsuite/gcc.target/i386/funcspec-8.c A + gcc/testsuite/gcc.target/i386/sse-12.c M gcc/testsuite/gcc.target/i386/avx-2.c A + gcc/testsuite/gcc.target/i386/isa-11.c A + gcc/testsuite/gcc.target/i386/sse-14.c M gcc/testsuite/gcc.target/i386/sse-23.c A + gcc/testsuite/gcc.target/i386/isa-2.c A + gcc/testsuite/gcc.target/i386/isa-13.c A + gcc/testsuite/gcc.target/i386/isa-4.c A + gcc/testsuite/gcc.target/i386/fma4-nmaccXX.c M gcc/testsuite/gcc.target/i386/isa-6.c A + gcc/testsuite/gcc.target/i386/fma4-nmsubXX.c A + gcc/testsuite/gcc.target/i386/isa-8.c A + gcc/testsuite/gcc.target/i386/fma4-256-nmaccXX.c M gcc/testsuite/gcc.target/i386/funcspec-5.c A + gcc/testsuite/gcc.target/i386/fma4-256-nmsubXX.c M gcc/testsuite/gcc.target/i386/avx-1.c R + gcc/testsuite/gcc.target/i386/funcspec-9.c A + gcc/testsuite/gcc.target/i386/isa-10.c A + gcc/testsuite/gcc.target/i386/sse-13.c A + gcc/testsuite/gcc.target/i386/sse-22.c _M gcc/testsuite/gcc.target/x86_64/abi/callabi A + gcc/testsuite/gcc.target/vsx-vectorize-1.c M gcc/testsuite/gcc.target/mips/code-readable-1.c M gcc/testsuite/gcc.target/mips/code-readable-2.c M gcc/testsuite/gcc.target/mips/code-readable-3.c A + gcc/testsuite/gcc.target/vsx-vectorize-2.c A + gcc/testsuite/gcc.target/vsx-vectorize-3.c A + gcc/testsuite/gcc.target/vsx-vectorize-4.c A + gcc/testsuite/gcc.target/vsx-vectorize-5.c A + gcc/testsuite/gcc.target/vsx-vectorize-6.c A + gcc/testsuite/gcc.target/vsx-vectorize-7.c A + gcc/testsuite/gcc.target/vsx-vectorize-8.c M gcc/testsuite/gnat.dg/array7.adb M gcc/testsuite/gnat.dg/array7.ads A + gcc/testsuite/gnat.dg/nested_proc.adb A + gcc/testsuite/gnat.dg/array9.adb A + gcc/testsuite/gnat.dg/sse_nolib.adb A + gcc/testsuite/gnat.dg/tagged_alloc_free.adb A + gcc/testsuite/gcc.dg/pr41470.c A + gcc/testsuite/gcc.dg/guality/pr41353-1.c M gcc/testsuite/gcc.dg/guality/guality.h M gcc/testsuite/gcc.dg/guality/guality.exp A + gcc/testsuite/gcc.dg/debug/dwarf2/global-used-types.c M gcc/testsuite/gcc.dg/debug/dwarf2/const-1.c A + gcc/testsuite/gcc.dg/cond-constqual-1.c A + gcc/testsuite/gcc.dg/20090922-1.c A + gcc/testsuite/gcc.dg/pr40209.c M gcc/testsuite/gcc.dg/builtins-44.c A + gcc/testsuite/gcc.dg/pr41454.c M gcc/testsuite/gcc.dg/torture/builtin-math-7.c _M gcc/testsuite/gcc.dg/torture/pr36227.c A + gcc/testsuite/gcc.dg/tree-ssa/pr41469-1.c M gcc/testsuite/gcc.dg/tree-ssa/fre-vce-1.c M gcc/testsuite/gcc.dg/tree-ssa/forwprop-6.c A + gcc/testsuite/gcc.dg/pr41248.c A + gcc/testsuite/gcc.dg/pr41295.c M gcc/testsuite/gcc.dg/vect/vect.exp M gcc/testsuite/ChangeLog M gcc/testsuite/gcc.test-framework/dg-bogus-exp-XF.c M gcc/testsuite/gcc.test-framework/dg-warning-exp-P.c M gcc/testsuite/g++.dg/other/i386-2.C M gcc/testsuite/g++.dg/other/i386-6.C M gcc/testsuite/g++.dg/other/i386-3.C M gcc/testsuite/g++.dg/other/i386-5.C M gcc/testsuite/g++.dg/tree-ssa/pr19637.C A + gcc/testsuite/g++.dg/tree-ssa/pr41428.C M gcc/testsuite/g++.dg/dg.exp A + gcc/testsuite/g++.dg/debug/dwarf2/global-used-types-1.C M gcc/testsuite/g++.dg/debug/dwarf2/explicit-constructor.C M gcc/testsuite/g++.dg/debug/dwarf2/imported-module-2.C M gcc/testsuite/g++.dg/debug/dwarf2/imported-module-3.C M gcc/testsuite/g++.dg/debug/dwarf2/const1.C M gcc/testsuite/g++.dg/debug/dwarf2/imported-module-4.C M gcc/testsuite/g++.dg/debug/dwarf2/template-func-params-4.C M gcc/testsuite/g++.dg/debug/dwarf2/template-func-params-7.C M gcc/testsuite/g++.dg/debug/dwarf2/namespace-1.C M gcc/testsuite/g++.dg/debug/dwarf2/template-params-4.C M gcc/testsuite/g++.dg/vect/vect.exp A + gcc/testsuite/g++.dg/cpp0x/lambda A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-lookup-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-copy-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-type.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-nested.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-field-names.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-errloc.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-deduce.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-copy-default.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-const-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-deduce-ext-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ref-default.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-mangle.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-pass.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-mixed.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-this.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-capture-const-ref-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-copy.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ref.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-std-function.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ctor-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-non-const.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-deduce-ext-neg2.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-in-class-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-const.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-deduce-ext.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ns-scope.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-defarg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-mutable.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ctors.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-use.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-eh.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-nop.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-deduce-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-capture-const-ref.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-copy-default-neg.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-recursive.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-in-class.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-template.C A + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-array.C _M gcc/testsuite/g++.dg/cpp0x/decltype-38655.C A + gcc/testsuite/g++.dg/gomp/pr41429.C A + gcc/testsuite/g++.dg/torture/pr38747.C A + gcc/testsuite/g++.dg/dfp A + gcc/testsuite/g++.dg/dfp/dfp.exp A + gcc/testsuite/g++.dg/dfp/mangle-mode.C M gcc/testsuite/objc.dg/dwarf-2.m M gcc/testsuite/lib/profopt.exp M gcc/testsuite/lib/scanasm.exp M gcc/testsuite/lib/prune.exp M gcc/testsuite/lib/target-supports.exp M gcc/testsuite/gfortran.dg/warnings_are_errors_1.f A + gcc/testsuite/gfortran.dg/block_2.f08 A + gcc/testsuite/gfortran.dg/block_4.f08 A + gcc/testsuite/gfortran.dg/round_1.f03 A + gcc/testsuite/gfortran.dg/block_6.f08 M gcc/testsuite/gfortran.dg/debug/pr37738.f M gcc/testsuite/gfortran.dg/debug/pr35154-dwarf2.f A + gcc/testsuite/gfortran.dg/block_8.f08 A + gcc/testsuite/gfortran.dg/empty_label.f M gcc/testsuite/gfortran.dg/f2003_io_3.f03 A + gcc/testsuite/gfortran.dg/block_1.f08 A + gcc/testsuite/gfortran.dg/block_5.f08 A + gcc/testsuite/gfortran.dg/block_3.f90 A + gcc/testsuite/gfortran.dg/block_7.f08 A + gcc/testsuite/gfortran.dg/empty_label.f90 M gcc/testsuite/gfortran.dg/vect/vect.exp M gcc/testsuite/c-c++-common/dfp/func-vararg-mixed.c M gcc/testsuite/c-c++-common/dfp/func-vararg-alternate-d32.c M gcc/testsuite/c-c++-common/dfp/func-vararg-mixed-2.c M gcc/testsuite/c-c++-common/dfp/func-vararg-dfp.c M gcc/unwind-dw2-fde-glibc.c M gcc/df-scan.c M gcc/objcp/Make-lang.in M gcc/objcp/ChangeLog M gcc/objcp/objcp-lang.c M gcc/cp/typeck.c M gcc/cp/class.c M gcc/cp/decl.c M gcc/cp/method.c M gcc/cp/error.c M gcc/cp/tree.c M gcc/cp/ChangeLog M gcc/cp/cp-gimplify.c M gcc/cp/typeck2.c M gcc/cp/cp-lang.c M gcc/cp/pt.c M gcc/cp/semantics.c M gcc/cp/parser.c M gcc/cp/cp-tree.def M gcc/cp/cp-objcp-common.c M gcc/cp/cp-objcp-common.h _M gcc/cp/ChangeLog-2007 _M gcc/cp/ChangeLog-2008 M gcc/cp/mangle.c M gcc/cp/cp-tree.h M gcc/cp/search.c M gcc/cp/name-lookup.c M gcc/cp/lex.c M gcc/tree-ssa-ccp.c M gcc/builtins.def M gcc/tree-ssa-dom.c M gcc/tree-ssa-propagate.c M gcc/tree-ssa-propagate.h M gcc/crtstuff.c M gcc/ifcvt.c M gcc/dwarf2out.c M gcc/expr.h M gcc/libgcc2.c M gcc/ada/ChangeLog M gcc/ada/gcc-interface/utils.c M gcc/ada/gcc-interface/Makefile.in M gcc/ada/gcc-interface/decl.c M gcc/ada/gcc-interface/targtyps.c M gcc/ada/gcc-interface/utils2.c M gcc/ada/gcc-interface/gigi.h M gcc/ada/gcc-interface/trans.c M gcc/ada/gcc-interface/ada-tree.h M gcc/ada/gcc-interface/ada.h M gcc/ada/gcc-interface/misc.c M gcc/melt-runtime.c M gcc/c-decl.c M gcc/tree-eh.c M gcc/fortran/decl.c M gcc/fortran/gfortran.h M gcc/fortran/error.c M gcc/fortran/ChangeLog M gcc/fortran/trans-stmt.c M gcc/fortran/trans-stmt.h M gcc/fortran/trans.c M gcc/fortran/trans.h M gcc/fortran/io.c M gcc/fortran/resolve.c M gcc/fortran/f95-lang.c M gcc/fortran/st.c M gcc/fortran/match.c M gcc/fortran/trans-decl.c M gcc/fortran/match.h M gcc/fortran/parse.c M gcc/fortran/parse.h M gcc/fortran/simplify.c M gcc/configure.ac M gcc/function.c M gcc/langhooks.h M gcc/function.h M gcc/stor-layout.c M gcc/alias.c M gcc/ggc.h M gcc/c-typeck.c M gcc/gcc-plugin.h M gcc/calls.c M gcc/tree-ssa-coalesce.c M gcc/ggc-common.c M gcc/tree-dfa.c M gcc/except.c M gcc/emit-rtl.c M gcc/except.h M gcc/cfgexpand.c M gcc/c-opts.c M gcc/loop-iv.c M gcc/print-tree.c M gcc/tree-ssa-copy.c M gcc/tree-ssa-forwprop.c M gcc/common.opt M gcc/varasm.c M gcc/tree-nested.c M gcc/target-def.h M gcc/rtl.h M gcc/tree-vect-stmts.c M gcc/tree-inline.c M gcc/var-tracking.c M gcc/system.h M gcc/plugin.c M gcc/c-common.c M gcc/tree-flow.h M gcc/c-common.h M gcc/config.gcc M gcc/Makefile.in M gcc/tree-cfg.c M gcc/passes.c M gcc/c-parser.c M gcc/config/alpha/vms.h M gcc/config/alpha/alpha.c M gcc/config/alpha/alpha.h M gcc/config/alpha/openbsd.h M gcc/config/alpha/alpha.md M gcc/config/frv/frv.h M gcc/config/frv/frv-protos.h M gcc/config/frv/frv.c M gcc/config/s390/s390.c M gcc/config/s390/s390.h M gcc/config/s390/s390-protos.h M gcc/config/m32c/m32c.c M gcc/config/m32c/m32c.h M gcc/config/m32c/m32c-protos.h M gcc/config/spu/spu-protos.h M gcc/config/spu/spu.c M gcc/config/spu/spu.h M gcc/config/sparc/sparc.md M gcc/config/sparc/sparc-protos.h M gcc/config/sparc/sparc.c M gcc/config/sparc/sparc.h M gcc/config/mep/mep-protos.h M gcc/config/mep/mep.c M gcc/config/mep/mep.h M gcc/config/m32r/m32r.c M gcc/config/m32r/m32r.h A + gcc/config/openbsd-stdint.h M gcc/config/i386/i386.h M gcc/config/i386/cygming.h M gcc/config/i386/cygwin.h M gcc/config/i386/i386.md M gcc/config/i386/smmintrin.h M gcc/config/i386/cpuid.h M gcc/config/i386/x86intrin.h M gcc/config/i386/sse.md M gcc/config/i386/i386-c.c M gcc/config/i386/i386.opt A + gcc/config/i386/fma4intrin.h M gcc/config/i386/openbsdelf.h D gcc/config/i386/mmintrin-common.h M gcc/config/i386/mingw32.h M gcc/config/i386/i386-protos.h M gcc/config/i386/i386.c D gcc/config/sh/symbian.c M gcc/config/sh/sh-protos.h A + gcc/config/sh/symbian-base.c A + gcc/config/sh/symbian-cxx.c M gcc/config/sh/symbian-post.h M gcc/config/sh/sh.c A + gcc/config/sh/sh-symbian.h M gcc/config/sh/sh.h A + gcc/config/sh/symbian-c.c M gcc/config/sh/t-symbian M gcc/config/pdp11/pdp11.c M gcc/config/pdp11/pdp11.h M gcc/config/avr/avr.c M gcc/config/avr/avr.h M gcc/config/crx/crx.h M gcc/config/xtensa/xtensa.c M gcc/config/xtensa/xtensa.h M gcc/config/xtensa/xtensa-protos.h M gcc/config/stormy16/stormy16.c M gcc/config/stormy16/stormy16.h M gcc/config/fr30/fr30.h M gcc/config/fr30/fr30.c M gcc/config/moxie/moxie.c M gcc/config/moxie/moxie.h M gcc/config/m68hc11/m68hc11-protos.h M gcc/config/m68hc11/m68hc11.c M gcc/config/m68hc11/m68hc11.h A + gcc/config/openbsd-libpthread.h M gcc/config/cris/cris.c M gcc/config/cris/cris.h M gcc/config/netbsd.h M gcc/config/iq2000/iq2000.h M gcc/config/iq2000/iq2000.c M gcc/config/mn10300/mn10300.c M gcc/config/mn10300/mn10300.h M gcc/config/ia64/predicates.md M gcc/config/ia64/ia64.c M gcc/config/ia64/ia64.h M gcc/config/ia64/ia64.md M gcc/config/ia64/ia64-protos.h M gcc/config/m68k/openbsd.h M gcc/config/m68k/m68k.c M gcc/config/m68k/netbsd-elf.h M gcc/config/m68k/m68k.h M gcc/config/rs6000/predicates.md M gcc/config/rs6000/rs6000-protos.h M gcc/config/rs6000/rs6000.c M gcc/config/rs6000/vsx.md M gcc/config/rs6000/rs6000.h M gcc/config/rs6000/rs6000.md M gcc/config/picochip/picochip.c M gcc/config/picochip/picochip.h M gcc/config/picochip/picochip-protos.h M gcc/config/arc/arc.c M gcc/config/arc/arc.h M gcc/config/mcore/mcore.c M gcc/config/mcore/mcore.h M gcc/config/darwin.c M gcc/config/darwin.h M gcc/config/score/score3.c M gcc/config/score/score7.c M gcc/config/score/score3.h M gcc/config/score/score-protos.h M gcc/config/score/score7.h M gcc/config/score/score.c M gcc/config/score/score.h M gcc/config/arm/arm.c M gcc/config/arm/arm.h M gcc/config/pa/pa-protos.h M gcc/config/pa/pa.c M gcc/config/pa/pa.h M gcc/config/mips/openbsd.h M gcc/config/mips/mips.c M gcc/config/mips/mips.h M gcc/config/t-freebsd M gcc/config/openbsd.h M gcc/config/freebsd-spec.h M gcc/config/vax/vax.c M gcc/config/vax/openbsd.h M gcc/config/vax/vax.h M gcc/config/h8300/h8300.c M gcc/config/h8300/h8300.h M gcc/config/v850/v850.c M gcc/config/v850/v850.h M gcc/config/mmix/mmix.h M gcc/config/mmix/mmix-protos.h M gcc/config/mmix/mmix.c M gcc/config/bfin/bfin-protos.h M gcc/config/bfin/bfin.c M gcc/config/bfin/bfin.h M gcc/stmt.c M gcc/collect2.c M gcc/langhooks-def.h M gcc/reload1.c M config.sub M libstdc++-v3/configure M libstdc++-v3/doc/xml/manual/intro.xml M libstdc++-v3/doc/html/ext/lwg-closed.html M libstdc++-v3/doc/html/ext/lwg-active.html M libstdc++-v3/doc/html/ext/lwg-defects.html M libstdc++-v3/include/parallel/multiway_merge.h M libstdc++-v3/include/parallel/find_selectors.h M libstdc++-v3/include/parallel/losertree.h M libstdc++-v3/include/parallel/list_partition.h M libstdc++-v3/include/parallel/for_each.h M libstdc++-v3/include/parallel/multiseq_selection.h M libstdc++-v3/include/parallel/workstealing.h M libstdc++-v3/include/parallel/base.h M libstdc++-v3/include/parallel/par_loop.h M libstdc++-v3/include/parallel/numeric M libstdc++-v3/include/parallel/equally_split.h M libstdc++-v3/include/parallel/for_each_selectors.h M libstdc++-v3/include/parallel/omp_loop_static.h M libstdc++-v3/include/parallel/random_shuffle.h M libstdc++-v3/include/parallel/merge.h M libstdc++-v3/include/parallel/multiway_mergesort.h M libstdc++-v3/include/parallel/numericfwd.h M libstdc++-v3/include/parallel/search.h M libstdc++-v3/include/parallel/partition.h M libstdc++-v3/include/parallel/algobase.h M libstdc++-v3/include/parallel/find.h M libstdc++-v3/include/parallel/algo.h M libstdc++-v3/include/parallel/omp_loop.h M libstdc++-v3/include/parallel/checkers.h M libstdc++-v3/include/parallel/sort.h M libstdc++-v3/include/bits/random.tcc M libstdc++-v3/include/tr1/random.tcc M libstdc++-v3/libsupc++/eh_terminate.cc M libstdc++-v3/libsupc++/vec.cc M libstdc++-v3/libsupc++/vterminate.cc M libstdc++-v3/libsupc++/new_opnt.cc M libstdc++-v3/ChangeLog _M libstdc++-v3/testsuite/27_io/basic_ofstream/cons/char/1.cc _M libstdc++-v3/testsuite/27_io/basic_ofstream/pthread2.cc _M libstdc++-v3/testsuite/27_io/basic_fstream/open/char/1.cc _M libstdc++-v3/testsuite/27_io/basic_fstream/cons/1.cc _M libstdc++-v3/testsuite/27_io/basic_ostringstream/pthread3.cc _M libstdc++-v3/testsuite/18_support/pthread_guard.cc _M libstdc++-v3/testsuite/21_strings/basic_string/pthread18185.cc _M libstdc++-v3/testsuite/21_strings/basic_string/pthread4.cc _M libstdc++-v3/testsuite/30_threads/condition_variable/members _M libstdc++-v3/testsuite/30_threads/this_thread _M libstdc++-v3/testsuite/30_threads/thread/members _M libstdc++-v3/testsuite/30_threads/thread/swap A + libstdc++-v3/testsuite/26_numerics/random/subtract_with_carry_engine/requirements/constants.cc A + libstdc++-v3/testsuite/26_numerics/random/mersenne_twister_engine/requirements/constants.cc A + libstdc++-v3/testsuite/26_numerics/random/linear_congruential_engine/requirements/constants.cc A + libstdc++-v3/testsuite/26_numerics/random/shuffle_order_engine/requirements/constants.cc _M libstdc++-v3/testsuite/ext/rope/pthread7-rope.cc A + libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/subtract_with_carry_01/requirements/constants.cc A + libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/subtract_with_carry/requirements/constants.cc A + libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/discard_block/requirements/constants.cc A + libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/linear_congruential/requirements/constants.cc A + libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/mersenne_twister/requirements/constants.cc A + libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/xor_combine/requirements/constants.cc _M libstdc++-v3/testsuite/23_containers/list/pthread1.cc _M libstdc++-v3/testsuite/23_containers/list/pthread5.cc _M libstdc++-v3/testsuite/23_containers/map/pthread6.cc _M libstdc++-v3/testsuite/20_util/unique_ptr/assign/assign_neg.cc _M libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc _M libstdc++-v3/testsuite/20_util/ratio/operations/ops_overflow_neg.cc M libstdc++-v3/acinclude.m4 M configure.ac M libgfortran/configure M libgfortran/ChangeLog M libgfortran/config.h.in M libgfortran/configure.ac M libgfortran/io/io.h M libgfortran/io/unit.c M libgfortran/io/transfer.c M libgfortran/io/format.c M libgfortran/io/write_float.def M Makefile.tpl M libmudflap/ChangeLog M libmudflap/mf-runtime.c M include/ChangeLog M include/demangle.h M include/dwarf2.h M libiberty/ChangeLog M libiberty/testsuite/demangle-expected M libiberty/cplus-dem.c M libiberty/Makefile.in M libiberty/choose-temp.c M libiberty/cp-demangle.c M ChangeLog M ChangeLog.MELT M libffi/src/arm/sysv.S M libffi/src/x86/win64.S M libffi/ChangeLog M libjava/Makefile.in M libjava/libltdl/Makefile.in M libjava/libltdl/ltdl.h M libjava/libltdl/ChangeLog M libjava/libltdl/Makefile.am M libjava/configure.host M libjava/configure.ac _M libjava/classpath M libjava/ChangeLog M libjava/sysdep/i386/backtrace.h M libjava/configure M libjava/Makefile.am M libcpp/configure M libcpp/files.c M libcpp/ChangeLog M libcpp/configure.ac M MAINTAINERS git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@152327 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-27 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-04-271-1/+0
| | | | | | | | | | | MERGED WITH TRUNK r146824:: * gcc/basilys.h: all GTY goes before the identifiers. * gcc/basilys.c: removed errors.h include. * gcc/run-basilys.h: ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@146839 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-02-23 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-02-231-1/+1
| | | | | | | | MELT branch merged with trunk r144379 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@144380 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-09-01 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-09-011-12/+0
| | | | | | | | | | | | | | MERGED WITH TRUNK rev139820 * gcc/melt/warmelt-first.bysl: added location argument to inform. * gcc/warmelt-first-0.c: regenerated. * gcc/warmelt-macro-0.c: regenerated. * gcc/warmelt-normal-0.c: regenerated. * gcc/warmelt-genobj-0.c: regenerated. * gcc/warmelt-outobj-0.c: regenerated. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@139849 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-07-29 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-07-291-13/+25
| | | | | | | | | | | MELT branch merged with trunk r138226 [after tuple merge into trunk] some compiler probe stuff are missing * gcc/compiler-probe.h: more gimple, less tree * gcc/compiler-probe.c: incomplete merge. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@138247 138bc75d-0d04-0410-961f-82ee72b054a4
* Change copyright header to refer to version 3 of the GNU General Public ↵nickc2007-07-261-5/+4
| | | | | | License and to point readers at the COPYING3 file and the FSF's license web page. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@126948 138bc75d-0d04-0410-961f-82ee72b054a4
* PR tree-optimization/32589ebotcazou2007-07-111-0/+1
| | | | | | | | | | | | | | | | | * doc/tree-ssa.texi (Rough GIMPLE Grammar): Add missing rule. * tree-gimple.c (is_gimple_min_invariant): Clarify head comment. * tree-ssa-propagate.c (valid_gimple_expression_p): New predicate, extracted from... (set_rhs): ...here. Call it for the expression on entry. * tree-ssa-propagate.h (valid_gimple_expression_p): Declare. * tree-ssa-sccvn.c: Include tree-ssa-propagate.h. (simplify_binary_expression): Use valid_gimple_expression_p to validate the simplification. * Makefile.in (tree-ssa-sccvn.o): Depends on tree-ssa-propagate.h. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@126545 138bc75d-0d04-0410-961f-82ee72b054a4
* * tree-ssa-ccp.c (ccp_finalize): Return if something changed.hubicka2007-01-181-1/+1
| | | | | | | | | | (execute_ssa_ccp): Return flags conditionally. * tree-ssa-propagate.c (substitue_and_fold): Return if something was changed. * tree-ssa-propagate.h (substitute_and_fold): Update prototype. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@120894 138bc75d-0d04-0410-961f-82ee72b054a4
* Update FSF address.kcook2005-06-251-2/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101317 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-06-01 Diego Novillo <dnovillo@redhat.com>dnovillo2005-06-021-1/+34
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | PR 14341, PR 21332, PR 20701, PR 21029, PR 21086, PR 21090 PR 21289, PR 21348, PR 21367, PR 21368, PR 21458. * fold-const.c (invert_tree_comparison): Make extern. * tree-flow.h (enum value_range_type): Move to tree-ssa-propagate. (struct value_range_def): Limewise. (get_value_range): Remove. (dump_value_range): Remove. (dump_all_value_ranges): Remove. (debug_all_value_ranges): Remove. (vrp_evaluate_conditional): Declare. * tree-ssa-propagate.c (struct prop_stats_d): Add field num_pred_folded. (substitute_and_fold): Add argument use_ranges_p. Update all callers. If use_ranges_p is true, call fold_predicate_in to fold predicates using range information. Ignore ASSERT_EXPRs. Change debugging output to only show statements that have been folded. (replace_phi_args_in): Move debugging output code from substitute and fold. (fold_predicate_in): New local function. * tree-ssa-propagate.h (enum value_range_type): Move from tree-flow.h. (struct value_range_d): Likewise. Add field 'equiv'. (value_range_t): Rename from value_range. * tree-vrp.c (found_in_subgraph): Rename from found. (get_opposite_operand): Remove. (struct assert_locus_d): Declare. (assert_locus_t): Declare. (need_assert_for): Declare. (asserts_for): Declare. (blocks_visited): Declare. (vr_value): Declare. (set_value_range): Add argument 'equiv'. Don't drop to VARYING ranges that cover all values in the type. Make deep copy of equivalence set 'equiv'. (copy_value_range): New local function. (set_value_range_to_undefined): New local function. (compare_values): Return -2 if either value has overflowed. (range_includes_zero_p): New local function. (extract_range_from_assert): Flip the predicate code if the name being asserted is on the RHS of the predicate. Avoid creating unnecessary symbolic ranges if the comparison includes another name with a known numeric range. Update the equivalnce set of the new range when asserting EQ_EXPR predicates. (extract_range_from_ssa_name): Update the equivalence set of the new range with VAR. (extract_range_from_binary_expr): Also handle TRUTH_*_EXPR. If -fwrapv is used, set the resulting range to VARYING if the operation overflows. Otherwise, use TYPE_MIN_VALUE and TYPE_MAX_VALUE to represent -INF and +INF. Fix handling of *_DIV_EXPR. (extract_range_from_unary_expr): Handle MINUS_EXPR and ABS_EXPR properly by switching the range around if necessary. (extract_range_from_comparison): New local function. (extract_range_from_expr): Call it. (adjust_range_with_scev): Do not adjust the range if using wrapping arithmetic (-fwrapv). (dump_value_range): Also show equivalence set. Show -INF and +INF for TYPE_MIN_VALUE and TYPE_MAX_VALUE. (build_assert_expr_for): Also build ASSERT_EXPR for EQ_EXPR. (infer_value_range): Change return value to bool. Add arguments 'comp_code_p' and 'val_p'. Do not attempt to infer ranges from statements that may throw. Store the comparison code in comp_code_p. Store the other operand to be used in the predicate in val_p. (dump_asserts_for): New. (debug_asserts_for): New. (dump_all_asserts): New. (debug_all_asserts): New. (register_new_assert_for): New. (register_edge_assert_for): New. (find_conditional_asserts): New. (find_assert_locations): New. (process_assert_insertions_for): New. (process_assert_insertions): New. (insert_range_assertions): Initialize found_in_subgraph, blocks_visited, need_assert_for and asserts_for. Call find_assert_locations and process_assert_insertions. (remove_range_assertions): Add more documentation. (vrp_initialize): Change return type to void. Do not try to guess if running VRP is worth it. (compare_name_with_value): New. (compare_names): New. (vrp_evaluate_conditional): Add argument 'use_equiv_p'. If use_equiv_p is true, call compare_names and compare_name_with_value to compare all the ranges for every name in the equivalence set of the predicate operands. Update all callers. (vrp_meet): Try harder not to derive a VARYING range. If two values meet, the resulting equivalence set is the intersection of the two equivalence sets. (vrp_visit_phi_node): Call copy_value_range to get the current range information of the LHS. (vrp_finalize): Create a value vector representing all the names that ended up with exactly one value in their range. Call substitute_and_fold. (execute_vrp): Document equivalence sets in ranges. * tree.h (SSA_NAME_VALUE_RANGE): Remove. (struct tree_ssa_name): Remove field value_range. (invert_tree_comparison): Declare. testsuite/ChangeLog 2005-06-01 Diego Novillo <dnovillo@redhat.com> PR 14341, PR 21332, PR 20701, PR 21086, PR 21090 PR 21289, PR 21348, PR 21367, PR 21368, PR 21458. * gcc.dg/tree-ssa/pr14341.c: New test. * gcc.dg/tree-ssa/pr14841.c: New test. * gcc.dg/tree-ssa/pr20701.c: New test. * gcc.dg/tree-ssa/pr21086.c: New test. * gcc.dg/tree-ssa/pr21090.c: New test. * gcc.dg/tree-ssa/pr21332.c: New test. * gcc.dg/tree-ssa/pr21458.c: New test. * gcc.dg/tree-ssa/pr21658.c: New test. * gcc.dg/tree-ssa/vrp01.c: New test. * gcc.dg/tree-ssa/vrp02.c: New test. * gcc.dg/tree-ssa/vrp03.c: New test. * gcc.dg/tree-ssa/vrp04.c: New test. * gcc.dg/tree-ssa/vrp05.c: New test. * gcc.dg/tree-ssa/vrp06.c: New test. * gcc.dg/tree-ssa/vrp07.c: New test. * gcc.dg/tree-ssa/vrp08.c: New test. * gcc.dg/tree-ssa/vrp09.c: New test. * gcc.dg/tree-ssa/vrp10.c: New test. * gcc.dg/tree-ssa/vrp11.c: New test. * gcc.dg/tree-ssa/vrp12.c: New test. * gcc.dg/tree-ssa/vrp13.c: New test. 2005-06-01 Alexandre Oliva <aoliva@redhat.com> PR 21029 * gcc.dg/tree-ssa/pr21029.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@100478 138bc75d-0d04-0410-961f-82ee72b054a4
* Merge from tree-cleanup-branch: VRP, store CCP, storednovillo2005-04-091-2/+32
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | copy-prop, incremental SSA updating of FUD chains and newly exposed symbols. * Makefile.in (tree-ssa-copy.o): Depend on tree-ssa-propagate.h. (OBJS-common): Add tree-vrp.o. (tree-vrp.o): New rule. * basic-block.h (nearest_common_dominator_for_set): Declare. * common.opt (ftree-store-ccp): New flag. (ftree-copy-prop): New flag. (ftree-vrp): New flag. (ftree-store-copy-prop): New flag. * dominance.c (nearest_common_dominator_for_set): New. * domwalk.c (walk_dominator_tree): Only traverse statements in blocks marked in walk_data->interesting_blocks. * domwalk.h (struct dom_walk_data): Add field interesting_blocks. * fold-const.c (fold): Handle ASSERT_EXPR. * opts.c (decode_options): Set flag_tree_copy_prop at -O1. Set flag_tree_store_ccp, flag_tree_store_copy_prop and flag_tree_vrp at -O2. * timevar.def (TV_TREE_VRP): Define. (TV_TREE_COPY_PROP): Define. (TV_TREE_STORE_COPY_PROP): Define. (TV_TREE_SSA_INCREMENTAL): Define. (TV_TREE_STORE_CCP): Define. * tree-cfg.c (tree_can_merge_blocks_p): Remove reference to kill_redundant_phi_nodes from comment. (verify_expr): Handle ASSERT_EXPR. * tree-dfa.c (mark_new_vars_to_rename): Remove second argument. Update all users. (mark_call_clobbered_vars_to_rename): Remove. Update all users. * tree-flow-inline.h (unmodifiable_var_p): New. * tree-flow.h (enum value_range_type): Declare. (struct value_range_def): Declare. (value_range): Declare. (remove_all_phi_nodes_for): Remove. Update all users. (find_phi_node_for): Declare. (add_type_alias): Declare. (count_uses_and_derefs): Declare. (kill_redundant_phi_nodes): Remove. (rewrite_into_ssa): Remove. (rewrite_def_def_chains): Remove. (update_ssa, register_new_name_mapping, create_new_def_for, need_ssa_update_p, name_registered_for_update_p, release_ssa_name_after_update_ssa, dump_repl_tbl, debug_repl_tbl, dump_names_replaced_by, debug_names_replaced_by, mark_sym_for_renaming, mark_set_for_renaming, get_current_def, set_current_def, get_value_range, dump_value_range, debug_value_range, dump_all_value_ranges, debug_all_value_ranges, expr_computes_nonzero, loop_depth_of_name, unmodifiable_var_p): Declare. * tree-gimple.c (is_gimple_formal_tmp_rhs): Handle ASSERT_EXPR. * tree-into-ssa.c (block_defs_stack): Update comment. (old_ssa_names, new_ssa_names, old_virtual_ssa_names, syms_to_rename, names_to_release, repl_tbl, need_to_initialize_update_ssa_p, need_to_update_vops_p, need_to_replace_names_p): New locals. (NAME_SETS_GROWTH_FACTOR): Define. (struct repl_map_d): Declare. (struct mark_def_sites_global_data): Add field interesting_blocks. (enum rewrite_mode): Declare. (REGISTER_DEFS_IN_THIS_STMT): Define. (compute_global_livein): Use last_basic_block instead of n_basic_blocks. (set_def_block): Remove last argument. Update all callers. (prepare_use_operand_for_rename): Remove. Update all callers. (prepare_def_operand_for_rename): Remove. Update all callers. (symbol_marked_for_renaming): New. (is_old_name): New. (is_new_name): New. (repl_map_hash): New. (repl_map_eq): New. (repl_map_free): New. (names_replaced_by): New. (add_to_repl_tbl): New. (add_new_name_mapping): New. (mark_def_sites): Assume that all the operands in the statement are in normal form. (find_idf): Assert that the block in the stack is valid. (get_default_def_for): New. (insert_phi_nodes_for): Add new argument 'update_p'. Add documentation. If update_p is true, add a new mapping between the LHS of each new PHI and the name that it replaces. (insert_phi_nodes_1): Only call find_idf if needed. (get_reaching_def): Call get_default_def_for. (rewrite_operand): Remove. (rewrite_stmt): Do nothing if REGISTER_DEFS_IN_THIS_STMT and REWRITE_THIS_STMT are false. Assume that all the operands in the statement are in normal form. (rewrite_add_phi_arguments): Don't use PHI_REWRITTEN. (rewrite_virtual_phi_arguments): Remove. (invalidate_name_tags): Remove. (register_new_update_single, register_new_update_set, rewrite_update_init_block, replace_use, rewrite_update_fini_block, rewrite_update_stmt, rewrite_update_phi_arguments): New. rewrite_blocks): Remove argument 'fix_virtual_phis'. Add arguments 'entry', 'what' and 'blocks'. Initialize the dominator walker according to 'what' and 'blocks'. Start the dominator walk at 'entry'. (mark_def_site_blocks): Add argument 'interesting_blocks'. Use it to configure the dominator walker. (rewrite_into_ssa): Remove argument 'all'. Make internal. (rewrite_all_into_ssa): Remove. (rewrite_def_def_chains): Remove. (mark_def_interesting, mark_use_interesting, prepare_phi_args_for_update, prepare_block_for_update, prepare_def_site_for, prepare_def_sites, dump_names_replaced_by, debug_names_replaced_by, dump_repl_tbl, debug_repl_tbl, init_update_ssa, delete_update_ssa, create_new_def_for, register_new_name_mapping, mark_sym_for_renaming, mark_set_for_renaming, need_ssa_update_p, name_registered_for_update_p, ssa_names_to_replace, release_ssa_name_after_update_ssa, insert_updated_phi_nodes_for, update_ssa): New. * tree-loop-linear.c (linear_transform_loops): Call update_ssa instead of rewrite_into_ssa. * tree-optimize.c (vars_to_rename): Remove. Update all users. (init_tree_optimization_passes): Replace pass_redundant_phi with pass_copy_prop. Add pass_vrp. Replace pass_ccp with pass_store_ccp. Add pass_store_copy_prop after pass_store_ccp. (execute_todo): If the TODO_ flags don't include updating the SSA form, assert that it does not need to be updated. Call update_ssa instead of rewrite_into_ssa and rewrite_def_def_chains. If TODO_verify_loops is set, call verify_loop_closed_ssa. (tree_rest_of_compilation): * tree-pass.h (TODO_dump_func, TODO_ggc_collect, TODO_verify_ssa, TODO_verify_flow, TODO_verify_stmts, TODO_cleanup_cfg): Renumber. (TODO_verify_loops, TODO_update_ssa, TODO_update_ssa_no_phi, TODO_update_ssa_full_phi, TODO_update_ssa_only_virtuals): Define. (pass_copy_prop, pass_store_ccp, pass_store_copy_prop, pass_vrp): Declare. * tree-phinodes.c (make_phi_node): Update documentation. (remove_all_phi_nodes_for): Remove. (find_phi_node_for): New. * tree-pretty-print.c (dump_generic_node): Handle ASSERT_EXPR. * tree-scalar-evolution.c (follow_ssa_edge_in_rhs): Likewise. (interpret_rhs_modify_expr): Likewise. * tree-sra.c (decide_instantiations): Mark all symbols in SRA_CANDIDATES for renaming. (mark_all_v_defs_1): Rename from mark_all_v_defs. (mark_all_v_defs): New function. Update all users to call it with the whole list of scalarized statements, not just the first one. * tree-ssa-alias.c (count_ptr_derefs): Make extern. (compute_flow_insensitive_aliasing): If the tag is unmodifiable and the variable isn't or vice-versa, don't make them alias of each other. (setup_pointers_and_addressables): If the type tag for VAR is about to change, mark the old one for renaming. (add_type_alias): New. * tree-ssa-ccp.c: Document SSA-CCP and STORE-CCP. (ccp_lattice_t): Rename from latticevalue. (value): Remove. Update all users. (const_val): New local variable. (do_store_ccp): New local variable. (dump_lattice_value): Handle UNINITIALIZED. (debug_lattice_value): New. (get_default_value): Re-write. (set_lattice_value): Re-write. (def_to_varying): Remove. Update all users. (likely_value): Return VARYING for statements that make stores when STORE_CCP is false. Return VARYING for any statement other than MODIFY_EXPR, COND_EXPR and SWITCH_EXPR. (ccp_initialize): Re-write. (replace_uses_in, replace_vuse_in, substitute_and_fold): Move to tree-ssa-propagate.c. (ccp_lattice_meet): Handle memory stores when DO_STORE_CCP is true. (ccp_visit_phi_node): Likewise. (ccp_fold): Likewise. (evaluate_stmt): Likewise. (visit_assignment): Likewise. (ccp_visit_stmt): Likewise. (execute_ssa_ccp): Add argument 'store_ccp'. Copy it into DO_STORE_CCP. (do_ssa_ccp): New. (pass_ccp): Use it. (do_ssa_store_ccp): New. (gate_store_ccp): New. (pass_store_ccp): Declare. * tree-ssa-copy.c: Include tree-ssa-propagate.h. (may_propagate_copy): Reformat. Don't abort if ORIG is a virtual and DEST isn't. If NEW does not have alias information but DEST does, copy it. (copy_of, cached_last_copy_of, do_store_copy_prop, enum copy_prop_kind, which_copy_prop): Declare. (stmt_may_generate_copy, get_copy_of_val, get_last_copy_of, set_copy_of_val, dump_copy_of, copy_prop_visit_assignment, copy_prop_visit_cond_stmt, copy_prop_visit_stmt, copy_prop_visit_phi_node, init_copy_prop, fini_copy_prop, execute_copy_prop, gate_copy_prop, do_copy_prop, gate_store_copy_prop, store_copy_prop): New. (pass_copy_prop, pass_store_copy_prop): Declare. * tree-ssa-dom.c (struct opt_stats_d): Add fields 'num_const_prop' and 'num_copy_prop'. (cprop_operand): Update them. (dump_dominator_optimization_stats): Dump them. (tree_ssa_dominator_optimize): Call update_ssa instead of rewrite_into_ssa. (loop_depth_of_name): Declare extern. (simplify_cond_and_lookup_avail_expr): Guard against NULL values for LOW or HIGH. (cprop_into_successor_phis): Only propagate if NEW != ORIG. (record_equivalences_from_stmt): Call expr_computes_nonzero. (cprop_operand): Only propagate if VAL != OP. * tree-ssa-dse.c (dse_optimize_stmt): Mark symbols in removed statement for renaming. * tree-ssa-loop-im.c (move_computations): Call update_ssa. * tree-ssa-loop-ivopts.c (rewrite_address_base): Call add_type_alias if necessary. Call mark_new_vars_to_rename. (tree_ssa_iv_optimize): If new symbols need to be renamed, mark every statement updated, call update_ssa and rewrite_into_loop_closed_ssa. * tree-ssa-loop-manip.c (add_exit_phis): Do not remove DEF_BB from LIVEIN if VAR is a virtual. * tree-ssa-loop.c (tree_loop_optimizer_init): Call update_ssa. * tree-ssa-operands.c (get_expr_operands): Handle ASSERT_EXPR. (get_call_expr_operands): Reformat statement. (add_stmt_operand): Don't create V_MAY_DEFs for read-only symbols. * tree-ssa-propagate.c (ssa_prop_init): Initialize SSA_NAME_VALUE for every name. (first_vdef, stmt_makes_single_load, stmt_makes_single_store, get_value_loaded_by): New. (replace_uses_in, replace_vuses_in, replace_phi_args_in, substitute_and_fold): Move from tree-ssa-ccp.c. * tree-ssa-propagate.h (struct prop_value_d, prop_value_t, first_vdef, stmt_makes_single_load, stmt_makes_single_store, get_value_loaded_by, replace_uses_in, substitute_and_fold): Declare. * tree-ssa.c (verify_use): Fix error message. (propagate_into_addr, replace_immediate_uses, get_eq_name, check_phi_redundancy, kill_redundant_phi_nodes, pass_redundant_phi): Remove. Update all users. * tree-vect-transform.c (vect_create_data_ref_ptr): Call add_type_alias, if necessary. * tree-vectorizer.h (struct _stmt_vect_info): Update documentation for field 'memtag'. * tree-vrp.c: New file. * tree.def (ASSERT_EXPR): Define. * tree.h (ASSERT_EXPR_VAR): Define. (ASSERT_EXPR_COND): Define. (SSA_NAME_VALUE_RANGE): Define. (struct tree_ssa_name): Add field 'value_range'. (PHI_REWRITTEN): Remove. (struct tree_phi_node): Remove field 'rewritten'. * doc/invoke.texi (-fdump-tree-storeccp, -ftree-copy-prop, -ftree-store-copy-prop): Document. * doc/tree-ssa.texi: Remove broken link to McCAT's compiler. Document usage of update_ssa. testsuite/ChangeLog * g++.dg/tree-ssa/pr18178.C: New test. * gcc.c-torture/execute/20030216-1.x: Ignore at -O1. * gcc.c-torture/execute/20041019-1.c: New test. * gcc.dg/tree-ssa/20041008-1.c: New test. * gcc.dg/tree-ssa/ssa-ccp-12.c: New test. * gcc.dg/tree-ssa/20030731-2.c: Update to use -fdump-tree-store_ccp. * gcc.dg/tree-ssa/20030917-1.c: Likewise. * gcc.dg/tree-ssa/20030917-3.c: Likewise. * gcc.dg/tree-ssa/20040721-1.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-1.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-2.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-3.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-7.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-9.c: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@97884 138bc75d-0d04-0410-961f-82ee72b054a4
* * c-common.c, cfgexpand.c, cgraphunit.c, defaults.h,kazu2004-09-051-1/+1
| | | | | | | | | | | | | | et-forest.c, expr.c, gimplify.c, global.c, gthr-lynx.h, hard-reg-set.h, modulo-sched.c, optabs.c, postreload-gcse.c, tree-data-ref.c, tree-flow.h, tree-if-conv.c, tree-inline.c, tree-sra.c, tree-ssa-loop-im.c, tree-ssa-loop-ivopts.c, tree-ssa-loop-niter.c, tree-ssa-operands.c, tree-ssa-operands.h, tree-ssa-propagate.c, tree-ssa-propagate.h, tree-ssa-threadupdate.c, value-prof.c, vec.c, vec.h: Fix comment typos. Follow spelling conventions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@87104 138bc75d-0d04-0410-961f-82ee72b054a4
* * Makefile.in (OBJS-common): Add tree-ssa-propagate.odnovillo2004-08-291-0/+62
(tree-ssa-propagate.o): New rule. (GTFILES): Add tree-ssa-propagate.c. * tree-flow.h (struct stmt_ann_d): Remove field in_ccp_worklist. * tree-ssa-propagate.c: New file. * tree-ssa-propagate.h: New file. * tree-ssa-ccp.c: Re-write to use the routines from tree-ssa-propagate.c. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@86711 138bc75d-0d04-0410-961f-82ee72b054a4
View Lorry Controller Status