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

[Daniel Berlin via llvm-commits]

dberlin updated this revision to Diff 44768.
dberlin added a comment.

In-progress update

This brings back the DFS code and starts to update the BFS code to do the right thing with phi nodes.
Given the structure of the SSA graph and our requirements, i'm pretty positive both DFS and BFS will give correct results (and testing them against each other bears this out, though is not exhaustive).

Given that, and how ugly the BFS code is now starting to become to support the phi node rules, i'm tempted to get rid of it and just stick with DFS.

Thoughts welcome :)

Updating D7864: This patch introduces MemorySSA, a virtual SSA form for memory.
===============================================================================

Details on what it looks like are in MemorySSA.h


http://reviews.llvm.org/D7864

Files:
  include/llvm/IR/Function.h
  include/llvm/InitializePasses.h
  include/llvm/Transforms/Utils/MemorySSA.h
  lib/Analysis/Analysis.cpp
  lib/IR/AsmWriter.cpp
  lib/Transforms/Utils/CMakeLists.txt
  lib/Transforms/Utils/MemorySSA.cpp
  test/Transforms/Util/memoryssa-cyclicphi.ll
  test/Transforms/Util/memoryssa-no-disconnected.ll
  test/Transforms/Util/memoryssa-optimize-use.ll

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