[PATCH] D41812: [CVP] Replace incoming values from unreachable blocks with undef

[Davide Italiano via Phabricator via llvm-commits]

davide added inline comments.


================
Comment at: llvm/trunk/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp:336
     // by a branch then do so now.
     ConstantFoldTerminator(BB);
 
----------------
efriedma wrote:
> This call invalidates the set of reachable blocks.
hmmm, this is annoying.
I can't think of an easy way of handling this case easily. Do you have something in your mind?
If not, I'll revert the patch for now until I come up with a better idea.
cc: @anna 


Repository:
  rL LLVM

https://reviews.llvm.org/D41812