Anna Thomas 93dc82e6f3 [LoopPredication] Enable predication when latchCheckIV is wider than rangeCheck ...

Summary:
This patch allows us to predicate range checks that have a type narrower than
the latch check type. We leverage SCEV analysis to identify a truncate for the
latchLimit and latchStart.
There is also safety checks in place which requires the start and limit to be
known at compile time. We require this to make sure that the SCEV truncate expr
for the IV corresponding to the latch does not cause us to lose information
about the IV range.
Added tests show the loop predication over range checks that are of various
types and are narrower than the latch type.
This enhancement has been in our downstream tree for a while.

Reviewers: apilipenko, sanjoy, mkazantsev

Subscribers: llvm-commits

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

llvm-svn: 317269

2017-11-02 21:21:02 +00:00

..

Analysis

Allow inaccessiblememonly and inaccessiblemem_or_argmemonly to be overwriten on call site with operand bundle

2017-11-02 12:18:33 +00:00

AsmParser

Represent runtime preemption in the IR.

2017-10-26 15:00:26 +00:00

BinaryFormat

Simplify.

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

Bitcode

Represent runtime preemption in the IR.

2017-10-26 15:00:26 +00:00

CodeGen

Revert "[ExpandMemCmp] Split ExpandMemCmp from CodeGen into its own pass."

2017-11-02 15:53:10 +00:00

DebugInfo

Fix warnings discovered by rL317076. [-Wunused-private-field]

2017-11-01 13:47:55 +00:00

Demangle

[ItaniumDemangle] Fix a exponential string copying bug

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

ExecutionEngine

ExecutionEngine: make COFF Thumb2 assertions non-tautological

2017-10-22 20:51:25 +00:00

Fuzzer

[libFuzzer] Delete llvm/lib/Fuzzer

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

FuzzMutate

FuzzMutate: Fix arch parsing in FuzzerCLI

2017-10-17 02:39:40 +00:00

IR

[LLVM-C] Expose functions to create debug locations via DIBuilder.

2017-11-01 22:18:52 +00:00

IRReader

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

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

LineEditor

…

Linker

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

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

LTO

LTO: Apply global DCE to ThinLTO modules at LTO opt level 0.

2017-11-01 17:58:39 +00:00

MC

[AsmPrinterDwarf] Add support for .cfi_restore directive

2017-11-02 12:00:58 +00:00

Object

Fix warnings discovered by rL317076. [-Wunused-private-field]

2017-11-01 13:47:55 +00:00

ObjectYAML

[yaml2obj][ELF] Add support for setting alignment in program headers

2017-11-01 23:14:48 +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-10-29 20:49:31 +00:00

ProfileData

[Coverage] Provide a stable order for getInstantiationGroups

2017-10-24 22:35:29 +00:00

Support

[X86] Simplify the pentium4 code in getHostCPUName to be based on feature flags. Don't use 'x86-64' ever.

2017-11-02 19:13:34 +00:00

TableGen

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

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

Target

AMDGPU: Remove outdated fixme (it was already fixed)

2017-11-02 20:48:06 +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

[LoopPredication] Enable predication when latchCheckIV is wider than rangeCheck

2017-11-02 21:21:02 +00:00

WindowsManifest

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

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

XRay

[XRay][tools] Support arg1 logging entries in the basic logging mode

2017-10-05 05:18:17 +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