Jingyue Wu ec3cfb00dc [DependenceAnalysis] Allow subscripts of different types ... Summary: Several places in DependenceAnalysis assumes both SCEVs in a subscript pair share the same integer type. For instance, isKnownPredicate calls SE->getMinusSCEV(X, Y) which asserts X and Y share the same type. However, DependenceAnalysis fails to ensure this assumption when producing a subscript pair, causing tests such as NonCanonicalizedSubscript to crash. With this patch, DependenceAnalysis runs unifySubscriptType before producing any subscript pair, ensuring the assumption. Test Plan: Added NonCanonicalizedSubscript.ll on which DependenceAnalysis before the fix crashed because subscripts have different types. Reviewers: spop, sebpop, jingyue Reviewed By: jingyue Subscribers: eliben, meheff, llvm-commits Differential Revision: http://reviews.llvm.org/D6289 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222100 91177308-0d34-0410-b5e6-96231b3b80d8		2014-11-16 16:52:44 +00:00
..
ADT	Use size_type for operator[].	2014-11-14 07:02:38 +00:00
Analysis	[DependenceAnalysis] Allow subscripts of different types	2014-11-16 16:52:44 +00:00
AsmParser	Pass a MemoryBufferRef when we can avoid taking ownership.	2014-08-26 21:49:01 +00:00
Bitcode	Make a few helper functions static. NFC.	2014-11-13 21:54:59 +00:00
CodeGen	Remove redundant virtual on overriden functions.	2014-11-14 19:06:36 +00:00
Config	Rerun AutoRegen.sh.	2014-11-14 22:10:16 +00:00
DebugInfo	Reapply "[dwarfdump] Add support for dumping accelerator tables."	2014-11-14 16:15:53 +00:00
ExecutionEngine	[MCJIT] Turn the getSymbolAddress free function created in r218626 into a static	2014-10-01 04:11:13 +00:00
IR	DIBuilder: Use Constant instead of Value	2014-11-15 00:23:49 +00:00
IRReader	Pass a MemoryBufferRef when we can avoid taking ownership.	2014-08-26 21:49:01 +00:00
LineEditor	[C++11] Replace OwningPtr with std::unique_ptr in places where it doesn't break the API.	2014-04-21 09:34:48 +00:00
Linker	Revert "Use a function_ref now that it works (r221753)."	2014-11-12 03:17:33 +00:00
LTO	libLTO: Allow LTOModule to own a context	2014-11-11 23:08:05 +00:00
MC	Rename EH related stuff to be more precise	2014-11-14 23:31:07 +00:00
Object	obj2yaml, yaml2obj: Add support for COFF executables	2014-11-14 08:15:42 +00:00
Option	Add an overload of getLastArgNoClaim taking two OptSpecifiers.	2014-09-12 19:42:53 +00:00
ProfileData	llvm-cov: Sink some reporting logic into CoverageMapping	2014-11-14 01:50:32 +00:00
Support	Calm down build bots	2014-11-14 08:38:17 +00:00
TableGen	[TableGen] Fully resolve class-instance values before defs in multiclasses	2014-09-16 17:14:13 +00:00
Target	We can get the TLOF from the TargetMachine - so constructor no longer requires TargetLoweringObjectFile to be passed.	2014-11-13 21:29:21 +00:00
Transforms	Move asan-coverage into a separate phase.	2014-11-11 22:14:37 +00:00
CMakeLists.txt	Remove llvm_headers_do_not_build for the benefit of XCode and Visual Studio users.	2014-08-14 00:51:47 +00:00
InitializePasses.h	Revert "Don't make assumptions about the name of private global variables."	2014-11-15 02:03:53 +00:00
LinkAllIR.h	[cleanup] Move the Dominators.h and Verifier.h headers into the IR	2014-01-13 09:26:24 +00:00
LinkAllPasses.h	Revert "Don't make assumptions about the name of private global variables."	2014-11-15 02:03:53 +00:00
module.modulemap	[modules] Stop excluding Support/Debug.h from the Support module. This header	2014-10-13 00:41:03 +00:00
module.modulemap.build	[modules] Add module maps for LLVM. These are not quite ready for prime-time	2014-05-21 02:46:14 +00:00
Pass.h	Revert "[PM] Add pass run listeners to the pass manager."	2014-05-15 17:49:20 +00:00
PassAnalysisSupport.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-14 00:51:57 +00:00
PassInfo.h	Remove pimpl class from PassRegistry.	2014-06-12 16:06:51 +00:00
PassManager.h	Move the old pass manager infrastructure into a legacy namespace and	2013-11-09 12:26:54 +00:00
PassRegistry.h	[PM] Remove an unused and rather expensive mapping from an analysis	2014-10-06 00:30:59 +00:00
PassSupport.h	Defining a new API for debug options that doesn't rely on static global cl::opts.	2014-10-15 21:54:35 +00:00