Johannes Doerfert 6ed459fd41 Use "willreturn" in isGuaranteedToTransferExecutionToSuccessor ...

The `willreturn` function attribute guarantees that a function call will
come back to the call site if the call is also known not to throw.
Therefore, this attribute can be used in
`isGuaranteedToTransferExecutionToSuccessor`.

Patch by Hideto Ueno (@uenoku)

Reviewers: jdoerfert, sstefan1

Reviewed By: jdoerfert

Subscribers: hiraditya, jfb, llvm-commits

Tags: #llvm

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

llvm-svn: 364580

2019-06-27 19:29:48 +00:00

..

AliasAnalysisTest.cpp

[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.

2019-03-22 17:22:19 +00:00

AliasSetTrackerTest.cpp

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

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

BasicAliasAnalysisTest.cpp

[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.

2019-03-22 17:22:19 +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

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

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

CFGTest.cpp

An unreachable block may have a route to a reachable block, don't fast-path return that it can't.

2019-04-04 23:09:40 +00:00

CGSCCPassManagerTest.cpp

[NewPM] Fix a nasty bug with analysis invalidation in the new PM.

2019-03-28 00:51:36 +00:00

CMakeLists.txt

[Analysis] add unit test file for VectorUtils; NFC

2019-06-10 18:19:05 +00: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

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

2019-01-19 08:50:56 +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

[INLINER] allow inlining of blockaddresses if sole uses are callbrs

2019-05-20 16:48:09 +00:00

LoopInfoTest.cpp

[LOOPINFO] Extend Loop object to add utilities to get the loop bounds,

2019-06-05 20:42:47 +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

[MemorySSA] Make insertDef insert corresponding phi nodes.

2019-02-27 22:20:22 +00:00

OrderedBasicBlockTest.cpp

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

2019-01-19 08:50:56 +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

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

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

ScalarEvolutionTest.cpp

Add ScalarEvolutionsTest::SCEVExpandInsertCanonicalIV tests

2019-06-03 18:26:45 +00:00

SparsePropagation.cpp

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

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

TargetLibraryInfoTest.cpp

[SimplifyLibCalls] Fold more fortified functions into non-fortified variants

2019-05-31 22:41:36 +00:00

TBAATest.cpp

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

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

UnrollAnalyzerTest.cpp

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

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

ValueLatticeTest.cpp

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

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

ValueTrackingTest.cpp

Use "willreturn" in isGuaranteedToTransferExecutionToSuccessor

2019-06-27 19:29:48 +00:00

VectorUtilsTest.cpp

[Analysis] add isSplatValue() for vectors in IR

2019-06-11 22:25:18 +00:00