[PATCH] D72148: [DSE] Support traversing MemoryPhis.

[Evgeniy via Phabricator via llvm-commits]

ebrevnov added a comment.

@fhahn  is this patch supposed to support the following case?

define i8* @foo(i1 %cond, i8* %p1, i8* %p2) {
entry:

  %0 = icmp ne i1 %cond, 0
  br i1 %0, label %dead_store, label %merge

dead_store:

  store i8 1, i8* %p1
  br label %merge

merge:

  %p3 = phi i8* [ %p1, %dead_store ], [ %p2, %entry ]
  store i8 2, i8* %p3
  ret i8* %p3

}

If not, is there any plans or prototype which can handle it? Thanks.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D72148/new/

https://reviews.llvm.org/D72148