Max Kazantsev 413ec67db6 [SCEV][NFC] More efficient caching in CompareSCEVComplexity ...

Currently, we use a set of pairs to cache responces like `CompareSCEVComplexity(X, Y) == 0`. If we had
proved that `CompareSCEVComplexity(S1, S2) == 0` and `CompareSCEVComplexity(S2, S3) == 0`,
this cache does not allow us to prove that `CompareSCEVComplexity(S1, S3)` is also `0`.

This patch replaces this set with `EquivalenceClasses` any two values from the same set are equal from
point of `CompareSCEVComplexity`. This, in particular, allows us to prove the fact from example above.

Differential Revision: https://reviews.llvm.org/D40428


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@319149 91177308-0d34-0410-b5e6-96231b3b80d8

2017-11-28 07:48:12 +00:00

..

Analysis

[SCEV][NFC] More efficient caching in CompareSCEVComplexity

2017-11-28 07:48:12 +00:00

AsmParser

[IR] redefine 'UnsafeAlgebra' / 'reassoc' fast-math-flags and add 'trans' fast-math-flag

2017-11-06 16:27:15 +00:00

BinaryFormat

Simplify.

2017-10-19 01:32:18 +00:00

Bitcode

[WebAssembly] Explicily disable comdat support for wasm output

2017-11-14 00:49:16 +00:00

CodeGen

[DAGCombine] Disable finding better chains for stores at O0

2017-11-28 04:07:59 +00:00

DebugInfo

Fixed the ability to recursively get an attribute value from a DWARFDie.

2017-11-27 22:12:44 +00:00

Demangle

[ItaniumDemangle] Fix a exponential string copying bug

2017-05-28 23:24:52 +00:00

ExecutionEngine

Fix 'not all control paths return a value' warning on MSVC builds

2017-11-09 14:56:17 +00:00

Fuzzer

[libFuzzer] Delete llvm/lib/Fuzzer

2017-10-16 20:48:19 +00:00

FuzzMutate

[FuzzMutate] Fix windows build after rL318407.

2017-11-16 16:17:32 +00:00

IR

Move getVariableSize from Verifier.cpp into DIVariable::getSize() (NFC)

2017-11-28 00:57:51 +00:00

IRReader

Move the stripping of invalid debug info from the Verifier to AutoUpgrade.

2017-10-02 18:31:29 +00:00

LineEditor

Fix Clang-tidy modernize-deprecated-headers warnings in some files; other minor fixes.

2016-03-28 17:40:08 +00:00

Linker

Linker: Create a function declaration when moving a non-prevailing alias of function type.

2017-08-10 01:07:44 +00:00

LTO

Fix a bunch more layering of CodeGen headers that are in Target

2017-11-17 01:07:10 +00:00

MC

[MC] Fix regression tests on Windows when git “core.autocrlf” is set to true.

2017-11-17 21:59:43 +00:00

Object

Object: Improve COFF irsymtab comdat representation.

2017-11-21 22:06:20 +00:00

ObjectYAML

Add ELF dynamic symbol support to yaml2obj/obj2yaml

2017-11-16 18:10:15 +00:00

Option

Reverting r315590; it did not include changes for llvm-tblgen, which is causing link errors for several people.

2017-10-15 14:32:27 +00:00

Passes

[(new) Pass Manager] instantiate SimplifyCFG with the same options as the old PM

2017-11-15 16:33:11 +00:00

ProfileData

[Coverage] Use the wrapped segment when a line has entry segments

2017-11-09 02:33:43 +00:00

Support

Use FILE_FLAG_DELETE_ON_CLOSE for TempFile on windows.

2017-11-28 01:41:22 +00:00

TableGen

[globalisel][regbank] Warn about MIR ambiguities when register bank/class names clash.

2017-11-01 22:13:05 +00:00

Target

[WebAssembly] Handle errors better in fast-isel.

2017-11-28 05:36:42 +00:00

Testing

Force #define GTEST_LANG_CXX11.

2017-10-27 21:12:28 +00:00

ToolDrivers

[COFF] Improve the check for functions that should get an extra underscore

2017-10-23 09:08:13 +00:00

Transforms

[GVN] Prevent ScalarPRE from hoisting across instructions that don't pass control flow to successors

2017-11-28 07:07:55 +00:00

WindowsManifest

Fix bug 34608 by moving private header out of public header.

2017-09-14 23:01:13 +00:00

XRay

[XRay] Use optimistic logging model for FDR mode

2017-11-21 07:16:57 +00:00

CMakeLists.txt

Moving libFuzzer from LLVM to compiler-rt.

2017-08-21 23:25:12 +00:00

LLVMBuild.txt

Re-apply "Introduce FuzzMutate library"

2017-08-21 22:57:06 +00:00