Arnold Schwaighofer 1bdb320dae BasicAA: Fix value equality and phi cycles ... When there are cycles in the value graph we have to be careful interpreting "Value*" identity as "value" equivalence. We interpret the value of a phi node as the value of its operands. When we check for value equivalence now we make sure that the "Value*" dominates all cycles (phis). %0 = phi [%noaliasval, %addr2] %l = load %ptr %addr1 = gep @a, 0, %l %addr2 = gep @a, 0, (%l + 1) store %ptr ... Before this patch we would return NoAlias for (%0, %addr1) which is wrong because the value of the load is from different iterations of the loop. Tested on x86_64 -mavx at O3 and O3 -flto with no performance or compile time regressions. PR18068 radar://15653794 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@198290 91177308-0d34-0410-b5e6-96231b3b80d8		2014-01-02 03:31:36 +00:00
..
Analysis	BasicAA: Fix value equality and phi cycles	2014-01-02 03:31:36 +00:00
AsmParser	Begin adding docs and IR-level support for the inalloca attribute	2013-12-19 02:14:12 +00:00
Bitcode	Begin adding docs and IR-level support for the inalloca attribute	2013-12-19 02:14:12 +00:00
CodeGen	Remove the 's' DataLayout specification	2014-01-01 22:29:43 +00:00
DebugInfo	DebugInfo: Move type units into the debug_types section with appropriate comdat grouping and type unit headers	2013-12-13 21:33:40 +00:00
ExecutionEngine	There are no __register_frame and __deregister_frame functions	2013-12-17 08:40:11 +00:00
IR	Remove the 's' DataLayout specification	2014-01-01 22:29:43 +00:00
IRReader	[llvm-c] Expose IRReader interface	2013-11-06 09:21:15 +00:00
Linker	Revert "Move copying of global initializers below the cloning of functions."	2013-11-09 00:43:18 +00:00
LTO	Add TargetLibraryInfo in LTO passes builder	2013-12-12 01:37:39 +00:00
MC	AsmParser: cleanup diagnostics for .rep/.rept	2013-12-28 06:39:29 +00:00
Object	Support for microMIPS TLS relocations.	2013-12-19 16:02:32 +00:00
Option	Avoid buffer copies when a Twine already is a StringRef.	2013-12-03 18:18:28 +00:00
Support	Silence g++ 4.9 build issue	2013-12-31 03:16:55 +00:00
TableGen	TableGen: Generate valid identifiers for anonymous records	2013-12-21 18:51:00 +00:00
Target	Remove the 's' DataLayout specification	2014-01-01 22:29:43 +00:00
Transforms	Set LLVM_EXPORTED_SYMBOL_FILE in CMakeLists whose corresponding Makefiles do so.	2013-12-29 23:06:49 +00:00
CMakeLists.txt	Move LTO support library to a component, allowing it to be tested	2013-09-24 23:52:22 +00:00
LLVMBuild.txt	Move LTO support library to a component, allowing it to be tested	2013-09-24 23:52:22 +00:00
Makefile	Reformat Makefile. No other changes.	2013-10-30 04:03:03 +00:00