[PATCH] D61410: [MemorySSA] Check that block is reachable when renaming.

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea created this revision.
asbirlea added a reviewer: george.burgess.iv.
Herald added subscribers: Prazek, jlebar.
Herald added a project: LLVM.

Originally the insertDef method was only used when building MemorySSA, and was limiting the number of Phi nodes that it created.
Now it's used for updates as well, and it can create additional Phis needed for correctness.

For all added Phis, the renamePass is run. When this is called during an update, we need to check that the code is reachable, otherwise the DTNode is null.

Resolves PR41640.


Repository:
  rL LLVM

https://reviews.llvm.org/D61410

Files:
  lib/Analysis/MemorySSA.cpp
  test/Analysis/MemorySSA/pr41640.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D61410.197665.patch
Type: text/x-patch
Size: 5051 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190501/a8e8796a/attachment.bin>