llvm-6502/test/Analysis
Shuxin Yang 985dac6579 Memory Dependence Analysis (not mem-dep test) take advantage of "invariant.load" metadata.
The "invariant.load" metadata indicates the memory unit being accessed is immutable.
A load annotated with this metadata can be moved across any store.

As I am not sure if it is legal to move such loads across barrier/fence, this
change dose not allow such transformation.

rdar://11311484

Thank Arnold for code review.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@176562 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-06 17:48:48 +00:00
..
BasicAA Memory Dependence Analysis (not mem-dep test) take advantage of "invariant.load" metadata. 2013-03-06 17:48:48 +00:00
BlockFrequencyInfo
BranchProbabilityInfo
CallGraph
CostModel X86 cost model: Adjust cost for custom lowered vector multiplies 2013-03-02 04:02:52 +00:00
DependenceAnalysis Modified dump() to provide a little 2012-11-30 00:44:47 +00:00
Dominators Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID 2012-12-30 02:33:22 +00:00
GlobalsModRef
LoopInfo
PostDominators
Profiling AArch64: adjust tests which rely on a default JIT 2013-02-18 11:08:37 +00:00
RegionInfo Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID 2012-12-30 02:33:22 +00:00
ScalarEvolution Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID 2012-12-30 02:33:22 +00:00
TypeBasedAliasAnalysis Use references to attribute groups on the call/invoke instructions. 2013-02-22 09:09:42 +00:00