Philip Reames c50bf46a22 !invariant.load semantics with potentially clobbering calls ... A load from an invariant location is assumed to not alias any otherwise potentially aliasing stores. Our implementation only applied this rule to store instructions themselves whereas they it should apply for any memory accessing instruction. This results in both FRE and PRE becoming more effective at eliminating invariant loads. Note that as a follow on change I will likely move this into AliasAnalysis itself. That's where the TBAA constant flag is handled and the semantics are essentially the same. I'd like to separate the semantic change from the refactoring and thus have extended the hack that's already in MemoryDependenceAnalysis for this change. Differential Revision: http://reviews.llvm.org/D8591 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233140 91177308-0d34-0410-b5e6-96231b3b80d8		2015-03-24 23:54:54 +00:00
..
Analysis	When simplifying a SCEV truncate by distributing, consider it a simplification to replace a cast, even if we end up with a trunc around the term. Fixes PR22960!	2015-03-20 02:25:00 +00:00
Assembler	Prevent CHECK-NOTs from matching file paths	2015-03-22 15:58:21 +00:00
Bindings	DebugInfo: Move new hierarchy into place	2015-03-03 17:24:31 +00:00
Bitcode	Add testing for mismatched explicit type on a gep operator when loading from bitcode	2015-03-16 22:03:50 +00:00
BugPoint	Bugpoint: Fix invalid 'inlinedAt:' references in testcase	2015-03-20 19:51:34 +00:00
CodeGen	X86: Fix frameescape when not using an FP	2015-03-24 23:46:01 +00:00
DebugInfo	Refactor how passes get a symbol at the end of a section.	2015-03-23 21:22:04 +00:00
ExecutionEngine	[Orc] Add missing -use-orcmcjit flag to a number of Orc regression tests.	2015-03-23 06:02:49 +00:00
Feature	Rewrite test/Feature/md_on_instruction.ll	2015-03-20 18:34:53 +00:00
FileCheck	FileCheck: Add CHECK-SAME	2015-02-26 04:53:00 +00:00
Instrumentation	[sanitizer] experimental tracing for cmp instructions	2015-03-21 01:29:36 +00:00
Integer	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
JitListener	DebugInfo: Move new hierarchy into place	2015-03-03 17:24:31 +00:00
Linker	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
LTO	libLTO, llvm-lto, gold: Introduce flag for controlling optimization level.	2015-03-19 22:01:00 +00:00
MC	Don't be over eager in evaluating a subtraction with a weak symbol.	2015-03-24 23:48:44 +00:00
Object	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
Other	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
SymbolRewriter
TableGen
tools	llvm-cov: Require a subcommand when invoked as llvm-cov	2015-03-24 23:34:36 +00:00
Transforms	!invariant.load semantics with potentially clobbering calls	2015-03-24 23:54:54 +00:00
Unit
Verifier	Verifier: Start recursing into !dbg attachments	2015-03-24 17:32:19 +00:00
YAMLParser
.clang-format
CMakeLists.txt	test: Make a start on a test suite for libLTO.	2015-03-19 23:55:38 +00:00
lit.cfg	Tell lit.cfg about more Windows triples.	2015-03-20 22:08:40 +00:00
lit.site.cfg.in	test: Make a start on a test suite for libLTO.	2015-03-19 23:55:38 +00:00
Makefile	test: Make a start on a test suite for libLTO.	2015-03-19 23:55:38 +00:00
Makefile.tests
TestRunner.sh