Arnold Schwaighofer 1b53dd734c 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 llvm-svn: 198290		2014-01-02 03:31:36 +00:00
..
Analysis	BasicAA: Fix value equality and phi cycles	2014-01-02 03:31:36 +00:00
Assembler	Fold vector selects with undef elements in the condition. Fixes PR18319.	2013-12-31 19:30:47 +00:00
Bindings	Update the ML test to expect the new string format of getStringRepresentation.	2013-12-19 23:38:09 +00:00
Bitcode	Fold vector selects with undef elements in the condition. Fixes PR18319.	2013-12-31 19:30:47 +00:00
BugPoint
CodeGen	[Sparc] Handle atomic loads/stores in sparc backend.	2014-01-01 22:11:54 +00:00
DebugInfo	Revert r198208 and reapply:	2013-12-30 17:22:27 +00:00
ExecutionEngine	Remove empty MCJIT/load-object-a.ll since r196641.	2013-12-07 06:17:10 +00:00
Feature
FileCheck
Instrumentation	[ASan] Fix the tests broken by r198018 to check for private linkage of ASan-generated globals.	2013-12-25 17:06:04 +00:00
Integer
JitListener
Linker
LTO	Resubmit r196544: Apply transformation on OS X 10.9+ and iOS 7.0+: pow(10, x) ―> __exp10(x)	2013-12-12 01:55:04 +00:00
MC	Remove need for MODIFIER_OPCODE in the disassembler tables. AddRegFrms are really more like OrRegFrm so we don't need a difference since we can just mask bits.	2014-01-01 15:29:32 +00:00
Object	Correct word hyphenations	2013-12-05 05:44:44 +00:00
Other	Removed llvm-cov.test from Other folder.	2013-12-12 20:29:54 +00:00
TableGen	FileCheckize r197869	2013-12-22 03:43:58 +00:00
tools	Teach the llvm-readobj COFF dumper to dump debug line tables from object files	2013-12-19 11:37:14 +00:00
Transforms	BasicAA: Fix value equality and phi cycles	2014-01-02 03:31:36 +00:00
Unit
Verifier	Begin adding docs and IR-level support for the inalloca attribute	2013-12-19 02:14:12 +00:00
YAMLParser
.clang-format
CMakeLists.txt	check-llvm: Ask llvm-config about assertion mode, instead of llc.	2013-12-03 23:22:25 +00:00
lit.cfg	check-llvm: Ask llvm-config about assertion mode, instead of llc.	2013-12-03 23:22:25 +00:00
lit.site.cfg.in
Makefile
Makefile.tests
TestRunner.sh