[PATCH] D123846: [RS4GC] Prune inputs of BDV if they are BDV themselves

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Will this patch handle the following example:

  loop: 
    %outer.phi = phi (%start, %inner_phi)
    br inner_loop
  
  inner_loop:
    %inner.phi = phi(%start, %outer_phi)
    %inner.cond = <smth>
    br %inner.cond, inner_loop, outer_backedge
  
  outer_backedge:
    outer_cond = ...
    br outer_cond, inner_loop, exit
  
  exit:
  ...

Here both inner_phi and outer_phi are in fact equal to one another (and both equal to start), but still different values. Will it work? If no, is there a plan to make it work?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D123846