[PATCH] D43762: [IPSCCP] Use constant range information for comparisons of parameters.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

I've finally had some time to come back to this change (sorry for the long delay!) and  committed an updated version of this patch as https://reviews.llvm.org/rL336098.

The change to the original patch is that we have to add values to the worklist if merging in an argument changes the ParamState for it, but there has been no change in ValueState (e.g. ValueState is overdefined, but in ParamState we have a value range that changed). It would be great if could have a quick look at the committed change as a sanity check I did not miss anything.


Repository:
  rL LLVM

https://reviews.llvm.org/D43762