llvm-project/llvm
Philip Reames bfda69416c [BasicAA] Fix a bug with relational reasoning across iterations
Due to the recursion through phis basicaa does, the code needs to be extremely careful not to reason about equality between values which might represent distinct iterations. I'm generally skeptical of the correctness of the whole scheme, but this particular patch fixes one particular instance which is demonstrateable incorrect.

Interestingly, this appears to be the second attempted fix for the same issue. The former fix is incomplete and doesn't address the actual issue.

Differential Revision: https://reviews.llvm.org/D92694
2020-12-05 14:10:21 -08:00
..
benchmarks
bindings Adding PoisonValue for representing poison value explicitly in IR 2020-11-25 17:33:51 -07:00
cmake [llvm] Update WinMsvc.cmake's fms-compatability to match llvm's prereqs 2020-12-04 16:35:05 -08:00
docs [NFC][AMDGPU] AMDGPUUsage updates 2020-12-05 02:13:17 +00:00
examples llvmbuildectomy - replace llvm-build by plain cmake 2020-11-13 10:35:24 +01:00
include [BasicAA] Fix a bug with relational reasoning across iterations 2020-12-05 14:10:21 -08:00
lib [BasicAA] Fix a bug with relational reasoning across iterations 2020-12-05 14:10:21 -08:00
projects llvmbuildectomy - replace llvm-build by plain cmake 2020-11-13 10:35:24 +01:00
resources
runtimes
test [BasicAA] Fix a bug with relational reasoning across iterations 2020-12-05 14:10:21 -08:00
tools [llvmbuildectomy] removed vestigial LLVMBuild.txt files 2020-12-05 22:00:22 +01:00
unittests ADT: Remove AlignedCharArrayUnion, NFC 2020-12-04 14:13:22 -08:00
utils Index: Remove unused internal header SimpleFormatContext.h, NFC 2020-12-04 15:10:27 -08:00
.clang-format
.clang-tidy
.gitattributes
.gitignore
CMakeLists.txt repair cygwin build 2020-12-03 11:49:16 -05:00
CODE_OWNERS.TXT [CODE_OWNERS.TXT] Update to include yours truly as the TableGen owner 2020-11-12 09:49:00 -05:00
CREDITS.TXT
LICENSE.TXT
README.txt
RELEASE_TESTERS.TXT
configure
llvm.spec.in

README.txt

The LLVM Compiler Infrastructure
================================

This directory and its subdirectories contain source code for LLVM,
a toolkit for the construction of highly optimized compilers,
optimizers, and runtime environments.

LLVM is open source software. You may freely distribute it under the terms of
the license agreement found in LICENSE.txt.

Please see the documentation provided in docs/ for further
assistance with LLVM, and in particular docs/GettingStarted.rst for getting
started with LLVM and docs/README.txt for an overview of LLVM's
documentation setup.

If you are writing a package for LLVM, see docs/Packaging.rst for our
suggestions.