[PATCH] D7864: This patch introduces MemorySSA, a virtual SSA form for memory.Details on what it looks like are in MemorySSA.h

[George Burgess IV via llvm-commits]

george.burgess.iv updated this revision to Diff 46596.
george.burgess.iv marked 71 inline comments as done.
george.burgess.iv added a comment.

- Marked dead feedback as done, responded to others, will respond to remaining non-done + unanswered by tomorrow
- Fixed Danny's comment about having `classof(Value*)`
- Moved `initialize[...]Pass` methods to fix a bug with how we were trying to link things
- Ripped out some optimizations (e.g. checks for invariant loads, etc.) because those seem mildly controversial, and can be added in a later patch


http://reviews.llvm.org/D7864

Files:
  include/llvm/IR/Function.h
  include/llvm/IR/Value.def
  include/llvm/InitializePasses.h
  include/llvm/Transforms/Utils/MemorySSA.h
  lib/IR/AsmWriter.cpp
  lib/Transforms/Utils/CMakeLists.txt
  lib/Transforms/Utils/MemorySSA.cpp
  lib/Transforms/Utils/Utils.cpp
  test/Transforms/Util/MemorySSA/atomic-clobber.ll
  test/Transforms/Util/MemorySSA/cyclicphi.ll
  test/Transforms/Util/MemorySSA/function-clobber.ll
  test/Transforms/Util/MemorySSA/function-mem-attrs.ll
  test/Transforms/Util/MemorySSA/load-invariant.ll
  test/Transforms/Util/MemorySSA/many-dom-backedge.ll
  test/Transforms/Util/MemorySSA/many-doms.ll
  test/Transforms/Util/MemorySSA/multi-edges.ll
  test/Transforms/Util/MemorySSA/multiple-backedges-hal.ll
  test/Transforms/Util/MemorySSA/no-disconnected.ll
  test/Transforms/Util/MemorySSA/optimize-use.ll
  test/Transforms/Util/MemorySSA/volatile-clobber.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7864.46596.patch
Type: text/x-patch
Size: 88566 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160202/b3bc9a83/attachment-0001.bin>