1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-21 03:53:04 +02:00
llvm-mirror/lib
Sanjoy Das 10cf1fcef4 [IndVars] Have cloneArithmeticIVUser guess better
Summary:
`cloneArithmeticIVUser` currently trips over expression like `add %iv,
-1` when `%iv` is being zero extended -- it tries to construct the
widened use as `add %iv.zext, zext(-1)` and (correctly) fails to prove
equivalence to `zext(add %iv, -1)` (here the SCEV for `%iv` is
`{1,+,1}`).

This change teaches `IndVars` to try sign extending the non-IV operand
if that makes the newly constructed IV use equivalent to the widened
narrow IV use.

Reviewers: atrick, hfinkel, reames

Subscribers: sanjoy, llvm-commits

Differential Revision: http://reviews.llvm.org/D13717

llvm-svn: 250483
2015-10-16 01:00:47 +00:00
..
Analysis Recommit r250345, it was reverted in r250366 to investigate a bot failure. 2015-10-15 14:59:40 +00:00
AsmParser HHVM calling conventions. 2015-09-29 22:09:16 +00:00
Bitcode BitcodeReader: Remove ilist iterator implicit conversions, NFC 2015-10-13 16:48:55 +00:00
CodeGen Revert "[safestack] Fast access to the unsafe stack pointer on AArch64/Android." 2015-10-15 21:26:49 +00:00
DebugInfo [llvm-symbolizer] Make --relative-address work with DWARF contexts 2015-10-09 00:15:01 +00:00
ExecutionEngine [RuntimeDyld] Don't try to get the contents of sections that don't have any 2015-10-15 06:41:45 +00:00
Fuzzer [libFuzzer] don't print large artifacts to stderr 2015-10-09 04:03:14 +00:00
IR Remove DIFile from createSubroutineType. 2015-10-15 06:56:10 +00:00
IRReader
LibDriver There is only one saver of strings. 2015-08-13 01:07:02 +00:00
LineEditor
Linker [opaque pointer types] Switch a few cases of getElementType over, since I had them lying around anyway 2015-09-14 20:29:26 +00:00
LTO Reapply "LTO: Disable extra verify runs in release builds" 2015-09-15 23:05:59 +00:00
MC Prevent assertion with "llc -debug" and anonymous symbols. 2015-10-15 16:18:27 +00:00
Object Tweak to r250117 and change to use ErrorOr and drop isSizeValid for 2015-10-13 20:48:04 +00:00
Option Add an ArgList::AddAllArgs that accepts a vector of OptSpecifier. 2015-07-29 17:34:41 +00:00
Passes [PM] Port SROA to the new pass manager. 2015-09-12 09:09:14 +00:00
ProfileData Sample Profiles - Adjust integer types. Mostly NFC. 2015-10-15 16:36:21 +00:00
Support Add a missing include of cstddef needed for size_t. 2015-10-15 19:41:54 +00:00
TableGen TableGen: Support folding casts from bits to int 2015-07-31 01:12:06 +00:00
Target WebAssembly: update syntax 2015-10-16 00:53:49 +00:00
Transforms [IndVars] Have cloneArithmeticIVUser guess better 2015-10-16 01:00:47 +00:00
CMakeLists.txt
LLVMBuild.txt
Makefile