[PATCH] D45378: [InstCombine] Propagate null values from conditions to other basic blocks

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

In https://reviews.llvm.org/D45378#1060239, @spatel wrote:

> This is pushing instcombine beyond local simplifications. Propagating values across blocks should probably be handled in CVP (-correlated-propagation).


Maybe, but here it also fits, every info required for this transformation is available here.

Implementation of this optimization would probably be quite massive in the CorrelatedValuePropagation.


Repository:
  rL LLVM

https://reviews.llvm.org/D45378