GCC modified for the FreeChainXenon project
5d4d64faa7
This refactors the backward threader pass so that it can be called in either fully resolving mode, or in classic mode where any unknowns default to VARYING. Doing so opens the door for "pass_thread_jumps_full" which has the resolving bits set. This pass has not been added to the pipeline, but with it in place, we can now experiment with it to see how to reduce the number of jump threaders. The first suspect will probably be enabling fully resolving in the backward threader pass immediately preceeding VRP2, and removing the VRP2 threader pass. Now that VRP and the backward threader are sharing a solver, and most of the threads get handcuffed by cancel_threads(), we should have a variety of scenarios to try. In the process, I have cleaned up things to make it trivial to see what the difference between the 3 variants are (early jump threading, quick jump threading without resolving SSAs, and fully resolving jump threading). Since I moved stuff around, it's probably easier to just look at the last section in tree-ssa-threadbackward to see how it's all laid out. No functional changes as the new pass hasn't been added to the pipeline. gcc/ChangeLog: * tree-pass.h (make_pass_thread_jumps_full): New. * tree-ssa-threadbackward.c (pass_thread_jumps::gate): Inline. (try_thread_blocks): Add resolve and speed arguments. (pass_thread_jumps::execute): Inline. (do_early_thread_jumps): New. (do_thread_jumps): New. (make_pass_thread_jumps): Move. (pass_early_thread_jumps::gate): Inline. (pass_early_thread_jumps::execute): Inline. (class pass_thread_jumps_full): New. |
||
|---|---|---|
| c++tools | ||
| config | ||
| contrib | ||
| fixincludes | ||
| gcc | ||
| gnattools | ||
| gotools | ||
| include | ||
| INSTALL | ||
| intl | ||
| libada | ||
| libatomic | ||
| libbacktrace | ||
| libcc1 | ||
| libcody | ||
| libcpp | ||
| libdecnumber | ||
| libffi | ||
| libgcc | ||
| libgfortran | ||
| libgo | ||
| libgomp | ||
| libiberty | ||
| libitm | ||
| libobjc | ||
| liboffloadmic | ||
| libphobos | ||
| libquadmath | ||
| libsanitizer | ||
| libssp | ||
| libstdc++-v3 | ||
| libvtv | ||
| lto-plugin | ||
| maintainer-scripts | ||
| zlib | ||
| .dir-locals.el | ||
| .gitattributes | ||
| .gitignore | ||
| ABOUT-NLS | ||
| ar-lib | ||
| ChangeLog | ||
| ChangeLog.jit | ||
| ChangeLog.tree-ssa | ||
| compile | ||
| config-ml.in | ||
| config.guess | ||
| config.rpath | ||
| config.sub | ||
| configure | ||
| configure.ac | ||
| COPYING | ||
| COPYING.LIB | ||
| COPYING.RUNTIME | ||
| COPYING3 | ||
| COPYING3.LIB | ||
| depcomp | ||
| install-sh | ||
| libtool-ldflags | ||
| libtool.m4 | ||
| ltgcc.m4 | ||
| ltmain.sh | ||
| ltoptions.m4 | ||
| ltsugar.m4 | ||
| ltversion.m4 | ||
| lt~obsolete.m4 | ||
| MAINTAINERS | ||
| Makefile.def | ||
| Makefile.in | ||
| Makefile.tpl | ||
| missing | ||
| mkdep | ||
| mkinstalldirs | ||
| move-if-change | ||
| multilib.am | ||
| README | ||
| symlink-tree | ||
| test-driver | ||
| ylwrap | ||
This directory contains the GNU Compiler Collection (GCC). The GNU Compiler Collection is free software. See the files whose names start with COPYING for copying permission. The manuals, and some of the runtime libraries, are under different terms; see the individual source files for details. The directory INSTALL contains copies of the installation information as HTML and plain text. The source of this information is gcc/doc/install.texi. The installation information includes details of what is included in the GCC sources and what files GCC installs. See the file gcc/doc/gcc.texi (together with other files that it includes) for usage and porting information. An online readable version of the manual is in the files gcc/doc/gcc.info*. See http://gcc.gnu.org/bugs/ for how to report bugs usefully. Copyright years on GCC source files may be listed using range notation, e.g., 1987-2012, indicating that every year in the range, inclusive, is a copyrightable year that could otherwise be listed individually.