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

[Anna Thomas via Phabricator via llvm-commits]

anna added a comment.

> What I propose here instead is keeping track of the incoming values from unreachable blocks, and replacing them with undef. This fixes this case, and it seems to be good regardless (even if we can't prove that the value is constant, as it's coming from an unreachable block, we can ignore it).

LGTM - this was also the design I went with (change incoming values from unreachable blocks to undef) when we didn't want to break the structure of the loop in loop deletion.


https://reviews.llvm.org/D41812