Max Kazantsev 04c0255443 Return "[SCEV] Prove implicaitons via AddRec start" ...

The initial version of the patch was reverted because it missed the check that
the predicate being proved is actually guarded by this check on 1st iteration.
If it was not executed on 1st iteration (but possibly executes after that), then
it is incorrect to use reasoning about IV start to prove it.

Added the test where the miscompile was seen. Unfortunately, my attempts
to reduce it with bugpoint did not succeed; it can further be reduced when
we understand how to do it without losing the initial bug's notion.

Returning assuming the miscompiles are now gone.

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

2020-10-08 11:15:35 +07:00

..

Inputs/ir2native_x86_64_model

Reapply "[llvm] Native size estimator for training -Oz inliner"

2020-07-13 16:26:26 -07:00

AliasAnalysisTest.cpp

[NFC] Adding the align attribute on Atomic{CmpXchg|RMW}Inst

2020-07-07 09:54:13 +00:00

AliasSetTrackerTest.cpp

TargetLibraryInfo.h - reduce Triple.h include to forward declaration. NFC.

2020-06-05 14:35:30 +01:00

AssumeBundleQueriesTest.cpp

Reland [AssumeBundles] Use operand bundles to encode alignment assumptions

2020-09-12 15:36:06 +02:00

BasicAliasAnalysisTest.cpp

[AliasAnalysis] Initialize a member variable that may be used by unit test.

2019-08-02 08:05:14 +00:00

BlockFrequencyInfoTest.cpp

Replace llvm::isPodLike<...> by llvm::is_trivially_copyable<...>

2019-01-20 21:19:56 +00:00

BranchProbabilityInfoTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

CallGraphTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

CaptureTrackingTest.cpp

[IR] Lazily number instructions for local dominance queries

2020-02-18 14:44:24 -08:00

CFGTest.cpp

[unittests] Add InitializePasses.h includes

2019-11-13 19:42:58 -08:00

CGSCCPassManagerTest.cpp

[NewPM][CGSCC] Handle newly added functions in updateCGAndAnalysisManagerForPass

2020-09-23 15:22:18 -07:00

CMakeLists.txt

[IRSim] Adding IR Instruction Mapper

2020-09-17 14:06:16 -05:00

ConstraintSystemTest.cpp

[ConstraintSolver] Add isConditionImplied helper.

2020-09-15 13:50:11 +01:00

DDGTest.cpp

ScalarEvolution.h - reduce LoopInfo.h include to forward declarations. NFC.

2020-06-17 15:48:23 +01:00

DivergenceAnalysisTest.cpp

[opaque pointer types] Add a FunctionCallee wrapper type, and use it.

2019-02-01 02:28:03 +00:00

DomTreeUpdaterTest.cpp

[DTU] Refine the interface and logic of applyUpdates

2019-02-22 13:48:38 +00:00

FunctionPropertiesAnalysisTest.cpp

Add new function properties to FunctionPropertiesAnalysis

2020-07-23 12:46:47 -07:00

GlobalsModRefTest.cpp

GlobalsModRef.h - reduce CallGraph.h include to forward declarations. NFC.

2020-06-25 16:00:43 +01:00

IRSimilarityIdentifierTest.cpp

[llvm] Use instead of in IRSimilarityIdentifierTest.cpp.

2020-09-24 11:28:26 +02:00

IVDescriptorsTest.cpp

Save the induction binary operator in IVDescriptors for non FP induction variables.

2019-05-14 13:26:36 +00:00

LazyCallGraphTest.cpp

[NewPM][CGSCC] Handle newly added functions in updateCGAndAnalysisManagerForPass

2020-09-23 15:22:18 -07:00

LoadsTest.cpp

[Loads] Add canReplacePointersIfEqual helper.

2020-09-01 20:57:41 +01:00

LoopInfoTest.cpp

Rename LoopInfo::isRotated() to LoopInfo::isRotatedForm().

2019-12-12 14:22:36 -05:00

LoopNestTest.cpp

LoopAnalysisManager.h - reduce includes to forward declarations. NFC.

2020-06-06 14:06:46 +01:00

MemoryBuiltinsTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

MemorySSATest.cpp

[MemorySSA] Report unoptimized as None, not MayAlias.

2020-09-15 23:58:53 -07:00

PhiValuesTest.cpp

[opaque pointer types] Pass value type to LoadInst creation.

2019-02-01 20:44:24 +00:00

ProfileSummaryInfoTest.cpp

ProfileSummaryInfoTest.cpp - fix implicit CommandLine.h dependency. NFC.

2020-06-23 13:07:18 +01:00

ScalarEvolutionTest.cpp

Return "[SCEV] Prove implicaitons via AddRec start"

2020-10-08 11:15:35 +07:00

SparsePropagation.cpp

[CallSite removal][Analysis] Use CallBase instead of CallSite in SparsePropagation unit test. NFC

2020-04-19 22:39:24 -07:00

TargetLibraryInfoTest.cpp

[SimplifyLibCalls] Optimize mempcpy_chk to mempcpy

2020-10-06 17:08:46 +02:00

TBAATest.cpp

[opaque pointer types] Add a FunctionCallee wrapper type, and use it.

2019-02-01 02:28:03 +00:00

TFUtilsTest.cpp

[MLInliner] Factor out logging

2020-10-05 18:09:17 -07:00

UnrollAnalyzerTest.cpp

ScalarEvolution.h - reduce LoopInfo.h include to forward declarations. NFC.

2020-06-17 15:48:23 +01:00

ValueLatticeTest.cpp

[ValueLattice] Remove unused DataLayout parameter of mergeIn, NFC

2020-04-14 13:32:53 +02:00

ValueTrackingTest.cpp

[ValueTracking] Fix analyses to update CxtI to be phi's incoming edges' terminators

2020-09-28 23:24:20 +09:00

VectorFunctionABITest.cpp

Fix crash when getVFABIMappings is called with an indirect call instruction

2020-07-13 15:28:46 +01:00

VectorUtilsTest.cpp

Revert "Revert "[NFC][llvm] Make the contructors of ElementCount private.""

2020-08-19 17:26:36 +00:00