Juneyoung Lee d6be273bbc [ValueTracking] Let propagatesPoison support binops/unaryops/cast/etc. ...

Summary:
This patch makes propagatesPoison be more accurate by returning true on
more bin ops/unary ops/casts/etc.

The changed test in ScalarEvolution/nsw.ll was introduced by
a19edc4d15 .
IIUC, the goal of the tests is to show that iv.inc's SCEV expression still has
no-overflow flags even if the loop isn't in the wanted form.
It becomes more accurate with this patch, so think this is okay.

Reviewers: spatel, lebedev.ri, jdoerfert, reames, nikic, sanjoy

Reviewed By: spatel, nikic

Subscribers: regehr, nlopes, efriedma, fhahn, javed.absar, llvm-commits, hiraditya

Tags: #llvm

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

2020-05-13 02:51:42 +09:00

..

AliasAnalysisTest.cpp

[unittests] Add InitializePasses.h includes

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

AliasSetTrackerTest.cpp

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

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

AssumeBundleQueriesTest.cpp

[AssumeBundles] Refactor asssume builder

2020-04-25 13:43:52 +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

[CallSite removal][TargetLibraryInfo] Replace ImmutableCallSite with CallBase in one of the getLibFunc signatures. NFC

2020-04-15 22:43:41 -07:00

CMakeLists.txt

[NFC] Split Knowledge retention and place it more appropriatly

2020-04-02 15:01:41 +02: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

GlobalsModRefTest.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00: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

Re-land "Add LazyCallGraph API to add function to RefSCC"

2020-02-17 16:59:25 -05:00

LoadsTest.cpp

[Loads] Handle simple cases with same base pointer with constant offsets in FindAvailableLoadedValue when AA is null.

2020-01-29 13:05:46 -08:00

LoopInfoTest.cpp

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

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

LoopNestTest.cpp

[LoopNest]: Analysis to discover properties of a loop nest.

2020-03-03 18:25:19 +00: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

[llvm] Migrate llvm::make_unique to std::make_unique

2019-08-15 15:54:37 +00:00

OrderedInstructionsTest.cpp

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

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

PhiValuesTest.cpp

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

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

ProfileSummaryInfoTest.cpp

[llvm][NFC] Dereferencing before cast-ing in ProfileSummaryInfoTest

2020-04-18 17:47:37 -07:00

ScalarEvolutionTest.cpp

[SVEV] Recognise hardware-loop intrinsic loop.decrement.reg

2020-01-10 09:35:00 +00: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

Introduce support for lib function aligned_alloc in TLI / memory builtins

2020-03-29 23:36:24 +05:30

TBAATest.cpp

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

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

UnrollAnalyzerTest.cpp

[unittests] Add InitializePasses.h includes

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

ValueLatticeTest.cpp

[ValueLattice] Remove unused DataLayout parameter of mergeIn, NFC

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

ValueTrackingTest.cpp

[ValueTracking] Let propagatesPoison support binops/unaryops/cast/etc.

2020-05-13 02:51:42 +09:00

VectorFunctionABITest.cpp

[llvm][VectorUtils] Tweak VFShape for scalable vector functions.

2020-01-30 05:53:56 +00:00

VectorUtilsTest.cpp

[VFDatabase] Scalar functions are vector functions with VF =1

2020-04-29 17:20:37 +00:00