mirror of
https://gcc.gnu.org/git/gcc.git
synced 2026-11-10 12:06:23 +01:00
No description
- C++ 30.7%
- C 30.4%
- Ada 14.1%
- D 6%
- Go 5.6%
- Other 12.7%
| Filename | Latest commit message | Latest commit date |
|---|---|---|
e08ae151a4
same_bool_comparison_p (EXPR, CODE, OP1, OP2) checks whether EXPR is equivalent to OP1 CODE OP2. If OP1 is a Boolean SSA name defined by a comparison, it handles OP1 != 0 and OP1 == 0 by recursing on that comparison or its inverse. It tests the code of the defining comparison instead of CODE, though. For M_1 = x_10(D) != y_11(D) it therefore treats M_1 <= 1, which is always true, as x_10(D) == y_11(D), and reassoc folds Z_17 in V_7 = I1_5 & I2_6; W_14 = V_7 == 0; T_15 = M_1 != 0; Z_17 = W_14 & T_15; to false, where I1_5 is x_10(D) == y_11(D) and I2_6 is M_1 <= 1. Test CODE. The inverted branch can then see any comparison code, so honour NaNs when inverting it and give up when the inverse does not exist. The front ends fold such comparisons of Boolean values, so only GIMPLE input reaches the wrong answer. Bootstrapped and tested on aarch64-linux-gnu and x86_64-linux-gnu. gcc/ChangeLog: * gimple-fold.cc (same_bool_comparison_p): Test the code of the outer comparison, not that of the definition of OP1. Honour NaNs when inverting the definition. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/reassoc-55.c: New test. * gcc.dg/tree-ssa/ssa-ifcombine-nan-3.c: New test. Signed-off-by: Kyrylo Tkachov <ktkachov@nvidia.com> |
||
| .forgejo | ||
| .github | ||
| c++tools | ||
| config | ||
| contrib | ||
| fixincludes | ||
| gcc | ||
| gnattools | ||
| gotools | ||
| include | ||
| INSTALL | ||
| libada | ||
| libatomic | ||
| libbacktrace | ||
| libcc1 | ||
| libcody | ||
| libcpp | ||
| libdecnumber | ||
| libffi | ||
| libga68 | ||
| libgcc | ||
| libgcobol | ||
| libgfortran | ||
| libgm2 | ||
| libgo | ||
| libgomp | ||
| libgrust | ||
| libiberty | ||
| libitm | ||
| libobjc | ||
| libphobos | ||
| libquadmath | ||
| libsanitizer | ||
| libssp | ||
| libstdc++-v3 | ||
| libvtv | ||
| lto-plugin | ||
| maintainer-scripts | ||
| zlib | ||
| .b4-config | ||
| .dir-locals.el | ||
| .editorconfig | ||
| .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 | ||
| MAINTAINERS.yml | ||
| Makefile.def | ||
| Makefile.in | ||
| Makefile.tpl | ||
| missing | ||
| mkdep | ||
| mkinstalldirs | ||
| move-if-change | ||
| multilib.am | ||
| pyproject.toml | ||
| README | ||
| SECURITY.txt | ||
| 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.